The complex numbers were originally invented to solve problems in algebra. It was later recognized that the algebra of complex numbers provides an elegant set of tools for geometry in the plane. This section presents the basics of the algebra and geometry of the complex numbers.
Elements in the set of complex numbers \(\C\) are in one-to-one correspondence with points in the 2-dimensional real plane \(\R^2\) (where \(\R\) denotes the set of real numbers). We will write \(z\leftrightarrow (x,y)\) to denote that the complex number \(z\) corresponds to the ordered pair \((x,y)\) of real numbers.
Subsection1.1.1Real and imaginary parts
Given a complex number \(z\) corresponding to the point \((x,y)\) in \(\R^2\text{,}\) we say that \(x\) is the real part of \(z\) and that \(y\) is the imaginary part of \(z\text{,}\) denoted \(\re(z)=x\) and \(\im(z)=y\text{.}\) The set \(\C\) contains the set \(\R\) as a subset. The real number \(x\text{,}\) which is also the complex number \(x\text{,}\) corresponds to the ordered pair \((x,0)\text{.}\) A complex number that corresponds to an ordered pair \((0,y)\) is called (pure) imaginary. The complex number \(i\) corresponds to the ordered pair \((0,1)\text{.}\) Here is a summary so far.
\begin{align*}
z \amp \leftrightarrow (\re(z),\im(z))\\
x\in \R \amp \leftrightarrow (x,0)\\
i \amp \leftrightarrow (0,1)
\end{align*}
Subsection1.1.2Modulus and argument
Given a complex number \(z\leftrightarrow (x,y)\text{,}\) let \((r,\theta)\) be polar coordinates for the point \((x,y)\) such that \(r\geq 0\) and \(\theta\) is measured in radians. The modulus or norm of \(z\text{,}\) denoted \(|z|\), is defined to be the polar coordinate \(r=\sqrt{x^2+y^2}\) and the argument of \(z\text{,}\) denoted \(\arg(z)\), is the polar coordinate \(\theta\text{,}\) that is, the oriented angle made by the real vector \((x,y)\) with the positive real axis. In other words, \((|z|,\arg{z})\) are polar coordinates for the point \((x,y)\text{.}\) See Figure 1.1.1. Here is a summary.
The interaction between complex addition and multiplication is expressed by the following relationship, which holds for any complex \(z,u,v\text{.}\) See Figure 1.1.3.
Below are a number of relationships arising from the definitions of complex addition and multiplication. Let \(a,b,c,d\) be real numbers and let \(z\) be a complex number. The following relationships hold. 1
Equations (1.1.7), (1.1.8), and (1.1.9) say that complex addition, multiplication, and norm extend the corresponding operations on the reals. Equation (1.1.10) is expressed by saying 1 is the multiplicative identity.
Convergence for sequences and series of complex numbers can be defined in a way that naturally extends the definitions for real numbers. It turns out that the complex power series
A key property of the complex exponential is the following, called Euler’s formula.
Euler’s formula.
\begin{equation}
e^{it}= \cos t + i\sin t \;\;\text{(for $t$ real)}\tag{1.1.14}
\end{equation}
For \(z\) with \(r=|z|\) and \(t=\arg(z)\text{,}\) the expression \(z=re^{it}\) is called the polar form for \(z\text{.}\) By contrast, we call \(z=x+iy\) the rectangular form (or the Cartesian form) for \(z\text{.}\)Figure 1.1.4 shows a summary of the geometric content of the rectangular and polar forms for a complex number \(z\text{.}\)
Here is how complex multiplication looks in polar form. For \(z=re^{i\theta},
w=se^{i\phi}\text{,}\) we have
For \(z=re^{i\theta}\) with \(r\neq 0\text{,}\) we call \(\frac{1}{r}e^{-i\theta}\) the multiplicative inverse of \(z\text{,}\) denoted \({1}/{z}\) or \(z^{-1}\text{.}\)
Subsection1.1.5Conjugation
The conjugate of the complex number \(z=x+iy=re^{i\theta}\text{,}\) denoted \(\overline{z}\) or \(z^\ast\) , is defined to be \(z^\ast = x-iy =
re^{-i\theta}\text{.}\) Geometrically, \(z^\ast\) is the reflection of \(z\) across the real axis (the \(x\)-axis) in \(\R^2\text{.}\) Here are some relations involving conjugates. For all \(z,w\in \C\text{,}\) we have the following.
Let \(C\) be the circle of radius \(r\gt 0\) and with center \(a\in \C\text{.}\) A point \(z\) lies on \(C\) if and only if the distance from \(z\) to \(a\) equals \(r\text{.}\) In mathematical symbols, \(C\) is the set of solutions \(z\) for the following equation.
The real line \(\R\) is the set of solutions \(z\) of the equation \(\im(z)=0\text{.}\) More generally, let \(L\) be a line that contains the point \(p\in \C\) and makes an angle \(\theta\) with the real axis (set \(\theta=0\) if \(L\) is parallel to the real axis). If \(z\in L\text{,}\) then \(e^{-i\theta}(z-p)\) is real, so \(\im(e^{-i\theta}(z-p))=0\text{.}\) See Figure 1.1.5. Conversely, if \(e^{-i\theta}(z-p)\) is real, then \(z\) lies on \(L\text{.}\) Multiplying by a positive constant \(k\text{,}\) and setting \(a=ke^{-i\theta}\) and \(b=-ke^{-i\theta}p\text{,}\) we conclude that the line \(L\) is the set of solutions to the following equation.
What is the difference between polar coordinates and polar form? What is the difference between rectangular coordinates and rectangular form? Write formulas for converting from polar to rectangular coordinates and vice-versa.
Solution.
Let \(z\) be a complex number, let \(x=\re(z)\text{,}\)\(y=\im(z)\text{,}\)\(r=|z|\) and \(\theta = \arg(z)\text{.}\) The pair \((r,\theta)\) is called the polar coordinates for \(z\text{,}\) while the expression \(re^{i\theta}\) is called the polar form for \(z\text{.}\) The pair \((x,y)\) is called the rectangular coordinates for \(z\text{,}\) while the expression \(x+iy\) is called the rectangular form for \(z\text{.}\)
To convert from polar to rectangular, use the equations \(x=r\cos \theta,
y=r\sin \theta\) (show sketches to explain these formulas). To convert from rectangular to polar, use \(r=\sqrt{x^2+y^2}\) and \(\tan \theta =
y/x\text{.}\) For the last equation, you must use judgment when \(x=0\) to decide whether \(\theta\) should be \(\pi/2\) or \(-\pi/2\text{.}\) You must also use judgment when calculating \(\theta = \arctan (y/x)\text{.}\) The standard codomain for \(\arctan\) is the interval \((-\pi/2,\pi/2)\text{,}\) so you need to use \(\theta = \arctan (y/x) + \pi\) for \(x\lt 0\text{.}\)
2.
Express each of the following in rectangular and polar form.
The simplest approach is geometric: Sketch the parallelogram for vector addition and use the fact that the length of any side of a triangle is less than the sum of the lengths of the other two sides.
Here is one route to an algebraic proof: Let \(z=a+bi\text{,}\)\(w=c+di\text{.}\) Manipulate the triangle inequality (start by squaring both sides) to obtain
Let \(p\) and \(q\) be complex numbers. Prove that the distance (ordinary distance between points in the plane) between \(p\) and \(q\) is \(|p-q|\text{.}\)
Given a nonzero complex number \(z\text{,}\) explain why \(z\) has exactly two square roots, and explain how to find them.
Solution.
Since squaring a number squares the norm and doubles the argument, a square root can be found by taking the square root of the norm and dividing the argument by two. That is, for \(z=re^{i\theta}\text{,}\) a square root of \(z\) is \(\sqrt{r}e^{i\theta/2}\text{.}\) Another square root of \(z\) is the negative of that expression. Any other square root of \(z\) would have to have norm \(\sqrt{|z|}\) and argument \(\theta/2\) plus or minus an integer multiple of \(\pi\text{,}\) so these must be all the square roots of \(z\text{.}\)
9.
Find all complex solutions of the following equations.
Use the fact that \(e^{ia}e^{ib}=e^{i(a+b)}\) together with Euler’s formula \(e^{i\theta}=\cos\theta + i\sin\theta\) to derive the trigonometric angle sum formulas below.
\begin{align*}
\cos(a+b) \amp = \cos a \cos b -\sin a \sin b\\
\sin(a+b) \amp = \cos a \sin b + \sin a \cos b
\end{align*}
Solution.
Using Euler’s formula for the first equality below, and then using complex multiplication for the second equality, we have
\begin{align}
e^{ia}e^{ib} \amp = (\cos a + i\sin a)(\cos b + i\sin b)\notag\\
\amp = (\cos a\cos b - \sin a \sin b) + i(\cos a \sin b + \sin a\cos b).\tag{✶}
\end{align}
Write a derivation to justify this. Then use completing the square to find the center and radius of the circle given by the equation \(|z|^2 -iz +iz^\ast -5=0\text{.}\)
Write an alternative proof for the general form for the equation of a line (1.1.23), as follows. Let \(a=u+iv\text{,}\)\(b=r+is\text{,}\)\(z=x+iy\text{.}\) Find the equation of the line \(\im(az+b)=0\) in terms of the real variables \(x,y\) and real constants \(u,v,r,s\text{.}\) Explain why it is necessary that \(a\neq 0\text{.}\)
12.Complex numbers as \(2\times 2\) real matrices.
Let \({\mathcal M}_\C\) denote the set of \(2\times
2\) matrices of the form \(\left[\begin{array}{cc}a\amp
b\\-b\amp a\end{array}\right]\) with \(a,b\in \R\text{.}\) Given a complex number \(z\) with Cartesian form \(z=a+bi\text{,}\) let \(M(z)\) denote the matrix \(\left[\begin{array}{cc}a\amp
b\\-b\amp a\end{array}\right]\) in \({\mathcal
M}_\C\text{.}\) Conversely, given a matrix \(M\in {\mathcal M}_\C\) with top left entry \(a\) and top right entry \(b\text{,}\) let \(C(M)\) denote the complex number \(a+bi\text{.}\) It is clear that the mappings \(z\to M(z)\) and \(M\to C(M)\) are inverses to one another, and establish a one-to-one correspondence \(\C\leftrightarrow {\mathcal M}_\C\text{.}\)
Show that \({\mathcal M}_\C\) is closed under addition and multiplication. That is, suppose that \(M,N\) are elements of \({\mathcal M}_\C\text{.}\) Show that \(M+N\) and \(MN\) are also elements of \({\mathcal M}_\C\text{.}\)
Show that complex addition and multiplication are "mirrored" in \({\mathcal M}_\C\text{.}\) That is, show that \(C(M(z)+M(w))=z+w\) and \(C(M(z)M(w))=zw\) for all \(z,w\in \C\text{.}\)