Problems

If \(z=x+\mathrm{i}y\) where \(x\) and \(y\) are real, define \(\left|z\right|\) in terms of \(x\) and \(y\). Show, using your definition, that if \(z_{1},z_{2}\in\mathbb{C}\) then \(\left|z_{1}z_{2}\right|=\left|z_{1}\right|\left|z_{2}\right|.\) Explain, by means of a diagram, or otherwise, why \(\left|z_{1}+z_{2}\right|\leqslant\left|z_{1}\right|+\left|z_{2}\right|.\) Suppose that \(a_{j}\in\mathbb{C}\) and \(\left|a_{j}\right|\leqslant1\) for \(j=1,2,\ldots,n.\) Show that, if \(\left|z\right|\leqslant\frac{1}{2},\) then \[ \left|a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots+a_{1}z\right|<1, \] and deduce that any root \(w\) of the equation \[ a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots+a_{1}z+1=0 \] must satisfy \(\left|x\right|>\frac{1}{2}.\)

\textit{In this question, the argument of a complex number is chosen to satisfy \(0\leqslant\arg z<2\pi.\)} Let \(z\) be a complex number whose imaginary part is positive. What can you say about \(\arg z\)? The complex numbers \(z_{1},z_{2}\) and \(z_{3}\) all have positive imaginary part and \(\arg z_{1}<\arg z_{2}<\arg z_{3}.\) Draw a diagram that shows why \[ \arg z_{1}<\arg(z_{1}+z_{2}+z_{3})<\arg z_{3}. \] Prove that \(\arg(z_{1}z_{2}z_{3})\) is never equal to \(\arg(z_{1}+z_{2}+z_{3}).\)

The point in the Argand diagram representing the complex number \(z\) lies on the circle with centre \(K\) and radius \(r\), where \(K\) represents the complex number \(k\). Show that $$ zz^* -kz^* -k^*z +kk^* -r^2 =0. $$ The points \(P\), \(Q_1\) and \(Q_2\) represent the complex numbers \(z\), \(w_1\) and \(w_2\) respectively. The point \(P\) lies on the circle with \(OA\) as diameter, where \(O\) and \(A\) represent \(0\) and \(2i\) respectively. Given that \(w_1=z/(z-1)\), find the equation of the locus \(L\) of \(Q_1\) in terms of \(w_1\) and describe the geometrical form of \(L\). Given that \(w_2=z^*\), show that the locus of \(Q_2\) is also \(L\). Determine the positions of \(P\) for which \(Q_1\) coincides with \(Q_2\).

Sketch the following subsets of the complex plane using Argand diagrams. Give reasons for your answers.

1. \(\{z:\mathrm{Re}((1+\mathrm{i})z)\geqslant0\}.\)
2. \(\{z: |z^{2}| \leqslant2,\mathrm{Re}(z^{2})\geqslant0\}.\)
3. \(\{z=z_{1}+z_{2}:\left|z_{1}\right|=2,\left|z_{2}\right|=1\}.\)

Let \(\alpha\) be a fixed angle, \(0 < \alpha \leqslant\frac{1}{2}\pi.\) In each of the following cases, sketch the locus of \(z\) in the Argand diagram (the complex plane):

1. \({\displaystyle \arg\left(\frac{z-1}{z}\right)=\alpha,}\)
2. \({\displaystyle \arg\left(\frac{z-1}{z}\right)=\alpha-\pi,}\)
3. \(|\dfrac{z-1}{z}|=1.\)

Show Solution

---

Solution:

+ - ↺

+ - ↺

+ - ↺

+ - ↺

\begin{align*} \arg w &= \arg \frac{(z_{1}-z_{2})(z_{3}-z_{4})}{(z_{4}-z_{1})(z_{2}-z_{3})} \\ &= \arg \frac{(z_{1}-z_{2})(z_{3}-z_{4})}{(z_{2}-z_{3})(z_{4}-z_{1})} \\ &= \arg \frac{(z_{1}-z_{2})}{(z_{3}-z_{2})}\frac{(z_{3}-z_{4})}{(z_{1}-z_{4})} \\ &= \arg \frac{(z_{1}-z_{2})}{(z_{3}-z_{2})} + \arg \frac{(z_{3}-z_{4})}{(z_{1}-z_{4})}\\ &= \beta + \pi - \beta = \pi \end{align*} Therefore \(w\) is real

A path is made up in the Argand diagram of a series of straight line segments \(P_{1}P_{2},\) \(P_{2}P_{3},\) \(P_{3}P_{4},\ldots\) such that each segment is \(d\) times as long as the previous one, \((d\neq1)\), and the angle between one segment and the next is always \(\theta\) (where the segments are directed from \(P_{j}\) towards \(P_{j+1}\), and all angles are measured in the anticlockwise direction). If \(P_{j}\) represents the complex number \(z_{j},\) express \[ \frac{z_{n+1}-z_{n}}{z_{n}-z_{n-1}} \] as a complex number (for each \(n\geqslant2\)), briefly justifying your answer. If \(z_{1}=0\) and \(z_{2}=1\), obtain an expression for \(z_{n+1}\) when \(n\geqslant2\). By considering its imaginary part, or otherwise, show that if \(\theta=\frac{1}{3}\pi\) and \(d=2\), then the path crosses the real axis infinitely often.

