12.A.E: Exercises for Complex Numbers
- Page ID
- 215169
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \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{\longvect}{\overrightarrow}\)
\( \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}\)Solve each of the following for the real number \(x\).
- \(x-4i = (2-i)^2\)
- \((2+xi)(3-2i) = 12+5i\)
- \((2+xi)^2=4\)
- \((2+xi)(2-xi)=5\)
- Answer
-
- \(x = 3\)
- \(x = \pm 1\)
Convert each of the following to the form \(a + bi\).
- \((2-3i)-2(2-3i)+9\)
- \((3-2i)(1+i)+|3+4i|\)
- \(\frac{1+i}{2-3i} + \frac{1-i}{-2+3i}\)
- \(\frac{3-2i}{1-i} + \frac{3-7i}{2-3i}\)
- \(i^{131}\) \((2 - i)^{3}\) \((1 + i)^{4}\)
- \((1 - i)^{2}(2 + i)^{2}\)
- \(\frac{3\sqrt{3}-i}{\sqrt{3}+i} + \frac{\sqrt{3}+7i}{\sqrt{3}-i}\)
- Answer
-
- \(10 + i\)
- \(\frac{11}{26} + \frac{23}{26}i\)
- \(2 - 11i\)
- \(8 - 6i\)
In each case, find the complex number \(z\).
- \(iz - (1 + i)^{2} = 3 - i\)
- \((i + z) - 3i(2 - z) = iz + 1\)
- \(z^{2} = -i\)
- \(z^{2} = 3 - 4i\)
- \(z(1+i) = \overline{z} + (3+2i)\)
- \(z(2-i) = (\overline{z}+1)(1+i)\)
- Answer
-
- \(\frac{11}{5} + \frac{3}{5}i\)
- \(\pm(2 - i)\)
- \(1 + i\)
In each case, find the roots of the real quadratic equation.
- \(x^{2} - 2x + 3 = 0\)
- \(x^{2} - x + 1 = 0\)
- \(3x^{2} - 4x + 2 = 0\)
- \(2x^{2} - 5x + 2 = 0\)
- Answer
-
- \(\frac{1}{2} \pm \frac{\sqrt{3}}{2}i\)
- \(2\), \(\frac{1}{2}\)
Find all numbers \(x\) in each case.
- \(x^{3} = 8\)
- \(x^{3} = -8\)
- \(x^{4} = 16\)
- \(x^{4} = 64\)
- Answer
-
- \(-2\), \(1 \pm \sqrt{3}i\)
- \(\pm 2\sqrt{2}\), \(\pm 2\sqrt{i}\)
In each case, find a real quadratic with \(u\) as a root, and find the other root.
- \(u = 1 + i\)
- \(u = 2 - 3i\)
- \(u = -i\)
- \(u = 3 - 4i\)
- Answer
-
- \(x^{2} - 4x + 13\); \(2 + 3i\)
- \(x^{2} - 6x + 25\); \(3 + 4i\)
Find the roots of \(x^{2} - 2\cos \theta x + 1 = 0\), \(\theta\) any angle.
Find a real polynomial of degree \(4\) with \(2 - i\) and \(3 - 2i\) as roots.
- Answer
-
\(x^{4} - 10x^{3} + 42x^{2} - 82x + 65\)
Let \(\text{re }z\) and \(im \;z\) denote, respectively, the real and imaginary parts of \(z\). Show that:
\(im \;(iz) = \text{re }z\) \(\text{re}(iz) = -im \;z\) \(z + \overline{z} = 2 \text{re}z\) \(z - \overline{z} = 2i im \; z\) \(\text{re}(z + w) = \text{re }z + \text{re }w\), and \(\text{re}(tz) = t \cdot \text{re }z\) if \(t\) is real \(im \;(z + w) = im \;z + im \;w\), and \(im \;(tz) = t \cdot im \;z\) if \(t\) is real
In each case, show that \(u\) is a root of the quadratic equation, and find the other root.
- \(x^{2} - 3ix + (-3 + i) = 0\);
- \(u = 1 + i\) \(x^{2} + ix - (4 - 2i) = 0\)
- \(u = -2\) \(x^{2} - (3 - 2i)x + (5 - i) = 0\)
- \(u = 2 - 3i\) \(x^{2} + 3(1 - i)x - 5i = 0\)
- \(u = -2 + i\)
- Answer
-
- \((-2)^{2} + 2i - (4 - 2i) = 0\); \(2 - i\)
- \((-2 + i)^{2} + 3(1 - i)(-1 + 2i) - 5i = 0\); \(-1 + 2i\)
Find the roots of each of the following complex quadratic equations.
- \(x^{2} + 2x + (1 + i) = 0\)
- \(x^{2} - x + (1 - i) = 0\)
- \(x^{2} - (2 - i)x + (3 - i) = 0\)
- \(x^{2} - 3(1 - i)x - 5i = 0\)
- Answer
-
- \(-i\), \(1 + i\)
- \(2 - i\), \(1 - 2i\)
In each case, describe the graph of the equation (where \(z\) denotes a complex number).
- \(|z| = 1\)
- \(|z - 1| = 2\)
- \(z = i \overline{z}\)
- \(z = -\overline{z}\)
- \(z = |z|\)
- \(im \;z = m \cdot \text{re }z\), \(m\) a real number
- Answer
-
- Circle, centre at \(1\), radius \(2\)
- Imaginary axis
- Line \(y = mx\)
- Verify \(|zw| = |z||w|\) directly for \(z = a + bi\) and \(w = c + di\).
- Deduce (a) from properties C2 and C6.
Prove that \(|z+w| = |z|^2 + |w|^2 + w\overline{z} + \overline{w}z\) for all complex numbers \(w\) and \(z\).
If \(zw\) is real and \(z \neq 0\), show that \(w = a \overline{z}\) for some real number \(a\).
If \(zw = \overline{z}v\) and \(z \neq 0\), show that \(w = uv\) for some \(u\) in \(\mathbb{C}\) with \(|u| = 1\).
Show that \((1 + i)^{n} + (1 - i)^{n}\) is real for all \(n\), using property C5.
Express each of the following in polar form (use the principal argument).
- \(3 - 3i\)
- \(-4i\)
- \(-\sqrt{3} + i\)
- \(-4 + 4\sqrt{3}i\)
- \(-7i\)
- \(-6 + 6i\)
- Answer
-
- \(4e^{-\pi i/2}\)
- \(8e^{2\pi i/3}\)
- \(6\sqrt{2}e^{3\pi i/4}\)
Express each of the following in the form \(a + bi\).
- \(3e^{\pi i}\)
- \(e^{7\pi i/3}\)
- \(2e^{3 \pi i/4}\)
- \(\sqrt{2}e^{-\pi i/4}\)
- \(e^{5\pi i/4}\)
- \(2\sqrt{3}e^{-2\pi i/6}\)
- Answer
-
- \(\frac{1}{2} + \frac{\sqrt{3}}{2} i\)
- \(1 - i\)
- \(\sqrt{3} - 3i\)
Express each of the following in the form \(a + bi\).
- \((-1 + \sqrt{3}i)^2\)
- \((1 + \sqrt{3}i)^{-4}\)
- \((1 + i)^8\) \((1 - i)^{10}\)
- \((1 - i)^{6}(\sqrt{3} + i)^{3}\)
- \((\sqrt{3} - i)^{9}(2 - 2i)^{5}\)
- Answer
-
- \(-\frac{1}{32} + \frac{\sqrt{3}}{32}i\)
- \(-32i\)
- \(-2^{16}(1 + i)\)
Use De Moivre’s theorem to show that:
- \(\cos 2\theta = \cos^{2} \theta - \sin^{2} \theta\)
- \(\sin 2\theta = 2 \cos \theta \sin \theta\)
- Answer
-
- \(\cos 3\theta = \cos^{3} \theta - 3 \cos \theta \sin^{2} \theta\);
\(\sin 3\theta = 3 \cos^2 \theta \sin \theta - \sin^3 \theta\)
- \(\cos 3\theta = \cos^{3} \theta - 3 \cos \theta \sin^{2} \theta\);
- Find the fourth roots of unity.
- Find the sixth roots of unity.
Find all complex numbers \(z\) such that:
- \(z^{4} = -1\)
- \(z^{4} = 2(\sqrt{3}i - 1)\)
- \(z^{3} = -27i\)
- \(z^{6} = -64\)
- Answer
-
- \(\pm \frac{\sqrt{2}}{2}(\sqrt{3}+i)\), \(\pm \frac{\sqrt{2}}{2}(-1 + \sqrt{3}i)\)
- \(\pm 2i\), \(\pm (\sqrt{3} +i)\), \(\pm (\sqrt{3}-i)\)
If \(z = re^{i\theta}\) in polar form, show that:
\(\overline{z} = re^{-i\theta}\) \(z^{-1} = \frac{1}{r} e^{-i\theta}\) if \(z \neq 0\)
Show that the sum of the \(n\)th roots of unity is zero.
- Let \(z_{1}\), \(z_{2}\), \(z_{3}\), \(z_{4}\), and \(z_{5}\) be equally spaced around the unit circle. Show that \(z_{1} + z_{2} + z_{3} + z_{4} + z_{5} = 0\). [Hint: \((1 - z)(1 + z + z^{2} + z^{3} + z^{4}) = 1 - z^{5}\) for any complex number \(z\).]
- Repeat (a) for any \(n \geq 2\) points equally spaced around the unit circle.
- If \(|w| = 1\), show that the sum of the roots of \(z^n = w\) is zero.
- Answer
-
- The argument in (a) applies using \(\beta = \frac{2\pi}{n}\). Then \(1 + z + \cdots + z^{n-1} = \frac{1-z^n}{1-z}=0\).
If \(z^n\) is real, \(n \geq 1\), show that \((\overline{z})^{n}\) is real.
If \(\overline{z}^2 = z^{2}\), show that \(z\) is real or pure imaginary.
If \(a\) and \(b\) are rational numbers, let \(p\) and \(q\) denote numbers of the form \(a + b\sqrt{2}\). If \(p = a + b\sqrt{2}\), define \(\tilde{p} = a-b\sqrt{2}\) and \([p] = a^{2} - 2b^{2}\). Show that each of the following holds.
- Answer
-
\(a + b\sqrt{2} = a_{1} + b_{1}\sqrt{2}\) only if \(a = a_{1}\) and \(b = b_{1}\) \(\widetilde{p \pm q} = \tilde{p} \pm \tilde{q}\) \(\widetilde{pq} = \tilde{p}\tilde{q}\) \([p] = p \tilde{p}\) \([pq] = [p][q]\) If \(f(x)\) is a polynomial with rational coefficients and \(p = a + b\sqrt{2}\) is a root of \(f(x)\), then \(\tilde{p}\) is also a root of \(f(x)\).


