Section 10.3 Complex Numbers

Imaginary Numbers

Although square roots of negative numbers such as are not real numbers, they occur often in mathematics and its applications. Mathematicians began working with square roots of negative numbers in the sixteenth century in their attempts to solve quadratic and cubic equations. René Descartes gave them the name imaginary numbers, which reflected the mistrust with which mathematicians regarded them at the time. Today, however, such numbers are well understood and used routinely by scientists and engineers.
We begin by defining a new number, called [latex]i[/latex], whose square is [latex]-1\text{.}[/latex]

The letter [latex]i[/latex] used in this way is not a variable; it is the name of a specific number, and hence is a constant. The square root of any negative number can be written as the product of a real number and [latex]i[/latex]. For example,

[latex]\sqrt{-4} = \sqrt{-1 \cdot 4}\\ = \sqrt{-1} \sqrt{4} = i \cdot 2[/latex]

or [latex]\sqrt{-4} = 2\text{.}[/latex] Any number that is the product of [latex]i[/latex][latex]i[/latex] and a real number is called an imaginary number.

Examples of imaginary numbers are [latex]3i,~ \dfrac{7}{8}i,~ -38i,[/latex] and [latex]i\sqrt{5}\text{.}[/latex]

Just as each positive number has two real-valued square roots, every negative number has two imaginary square roots. For example, the two square roots of [latex]9[/latex] are [latex]3i[/latex] and [latex]-3i\text{.}[/latex]

Complex Numbers

Consider the quadratic equation

[latex]x^2 - 2x + 5 = 0[/latex]

Using the quadratic formula to solve the equation, we find

[latex]x=\dfrac{-(-2) \pm \sqrt{(-2)^2-4(1)(5)}}{2} = \dfrac{2 \pm \sqrt{-16}}{2}[/latex]

If we now replace [latex]\sqrt{-16}[/latex] by [latex]4i\text{,}[/latex] we have

[latex]x = \dfrac{2 \pm 4i}{2} = 1 \pm 2i[/latex]

The two solutions are [latex]1 + 2i[/latex] and [latex]1 - 2i\text{.}[/latex] These are examples of complex numbers.

Examples of complex numbers are

[latex]3-5i,~ 2+\sqrt{7}i,~ \dfrac{4-i}{3},~ 6i,~~\text{and} ~~ -9[/latex]

In a complex number [latex]a+bi\text{,}[/latex] [latex]a[/latex] is called the real part, and [latex]b[/latex] is called the imaginary part. All real numbers are also complex numbers (with imaginary part equal to zero). A complex number whose real part equals 0 is called a pure imaginary number.

The real and imaginary parts of a complex number cannot be combined. Thus, two complex numbers [latex]z_1[/latex] and [latex]z_2[/latex] are equal if and only if their real parts are equal and their imaginary parts are equal.

Arithmetic of Complex Numbers

We add and subtract complex numbers by combining their real and imaginary parts separately. For example,

[latex](4+5i)+(2-3i) = (4+2) + (5-3)i\\ = 6+2i[/latex]

The algebraic form of this rule can be stated as follows.

Products of Complex Numbers

To find the product of two imaginary numbers, we use the fact that [latex]i^2=-1\text{.}[/latex] For example,

[latex](3i)(4i)= 3 \cdot 4i^2\\ =12(-1)=-12[/latex]

To find the product of two complex numbers, we use the distributive law, as if the numbers were binomials.

Quotients of Complex Numbers

To find the quotient of two complex numbers, we use the technique of rationalizing the denominator. First consider division by a pure imaginary number.

Perhaps you recall that to rationalize a binomial denominator, we multiply by its conjugate. For example, to rationalize the denominator of [latex]\dfrac{5}{2+\sqrt{3}}\text{,}[/latex] we multiply numerator and denominator by [latex]2-\sqrt{3}\text{.}[/latex] A similar technique works for dividing complex numbers. We first define the conjugate of a complex number.

To illustrate, we calculate the quotient [latex]\dfrac{5}{2+3i}\text{.}[/latex] We multiply numerator and denominator by the complex conjugate of the denominator, [latex]2-3i\text{,}[/latex] to obtain

[latex]\dfrac{5}{2+3i} \cdot \dfrac{2-3i}{2-3i}[/latex]

The denominator is then a real number because

[latex](2+3i)(2-3i) = 4-6i+6i-9i^2 = 4+9 = 13[/latex]

and the quotient is

[latex]\dfrac{5}{2+3i} \cdot \dfrac{2-3i}{2-3i}=\dfrac{10-15i}{13} = \dfrac{10}{13} - \dfrac{15}{13}i[/latex]

In the Homework Problems, you will verify the rule for dividing complex numbers.

Graphing Complex Numbers

Real numbers can be plotted on a number line, but to graph a complex number, we use a plane called the complex plane. In the complex plane, the real numbers lie on the horizontal or real axis, and pure imaginary numbers lie on the vertical or imaginary axis. To plot a complex number [latex]a+bi[/latex], we move [latex]a[/latex] units from the origin in the horizontal direction and [latex]b[/latex] units in the vertical direction.