The distinct points \(P_{1},P_{2},P_{3},Q_{1},Q_{2}\) and \(Q_{3}\) in the Argand diagram are represented by the complex numbers \(z_{1},z_{2},z_{3},w_{1},w_{2}\) and \(w_{3}\) respectively. Show that the triangles \(P_{1}P_{2}P_{3}\) and \(Q_{1}Q_{2}Q_{3}\) are similar, with \(P_{i}\) corresponding to \(Q_{i}\) (\(i=1,2,3\)) and the rotation from \(1\) to \(2\) to \(3\) being in the same sense for both triangles, if and only if \[ \frac{z_{1}-z_{2}}{z_{2}-z_{3}}=\frac{w_{1}-w_{2}}{w_{1}-w_{3}}. \] Verify that this condition may be written \[ \det\begin{pmatrix}z_{1} & z_{2} & z_{3}\\ w_{1} & w_{2} & w_{3}\\ 1 & 1 & 1 \end{pmatrix}=0. \]

1. Show that if \(w_{i}=z_{i}^{2}\) (\(i=1,2,3\)) then triangle \(P_{1}P_{2}P_{3}\) is not similar to triangle \(Q_{1}Q_{2}Q_{3}.\)
2. Show that if \(w_{i}=z_{i}^{3}\) (\(i=1,2,3\)) then triangle \(P_{1}P_{2}P_{3}\) is similar to triangle \(Q_{1}Q_{2}Q_{3}\) if and only if the centroid of triangle \(P_{1}P_{2}P_{3}\) is the origin. {[}The centroid of triangle \(P_{1}P_{2}P_{3}\) is represented by the complex number \(\frac{1}{3}(z_{1}+z_{2}+z_{3})\).{]}
3. Show that the triangle \(P_{1}P_{2}P_{3}\) is equilateral if and only if \[ z_{2}z_{3}+z_{3}z_{1}+z_{1}z_{2}=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}. \]

The distinct points \(L,M,P\) and \(Q\) of the Argand diagram lie on a circle \(S\) centred on the origin and the corresponding complex numbers are \(l,m,p\) and \(q\). By considering the perpendicular bisectors of the chords, or otherwise, prove that the chord \(LM\) is perpendicular to the chord \(PQ\) if and only if \(lm+pq=0.\) Let \(A_{1},A_{2}\) and \(A_{3}\) be three distinct points on \(S\). For any given point \(A_{1}'\) on \(S\), the points \(A_{2}',A_{3}'\) and \(A_{1}''\) are chosen on \(S\) such that \(A_{1}'A_{2}',A_{2}'A_{3}'\) and \(A_{3}'A_{1}''\) are perpendicular to \(A_{1}A_{2},A_{2}A_{3}\) and \(A_{3}A_{1},\) respectively. Show that for exactly two positions of \(A_{1}',\) the points \(A_{1}'\) and \(A_{1}''\) coincide. If, instead, \(A_{1},A_{2},A_{3}\) and \(A_{4}\) are four given distinct points on \(S\) and, for any given point \(A_{1}',\) the points \(A_{2}',A_{3}',A_{4}'\) and \(A_{1}''\) are chosen on \(S\) such that \(A_{1}'A_{2}',A_{2}'A_{3}',A_{3}'A_{4}'\) and \(A_{4}'A_{1}''\) are respectively perpendicular to \(A_{1}A_{2},A_{2}A_{3},A_{3}A_{4}\) and \(A_{4}A_{1},\) show that \(A_{1}'\) coincides with \(A_{1}''.\) Give the corresponding result for \(n\) distinct points on \(S\).

The complex numbers \(z_{1},z_{2},\ldots,z_{6}\) are represented by six distinct points \(P_{1},P_{2},\ldots,P_{6}\) in the Argand diagram. Express the following statements in terms of complex numbers:

1. \(\overrightarrow{P_{1}P_{2}}=\overrightarrow{P_{5}P_{4}}\) and \(\overrightarrow{P_{2}P_{3}}=\overrightarrow{P_{6}P_{5}}\,\);
2. \(\overrightarrow{P_{2}P_{4}}\) is perpendicular to \(\overrightarrow{P_{3}P_{6}}\,\).

Show Solution

---

Solution:

1. \(\overrightarrow{P_{1}P_{2}}=\overrightarrow{P_{5}P_{4}}\) is equivalent to \(z_2 - z_1 = z_4 - z_5\). \(\overrightarrow{P_{2}P_{3}}=\overrightarrow{P_{6}P_{5}}\) is equivalent to \(z_3-z_2 = z_5 - z_6\).
2. \(\overrightarrow{P_{2}P_{4}}\) is perpendicular to \(\overrightarrow{P_{3}P_{6}}\,\) is equivalent to \(\frac{z_4 - z_2}{z_6-z_3} \in i\mathbb{R}\)

