A complex number \(z=2-\sqrt{3}\,i\small.\) (a) Write down the complex conjugate \(\raise 0.1pt{\overline{z}}\small.\) (b) Find \(\raise 0.1pt{z\overline{z}}\small.\)
(a) To find a complex conjugate, we just change the sign of the imaginary part. So \(\overline{z}=2+\sqrt{3}\,i\small.\)
(b) To find \(\raise 0.1pt{z\overline{z}}\small,\) we just break the brackets, using the fact that \(i^2=-1\small.\)
Note: For any complex number \(z\small,\) it is always the case that \(\raise 0.1pt{z\overline{z}}\) is a real number, for much the same reason as why a difference of two squares has no 'middle term'.
Example 2 (non-calculator)
Subtopic: Complex arithmetic
\(z_1=3+4i\,\) and \(\,z_2=k-12i\small,\) \(\,\raise 0.1pt{k\in\mathbb R}\small.\) (a) Find and simplify \(\raise 0.1pt{z_{1}\overline{z_2}\,\small.}\) (b) Find the value of \(\raise 0.1pt{k}\) such that \(z_{1}\overline{z_2}\in\mathbb R\small.\)
(a) The complex conjugate \(\overline{z_2}=k+12i\small.\) So:
\(\raise 0.1pt{z=\large\frac{3\,-\,i}{2\,+\,ni}\normalsize\in\mathbb R}\) for some value \(\raise 0.1pt{n\in\mathbb R}\small.\) (a) Determine the value of \(\raise 0.1pt{n}\small.\) (b) Hence find the value of \(\raise 0.1pt{z}\small.\)
(a) We will need to perform the division in order to identify the real and imaginary parts of \(z\small.\)
To divide by a complex number we multiply top and bottom by the complex conjugate of the divisor.
Now we start working towards finding the values of \(a\) and \(b\small.\) The first step in this process is to equate the imaginary part of the equation, to obtain an expression for \(b\) in terms of \(a\):
$$
\begin{eqnarray}
-4 &=& 2ab\\[6pt]
b &=& -\!\frac{2}{a}
\end{eqnarray}
$$
Then we substitute this into the real part of the equation:
\(a^2+1=0\) has no real solutions, but \(a^2-4=0\) gives us \(a=\pm 2\small.\)
Finally, we find the corresponding \(b\)-values:
\(a=-2\implies b=-\left(\large\frac{2}{-2}\normalsize\!\right)=1\small,\) giving a root of \(-2+i\small.\)
\(a=2\implies b=-\large\frac{2}{2}\normalsize=-1\small,\) giving the other root: \(2-i\small.\)
Note: The two square roots of a non-zero complex number have the same modulus but are diametrically opposed across the origin. In polar form, this means that their arguments differ by exactly \(\pi\) radians \((180^{\circ})\small.\)
Example 7 (non-calculator)
Subtopic: Cubic or quartic equations
The complex number \(z=1+2i\,\) is a root of the equation \(z^3-5z^2+11z-15=0\small.\)
Find the remaining roots.
As \(z\) is a root, \(\overline{z}=1-2i\) is another root. Complex roots always exist in conjugate pairs.
Therefore \(\bigl(z-(1\!+\!2i)\bigr)\) and \(\bigl(z-(1\!-\!2i)\bigr)\) are factors of \(z^3-5z^2+11z-15\small.\)
We now multiply these two linear factors to obtain a quadratic factor, using the regrouping method below:
So now we can list all four roots:
\(z=1\pm\sqrt{3}\,i\,\) and \(\,z=-1\pm\sqrt{2}\,i\small.\)
Example 9 (non-calculator)
Subtopics: Argand diagram, Polar form
The complex number \(\raise 0.1pt{z}\) has been plotted on an Argand diagram, as shown below.
Express \(\raise 0.1pt{z}\) in: (a) Cartesian form (b) polar form.
(a) Cartesian form: \(z=k\sqrt{3}-k\tiny\,\normalsize i\small.\) This would only be worth one mark.
(b) Polar form. This would typically be worth three marks: one for the modulus \(\vert z\vert\small,\) one for the argument \(\text{arg}(z)\) and one for correctly combining them into polar form.
For the modulus, we use the distance formula (Pythagoras):
Note 1: Time permitting, it may be a good idea in your exam to check that your polar form is correct by evaluating each trig expression and checking that it simplifies back into the Cartesian form – but be careful to score out your check, or otherwise make it very clear what your final answer is, in case the marker isn't sure that you knew where to stop!
Note 2: You may be tempted to use your knowledge from the Functions topic that cosine is even and sine is odd to simplify the polar form to the following:
However, this isn't technically in polar form any more, because of the minus sign before the imaginary term. So, if the polar form has a negative argument, just leave it, despite the clumsy appearance of the nested brackets.
Example 10 (non-calculator)
Subtopic: Polar form
Two complex numbers are defined as:
\(z=2\left(\text{cos}\,\large\frac{\pi}{4}\normalsize+i\,\text{sin}\,\large\frac{\pi}{4}\normalsize\right)\)
\(w=3\left(\text{cos}\,\large\frac{5\pi}{6}\normalsize+i\,\text{sin}\,\large\frac{5\pi}{6}\normalsize\right)\)
Express in polar form: (a) \(\raise 0.1pt{zw}\) (b) \(\large\frac{z}{w}\small.\)
(a) To multiply two numbers in polar form we multiply their moduli and add their arguments, if necessary bringing the argument back into the principal interval \(-\pi\lt\text{arg}(z)\leqslant\pi\) by adding or subtracting multiples of \(2\pi\) as required. We will need to subtract \(2\pi\) in this case.
(b) To divide two numbers in polar form we divide their moduli and subtract their arguments, if necessary bringing the argument back into the principal interval \(-\pi\lt\text{arg}(z)\leqslant\pi\) by adding or subtracting multiples of \(2\pi\small.\) That won't be necessary in this case.
To find the principal argument, in the interval \(-\pi\lt\text{arg}(z)\leqslant\pi\small,\) we first find the related acute angle, and then adjust so that it is in the correct quadrant.
In this case, the argument is in the third quadrant (bottom left), so one way of doing this is to use \(\pi\) plus the acute angle and then subtract \(2\pi\) to bring it into the principal interval:
$$ z = 2^{\large\frac{1}{8}\normalsize}\biggl(\text{cos}\left(\small\frac{3\pi}{4}\normalsize\!+\!2k\pi\right)\normalsize+i\ \text{sin}\left(\small\frac{3\pi}{4}\normalsize\!+\!2k\pi\right)\biggr)^{\large\frac{1}{4}\normalsize} $$
where \(k=0\small,\normalsize\ 1\small,\normalsize\ 2\small,\normalsize\ 3\small.\)
Now we apply de Moivre's theorem:
$$ z = 2^{\large\frac{1}{8}\normalsize}\biggl(\text{cos}\left(\small\frac{3\pi}{16}\normalsize\!+\!\small\frac{k\pi}{2}\normalsize\right)\normalsize+i\ \text{sin}\left(\small\frac{3\pi}{16}\normalsize\!+\!\small\frac{k\pi}{2}\normalsize\right)\biggr) $$
where \(k=0\small,\normalsize\ 1\small,\normalsize\ 2\small,\normalsize\ 3\small.\)
To obtain separate expressions for each of these roots, we substitute each value of \(\raise 0.1pt{k}\) in turn, if necessary adjusting the argument in the usual way to ensure that it is within the principal interval.
Given that \(z_1=5+3i\) and \(z_2=6+2i\small,\) express \(\raise 0.1pt{z_{1}\overline{z_2}}\) in the form \(a+bi\) where \(a\) and \(b\) are real numbers.
The complex conjugate \(\overline{z_2}=6-2i\,\small.\)
Note: The (b) part is one of those rare instances in which an 'or otherwise' method would be fine. We could expand the Cartesian form either using basic complex arithmetic or with the Binomial Theorem. Either of these alternative methods would have received full credit. Why not try them yourself as an exercise?
Example 15 (non-calculator)
SQA Advanced Higher Maths 2024 Paper 1 Q2 Subtopics: Polar form, de Moivre's theorem
A complex number is defined by \(z=1+i\small.\) (a) Express \(z\) in polar form. (b) Use de Moivre's theorem to evaluate \(z^8\small.\)
(a) For the modulus, we use the distance formula (Pythagoras):
SQA Advanced Higher Maths 2024 Paper 2 Q12 Subtopic: Equations with complex roots
Given \(z=x+iy\small,\,\normalsize y\neq 0\small,\) solve the equation \(z^2+20\overline{z}-156=0\) where \(\overline{z}\) is the complex conjugate of \(z\small.\)
The complex conjugate \(\overline{z}=x-iy\small.\)
Two complex numbers are defined as \(z=11+10i\) and \(w=3-2i\small.\)
Find \(\large\frac{z}{w}\normalsize\) in the form \(a+bi\small,\) where \(\raise 0.1pt{a\small,\normalsize b\in\mathbb R}\small.\)
To divide complex numbers we multiply top and bottom by the complex conjugate of the denominator.