Problems

1. 1. Show that if the complex number \(z\) satisfies the equation \[z^2 + |z + b| = a,\] where \(a\) and \(b\) are real numbers, then \(z\) must be either purely real or purely imaginary.
   2. Show that the equation \[z^2 + \left|z + \frac{5}{2}\right| = \frac{7}{2}\] has no purely imaginary roots.
   3. Show that the equation \[z^2 + \left|z + \frac{7}{2}\right| = \frac{5}{2}\] has no purely real roots.
   4. Show that, when \(\frac{1}{2} < b < \frac{3}{4}\), the equation \[z^2 + |z + b| = \frac{1}{2}\] will have at least one purely imaginary root and at least one purely real root.
2. Solve the equation \[z^3 + |z + 2|^2 = 4.\]

1. Let \(a\), \(b\) and \(c\) be three non-zero complex numbers with the properties \(a + b + c = 0\) and \(a^2 + b^2 + c^2 = 0\). Show that \(a\), \(b\) and \(c\) cannot all be real. Show further that \(a\), \(b\) and \(c\) all have the same modulus.
2. Show that it is not possible to find three non-zero complex numbers \(a\), \(b\) and \(c\) with the properties \(a + b + c = 0\) and \(a^3 + b^3 + c^3 = 0\).
3. Show that if any four non-zero complex numbers \(a\), \(b\), \(c\) and \(d\) have the properties \(a + b + c + d = 0\) and \(a^3 + b^3 + c^3 + d^3 = 0\), then at least two of them must have the same modulus.
4. Show, by taking \(c = 1\), \(d = -2\) and \(e = 3\) that it is possible to find five real numbers \(a\), \(b\), \(c\), \(d\) and \(e\) with distinct magnitudes and with the properties \(a + b + c + d + e = 0\) and \(a^3 + b^3 + c^3 + d^3 + e^3 = 0\).

1. The complex numbers \(z\) and \(w\) have real and imaginary parts given by \(z = a + \mathrm{i}b\) and \(w = c + \mathrm{i}d\). Prove that \(|zw| = |z||w|\).
2. By considering the complex numbers \(2 + \mathrm{i}\) and \(10 + 11\mathrm{i}\), find positive integers \(h\) and \(k\) such that \(h^2 + k^2 = 5 \times 221\).
3. Find positive integers \(m\) and \(n\) such that \(m^2 + n^2 = 8045\).
4. You are given that \(102^2 + 201^2 = 50805\). Find positive integers \(p\) and \(q\) such that \(p^2 + q^2 = 36 \times 50805\).
5. Find three distinct pairs of positive integers \(r\) and \(s\) such that \(r^2 + s^2 = 25 \times 1002082\) and \(r < s\).
6. You are given that \(109 \times 9193 = 1002037\). Find positive integers \(t\) and \(u\) such that \(t^2 + u^2 = 9193\).

Let \(\mathrm{h}(z) = nz^6 + z^5 + z + n\), where \(z\) is a complex number and \(n \geqslant 2\) is an integer.

1. Let \(w\) be a root of the equation \(\mathrm{h}(z) = 0\).
   1. Show that \(|w^5| = \sqrt{\dfrac{\mathrm{f}(w)}{\mathrm{g}(w)}}\), where \[\mathrm{f}(z) = n^2 + 2n\operatorname{Re}(z) + |z|^2 \quad \text{and} \quad \mathrm{g}(z) = n^2|z|^2 + 2n\operatorname{Re}(z) + 1.\]
   2. By considering \(\mathrm{f}(w) - \mathrm{g}(w)\), prove by contradiction that \(|w| \geqslant 1\).
   3. Show that \(|w| = 1\).
