# 2.1: Complex Numbers

- Page ID
- 1599

\( \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}\)- An introduction to complex numbers.

While the fundamental signal used in electrical engineering is the sinusoid, it can be expressed mathematically in terms of an even more fundamental signal: **the complex exponential**. Representing sinusoids in terms of complex exponentials is not a mathematical oddity. Fluency with complex numbers and rational functions of complex variables is a critical skill all engineers master. Understanding information and power system designs and developing new systems all hinge on using complex numbers. In short, they are critical to modern electrical engineering, a realization made over a century ago.

## Definitions

The notion of the square root of -1 originated with the quadratic formula: the solution of certain quadratic equations mathematically exists only if the so-called imaginary quantity

\[\sqrt{-1} \nonumber \]

could be defined. Euler first used ** i** for the imaginary unit but that notation did not take hold until roughly Ampère's time. Ampère used the symbol

*to denote current (intensité de current). It wasn't until the twentieth century that the importance of complex numbers to circuit theory became evident. By then, using i for current was entrenched and electrical engineers chose i for writing complex numbers.*

**i**An imaginary number has the form

\[ib = \sqrt{-b^{2}} \nonumber \]

A complex number, **z**, consists of the ordered pair (a,b ), a is the real component and b is the imaginary component (the * i* is suppressed because the imaginary component of the pair is always in the second position). The imaginary number ib equals (0,b ). Note that a and b are real-valued numbers. Figure 2.1.1 shows that we can locate a complex number in what we call the complex plane. Here, a, the real part, is the x-coordinate and b, the imaginary part, is the y-coordinate.

From analytic geometry, we know that locations in the plane can be expressed as the sum of vectors, with the vectors corresponding to the x and y directions. Consequently, a complex number **z** can be expressed as the (vector) sum **z=a+ ib** where i indicates the y-coordinate. This representation is known as the Cartesian form of

**z**. An imaginary number can't be numerically added to a real number; rather, this notation for a complex number represents vector addition, but it provides a convenient notation when we perform arithmetic manipulations.

Some obvious terminology. The real part of the complex number **z=a+****i****b**, written as ℜ(z), equals a. We consider the real part as a function that works by selecting that component of a complex number not multiplied by ** i**. The imaginary part of

**z**, ℑ(z) , equals b: that part of a complex number that is multiplied by

**. Again, both the real and imaginary parts of a complex number are real-valued.**

*i*The complex conjugate of **z**, written as

\[\bar{z} \nonumber \]

**z** has the same real part as **z**, but an imaginary part of the opposite sign.

\[z = \Re (z)+i\Im (z)\\ z = \Re (z)-i\Im (z) \nonumber \]

Using Cartesian notation, the following properties easily follow.

If we add two complex numbers, the real part of the result equals the sum of the real parts and the imaginary part equals the sum of the imaginary parts. This property follows from the laws of vector addition.

\[a_{1}+ib_{1}+a_{2}+ib_{2} = a_{1}+a_{2}+i(b_{1}+b_{2}) \nonumber \]

In this way, the real and imaginary parts remain separate.

The product of * i* and a real number is an imaginary number:

**i****a**. The product of i and an imaginary number is a real number:

**because**

*i*(*i*b) = -b**. Consequently, multiplying a complex number by**

*i*2 = -1*rotates the number's position by 90 degrees.*

**i**Use the definition of addition to show that the real and imaginary parts can be expressed as a sum/difference of a complex number and its conjugate.

\[\Re (z)= \frac{z+\bar{z}}{2}\; and\; \Im (z) = \frac{z-\bar{z}}{2i} \nonumber \]

**Solution**

\[z+\bar{z} = a+ib+a-ib = 2a = 2\Re (z)\\ z-\bar{z} = a+ib-(a-ib) = 2ib = 2\left ( i,\Im (z) \right ) \nonumber \]

