15.11 Complex Numbers
The results of Section A.10 tell us that the equation has no real number solutions. However, it would have solutions if we could make sense of . The Complex Numbers do just that - they give us a mechanism for working with . As such, the set of complex numbers fill in an algebraic gap left by the set of real numbers.
Here's the basic plan. There is no real number with , since for any real number . However, we could formally extract square roots and write . We build the complex numbers by relabeling the quantity as , the unfortunately misnamed imaginary unit.1 The number , while not a real number, is defined so that it plays along well with real numbers and acts very much like any other radical expression. For instance, , , , and so forth. The key properties which distinguish from the real numbers are listed below.
Property 1 in Definition A.20 establishes that does act as a square root2 of , and property 2 establishes what we mean by the `principal square root' of a negative real number. In property 2, it is important to remember the restriction on . For example, it is perfectly acceptable to say . However, , otherwise, we'd get
which is unacceptable. The moral of this story is that the general properties of radicals do not apply for even roots of negative quantities. With Definition A.20 in place, we can define the set of complex numbers.
Complex numbers include things you'd normally expect, like and . However, don't forget that or could be zero, which means numbers like and are also complex numbers. In other words, don't forget that the complex numbers include the real numbers,3 so and 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 A.20. The next example should help recall how these animals behave.
In the previous example, we used the `conjugate' idea from Section A.13 to divide two complex numbers. More generally, the complex conjugate of a complex number is the number . The notation commonly used for complex conjugation is a `bar': . For example, and . To find , we note that , so . Similarly, , since . Note that , not , since . Here, the conjugation specified by the `bar' notation involves reversing the sign before , not before . The properties of the conjugate are summarized in the following theorem.
Theorem A.13 says in part that complex conjugation works well with addition, multiplication and powers. The proofs of these properties can best be achieved by writing out and for real numbers , , and . Next, we compute the left and right sides of each equation and verify that they are the same.
The proof of the first property is a very quick exercise.5 To prove the second property, we compare with . We have . To find , we first compute
so
As such, we have established . 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.6 The last property is a characterization of real numbers. If is real, then , so . On the other hand, if , then which means so . Hence, and is real.
We now return to the business of solving quadratic equations. Consider . The discriminant is negative, so we know by Theorem A.12 there are no real solutions, since the Quadratic Formula would involve the term . Complex numbers, however, are built just for such situations, so we can go ahead and apply the Quadratic Formula to get:
It is no coincidence that the non-real solutions to the equations in Example A.11.2 appear in complex conjugate pairs. Any time we use the Quadratic Formula to solve an equation with real coefficients, the answers will form a complex conjugate pair owing to the in the Quadratic Formula. This leads us to a generalization of Theorem A.12 which we state below.
We will have much more to say about complex solutions to equations in Section 2.4 and we will revisit Theorem A.14 then.
Exercises
In Exercises -, use the given complex numbers and to find and simplify the following.
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
In Exercises -, simplify the quantity.
We know that which means and . In Exercises -, use this information to simplify the given power of .
In Exercises -, find all complex solutions.
- Multiply and simplify:
Answers
For and
For and
For and
For and
For and
For and
For and
For and
For and
For and
Adapted from Precalculus, Preliminary 4th Edition (integrated calculus), by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.