The modulus, or length, of a complex number is its distance from the origin in the complex plane. The modulus of a complex number is analogous to the absolute value of a real number and is denoted by [latex]\lvert z \rvert \text{.}[/latex] If [latex]z=a+bi\text{,}[/latex] we can use the Pythagorean theorem to compute its modulus.

For example, the modulus of [latex]z=2+3i[/latex] is

[latex]\lvert z \rvert=\sqrt{2^2+3^2}=\sqrt{13}[/latex]

We can think of the graph of a complex number [latex]z=a+bi[/latex] as the vector (or arrow) that starts at the origin and ends at the point [latex](a,b)[/latex] in the complex plane, as shown in figure (a).

Then the sum of two complex numbers corresponds to the sum of the two vectors representing them. Figure (b) illustrates the sum of two complex numbers, [latex]z_1[/latex] and [latex]z_2\text{,}[/latex] by vector addition using the parallelogram law: we form a parallelogram with the vectors [latex]z_1[/latex] and [latex]z_2[/latex] and as adjacent sides. Their sum is the vector that forms the diagonal of the parallelogram, starting at the origin.

To visualize subtraction, we add the opposite of the second vector, because

[latex]z_1-z_2=z_1+(-z_2)[/latex]

Recall that the opposite of a vector has the same length, but it points in the opposite direction.

Zeros of Polynomials

A polynomial with real-number coefficients may or may not have real-valued zeros. For example, the polynomial [latex]x^4+4[/latex] has no real-valued zeros. But a polynomial always has a zero if we allow complex numbers as inputs. Because we can add, subtract, and multiply any two complex numbers, we can evaluate a polynomial function at a complex number. Thus, we can extend the domain of any polynomial to include all complex numbers.

The zeros of a quadratic polynomial [latex]~ax^2+bx+c~\text{,}[/latex] of course, are the solutions of the quadratic equation [latex]~ax^2+bx+c=0~,[/latex] and those solutions are given by the quadratic formula,

[latex]x=\dfrac{-b}{2a} + \dfrac{b^2-4ac}{2a}~~~\text{and}~~~x=\dfrac{-b}{2a} - \dfrac{b^2-4ac}{2a}[/latex]

If the discriminant [latex]~D=b^2-4ac~[/latex] is negative, the two solutions are complex conjugates. For example, the solutions of the equation [latex]~x^2-4x+5=0~[/latex] are

[latex]\dfrac{-(-4)\pm \sqrt{(-4)^2-4(1)(5)}}{2(1)} = \dfrac{4 \pm \sqrt{-4}}{2}[/latex]

or [latex]z=2+i[/latex] and [latex]\bar{z}=2-i\text{.}[/latex] Thus, if we know that [latex]z=a+bi[/latex] is one complex solution of a quadratic equation, we know that [latex]\bar{z}=a-bi[/latex] is the other solution.

We can now write a quadratic polynomial, with real coefficients, having any complex number as one of its zeros. The factored form of the quadratic polynomial with zeros [latex]z[/latex] and [latex]\bar{z}[/latex] is

[latex]p(x)=(x-z)(x-\bar{z})[/latex]

Expanding the right side, we find

[latex]p(x)=x^2 - (z+\bar{z})x+z\bar{z}[/latex]

Because [latex](z+\bar{z})[/latex] and [latex]z\bar{z}[/latex] are both real numbers, this polynomial has real-valued coefficients.

One of the most important results in mathematics is the fundamental theorem of algebra, which says that if we allow complex numbers as inputs, then every polynomial [latex]p(x)[/latex] of degree [latex]n \ge 1[/latex] has exactly [latex]n[/latex] complex number zeros.

As a result, every polynomial of degree can be factored as the product of linear terms.

For example, although the graph of [latex]~~y=x^4+4~~[/latex] shown at right has no [latex]x[/latex]-intercepts, the fundamental theorem tells us that there are four complex solutions to [latex]~x^4+4=0~\text{,}[/latex] and that [latex]x^4+4[/latex] can be factored. You can check that the four solutions to [latex]~x^4+4=0~[/latex] are

[latex]1+i,~-1+i,~-1-i,~\text{and}~ 1-i[/latex]

For example, if [latex]x=1+i\text{,}[/latex] then

[latex]x^2=(1+i)^2=1+2i+i^2=2i[/latex]

and

[latex]x^4=(x^2)^2=(2i)^2=-4[/latex]

Because each zero corresponds to a factor of the polynomial, the factored form of [latex]x^4+4[/latex] is

[latex]x^4+4=\left[x-(1+i)][x-(-1+i)\right]\left[x-(-1-i)\right]\left[x-(1-i)\right][/latex]

The four solutions to [latex]~x^4+4=0~[/latex] form two complex conjugate pairs, namely [latex]1 \pm i[/latex] and [latex]-1 \pm i\text{.}[/latex] We see again that, for every polynomial with real coefficients, the nonreal zeros always occur in complex conjugate pairs.

Section 10.3 Summary

Vocabulary

• Imaginary unit
• Imaginary number
• Complex number
• Complex conjugate
• Real part
• Imaginary part
• Complex plane
• Real axis
• Imaginary axis
• Modulus