2. It is given that the equation \(\mathrm{h}(z) = 0\) has six distinct roots, none of which is purely real.
   1. Show that \(\mathrm{h}(z)\) can be written in the form \[\mathrm{h}(z) = n(z^2 - a_1 z + 1)(z^2 - a_2 z + 1)(z^2 - a_3 z + 1),\] where \(a_1\), \(a_2\) and \(a_3\) are real constants.
   2. Find \(a_1 + a_2 + a_3\) in terms of \(n\).
   3. By considering the coefficient of \(z^3\) in \(\mathrm{h}(z)\), find \(a_1 a_2 a_3\) in terms of \(n\).
   4. How many of the six roots of the equation \(\mathrm{h}(z) = 0\) have a negative real part? Justify your answer.

In this question, \(w = \dfrac{2}{z-2}\).

1. Let \(z\) be the complex number \(3 + t\mathrm{i}\), where \(t \in \mathbb{R}\). Show that \(|w - 1|\) is independent of \(t\). Hence show that, if \(z\) is a complex number on the line \(\operatorname{Re}(z) = 3\) in the Argand diagram, then \(w\) lies on a circle in the Argand diagram with centre \(1\). Let \(V\) be the line \(\operatorname{Re}(z) = p\), where \(p\) is a real constant not equal to \(2\). Show that, if \(z\) lies on \(V\), then \(w\) lies on a circle whose centre and radius you should give in terms of \(p\). For which \(z\) on \(V\) is \(\operatorname{Im}(w) > 0\)?
2. Let \(H\) be the line \(\operatorname{Im}(z) = q\), where \(q\) is a non-zero real constant. Show that, if \(z\) lies on \(H\), then \(w\) lies on a circle whose centre and radius you should give in terms of \(q\). For which \(z\) on \(H\) is \(\operatorname{Re}(w) > 0\)?

The point \(P\) in the Argand diagram is represented by the the complex number \(z\), which satisfies $$zz^* - az^* - a^*z + aa^* - r^2 = 0.$$ Here, \(r\) is a positive real number and \(r^2 \neq a^*a\). By writing \(|z - a|^2\) as \((z - a)(z - a)^*\), show that the locus of \(P\) is a circle, \(C\), the radius and the centre of which you should give.

