Imaginary Numbers
Learning goals
- Define by
- Reduce using the remainder of divided by four
- Simplify as
- Avoid the product rule with two negative radicands
- Solve as
Why the real numbers are not enough
You can solve because , and as well, so it has the two answers and . You can even solve , whose answers are irrational but still perfectly real. Try , though, and the search fails. No real number works, and the reason is not that we have not looked hard enough. It is built into how signs behave under multiplication.
Why no real number squares to a negative number#
Take any real number and look at its square . There are only three possibilities for the sign of . If is positive, then is a positive times a positive, which is positive. If is negative, then is a negative times a negative, and two negatives make a positive, so is again positive. If is zero, then .
In every case , so a real square is never negative. That rules out any real solution of , or , or any equation that asks for a negative square. The gap is genuine and permanent, and closing it needs a number that does not sit on the real number line at all.
Rather than stop there, we do what mathematics has done before. When subtraction outgrew the counting numbers, negative numbers were invented to fill the gap; when division outgrew the integers, fractions were invented. Here we invent a single new number, and that one addition turns out to be enough.
Defining the imaginary unit
Define the imaginary unit to be a number whose square is :
That equation is the entire definition, and everything else in this lesson follows from it. Because squaring gives , we can also write , since is by construction the number that squares to .
With available, finally has answers. One is , because by definition. The other is , because
as well. So has the two solutions and , written together as , matching the same two-answer pattern you already know from .
A real number multiplied by , such as , , or , is called a pure imaginary number. These really are new numbers: is not equal to any real number, because its square is , and no real number squares to . When you join a real number and a pure imaginary number into a sum like , the result is called a complex number. This lesson stays with itself, its powers, and pure imaginary numbers. The arithmetic that combines the two parts of a complex number is the subject of the next lesson.
The powers of i
Since is a number, you can raise it to powers, and something useful happens: the powers repeat in a short cycle. Work them out one at a time, each from the one before, leaning on at every step.
Why the powers of repeat every four steps#
Start from the definition and climb. The first power is itself. The second is , the definition. For the third, multiply the second by one more factor of :
For the fourth, multiply again, which is the same as squaring the second:
Reaching is the key event. Multiplying by once more returns to the start, since , and from there the four values repeat forever in the same order. To evaluate any power , split the exponent into a multiple of plus a remainder. Write , where is the remainder of divided by , one of . Then
So depends only on : the value is fixed entirely by the remainder of the exponent when it is divided by . When that remainder is , the power is .
In short, reduce the exponent modulo . A remainder of gives , a remainder of gives , a remainder of gives , and a remainder of gives .
Worked example 1 Evaluate , , and
Divide each exponent by and keep only the remainder.
For , since , the remainder is :
For , since , the remainder is :
For , since exactly, the remainder is :
A number is divisible by exactly when its last two digits form a multiple of , so lands on remainder without any long division. For the same reason, only the tail of a big exponent ever matters.
Check your understanding
Simplify .
Divide the exponent by and keep the remainder: , so the remainder is .
The powers cycle every four, so matches .
Square roots of negative numbers
The imaginary unit lets you take the square root of any negative number, not just . The rule is short:
Here is the ordinary real square root you already know, and the factor of carries the negative sign.
Why #
To call something the square root of , it has to square to . Test the candidate by squaring it:
It works: squares to , so it is the square root we want. The step is just the meaning of a real square root, and supplies the sign. Splitting the radical as is allowed here because only one of the two factors under the roots is negative. The next section shows why that restriction is not optional.
Worked example 2 Simplify , , and
Pull out the factor of first, then simplify the real square root that is left.
The root has a perfect square inside:
The root needs the radical simplified, using and :
The root works the same way, with :
In each case the answer is a real number (or a simplified radical) times , that is, a pure imaginary number.
Check your understanding
Simplify .
Factor out the first, then simplify the radical with and .
The has no square factor left, so is fully simplified.
The trap: two negative radicands
There is one place where square roots of negatives bite back, and nearly everyone is caught by it once. You have used the product rule for square roots, , to simplify radicals. That rule is valid only when and are not both negative. Apply it blindly to two negative radicands and you get the wrong answer, including the wrong sign.
Watch it fail on . The correct method rewrites each square root using first, and only then multiplies:
The tempting shortcut multiplies the radicands first, and it disagrees:
The two results, and , are not equal, so the product rule genuinely breaks for two negatives. The fix is a firm habit: convert every square root of a negative into the form before doing anything else. Once the factors of are out in the open, they multiply like any other factors, and supplies the correct sign on its own.
Worked example 3 Evaluate
Convert each root to the form first. Here , and . Now multiply the two pure imaginary numbers:
The wrong route, , once again flips the sign. Convert first, and the answer comes out right.
Check your understanding
Evaluate .
Rewrite each root with before multiplying: and .
Multiplying the radicands first would give , the wrong sign, because both radicands are negative.
Solving x squared equals a negative
Putting the pieces together, you can now solve any equation of the form with , or equally . Take the square root of both sides, and keep both signs.
Worked example 4 Solve and
For , move the constant across to isolate the square, then take the root of both sides:
Both and check out, since . For , the root needs simplifying, with :
Every equation of this shape has two pure imaginary solutions, each the negative of the other.
A general quadratic can also lead to imaginary answers, but handling one that carries an term as well needs tools from the next chapters. For now, any equation that reduces to equal to a negative number is fully within reach.