Imaginary Numbers Advanced. This lesson goes beyond core Algebra I. You can skip it.
Learning goals
- Define by , and know that squares to too
- Reduce using the remainder of divided by four
- Simplify as , and multiply negative square roots safely
- 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.
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. The symbol is just another name for . That follows the same convention you already know from real numbers: means the positive root , even though also squares to . In the same way, points to , even though (as the next paragraph shows) squares to too.
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 number like , combining a real number and a real multiple of , is called a complex number. This lesson stays with itself and its multiples; 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. Multiply by one more factor of for the third power, then again for the fourth:
Reaching is the key event: four factors of multiply to . One factor beyond that returns to the start, since . From there the same four values repeat forever, exactly as the diagram shows.
That fact turns any power into a small one. Take . Eleven factors of make two complete groups of four, worth each, with three factors left over:
Only the leftover factors matter. The same idea works for any exponent : write , where is the remainder of divided by , one of . Then
So depends only on , the remainder of divided by . When that remainder is , the power is .
In short, divide the exponent by and keep only the remainder. 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 :
No matter how large the exponent, only its remainder after dividing by 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. A real number multiplied by , such as the you are about to compute, 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 .
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 a square root of . 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.
The other square root of is , but always names , the same way always names and not . Both roots matter when you solve an equation instead of just simplifying a radical, which is exactly what the last section of this lesson does.
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 , the numbers under the root signs (the radicands), are not both negative. Apply it blindly when both radicands are negative 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.
Check your understanding
Solve .
Isolate the square, then take the square root of both sides, keeping both signs.
Dropping the or forgetting the factor of each lose part of the answer.