1. The point \(Q\) is represented by \(\omega\), and is related to \(P\) by \(\omega = \frac{1}{z}\). Let \(C'\) be the locus of \(Q\). Show that \(C'\) is also a circle, and give its radius and centre. If \(C\) and \(C'\) are the same circle, show that $$(|a|^2 - r^2)^2 = 1$$ and that either \(a\) is real or \(a\) is imaginary. Give sketches to indicate the position of \(C\) in these two cases.
2. Suppose instead that the point \(Q\) is represented by \(\omega\), where \(\omega = \frac{1}{z^*}\). If the locus of \(Q\) is \(C\), is it the case that either \(a\) is real or \(a\) is imaginary?

Let \(\omega = \e^{2\pi {\rm i}/n}\), where \(n\) is a positive integer. Show that, for any complex number \(z\), \[ (z-1)(z-\omega) \cdots (z - \omega^{n-1}) = z^n -1\,. \] The points \(X_0, X_1, \ldots\, X_{n-1}\) lie on a circle with centre \(O\) and radius 1, and are the vertices of a regular polygon.

1. The point \(P\) is equidistant from \(X_0\) and \(X_1\). Show that, if \(n\) is even, \[ |PX_0| \times |PX_1 |\times \,\cdots\, \times |PX_{n-1}| = |OP|^n +1\, ,\] where \(|PX_ k|\) denotes the distance from \(P\) to \(X_k\). Give the corresponding result when \(n\) is odd. (There are two cases to consider.)
2. Show that \[ |X_0 X_1|\times |X_0 X_2|\times \,\cdots\, \times |X_0 X_{n-1}| =n\,. \]

Let \(z\) and \(w\) be complex numbers. Use a diagram to show that \(\vert z-w \vert \le \vert z\vert + \vert w \vert\,.\) For any complex numbers \(z\) and \(w\), \(E\) is defined by \[ E = zw^* + z^*w +2 \vert zw \vert\,. \]

1. Show that \(\vert z-w\vert^2 = \left( \vert z \vert + \vert w\vert\right)^2 -E\,\), and deduce that \(E\) is real and non-negative.
2. Show that \(\vert 1-zw^*\vert^2 = \left ( 1 +\vert zw \vert \right)^2 -E\,\).

Show that $\big\vert \e^{\i\beta} -\e^{\i\alpha}\big\vert = 2\sin\frac12 (\beta-\alpha)\,\( for \)0<\alpha<\beta<2\pi\,$. Hence show that \[ \big\vert \e^{\i\alpha} -\e^{\i\beta}\big\vert \; \big\vert \e^{\i\gamma} -\e^{\i\delta}\big\vert + \big\vert \e^{\i\beta} -\e^{\i\gamma}\big\vert \; \big\vert \e^{\i\alpha} -\e^{\i\delta}\big\vert = \big\vert \e^{\i\alpha} -\e^{\i\gamma}\big\vert \; \big\vert \e^{\i\beta} -\e^{\i\delta}\big\vert \,, \] where \(0<\alpha<\beta<\gamma<\delta<2\pi\). Interpret this result as a theorem about cyclic quadrilaterals.

In this question, \(a\) and \(c\) are distinct non-zero complex numbers. The complex conjugate of any complex number \(z\) is denoted by \(z^*\). Show that \[ |a - c|^2 = aa^* + cc^* -ac^* - ca^* \] and hence prove that the triangle \(OAC\) in the Argand diagram, whose vertices are represented by \(0\), \(a\) and \(c\) respectively, is right angled at \(A\) if and only if \(2aa^* = ac^*+ca^*\,\). Points \(P\) and \(P'\) in the Argand diagram are represented by the complex numbers \(ab\) and \(\ds \frac{a}{b^*}\,\), where \(b\) is a non-zero complex number. A circle in the Argand diagram has centre \(C\) and passes through the point \(A\), and is such that \(OA\) is a tangent to the circle. Show that the point \(P\) lies on the circle if and only if the point \(P'\) lies on the circle. Conversely, show that if the points represented by the complex numbers \(ab\) and \(\ds \frac{a}{b^*}\), for some non-zero complex number \(b\) with \(bb^* \ne 1\,\), both lie on a circle centre \(C\) in the Argand diagram which passes through \(A\), then \(OA\) is a tangent to the circle.

Four complex numbers \(u_1\), \(u_2\), \(u_3\) and \(u_4\) have unit modulus, and arguments \(\theta_1\), \(\theta_2\), \(\theta_3\) and \(\theta_4\), respectively, with \(-\pi < \theta_1 < \theta_2 < \theta_3 < \theta_4 < \pi\). Show that \[ \arg \l u_1 - u_2 \r = \tfrac{1}{2} \l \theta_1 + \theta_2 -\pi \r + 2n\pi \] where \(n = 0 \hspace{4 pt} \mbox{or} \hspace{4 pt} 1\,\). Deduce that \[ \arg \l \l u_1 - u_2 \r \l u_4 - u_3 \r \r = \arg \l \l u_1 - u_4 \r \l u_3 - u_2 \r \r + 2n\pi \] for some integer \(n\). Prove that \[ | \l u_1 - u_2 \r \l u_4 - u_3 \r | + | \l u_1 - u_4 \r \l u_3 - u_2 \r | = | \l u_1 - u_3 \r \l u_4 - u_2 \r |\;. \]

1. Prove that the equations $$ \left|z - (1 + \mathrm{i}) \right|^2 = 2 \eqno(*) $$ and $$ \qquad \quad \ \left|z - (1 - \mathrm{i}) \right|^2 = 2 \left|z - 1 \right|^2 $$ describe the same locus in the complex \(z\)--plane. Sketch this locus.
2. Prove that the equation $$ \arg \l {z - 2 \over z} \r = {\pi \over 4} \eqno(**) $$ describes part of this same locus, and show on your sketch which part.
3. The complex number \(w\) is related to \(z\) by \[ w = {2 \over z}\;. \] Determine the locus produced in the complex \(w\)--plane if \(z\) satisfies \((*)\). Sketch this locus and indicate the part of this locus that corresponds to \((**)\).

Define the modulus of a complex number \(z\) and give the geometric interpretation of \(\vert\,z_1-z_2\,\vert\) for two complex numbers \(z_1\) and \(z_2\). On the basis of this interpretation establish the inequality $$\vert\,z_1+z_2\,\vert\le \vert\,z_1\,\vert+\vert\,z_2\,\vert.$$ Use this result to prove, by induction, the corresponding inequality for \(\vert\,z_1+\cdots+z_n\,\vert\). The complex numbers \(a_1,\,a_2,\,\ldots,\,a_n\) satisfy \(|a_i|\le 3\) (\(i=1, 2, \ldots , n\)). Prove that the equation $$a_1z+a_2z^2\cdots +a_nz^n=1$$ has no solution \(z\) with \(\vert\,z\,\vert\le 1/4\).

The variable non-zero complex number \(z\) is such that \[ \left|z-\mathrm{i}\right|=1. \] Find the modulus of \(z\) when its argument is \(\theta.\) Find also the modulus and argument of \(1/z\) in terms of \(\theta\) and show in an Argand diagram the loci of points which represent \(z\) and \(1/z\). Find the locus \(C\) in the Argand diagram such that \(w\in C\) if, and only if, the real part of \((1/w)\) is \(-1\).

Show Solution

---

Solution:

+ - ↺

\(z\) is a point on the circle shown: Therefore using the cosine rule \(|z|^2 = 1^2 + 1^2 - 2\cdot 1 \cdot 1 \cdot \cos (2 \theta) = 2 -2\cos 2\theta = 2\sin^2 \theta \Rightarrow |z| = \sqrt{2}|\sin \theta|\) \(\frac{1}{z}\) has modulus \(\frac{1}{\sqrt{2}|\sin \theta|}\) and argument \(-\theta\). \(|\frac{1}{z} - i| = 1 \Rightarrow |1-iz| = |z| \Rightarrow |-i-z| = |z|\) ie we're looking for the points on the perpendicular bisector of \(0\) and \(-i\). \(\textrm{Re}\left (\frac{1}{w}\right) = -1 \Rightarrow -1 = \textrm{Re} \left (\frac{1}{a+ib} \right) = \frac{a-ib}{a^2+b^2} = \frac{a}{a^2+b^2} \Rightarrow a^2+b^2 = -a \Rightarrow (a+\tfrac12)^2+b^2 = \tfrac14\) so we are looking at a circle radius \(\tfrac12\) centre \(-\frac12\)

The function \(\mathrm{f}\) is defined, for any complex number \(z\), by \[ \mathrm{f}(z)=\frac{\mathrm{i}z-1}{\mathrm{i}z+1}. \] Suppose throughout that \(x\) is a real number.

1. Show that \[ \mathrm{Re}\,\mathrm{f}(x)=\frac{x^{2}-1}{x^{2}+1}\qquad\mbox{ and }\qquad\mathrm{Im}\,\mathrm{f}(x)=\frac{2x}{x^{2}+1}. \]
2. Show that \(\mathrm{f}(x)\mathrm{f}(x)^{*}=1,\) where \(\mathrm{f}(x)^{*}\) is the complex conjugate of \(\mathrm{f}(x)\).
3. Find expressions for \(\mathrm{Re}\,\mathrm{f}(\mathrm{f}(x))\) and \(\mathrm{Im}\,\mathrm{f}(\mathrm{f}(x)).\)
4. Find \(\mathrm{f}(\mathrm{f}(\mathrm{f}(x))).\)