18.6: Method of complex coordinates
- Page ID
- 23701
\( \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 problem illustrates the method of complex coordinates.
Let \(\triangle OPV\) and \(\triangle OQW\) be isosceles right triangles such that
\(\measuredangle VPO = \measuredangle OQW=\dfrac{\pi}{2}\)
and \(M\) be the midpoint of \([VW]\). Assume \(P\), \(Q\), and \(M\) are distinct points. Show that \(\triangle PMQ\) is an isosceles right triangle.
- Solution
-
Choose the complex coordinates so that \(O\) is the origin; denote by \(v, w, p, q, m\) the complex coordinates of the remaining points respectively.
Since \(\triangle OPV\) and \(\triangle OQW\) are isosceles and \(\measuredangle VPO=\measuredangle OQW=\dfrac{\pi}{2}\), 18.3.2 and 18.5.1 imply that
\(\begin{aligned} v-p&=i\cdot p, & q-w&=i\cdot q.\end{aligned}\)
Therefore
\(\begin{aligned} m&=\tfrac12\cdot(v+w)= \\ &=\tfrac{1+i}2\cdot p+\tfrac{1-i}2\cdot q.\end{aligned}\)
By a straightforward computations, we get that
\(p-m=i\cdot (q-m).\)
In particular, \(|p-m|=|q-m|\) and \(\arg\dfrac{p-m}{q-m}=\dfrac{\pi}{2}\); that is, \(PM=QM\) and \(\measuredangle QMP =\dfrac{\pi}{2}\).
Consider three squares with common sides as on the diagram. Use the method of complex coordinates to show that
\(\measuredangle EOA+\measuredangle EOB+\measuredangle EOC=\pm\dfrac{\pi}{2}.\)
- Hint
-
We can choose the complex coordinates so that the points \(O, E, A, B\), and \(C\) have coordinates \(0, 1, 1 + i, 2 + i\), and \(3 + i\) respectively.
Set \(\measuredangle EOA = \alpha\), \(\measuredangle EOB = \beta\), and \(\measuredangle EOC = \gamma\). Note that
\(\begin{array} {rcl} {\alpha + \beta + \gamma} & \equiv & {\arg (1 + i) + \arg (2 + i) + \arg (3 + i) \equiv} \\ {} & \equiv & {\arg [(1 + i) \cdot (2 + i) \cdot (3 + i)] \equiv \arg [10 \cdot i] = \dfrac{\pi}{2}} \end{array}\)
Note that these three angles are acute and conclude that \(\alpha + \beta + \gamma = \dfrac{\pi}{2}\).
Check the following identity with six complex cross ratios:
\((u,w;v,z)\cdot(u',w';v',z')=\frac{(v,w';v',w)\cdot(z,u';z',u)}{(u,v';u',v)\cdot(w,z';w',z)}.\)
Use it together with Theorem 18.5.1 to prove that if \(\square UVWZ\), \(\square UVV'U'\), \(\square VWW'V'\), \(\square WZZ'W'\), and \(\square ZUU'Z'\) are inscribed, then \(\square U'V'W'Z'\) is inscribed as well.
- Hint
-
The identity can be checked by straightforward computations.
By Theorem 18.5.1, five from six cross ratios in the this identity are real. Therefore so is the sixth cross ratio; it remains to apply the theorem again.
Suppose that points \(U\), \(V\) and \(W\) lie on one side of line \((AB)\) and \(\triangle UAB\sim \triangle BVA \sim \triangle ABW\). Denote by \(a\), \(b\), \(u\), \(v\), and \(w\) the complex coordinates of \(A\), \(B\), \(U\), \(V\), and \(W\) respectively.
- Show that \(\dfrac{u-a}{b-a}=\dfrac{b-v}{a-v}=\dfrac{a-b}{w-b}=\dfrac{u-v}{w-v}\).
- Conclude that \(\triangle UAB\sim \triangle BVA \sim \triangle ABW\sim \triangle UVW\).
- Hint
-
Use 3.7 and 3.10 to show that \(\angle UAB, \angle BVA\), and \(\angle ABW\) have the same sign. Note that by SAS we have that
\(\dfrac{AU}{AB} = \dfrac{VB}{VA} = \dfrac{BA}{BW}\) and \(\measuredangle UAB = \measuredangle BVA =\measuredangle ABW.\)
The later means that \(|\dfrac{u - a}{b - a}| = |\dfrac{b - v}{a - v}| = |\dfrac{a - b}{w - b}|\), and \(\arg \dfrac{b - a}{u - a} = \arg \dfrac{a - b}{w - b}\). It implies the first two equalities in
\[\dfrac{b - a}{u - a} = \dfrac{a - v}{b - v} = \dfrac{w - b}{a -b} = \dfrac{w - v}{u - v}.\]
the last equality holds since
\(\dfrac{(b - a) + (a -v) + (w - b)}{(u - a) + (b - v) + (a -b)} = \dfrac{w - v}{u - v}.\)
To prove (b), rewrite 18.6.1 using angles and distances between the points and apply SAS.