Deriving the quadratic formula
Statement
For , every real solution of satisfies , where ; conversely, whenever this formula produces genuine solutions.
Why is it true?
Factoring only works when we get lucky with nice numbers; completing the square turns any quadratic into a perfect square equalling a number, which we can then "undo" with a square root — this gives one formula that solves every quadratic equation, no guessing required.
Proof sketch
Step 1 (Normalize). Since , divide every term of by : this gives , an equivalent equation where the leading coefficient is .
Step 2 (Complete the square). The first two terms are the start of the perfect square . Adding and subtracting inside lets us rewrite it as .
Step 3 (Isolate the square). Move the constant terms to the right side and combine them over the common denominator : . This gives .
Step 4 (Take the square root). When , the right side is a nonnegative real number, so both sides have real square roots: (the already accounts for both signs, whichever sign itself has).
Step 5 (Isolate x). Subtract from both sides: , which is exactly . Every algebraic step used (dividing by nonzero , adding/subtracting the same quantity, taking square roots of equal nonnegative numbers) is reversible, so this formula is both necessary and sufficient whenever .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.