8.2: Complex Numbers
- Page ID
- 90273
\( \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}\)Complex numbers were first introduced in order to solve some simple problems. The history of complex numbers only extends about five hundred years. In essence, it was found that we need to find the roots of equations such as \(x^{2}+1=0\). The solution is \(x=\pm \sqrt{-1}\). Due to the usefulness of this concept, which was not realized at first, a special symbol was introduced - the imaginary unit, \(i=\sqrt{-1}\). In particular, Girolamo Cardano \((1501-1576)\) was one of the first to use square roots of negative numbers when providing solutions of cubic equations. However, complex numbers did not become an important part of mathematics or science until the late seventh and eighteenth centuries after people like Abraham de Moivre ( \(1667-1754\) ), the Bernoulli\(^{1}\) family and Euler took them seriously.
A complex number is a number of the form \(z=x+i y\), where \(x\) and \(y\) are real numbers. \(x\) is called the real part of \(z\) and \(y\) is the imaginary part of \(z\). Examples of such numbers are \(3+3 i,-1 i=-i, 4 i\) and 5. Note that \(5=5+0 i\) and \(4 i=0+4 i\).
The Bernoullis were a family of Swiss mathematicians spanning three generations. It all started with Jacob Bernoulli \((1654-1705)\) and his brother Johann Bernoulli (\(1667-1748\)). Jacob had a son, Nicolaus Bernoulli (\(1687-1759\)) and Johann (\(1667-1748\)) had three sons, Nicolaus Bernoulli II (\(1695-1726\)), Daniel Bernoulli (\(1700-1872\)), and Johann Bernoulli II (\(1710-1790\)). The last generation consisted of Johann II’s sons, Johann Bernoulli III (\(1747-1807\)) and Jacob Bernoulli II (\(1759-1789\)). Johann, Jacob and Daniel Bernoulli were the most famous of the Bernoulli’s. Jacob studied with Leibniz, Johann studied under his older brother and later taught Leonhard Euler and Daniel Bernoulli, who is known for his work in hydrodynamics.
There is a geometric representation of complex numbers in a two dimensional plane, known as the complex plane \(C\). This is given by the Argand diagram as shown in Figure \(\PageIndex{1}\). Here we can think of the complex number \(z=x+i y\) as a point \((x, y)\) in the \(z\)-complex plane or as a vector. The magnitude, or length, of this vector is called the complex modulus of \(z\), denoted by \(|z|=\sqrt{x^{2}+y^{2}}\). We can also use the geometric picture to develop a polar representation of complex numbers. From Figure \(\PageIndex{1}\) we can see that in terms of \(r\) and \(\theta\) we have that \[\begin{align} &x=r \cos \theta\nonumber \\ &y=r \sin \theta\label{eq:1} \end{align}\] Thus, \[z=x+i y=r(\cos \theta+i \sin \theta)=r e^{i \theta} .\label{eq:2}\]
![clipboard_e497596ca0f8d6e78018533ebd5c0b47a.png](https://math.libretexts.org/@api/deki/files/77082/clipboard_e497596ca0f8d6e78018533ebd5c0b47a.png?revision=1&size=bestfit&width=354&height=358)
The complex modulus, \(|z|=\sqrt{x^{2}+y^{2}}\).
Complex numbers can be represented in rectangular (Cartesian), \(z=x+i y\), or polar form, \(z=r e^{i \theta}\). Here we define the argument, \(\theta\), and modulus, \(|z|=r\) of complex numbers.
So, given \(r\) and \(\theta\) we have \(z=r e^{i \theta} .\) However, given the Cartesian form, \(z=x+i y\), we can also determine the polar form, since \[\begin{array}{r} r=\sqrt{x^{2}+y^{2}}, \\ \tan \theta=\frac{y}{x} . \end{array}\label{eq:3} \] Note that \(r=|z|\).
Locating \(1+i\) in the complex plane, it is possible to immediately determine the polar form from the angle and length of the "complex vector." This is shown in Figure \(\PageIndex{2}\). It is obvious that \(\theta=\frac{\pi}{4}\) and \(r=\sqrt{2}\).
![clipboard_e2ca4fd2d00c54b5b0668b6d21c33f2a7.png](https://math.libretexts.org/@api/deki/files/77083/clipboard_e2ca4fd2d00c54b5b0668b6d21c33f2a7.png?revision=1&size=bestfit&width=405&height=367)
Write \(z=1+i\) in polar form.
Solution
If one did not see the polar form from the plot in the z-plane, then one could systematically determine the results. First, write \(z=1+i\) in polar form, \(z=r e^{i \theta}\), for some \(r\) and \(\theta\).
Using the above relations between polar and Cartesian representations, we have \(r=\sqrt{x^{2}+y^{2}}=\sqrt{2}\) and \(\tan \theta=\frac{y}{x}=1\). This gives \(\theta=\frac{\pi}{4}\). So, we have found that \[1+i=\sqrt{2} e^{i \pi / 4} .\nonumber \]
We can also define binary operations of addition, subtraction, multiplication and division of complex numbers to produce a new complex number. The addition of two complex numbers is simply done by adding the real and imaginary parts of each number. So, \[(3+2 i)+(1-i)=4+i \text {. }\nonumber \] Subtraction is just as easy, \[(3+2 i)-(1-i)=2+3 i .\nonumber \] We can multiply two complex numbers just like we multiply any binomials, though we now can use the fact that \(i^{2}=-1\). For example, we have \[(3+2 i)(1-i)=3+2 i-3 i+2 i(-i)=5-i \text {. }\nonumber \]
We can easily add, subtract, multiply and divide complex numbers.
We can even divide one complex number into another one and get a complex number as the quotient. Before we do this, we need to introduce the complex conjugate, \(\bar{z}\), of a complex number. The complex conjugate of \(z=x+i y\), where \(x\) and \(y\) are real numbers, is given as \[\bar{z}=x-i y .\nonumber \]
The complex conjugate of \(z=x+i y\), is given as \(\bar{z}=x-i y\).
Complex conjugates satisfy the following relations for complex numbers \(z\) and \(w\) and real number \(x\). \[\begin{align} \overline{z+w} &=\bar{z}+\bar{w}\nonumber \\ \overline{z w} &=\overline{z w}\nonumber \\ \overline{\bar{z}} &=z\nonumber \\ \bar{x} &=x .\label{eq:4} \end{align}\]
One consequence is that the complex conjugate of \(r e^{i \theta}\) is \[\overline{r e^{i \theta}}=\overline{\cos \theta+i \sin \theta}=\cos \theta-i \sin \theta=r e^{-i \theta} \text {. }\nonumber \] Another consequence is that \[z \bar{z}=r e^{i \theta} r e^{-i \theta}=r^{2} .\nonumber \] Thus, the product of a complex number with its complex conjugate is a real number. We can also prove this result using the Cartesian form \[z \bar{z}=(x+i y)(x-i y)=x^{2}+y^{2}=|z|^{2} .\nonumber \]
Now we are in a position to write the quotient of two complex numbers in the standard form of a real plus an imaginary number.
Simplify the expression \(z=\frac{3+2 i}{1-i}\).
Solution
This simplification is accomplished by multiplying the numerator and denominator of this expression by the complex conjugate of the denominator: \[z=\frac{3+2 i}{1-i}=\frac{3+2 i}{1-i} \frac{1+i}{1+i}=\frac{1+5 i}{2} .\nonumber \] Therefore, the quotient is a complex number and in standard form it is given by \(z=\frac{1}{2}+\frac{5}{2} i .\)
We can also consider powers of complex numbers. For example, \[\begin{gathered} (1+i)^{2}=2 i \\ (1+i)^{3}=(1+i)(2 i)=2 i-2 . \end{gathered}\nonumber \] But, what is \((1+i)^{1 / 2}=\sqrt{1+i}\) ?
In general, we want to find the \(n\)th root of a complex number. Let \(t=\) \(z^{1 / n}\). To find \(t\) in this case is the same as asking for the solution of \[z=t^{n}\nonumber \] given \(z\). But, this is the root of an \(n\)th degree equation, for which we expect \(n\) roots. If we write \(z\) in polar form, \(z=r e^{i \theta}\), then we would naively compute \[\begin{align} z^{1 / n} &=\left(r e^{i \theta}\right)^{1 / n}\nonumber \\ &=r^{1 / n} e^{i \theta / n}\nonumber \\ &=r^{1 / n}\left[\cos \frac{\theta}{n}+i \sin \frac{\theta}{n}\right] .\label{eq:5} \end{align}\]
For example, \[(1+i)^{1 / 2}=\left(\sqrt{2} e^{i \pi / 4}\right)^{1 / 2}=2^{1 / 4} e^{i \pi / 8} .\nonumber \] But this is only one solution. We expected two solutions for \(n=2\).
The function \(f(z)=z^{1 / n}\) is multivalued. \[z^{1 / n}=r^{1 / n} e^{i(\theta+2 k \pi) / n}, \quad k=0,1, \ldots, n-1\nonumber\]
The reason we only found one solution is that the polar representation for \(z\) is not unique. We note that \[e^{2k\pi i}=1,\quad k=0,\pm 1,\pm 2,\ldots .\nonumber\] So, we can rewrite \(z\) as \(z=r e^{i \theta} e^{2 k \pi i}=r e^{i(\theta+2 k \pi)}\). Now, we have that \[z^{1 / n}=r^{1 / n} e^{i(\theta+2 k \pi) / n}, \quad k=0,1, \ldots, n-1\nonumber \] Note that these are the only distinct values for the roots. We can see this by considering the case \(k=n\). Then, we find that \[e^{i(\theta+2 \pi i n) / n}=e^{i \theta / n} e^{2 \pi i}=e^{i \theta / n} .\nonumber \] So, we have recovered the \(n=0\) value. Similar results can be shown for the other \(k\) values larger than \(n\).
Now, we can finish the example we had started.
Determine the square roots of \(1+i\), or \(\sqrt{1+i}\).
Solution
As we have seen, we first write \(1+i\) in polar form, \(1+i=\sqrt{2} e^{i \pi / 4}\). Then, introduce \(e^{2 k \pi i}=1\) and find the roots: \[\begin{align} (1+i)^{1 / 2} &=\left(\sqrt{2} e^{i \pi / 4} e^{2 k \pi i}\right)^{1 / 2}, \quad k=0,1,\nonumber \\ &=2^{1 / 4} e^{i(\pi / 8+k \pi)}, \quad k=0,1,\nonumber \\ &=2^{1 / 4} e^{i \pi / 8}, 2^{1 / 4} e^{9 \pi i / 8} .\label{eq:6} \end{align}\]
The \(n\)th roots of unity, \(\sqrt[n]{1}\).
Finally, what is \(\sqrt[n]{1}\) ? Our first guess would be \(\sqrt[n]{1}=1\). But, we now know that there should be \(n\) roots. These roots are called the \(n\)th roots of unity. Using the above result with \(r=1\) and \(\theta=0\), we have that \[\sqrt[n]{1}=\left[\cos \frac{2 \pi k}{n}+i \sin \frac{2 \pi k}{n}\right], \quad k=0, \ldots, n-1 .\nonumber \] For example, we have \[\sqrt[3]{1}=\left[\cos \frac{2 \pi k}{3}+i \sin \frac{2 \pi k}{3}\right], \quad k=0,1,2\nonumber \] These three roots can be written out as \[\sqrt[3]{1}=1,-\frac{1}{2}+\frac{\sqrt{3}}{2} i,-\frac{1}{2}-\frac{\sqrt{3}}{2} i .\nonumber \]
We can locate these cube roots of unity in the complex plane. In Figure \(\PageIndex{3}\) we see that these points lie on the unit circle and are at the vertices of an equilateral triangle. In fact, all \(n\)th roots of unity lie on the unit circle and are the vertices of a regular \(n\)-gon with one vertex at \(z=1\).
![clipboard_e9e185c3b0526e7f17b75ee9aa67f45ef.png](https://math.libretexts.org/@api/deki/files/77084/clipboard_e9e185c3b0526e7f17b75ee9aa67f45ef.png?revision=1&size=bestfit&width=394&height=397)