Precalculus with Integrated CalculusXYZ Homework Edition

⇩ Download ▾

15.11 Complex Numbers

The results of Section A.10 tell us that the equation x 2 + 1 = 0 has no real number solutions. However, it would have solutions if we could make sense of 1 . The Complex Numbers do just that - they give us a mechanism for working with 1 . 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 x with x 2 = 1 , since for any real number x 2 0 . However, we could formally extract square roots and write x = ± 1 . We build the complex numbers by relabeling the quantity 1 as i , the unfortunately misnamed imaginary unit.1 The number i , 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, 3 ( 2 i ) = 6 i , 7 i 3 i = 4 i , ( 2 7 i ) + ( 3 + 4 i ) = 5 3 i , and so forth. The key properties which distinguish i from the real numbers are listed below.

Property 1 in Definition A.20 establishes that i does act as a square root2 of 1 , 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 c . For example, it is perfectly acceptable to say 4 = i 4 = i ( 2 ) = 2 i . However, ( 4 ) i 4 , otherwise, we'd get

2 = 4 = ( 4 ) = i 4 = i ( 2 i ) = 2 i 2 = 2 ( 1 ) = 2 ,

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 3 + 2 i and 2 5 i 3 . However, don't forget that a or b could be zero, which means numbers like 3 i and 6 are also complex numbers. In other words, don't forget that the complex numbers include the real numbers,3 so 0 and π 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 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 a + b i is the number a b i . The notation commonly used for complex conjugation is a `bar': a + b i ¯ = a b i . For example, 3 + 2 i ¯ = 3 2 i and 3 2 i ¯ = 3 + 2 i . To find 6 ¯ , we note that 6 ¯ = 6 + 0 i ¯ = 6 0 i = 6 , so 6 ¯ = 6 . Similarly, 4 i ¯ = 4 i , since 4 i ¯ = 0 + 4 i ¯ = 0 4 i = 4 i . Note that 3 + 5 ¯ = 3 + 5 , not 3 5 , since 3 + 5 ¯ = 3 + 5 + 0 i ¯ = 3 + 5 0 i = 3 + 5 . Here, the conjugation specified by the `bar' notation involves reversing the sign before i = 1 , not before 5 . 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 z = a + b i and w = c + d i for real numbers a , b , c and d . 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 z + w ¯ with z ¯ + w ¯ . We have z ¯ + w ¯ = a + b i ¯ + c + d i ¯ = a b i + c d i . To find z + w ¯ , we first compute

z + w = ( a + b i ) + ( c + d i ) = ( a + c ) + ( b + d ) i

so

z + w ¯ = ( a + c ) + ( b + d ) i ¯ = ( a + c ) ( b + d ) i = a + c b i d i = a b i + c d i = z ¯ + w ¯

As such, we have established z + w ¯ = 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.6 The last property is a characterization of real numbers. If z is real, then z = a + 0 i , so z ¯ = a 0 i = a = z . On the other hand, if z = z ¯ , then a + b i = a b i which means b = b so b = 0 . Hence, z = a + 0 i = a and is real.

We now return to the business of solving quadratic equations. Consider x 2 2 x + 5 = 0 . The discriminant b 2 4 a c = 16 is negative, so we know by Theorem A.12 there are no real solutions, since the Quadratic Formula would involve the term 16 . Complex numbers, however, are built just for such situations, so we can go ahead and apply the Quadratic Formula to get:

x = ( 2 ) ± ( 2 ) 2 4 ( 1 ) ( 5 ) 2 ( 1 ) = 2 ± 16 2 = 2 ± 4 i 2 = 1 ± 2 i .

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 z and w to find and simplify the following.

  • z + w
  • z w
  • z 2
  • 1 z
  • z w
  • w z
  • z ¯
  • z z ¯
  • ( z ¯ ) 2
  1. z = 2 + 3 i , w = 4 i
  2. z = 1 + i , w = i
  3. z = i , w = 1 + 2 i
  4. z = 4 i , w = 2 2 i
  5. z = 3 5 i , w = 2 + 7 i
  6. z = 5 + i , w = 4 + 2 i
  7. z = 2 i 2 , w = 2 + i 2
  8. z = 1 i 3 , w = 1 i 3
  9. z = 1 2 + 3 2 i , w = 1 2 + 3 2 i
  10. z = 2 2 + 2 2 i , w = 2 2 2 2 i

In Exercises -, simplify the quantity.

  1. 49
  2. 9
  3. 25 4
  4. ( 25 ) ( 4 )
  5. 9 16
  6. ( 9 ) ( 16 )
  7. ( 9 )
  8. ( 9 )

We know that i 2 = 1 which means i 3 = i 2 i = ( 1 ) i = i and i 4 = i 2 i 2 = ( 1 ) ( 1 ) = 1 . In Exercises -, use this information to simplify the given power of i .

  1. i 5
  2. i 6
  3. i 7
  4. i 8
  5. i 15
  6. i 26
  7. i 117
  8. i 304

In Exercises -, find all complex solutions.

  1. 3 x 2 + 6 = 4 x
  2. 15 t 2 + 2 t + 5 = 3 t ( t 2 + 1 )
  3. 3 y 2 + 4 = y 4
  4. 2 1 w = w
  5. y 3 3 y = y
  6. x 3 2 x 1 = x 3
  7. x = 2 5 x
  8. 5 y 4 + 1 y 2 1 = 3 y 2
  9. z 4 = 16
  10. Multiply and simplify: ( x [ 3 i 23 ] ) ( x [ 3 + i 23 ] )

