Definition · Quadratic equationA quadratic equation in x is one that can be written ax² + bx + c = 0, where a, b and c are numbers and a ≠ 0. That arrangement is called standard form.
The condition a ≠ 0 is what makes the equation quadratic rather than linear. If a were 0 the x² term would disappear and Linear Equations and Inequalities would already have solved what was left.
b or c may be zero, and often are. x² - 9 = 0 has b = 0; x² + 3x = 0 has c = 0. Both are quadratic, and each of those two shapes gets a method of its own later in the course.
Theorem · The zero product propertyFor real numbers a and b, ab = 0 if and only if a = 0 or b = 0.
The "or" is inclusive: both may be zero, as in 0 · 0 = 0. The statement rules out only the case where neither is.
One direction is arithmetic. If a = 0 then ab = 0 · b = 0, and the same for b = 0. So a product with a zero factor is zero.
The other direction is the useful one. Suppose ab = 0 and a ≠ 0. Because a is a non-zero real number it has a reciprocal 1/a, so both sides may be multiplied by it: (1/a)(ab) = (1/a) · 0.
The right-hand side is 0. The left-hand side regroups, by associativity, as ((1/a) · a)b = 1 · b = b. So b = 0. Assuming a ≠ 0 forced b = 0, which is exactly the claim that a = 0 or b = 0.
□
The proof leaned on one property of the real numbers that is easy to take for granted: every non-zero number has a reciprocal. The rule can fail in systems without that property. In arithmetic modulo 12 — clock arithmetic — 3 · 4 = 12, which is 0 on that clock, and neither 3 nor 4 is zero there. So the zero product property is a fact about the numbers you are using, not a fact about algebra in general.
Why the zero has to be on one side
(x - 3)(x + 5) = 9 is a perfectly good equation, and the property says nothing whatever about it. Setting x - 3 = 9 gives x = 12, and substituting back gives (12 - 3)(12 + 5) = 9 · 17 = 153, not 9. That was not an arithmetic slip. It was an appeal to a theorem whose hypothesis had not been met.
The repair is always the same: expand, move everything to one side, and produce a zero. (x - 3)(x + 5) = 9 becomes x² + 2x - 15 = 9, then x² + 2x - 24 = 0, and “Solving by Factoring” finishes it.
More than two factors
The property extends to any finite number of factors by being applied repeatedly: abc = 0 means a = 0 or bc = 0, and the second case splits again. So x(x - 2)(x + 7) = 0 has the three solutions 0, 2 and -7, found one bracket at a time.
Dividing by something that might be zero
x² = 5x invites you to divide both sides by x, giving x = 5. But x = 0 also satisfies the original equation, since 0² = 5 · 0. Dividing by x quietly assumed x ≠ 0, and the solution that broke the assumption was thrown away by the step that made it.
Division by a variable is legal only when you know the variable is not zero, and in an equation you are still solving you do not know that — finding out is the point. Move everything to one side instead: x² - 5x = 0, so x(x - 5) = 0, so x = 0 or x = 5. Nothing is lost, and the method is one line longer.
Example · Two factors, two solutions(2x - 1)(x + 4) = 0. The property gives 2x - 1 = 0 or x + 4 = 0, which are two linear equations of the kind Linear Equations and Inequalities solved in a line each. The first gives x = 1/2, the second x = -4.
Those are the only solutions. Any other value of x makes both brackets non-zero, and a product of two non-zero real numbers is not zero — which is the first direction of the theorem, read as a guarantee that nothing has been missed.