Skip to main content
Mathematics LibreTexts

7.6: Method of coordinates

  • Page ID
    23624
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    The following exercise is important; it shows that our axiomatic definition agrees with the model definition.

    Exercise \(\PageIndex{1}\)

    截屏2021-02-11 上午11.29.32.png

    Let \(\ell\) and \(m\) be perpendicular lines in the Euclidean plane. Given a point \(P\), let \(P_{\ell}\) and \(P_m\) denote the foot points of \(P\) on \(\ell\) and \(m\) respectively.

    1. Show that for any \(X \in \ell\) and \(Y \in m\) there is a unique point \(P\) such that \(P_{\ell} = X\) and \(P_m = Y\).
    2. Show that \(PQ^2 = P_{\ell}Q_{\ell}^2 + P_m Q_m^2\) for any pair of points \(P\) and \(Q\).
    3. Conclude that the plane is isometric to \((\mathbb{R}^2, d_2)\).
    Hint

    (a). Use the uniqueness of the parallel line (Theorem 7.1.1).

    (b). Use Lemma 7.5.1 and the Pythagorean theorem (Theorem 6.2.1)

    Once this exercise is solved, we can apply the method of coordinates to solve any problem in Euclidean plane geometry. This method is powerful and universal; it will be developed further in Chapter 18.

    Exercise \(\PageIndex{2}\)

    Use the Exercise \(\PageIndex{1}\) to give an alternative proof of Theorem 3.5.1 in the Euclidean plane.

    That is, prove that given the real numbers \(a, b\), and \(c\) such that

    \(0 < a \le b \le c \le a + b\),

    there is a triangle \(ABC\) such that \(a = BC\), \(b = CA\), and \(c = AB\).

    Hint

    Set \(A = (0, 0), B = (c, 0)\), and \(C = (x, y)\). Clearly, \(AB = c\), \(AC^2 = x^2 + y^2\) and \(BC^2 = (c - x)^2 + y^2\).

    It remains to show that there is a pair of real numbers \((x, y)\) that satisfy the following system of equations:

    \(\begin{cases} b^2 = x^2 + y^2 \\ a^2 = (c- x)^2 + y^2 \end{cases}\)

    if \(0 < a \le b \le c \le a + c\).

    Exercise \(\PageIndex{3}\)

    Consider two distinct points \(A = (x_A, y_A)\) and \(B = (x_B, y_B)\) on the coordinate plane. Show that the perpendicular bisector to \([AB]\) is described by the equation

    \(2 \cdot (x_B - x_A) \cdot x + 2 \cdot (y_B - y_A) \cdot y = x_B^2 + y_B^2 - x_A^2 - y_B^2\).

    Conclude that line can be defined as a subset of the coordinate plane of the following type:

    1. Solutions of an equation \(a \cdot x + b \cdot y = c\) for some constants \(a, b\), and \(c\) such that \(a \ne 0\) or \(b \ne 0\).
    2. The set of points \((a \cdot t + c, b \cdot t + d)\) for some constants \(a, b, c\), and \(d\) such that \(a \ne 0\) or \(b \ne 0\) and all \(t \in \mathbb{R}\).
    Hint

    Note that \(MA = MB\) if and only if

    \((x - x_A)^2 + (y - y_A)^2 = (x - x_B)^2 + (y - y_B)^2\)

    where \(M = (x, y)\). To prove the first part, simplify this equation. For the remaining parts use that any line is a perpendicular bisector to some line segment.


    This page titled 7.6: Method of coordinates is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.