In Section 3.3, we were focused on finding the real zeros of a polynomial function. Consider the polynomial (p(x) = x^2+1). The zeros of (p) are the solutions to (x^2+1=0), or (x^2=-1). This equation has no real solutions, but you may recall from Intermediate Algebra that we can formally extract the square roots of both sides to get (x = pm sqrt{-1}). The quantity (sqrt{-1}) is usually re-labeled (i), the so-called **imaginary unit**, (i) (some Technical Mathematics textbooks label it '(j)'.) The number (i), while not a real number, plays along well with real numbers, and acts very much like any other radical expression. For instance, (3(2i) = 6i), (7i-3i = 4i), ((2-7i) + (3 + 4i) = 5-3i), and so forth. The key properties which distinguish (i) from the real numbers are listed below.

Definition 3.4: Imaginary Unit

The imaginary unit (i) satisfies the two following properties

- (i^2 = -1)
- If (c) is a real number with (c geq 0) then (sqrt{-c} = i sqrt{c})

Property 1 in Definition 3.4 establishes that (i) does act as a square root of (-1), and property 2 establishes what we mean by the 'principal square root' of a negative real number (Note the use of the indefinite article 'a'. Whatever beast is chosen to be (i), (-i) is the other square root of (-1)). In property 2, it is important to remember the restriction on (c). For example, it is perfectly acceptable to say (sqrt{-4} = i sqrt{4} = i(2) = 2i). However, (sqrt{-(-4)} eq i sqrt{-4}), otherwise, we'd get

[ 2 = sqrt{4} = sqrt{-(-4)} = i sqrt{-4} = i (2i) = 2i^2 = 2(-1) = -2,]

which is unacceptable. We want to enlarge the number system so we can solve things like (x^2=-1), but not at the cost of the established rules already set in place. For that reason, the general properties of radicals simply do not apply for even roots of negative quantities. We are now in the position to define the complex numbers.

Definition 3.5: Complex Number

A **complex number** is a number of the form (a+bi), where (a) and (b) are real numbers and (i) is the imaginary unit.

Complex numbers include things you'd normally expect, like (3+2i) and (frac{2}{5} - isqrt{3}). However, don't forget that (a) or (b) could be zero, which means numbers like (3i) and (6) are also complex numbers. In other words, don't forget that the complex numbers *include* the real numbers, so (0) and (pi - sqrt{21}) are both considered complex numbers. The arithmetic of complex numbers is as you would expect. The only things you need to remember are the two properties in Definition 3.4. The next example should help recall how these animals behave.

Example 3.4.1: Complex Number Arithmetic