Complex numbers can also be expressed in an alternate form, polar form, which we will find quite useful. Polar form arises arises from the geometric interpretation of complex numbers. The Cartesian form of a complex number can be re-written as

\[a+ib = \sqrt{a^{2}+b^{2}}\left (\frac{a}{\sqrt{a^{2}+b^{2}}} + i\frac{b}{\sqrt{a^{2}+b^{2}}}\right ) \nonumber \]

By forming a right triangle having sides a and b, we see that the real and imaginary parts correspond to the cosine and sine of the triangle's base angle. We thus obtain the polar form for complex numbers.

\[z = a+ib = r\angle \theta \\ r = \left | z \right | = \sqrt{a^{2}+b^{2}}\\ a = r\cos (\theta) \\ b = r\sin (\theta ) \\ \theta = \arctan \left ( \frac{b}{a} \right ) \nonumber \]

The quantity r is known as the magnitude of the complex number z, and is frequently written as |z| . The quantity θ is the complex number's angle. In using the arc-tangent formula to find the angle, we must take into account the quadrant in which the complex number lies.

Convert 3−2 i to polar form.

**Solution**

To convert 3−2 i to polar form, we first locate the number in the complex plane in the fourth quadrant. The distance from the origin to the complex number is the magnitude r, which equals

\[\sqrt{13} = \sqrt{3^{2}+(-2)^{2}} \nonumber \]

The angle equals

\[-\arctan \frac{2}{3} = -0.588\: radians = -33.7^{\circ} \nonumber \]

The final answer is

\[\sqrt{13}(-33.7^{\circ}) \nonumber \]

## Euler's Formula

Surprisingly, the polar form of a complex number zzz can be expressed mathematically as

\[z = re^{i\theta } \nonumber \]

To show this result, we use Euler's relations that express exponentials with imaginary arguments in terms of trigonometric functions.

\[e^{i\theta } = \cos (\theta )+i\sin (\theta )\\ \cos (\theta ) = \frac{e^{i\theta }+e^{-(i\theta )}}{2}\\ \sin (\theta ) = \frac{e^{i\theta }-e^{-(i\theta )}}{2i}\\ \nonumber \]

The first of these is easily derived from the Taylor's series for the exponential.

\[e^{x} = 1+\frac{x}{1!}+\frac{x^{2}}{2!}+\frac{x^{3}}{3!}+.... \nonumber \]

Substituting iθ for x, we find that

\[e^{i\theta } = 1+i\frac{\theta }{1!}-\frac{\theta ^{2}}{2!}-i\frac{\theta ^{3}}{3!}+.... \nonumber \]

because

\[i^{2} = -1, \; i^{3} = -i \; and \; i^{4} = 1 \nonumber \]

Grouping separately the real-valued terms and the imaginary-valued ones,

\[e^{i\theta } = 1-\frac{\theta ^{2}}{2!}+....+i\left (\frac{\theta }{1!}-\frac{\theta ^{3}}{3!}+... \right ) \nonumber \]

The real-valued terms correspond to the Taylor's series for cos(θ), the imaginary ones to sin(θ), and Euler's first relation results. The remaining relations are easily derived from the first. We see that multiplying the exponential in above equation by a real constant corresponds to setting the radius of the complex number to the constant.

Calculating with Complex Numbers

Adding and subtracting complex numbers expressed in Cartesian form is quite easy: You add (subtract) the real parts and imaginary parts separately.

\[z_{1}\pm z_{2} = (a_{1}\pm a_{2})+i(b_{1}\pm b_{2}) \nonumber \]

To multiply two complex numbers in Cartesian form is not quite as easy, but follows directly from following the usual rules of arithmetic.

\[z_{1}z_{2} = (a_{1}+ib_{1})(a_{2}+ib_{2})\\ z_{1}z_{2} = a_{1}a_{2}-b_{1}b_{2}+i(a_{1}b_{2}+a_{2}b_{1}) \nonumber \]