If \(z_2 - z_1 =z_4 - z_5\) and \(z_3-z_2 = z_5 - z_6\) then adding we get \(z_3 - z_1 = z_4 - z_6\) or \(z_4 - z_3 = z_6-z_1\), which is equivalent to \(\overrightarrow{P_{3}P_{4}}=\overrightarrow{P_{1}P_{6}}\,\).

+ - ↺

\(\textrm{Re}(z) > 1, \textrm{Re}(w) < 0, \textrm{Re}(z) +\textrm{Re}(w)=1\). (We only need one of the first two constraints, since the other is implied by the former). Since \(\overrightarrow{P_{2}P_{4}}\) is perpendicular to \(\overrightarrow{P_{3}P_{6}}\,\) we must have that \(\textrm{Im}(z) = \textrm{Im}(w)\). Combined with the vector logic we must have that \(\textrm{Im}(z) = \frac12\). Let \(z = a + \frac12i\) and \(w = (1-a) + \frac12i\). Since \(w - 1 = k(3-2i)(z-1)\) (the angle constraint) we must have that: \begin{align*} &&-a+\frac12i &= k(3-2i)((a-1) \frac12i) \\ &&&= k( 3 a - 2+(\frac72 - 2 a)i) \\ \Rightarrow && \frac{3a-2}{-a} &= \frac{\frac72-2a}{\frac12} \\ \Rightarrow && 3a-2&= 4a^2-7a \\ \Rightarrow && 0 &= 4a^2-10a+2 \\ \Rightarrow && a &= \frac{5 \pm \sqrt{17}}{4} \end{align*} Since \(a > 1, a = \frac{5 +\sqrt{17}}{4}\) and the distance is: \begin{align*} \left | z - w \right | &= | a+\frac12i - ((1-a) +\frac12i ) | \\ &= |2a-1| \\ &= \frac{5+\sqrt{17}}{2}-1 \\ &= \frac{3+\sqrt{17}}{2} \end{align*}

The complex number \(w\) is such that \(w^{2}-2w\) is real.

1. Sketch the locus of \(w\) in the Argand diagram.
2. If \(w^{2}=x+\mathrm{i}y,\) describe fully and sketch the locus of points \((x,y)\) in the \(x\)-\(y\) plane.

Show Solution

---

Solution:

1. Suppose \(w = u+ vi\) then \(w^2 - 2w = u^2-v^2-2u+(2uv-2v)i\) so to be purely real we must have \(2uv-2v = 2v(u-1) = 0\) ie either \(v = 0\) or \(u = 1\). Therefore the locus is the real axis and the line \(1 + ti\):
   

   + - ↺
2. If \(w^2 = x+yi\) then we must have \(x = u^2-v^2\) and \(y = 2uv\), so either \(v = 0, y = 0, x = u^2-2u \geq -1\) or \(u = 1, x = 1-v^2, y = 2v\) which is a parabola:
   

   + - ↺

If \(t = u+iv\) then \(t^2-2t = u^2-v^2-2u + (2uv-2v)i\). For this to be purely imaginary, we need \(u^2-v^2 - 2u = 0 \Rightarrow (u-1)^2-v^2 = 1\), ie points on a hyperbola. Then \(p = u^2-v^2\) and \(q = 2uv\). We can parameterise our hyperbola as \(u = 1 \pm \cosh s, v = \sinh s\) and so \(p = 1 + 2 \cosh s\) and \(q = \sinh 2s\) or \(q = \pm (p-1) \sqrt{(\frac{p-1}{2})^2-1}\) where \(p \geq 3\)

+ - ↺

Give a parametric form for the curve in the Argand diagram determined by \(\left|z-\mathrm{i}\right|=2.\) Let \(w=(z+\mathrm{i})/(z-\mathrm{i}).\) Find and sketch the locus, in the Argand diagram, of the point which represents the complex number \(w\) when \begin{questionparts} \item \(\left|z-\mathrm{i}\right|=2;\) \item \(z\) is real; \item \(z\) is imaginary. \end{questionpart}

Explain the geometrical relationship between the points in the Argand diagram represented by the complex numbers \(z\) and \(z\mathrm{e}^{\mathrm{i}\theta}.\) Write down necessary and sufficient conditions that the distinct complex numbers \(\alpha,\beta\) and \(\gamma\) represent the vertices of an equilateral triangle taken in anticlockwise order. Show that \(\alpha,\beta\) and \(\gamma\) represent the vertices of an equilateral triangle (taken in any order) if and only if \[ \alpha^{2}+\beta^{2}+\gamma^{2}-\beta\gamma-\gamma\alpha-\alpha\beta=0. \] Find necessary and sufficient conditions on the complex coefficients \(a,b\) and \(c\) for the roots of the equation \[ z^{3}+az^{2}+bz+c=0 \] to lie at the vertices of an equilateral triangle in the Argand digram.