The hull lies upside down on two sawhorses, its planks stacked in triangular rows while the glue sets.
"While we wait," Wren says, "the chalkboard still has last year's list. x² - 4 factors. x² + 4 does not."
"Says who?" Comet asks. "What can we make of x² + 4?"
"A difference of squares needs a minus," Wren says. "x² - 4 is (x + 2)(x - 2). There is no minus in x² + 4."
Nova projects last week's grid. "Would you like a hint? What is (2i)²?"
"i² is -1, so (2i)² is -4," Comet says. "Then x² + 4 is x² minus (2i)². A difference of squares after all!"
"(x + 2i)(x - 2i)," Wren writes, and checks it. "The i terms cancel and the end is -(2i)², which is 4."
In Algebra 2 the difference of squares a² - b² = (a + b)(a - b) worked for real numbers. It still works when a or b is complex.
Since (2i)² = -4, the sum x² + 4 is really x² - (2i)². So x² + 4 = (x + 2i)(x - 2i).
Check by multiplying: x² - 2ix + 2ix - (2i)² = x² - (-4) = x² + 4. The middle terms cancel.
Every polynomial identity you know extends this way. The complex numbers follow the same rules of arithmetic as the reals.
Notice the pattern. Every x² + c with c positive is x² minus the square of √c times i. So every one of them factors.
| Power | Value | Why |
|---|---|---|
| i¹ | i | the start |
| i² | -1 | the definition of i |
| i³ | -i | i² × i |
| i⁴ | 1 | i² × i² |
| (2i)² | -4 | 4 × i² |
| (3i)² | -9 | 9 × i² |
| Statement | True or false? |
|---|---|
| x² + 4 = (x + 2i)(x - 2i). | ? |
| x² + 4 = (x + 2)(x - 2). | ? |
| (2i)² = -4. | ? |
| The identity a² - b² = (a + b)(a - b) stops working when b is imaginary. | ? |
| 4 × 4 = 16 | ? |
Strong start. Tomorrow the big theorem: every polynomial has exactly as many zeros as its degree.