The mathematics of complex numbers all arise from defining the imaginary unit \(i\) to be \(\sqrt{-1}\text{.}\) In this section and continuing in the next few are how this fact can generate interesting results
Subsection3.1.1Basics of Complex Numbers and the Complex Plane
With the imaginary unit \(i = \sqrt{-1}\text{,}\) we can build up a complex number like \(2 + 3i\text{.}\) Any complex number \(z\) can be simplified with real number arithmetic to a number \(a + bi \text{.}\)
A visual of a complex number can be helpful. The complex plane. In this plane, the horizontal axis is the real part of the number and the vertical axis is the imaginary part. So the complex number \(2 + 3i\) would be plotted at the point \((2,3)\) in this plane.
Another important concept in complex numbers is that of the complex conjugate of a number \(z\text{.}\) If we use \(z = a+bi\text{,}\) then the complex conjugate is \(\bar{z} = a-bi\text{,}\) which is simply found by changing the sign of the imaginary part of the number.
There is one other operation that is quite helpful and that is the absolute value. Although you might wonder how to apply the absolute value to a complex number (do we ensure that the signs on each part is positive). Before that, we can interpret the absolute value of a real as if the number is plotted on the number line, then it is the distance from the origin (or \(x=0\)). For example \(|5|=5\) is five units from the origin and \(|-7|=7\) is seven units from the origin.
Addition and subtraction of complex numbers have additional geometric meaning. Letβs look at a particular example. Let \(z_1 = -1 + 2i\text{,}\)\(z_2 = 3 + 2i\text{.}\) If we draw these in the complex plane along with vectors of each starting at the origin, then:
Another important form of a complex number is called the polar form. If we find \(r\text{,}\) the distance from the origin to the point \((x,y)\) and \(\theta\text{,}\) the counterclockwise angle between the positive \(x\) axis and the line segment as shown in the next figure.
Let \(z = x + iy\) be a complex number. \(z\) can be written in the form
\begin{equation*}
z = |z| e^{i\theta}
\end{equation*}
where \(\theta = \arg(z)\) is the counterclockwise angle between the line segment from \(O\) to the complex number and the positive real axis as shown in FigureΒ 3.1.5.
\begin{equation*}
\begin{aligned} z \amp = x + i y \\ \amp = r \cos \theta + i r \sin \theta \\ \amp = r (\cos theta + i \sin \theta) \\ \amp = |z| e^{i \theta} \end{aligned}
\end{equation*}
where will show that \(e^{i \theta} = \cos \theta + i \sin \theta\) in SECTION ????.
Powers and Roots of Complex Numbers in Polar Form.
The polar form of a complex number is also helpful for powers and roots. First, writing a number in polar form and then raising that to the power \(n\) results in
This can be interpreted as raising the distance to the \(n\text{th}\) power and rotating the angle \(n\) times around. For example, the plot about actually shows the number and its 2nd and 3rd power.
What this means is that to find the square root of a complex number, you take the square root of the distance and then return the number with angle half of the input.
Find the square root of \(z=-1+\sqrt{3}i\text{.}\) Note that \(|z|=\sqrt{1^{2}+(-\sqrt{3})^{2}}= \sqrt{4}=2\) and that the angle (argument) is \(2\pi/3\text{.}\) The resultant would have distance \(\sqrt{2}\) and the angle would be \(\pi/3\) so
An interesting function to study in complex numbers is \(f(z)=z^{n}-1\) for positive integers \(n\text{.}\) When \(n=2\text{,}\) we get the function \(x^{2}-1\) which isnβt that interesting, but not bad. Note that the roots of this are \(x=\pm 1\text{.}\) Letβs look at the solution to \(f(z)=z^{3}-1\text{.}\)
These points are on the unit circle and equally spaced with \(z=1\) a root. This is true in general for functions of the form \(f(z)=z^{n}-1\text{,}\) which will have the roots on the unit circle equally spaced \(2\pi/n\) radians apart from each other.
First, recall that the fundamental theorem of algebra states that there are exactly \(n\) complex solutions to a degree \(n\) polynomial (including multiplicities), so we expect \(n\) solutions to this.