Note that we are, in a sense, multiplying two vectors to obtain another vector. Complex arithmetic provides a unique way of defining vector multiplication.

What is the product of a complex number and its conjugate?

**Solution**

\[z\bar{z} = (a+ib)(a-ib) = a^{2}+b^{2}\\ z\bar{z} = r^{} = \left ( \left | z \right | \right )^{2} \nonumber \]

Division requires mathematical manipulation. We convert the division problem into a multiplication problem by multiplying both the numerator and denominator by the conjugate of the denominator.

\[\frac{z_{1}}{z_{2}} = \frac{a_{1}+ib_{1}}{a_{2}+ib_{2}}\\ \frac{z_{1}}{z_{2}} =\frac{a_{1}+ib_{1}}{a_{2}+ib_{2}}\: \frac{a_{2}-ib_{2}}{a_{2}-ib_{2}}\\ \frac{z_{1}}{z_{2}} =\frac{(a_{1}+ib_{1})(a_{2}-ib_{2})}{a_{2}^{2}+b_{2}^{2}}\\ \frac{z_{1}}{z_{2}} =\frac{a_{1}a_{2}+b_{1}b_{2}+i(a_{2}b_{1}-a_{1}b_{2})}{a_{2}^{2}+b_{2}^{2}} \nonumber \]

Because the final result is so complicated, it's best to remember how to perform division—multiplying numerator and denominator by the complex conjugate of the denominator—than trying to remember the final result.

The properties of the exponential make calculating the product and ratio of two complex numbers much simpler when the numbers are expressed in polar form.

\[z_{1}z_{2}= \begin{align*} &= r_{1}e^{i\theta _{1}}r_{2}e^{i\theta _{2}}\\ &= r_{1}r_{2}e^{i(\theta _{1}+\theta _{2})} \end{align*} \nonumber \]

\[\frac{z_{1}}{z_{2}} = \frac{r_{1}e^{i\theta _{1}}}{r_{2}e^{i\theta _{2}}} = \frac{r_{1}}{r^{2}}e^{i(\theta _{1}-\theta _{2})} \nonumber \]

To multiply, the radius equals the product of the radii and the angle the sum of the angles. To divide, the radius equals the ratio of the radii and the angle the difference of the angles. When the original complex numbers are in Cartesian form, it's usually worth translating into polar form, then performing the multiplication or division (especially in the case of the latter). Addition and subtraction of polar forms amounts to converting to Cartesian form, performing the arithmetic operation, and converting back to polar form.

When we solve circuit problems, the crucial quantity, known as a transfer function, will always be expressed as the ratio of polynomials in the variable **s= i2s=i2πf**$\pi f$. What we'll need to understand the circuit's effect is the transfer function in polar form. For instance, suppose the transfer function equals

\[\frac{s+2}{s^{2}+s+1} \nonumber \]

\[s = i2\pi f \nonumber \]

Performing the required division is most easily accomplished by first expressing the numerator and denominator each in polar form, then calculating the ratio. Thus,

\[\frac{s+2}{s^{2}+s+1} = \frac{i2\pi f+2}{-4\pi ^{2}f^{2}+i2\pi f+1} \nonumber \]

\[\frac{s+2}{s^{2}+s+1} = \frac{\sqrt{4+4\pi ^{2}f^{2}e^{i\arctan (\pi f)}}}{\sqrt{(1-4\pi ^{2}f^{2})^{2}+4\pi ^{2}f^{2}e^{i\arctan (\frac{2\pi f}{1-4\pi ^{2}f^{2}})}}} \nonumber \]

\[\frac{s+2}{s^{2}+s+1} = \sqrt{\frac{4+4\pi ^{2}f^{2}}{1-4\pi ^{2}f^{2}+16\pi ^{4}f^{4}}}\; e^{i\left (arctan (\pi f)- arctan (\frac{2\pi f}{1-4\pi ^{2}f^{2}}) \right )} \nonumber \]