Answers

  1. For z = 2 + 3 i and w = 4 i

    • z + w = 2 + 7 i
    • z w = 12 + 8 i
    • z 2 = 5 + 12 i
    • 1 z = 2 13 3 13 i
    • z w = 3 4 1 2 i
    • w z = 12 13 + 8 13 i
    • z ¯ = 2 3 i
    • z z ¯ = 13
    • ( z ¯ ) 2 = 5 12 i
  2. For z = 1 + i and w = i

    • z + w = 1
    • z w = 1 i
    • z 2 = 2 i
    • 1 z = 1 2 1 2 i
    • z w = 1 + i
    • w z = 1 2 1 2 i
    • z ¯ = 1 i
    • z z ¯ = 2
    • ( z ¯ ) 2 = 2 i
  3. For z = i and w = 1 + 2 i

    • z + w = 1 + 3 i
    • z w = 2 i
    • z 2 = 1
    • 1 z = i
    • z w = 2 5 1 5 i
    • w z = 2 + i
    • z ¯ = i
    • z z ¯ = 1
    • ( z ¯ ) 2 = 1
  4. For z = 4 i and w = 2 2 i

    • z + w = 2 + 2 i
    • z w = 8 + 8 i
    • z 2 = 16
    • 1 z = 1 4 i
    • z w = 1 + i
    • w z = 1 2 1 2 i
    • z ¯ = 4 i
    • z z ¯ = 16
    • ( z ¯ ) 2 = 16
  5. For z = 3 5 i and w = 2 + 7 i

    • z + w = 5 + 2 i
    • z w = 41 + 11 i
    • z 2 = 16 30 i
    • 1 z = 3 34 + 5 34 i
    • z w = 29 53 31 53 i
    • w z = 29 34 + 31 34 i
    • z ¯ = 3 + 5 i
    • z z ¯ = 34
    • ( z ¯ ) 2 = 16 + 30 i
  6. For z = 5 + i and w = 4 + 2 i

    • z + w = 1 + 3 i
    • z w = 22 6 i
    • z 2 = 24 10 i
    • 1 z = 5 26 1 26 i
    • z w = 9 10 + 7 10 i
    • w z = 9 13 7 13 i
    • z ¯ = 5 i
    • z z ¯ = 26
    • ( z ¯ ) 2 = 24 + 10 i
  7. For z = 2 i 2 and w = 2 + i 2

    • z + w = 2 2
    • z w = 4
    • z 2 = 4 i
    • 1 z = 2 4 + 2 4 i
    • z w = i
    • w z = i
    • z ¯ = 2 + i 2
    • z z ¯ = 4
    • ( z ¯ ) 2 = 4 i
  8. For z = 1 i 3 and w = 1 i 3

    • z + w = 2 i 3
    • z w = 4
    • z 2 = 2 2 i 3
    • 1 z = 1 4 + 3 4 i
    • z w = 1 2 + 3 2 i
    • w z = 1 2 3 2 i
    • z ¯ = 1 + i 3
    • z z ¯ = 4
    • ( z ¯ ) 2 = 2 + 2 i 3
  9. For z = 1 2 + 3 2 i and w = 1 2 + 3 2 i

    • z + w = i 3
    • z w = 1
    • z 2 = 1 2 + 3 2 i
    • 1 z = 1 2 3 2 i
    • z w = 1 2 3 2 i
    • w z = 1 2 + 3 2 i
    • z ¯ = 1 2 3 2 i
    • z z ¯ = 1
    • ( z ¯ ) 2 = 1 2 3 2 i
  10. For z = 2 2 + 2 2 i and w = 2 2 2 2 i

    • z + w = 2
    • z w = 1
    • z 2 = i
    • 1 z = 2 2 2 2 i
    • z w = i
    • w z = i
    • z ¯ = 2 2 2 2 i
    • z z ¯ = 1
    • ( z ¯ ) 2 = i
  11. 7 i
  12. 3 i
  13. 10
  14. 10
  15. 12
  16. 12
  17. 3
  18. 3 i
  19. i 5 = i 4 i = 1 i = i
  20. i 6 = i 4 i 2 = 1 ( 1 ) = 1
  21. i 7 = i 4 i 3 = 1 ( i ) = i
  22. i 8 = i 4 i 4 = ( i 4 ) 2 = ( 1 ) 2 = 1
  23. i 15 = ( i 4 ) 3 i 3 = 1 ( i ) = i
  24. i 26 = ( i 4 ) 6 i 2 = 1 ( 1 ) = 1
  25. i 117 = ( i 4 ) 29 i = 1 i = i
  26. i 304 = ( i 4 ) 76 = 1 76 = 1
  27. x = 2 ± i 14 3
  28. t = 5 , ± i 3 3
  29. y = ± 2 , ± i
  30. w = 1 ± i 7 2
  31. y = ± 3 i 2 2
  32. x = 0 , 1 ± i 2 3
  33. x = 5 ± i 3 2
  34. y = ± i , ± i 2 2
  35. z = ± 2 , ± 2 i
  36. x 2 6 x + 32

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.

These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or ADA Title II. Every page is built against an automated accessibility gate, and the published editions will meet ADA Title II requirements when they release in late September 2026. If something is unusable, please tell us.