Perform the indicated operations. Write your answer in the formfootnote{OK, we'll accept things like (3-2i) even though it can be written as (3+(-2)i).} (a+bi).

- ((1-2i) - (3+4i))
- ((1-2i)(3+4i))
- (dfrac{1-2i}{3-4i})
- (sqrt{-3} sqrt{-12})
- (sqrt{(-3)(-12)})
- ((x-[1+2i])(x-[1-2i]))

**Solution**

- As mentioned earlier, we treat expressions involving (i) as we would any other radical. We combine like terms to get ((1-2i) - (3+4i) = 1-2i-3-4i = -2-6i).
- Using the distributive property, we get [(1-2i)(3+4i) = (1)(3) + (1)(4i) - (2i)(3) - (2i)(4i) = 3+4i-6i-8i^2.] Since (i^2=-1), we get [3+4i-6i-8i^2 = 3-2i-(-8) = 11-2i.]
- How in the world are we supposed to simplify (frac{1-2i}{3-4i})? Well, we deal with the denominator (3-4i) as we would any other denominator containing a radical, and multiply both numerator and denominator by (3+4i) (the conjugate of (3 - 4i)). Doing so produces [ dfrac{1-2i}{3-4i} cdot dfrac{3+4i}{3+4i} = dfrac{(1-2i)(3+4i)}{(3-4i)(3+4i)} = dfrac{11-2i}{25} = dfrac{11}{25} - dfrac{2}{25} , i]
- We use property 2 of Definition 3.4 first, then apply the rules of radicals applicable to real radicals to get [sqrt{-3} sqrt{-12} = left(i sqrt{3} ight) left(i sqrt{12} ight) = i^2 sqrt{3cdot 12} = -sqrt{36} = -6.]
- We adhere to the order of operations here and perform the multiplication before the radical to get (sqrt{(-3)(-12)} = sqrt{36} = 6).
- We can brute force multiply using the distributive property and see that [egin{array}{rclr} (x-[1+2i])(x-[1-2i]) & = & x^2 -x[1-2i]-x[1+2i]+[1-2i][1+2i] & & = & x^2-x+2ix-x-2ix+1-2i+2i-4i^2 & & = & x^2 -2x +5 & end{array}]

A couple of remarks about the last example are in order. First, the **conjugate** of a complex number (a+bi) is the number (a-bi). The notation commonly used for conjugation is a 'bar': (overline{a+bi} = a-bi). For example, (overline{3+2i} = 3-2i), (overline{3-2i} = 3+2i), (overline{6} = 6), (overline{4i} = -4i), and (overline{3+sqrt{5}} = 3+sqrt{5}). The properties of the conjugate are summarized in the following theorem.

Theorem 3.12: Properties of the Complex Conjugate

Let (z) and (w) be complex numbers.

- (overline{overline{z}} = z)
- ( overline{z} + overline{w} = overline{z+w})
- ( overline{z} , overline{w} = overline{zw})
- (left(overline{z} ight)^n = overline{z^{n}}), for any natural number (n)
- (z) is a real number if and only if (overline{z} = z).

Essentially, Theorem 3.12 says that complex conjugation works well with addition, multiplication and powers. The proof of these properties can best be achieved by writing out (z = a+bi) and (w = c+di) for real numbers (a), (b), (c) and (d). Next, we compute the left and right hand sides of each equation and check to see that they are the same. The proof of the first property is a very quick exercise. To prove the second property, we compare (overline{z} + overline{w}) and (overline{z+w}). We have (overline{z} + overline{w} = overline{a+bi} + overline{c+di} = a-bi + c-di). To find (overline{z+w}), we first compute

[z+w = (a+bi) + (c+di) = (a+c)+(b+d)i]

so

[overline{z+w} = overline{(a+c)+(b+d)i} = (a+c) - (b+d)i = a - bi + c - di]

As such, we have established (overline{z}+overline{w} = overline{z+w}). The proof for multiplication works similarly. The proof that the conjugate works well with powers can be viewed as a repeated application of the product rule, and is best proved using a technique called Mathematical Induction. The last property is a characterization of real numbers. If (z) is real, then (z = a + 0i), so (overline{z} = a - 0i = a = z). On the other hand, if (z=overline{z}), then (a+bi = a - bi) which means (b=-b) so (b=0). Hence, (z = a +0i = a) and is real.

We now return to the business of zeros. Suppose we wish to find the zeros of (f(x) = x^2-2x+5). To solve the equation (x^2-2x+5 = 0), we note that the quadratic does not factor nicely, so we resort to the Quadratic Formula and obtain

[ x = dfrac{-(-2) pm sqrt{(-2)^2-4(1)(5)}}{2(1)} = dfrac{2 pm sqrt{-16}}{2} = dfrac{2 pm 4i}{2} = 1 pm 2i.]

Two things are important to note. First, the zeros (1+2i) and (1-2i) are complex conjugates. If ever we obtain non-real zeros to a quadratic function with underline{real} coefficients, the zeros will be a complex conjugate pair. (Do you see why?) Next, we note that in Example 3.4.1, part 6, we found

[(x-[1+2i])(x-[1-2i])=x^2-2x+5.]

This demonstrates that the factor theorem holds even for non-real zeros, i.e, (x=1+2i) is a zero of (f), and, sure enough, ((x-[1+2i])) is a factor of (f(x)). It turns out that polynomial division works the same way for all complex numbers, real and non-real alike, so the Factor and Remainder Theorems hold as well. But how do we know if a general polynomial has any complex zeros at all? We have many examples of polynomials with no real zeros. Can there be polynomials with no zeros whatsoever? The answer to that last question is ''No.'' and the theorem which provides that answer is **The Fundamental Theorem of Algebra**.

Theorem 3.13: The Fundamental Theorem of Algebra

Suppose (f) is a polynomial function with complex number coefficients of degree (n geq 1), then (f) has at least one complex zero.

The Fundamental Theorem of Algebra is an example of an 'existence' theorem in Mathematics. Like the Intermediate Value Theorem, Theorem 3.1, the Fundamental Theorem of Algebra guarantees the existence of at least one zero, but gives us no algorithm to use in finding it. In fact, as we mentioned in Section 3.3, there are polynomials whose real zeros, though they exist, cannot be expressed using the 'usual' combinations of arithmetic symbols, and must be approximated. The authors are fully aware that the full impact and profound nature of the Fundamental Theorem of Algebra is lost on most students this level, and that's fine. It took mathematicians literally hundreds of years to prove the theorem in its full generality. Note that the Fundamental Theorem of Algebra applies to not only polynomial functions with real coefficients, but to those with complex number coefficients as well.

Suppose (f) is a polynomial of degree (n geq 1). The Fundamental Theorem of Algebra guarantees us at least one complex zero, (z_ 1 ), and as such, the Factor Theorem guarantees that (f(x)) factors as (f(x) = left(x - z_ 1 ight) q_ 1 (x)) for a polynomial function (q_ 1 ), of degree exactly (n-1). If (n-1 geq 1), then the Fundamental Theorem of Algebra guarantees a complex zero of (q_ 1 ) as well, say (z_ 2 ), so then the Factor Theorem gives us (q_ 1 (x) = left(x - z_ 2 ight) q_ 2 (x)), and hence (f(x) = left(x - z_ 1 ight) left(x - z_ 2 ight) q_ 2 (x)). We can continue this process exactly (n) times, at which point our quotient polynomial (q_ n ) has degree (0) so it's a constant. This argument gives us the following factorization theorem.

Theorem 3.14: Complex Factorization Theorem

Suppose (f) is a polynomial function with complex number coefficients. If the degree of (f) is (n) and (n geq 1), then (f) has exactly (n) complex zeros, counting multiplicity. If (z_ 1 ), (z_ 2 ), ..., (z_ k ) are the distinct zeros of (f), with multiplicities (m_ 1 ), (m_ 2 ), dots , (m_ k ), respectively, then (f(x) = aleft(x - z_ 1 ight)^{m_ 1 }left(x - z_ 2 ight)^{m_ 2 } dots left(x - z_ k ight)^{m_ k }).

Note that the value (a) in Theorem 3.14 is the leading coefficient of (f(x)) (Can you see why?) and as such, we see that a polynomial is completely determined by its zeros, their multiplicities, and its leading coefficient. We put this theorem to good use in the next example.

Example (PageIndex{2}): Finding Complex Zeroes

Let (f(x) = 12x^5 - 20x^4+19x^3-6x^2-2x+1).

- Find all of the complex zeros of (f) and state their multiplicities.
- Factor (f(x)) using Theorem 3.14

**Solution**

1.Since (f) is a fifth degree polynomial, we know that we need to perform at least three successful divisions to get the quotient down to a quadratic function. At that point, we can find the remaining zeros using the Quadratic Formula, if necessary. Using the techniques developed in Section 3.3, we get

Our quotient is (12x^2 - 12x + 12), whose zeros we find to be (frac{1 pm i sqrt{3}}{2}). From Theorem 3.14, we know (f) has exactly (5) zeros, counting multiplicities, and as such we have the zero (frac{1}{2}) with multiplicity (2), and the zeros (-frac{1}{3}), (frac{1 + i sqrt{3}}{2}) and (frac{1 - i sqrt{3}}{2}), each of multiplicity (1).

2. Applying Theorem 3.14, we are guaranteed that (f) factors as

[f(x) = 12 left(x- dfrac{1}{2} ight)^2 left(x + dfrac{1}{3} ight) left(x - left[dfrac{1 + i sqrt{3}}{2} ight] ight) left(x - left[dfrac{1 - i sqrt{3}}{2} ight] ight)]

A true test of Theorem 3.14 (and a student's mettle!) would be to take the factored form of (f(x)) in the previous example and multiply it outfootnote{You really should do this once in your life to convince yourself that all of the theory actually does work!} to see that it really does reduce to the original formula

[f(x) = 12x^5 - 20x^4+19x^3-6x^2-2x+1.]

When factoring a polynomial using Theorem 3.14, we say that it is **factored completely over the complex numbers**, meaning that it is impossible to factor the polynomial any further using complex numbers. If we wanted to completely factor (f(x)) over the **real numbers** then we would have stopped short of finding the nonreal zeros of (f) and factored (f) using our work from the synthetic division to write

[f(x) = left(x - frac{1}{2} ight)^2 left(x + frac{1}{3} ight)left(12x^2 - 12x + 12 ight)]

or

[(f(x) = 12left(x - frac{1}{2} ight)^2 left(x + frac{1}{3} ight)left(x^2 - x + 1 ight).]

Since the zeros of (x^2-x+1) are nonreal, we call (x^2-x+1) an **irreducible quadratic** meaning it is impossible to break it down any further using *real* numbers.

The last two results of the section show us that, at least in theory, if we have a polynomial function with real coefficients, we can always factor it down enough so that any nonreal zeros come from irreducible quadratics.

Theorem 3.15: Conjugate Pairs Theorem

If (f) is a polynomial function with real number coefficients and (z) is a zero of (f), then so is (overline{z}).

To prove the theorem, suppose (f) is a polynomial with real number coefficients. Specifically, let

[ f(x) = a_{n} x^{n} + a_{n- 1} x^{n- 1} + dots + a_ 2 x^ 2 + a_ 1 x + a_ 0 .]

If (z) is a zero of (f), then (f(z) = 0), which means

[a_{n} z^{n} + a_{n- 1} z^{n- 1} + dots + a_ 2 z^ 2 + a_ 1 z + a_ 0 = 0.]

Next, we consider (fleft(overline{z} ight)) and apply Theorem 3.12 below.

This shows that (overline{z}) is a zero of (f). So, if (f) is a polynomial function with real number coefficients, Theorem 3.15 tells us that if (a+bi) is a nonreal zero of (f), then so is (a-bi). In other words, nonreal zeros of (f) come in conjugate pairs. The Factor Theorem kicks in to give us both ((x-[a+bi])) and ((x-[a-bi])) as factors of (f(x)) which means ((x-[a+bi])(x-[a-bi]) = x^2 + 2a x + left(a^2+b^2 ight)) is an irreducible quadratic factor of (f). As a result, we have our last theorem of the section.

Theorem 3.16: Real Factorization Theorem

Suppose (f) is a polynomial function with real number coefficients. Then (f(x)) can be factored into a product of linear factors corresponding to the real zeros of (f) and irreducible quadratic factors which give the nonreal zeros of (f). index{Real Factorization Theorem}

We now present an example which pulls together all of the major ideas of this section.

Example (PageIndex{3}):

Let (f(x) = x^4+64).

- Use synthetic division to show that (x=2+2i) is a zero of (f).
- Find the remaining complex zeros of (f).
- Completely factor (f(x)) over the complex numbers.
- Completely factor (f(x)) over the real numbers.

**Solution**

- Remembering to insert the (0)'s in the synthetic division tableau we have

2. Since (f) is a fourth degree polynomial, we need to make two successful divisions to get a quadratic quotient. Since (2+2i) is a zero, we know from Theorem 3.15 that (2-2i) is also a zero. We continue our synthetic division tableau.

Our quotient polynomial is (x^2+4x+8). Using the quadratic formula, we obtain the remaining zeros (-2+2i) and (-2-2i).

3. Using Theorem 3.14, we get (f(x) = (x-[2-2i])(x-[2+2i])(x-[-2+2i])(x-[-2-2i])).

4. We multiply the linear factors of (f(x)) which correspond to complex conjugate pairs. We find ((x-[2-2i])(x-[2+2i]) = x^2-4x+8), and ((x-[-2+2i])(x-[-2-2i]) = x^2+4x+8). Our final answer is (f(x) = left(x^2-4x+8 ight) left(x^2+4x+8 ight)).

Our last example turns the tables and asks us to manufacture a polynomial with certain properties of its graph and zeros.

Example (PageIndex{4}):

Find a polynomial (p) of lowest degree that has integer coefficients and satisfies all of the following criteria:

- the graph of (y=p(x)) touches (but does not cross) the (x)-axis at (left(frac{1}{3}, 0 ight))
- (x=3i) is a zero of (p).
- as (x ightarrow -infty), (p(x) ightarrow -infty)
- as (x ightarrow infty), (p(x) ightarrow -infty)

**Solution**

To solve this problem, we will need a good understanding of the relationship between the (x)-intercepts of the graph of a function and the zeros of a function, the Factor Theorem, the role of multiplicity, complex conjugates, the Complex Factorization Theorem, and end behavior of polynomial functions. (In short, you'll need most of the major concepts of this chapter.) Since the graph of (p) touches the (x)-axis at (left(frac{1}{3}, 0 ight)), we know (x=frac{1}{3}) is a zero of even multiplicity. Since we are after a polynomial of lowest degree, we need (x=frac{1}{3}) to have multiplicity exactly (2).

The Factor Theorem now tells us (left(x-frac{1}{3}
ight)^2) is a factor of (p(x)). Since (x=3i) is a zero and our final answer is to have integer (real) coefficients, (x=-3i) is also a zero. The* Factor Theorem *kicks in again to give us ((x-3i)) and ((x+3i)) as factors of (p(x)). We are given no further information about zeros or intercepts so we conclude, by the *Complex Factorization Theorem* that (p(x) = a left(x-frac{1}{3}
ight)^2 (x-3i)(x+3i)) for some real number (a). Expanding this, we get

[p(x) = ax^4-frac{2a}{3} x^3+frac{82a}{9} x^2-6ax+a.]

In order to obtain integer coefficients, we know (a) must be an integer multiple of (9). Our last concern is end behavior. Since the leading term of (p(x)) is (ax^4), we need (a < 0) to get (p(x) ightarrow -infty) as (x ightarrow pm infty). Hence, if we choose (x=-9), we get

[p(x) = -9x^4+ 6 x^3 - 82 x^2+54x-9.]

We can verify our handiwork using the techniques developed in this chapter.

This example concludes our study of polynomial functions.footnote{With the exception of the Exercises on the next page, of course.} The last few sections have contained what is considered by many to be 'heavy' Mathematics. Like a heavy meal, heavy Mathematics takes time to digest. Don't be overly concerned if it does not seem to sink in all at once, and pace yourself in the Exercises or you're liable to get mental cramps. But before we get to the Exercises, we'd like to offer a bit of an epilogue.

## Summary

Our main goal in presenting the material on the complex zeros of a polynomial was to give the chapter a sense of completeness. Given that it can be shown that some polynomials have real zeros which cannot be expressed using the usual algebraic operations, and still others have no real zeros at all, it was nice to discover that every polynomial of degree (n geq 1) has (n) complex zeros. So like we said, it gives us a sense of closure. But the observant reader will note that we did not give any examples of applications which involve complex numbers. Students often wonder when complex numbers will be used in 'real-world' applications. After all, didn't we call (i) the underline{imaginary} unit? How can imaginary things be used in reality? It turns out that complex numbers are very useful in many applied fields such as fluid dynamics, electromagnetism and quantum mechanics, but most of the applications require Mathematics well beyond College Algebra to fully understand them. That does not mean you'll never be be able to understand them; in fact, it is the authors' sincere hope that all of you will reach a point in your studies when the glory, awe and splendor of complex numbers are revealed to you. For now, however, the really good stuff is beyond the scope of this text. We invite you and your classmates to find a few examples of complex number applications and see what you can make of them. A simple Internet search with the phrase 'complex numbers in real life' should get you started. Basic electronics classes are another place to look, but remember, they might use the letter (j) where we have used (i).

For the remainder of the text, with the exception of Section 11.7 and a few exploratory exercises scattered about, we will restrict our attention to real numbers. We do this primarily because the first Calculus sequence you will take, ostensibly the one that this text is preparing you for, studies only functions of real variables. Also, lots of really cool scientific things don't require any deep understanding of complex numbers to study them, but they do need more Mathematics like exponential, logarithmic and trigonometric functions. We believe it makes more sense pedagogically for you to learn about those functions now then take a course in Complex Function Theory in your junior or senior year once you've completed the Calculus sequence. It is in that course that the true power of the complex numbers is released. But for now, in order to fully prepare you for life immediately after College Algebra, we will say that functions like (f(x) = frac{1}{x^{2} + 1}) have a domain of all real numbers, even though we know (x^{2} + 1 = 0) has two complex solutions, namely (x = pm i). Because (x^{2} + 1 > 0) for all emph{real} numbers (x), the fraction (frac{1}{x^{2} + 1}) is never undefined in the real variable setting.