MathLabs
TheoremProved

Deriving the quadratic formula

Statement

For a≠0a\neq0, every real solution of ax2+bx+c=0ax^2+bx+c=0 satisfies x=−b±Δ2ax=\dfrac{-b\pm\sqrt{\Delta}}{2a}, where Δ=b2−4ac\Delta=b^2-4ac; conversely, whenever Δ≥0\Delta\ge0 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 a≠0a\neq0, divide every term of ax2+bx+c=0ax^2+bx+c=0 by aa: this gives x2+bax+ca=0x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0, an equivalent equation where the leading coefficient is 11.

Step 2 (Complete the square). The first two terms x2+baxx^2+\dfrac{b}{a}x are the start of the perfect square (x+b2a)2=x2+bax+b24a2\left(x+\dfrac{b}{2a}\right)^2=x^2+\dfrac{b}{a}x+\dfrac{b^2}{4a^2}. Adding and subtracting b24a2\dfrac{b^2}{4a^2} inside x2+bax+ca=0x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0 lets us rewrite it as (x+b2a)2−b24a2+ca=0\left(x+\dfrac{b}{2a}\right)^2-\dfrac{b^2}{4a^2}+\dfrac{c}{a}=0.

Step 3 (Isolate the square). Move the constant terms to the right side and combine them over the common denominator 4a24a^2: −b24a2+ca=−b2+4ac4a2=−b2−4ac4a2=−Δ4a2-\dfrac{b^2}{4a^2}+\dfrac{c}{a}=\dfrac{-b^2+4ac}{4a^2}=-\dfrac{b^2-4ac}{4a^2}=-\dfrac{\Delta}{4a^2}. This gives (x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2}.

Step 4 (Take the square root). When Δ≥0\Delta\ge0, the right side is a nonnegative real number, so both sides have real square roots: x+b2a=±Δ2ax+\dfrac{b}{2a}=\pm\dfrac{\sqrt{\Delta}}{2a} (the ±\pm already accounts for both signs, whichever sign aa itself has).

Step 5 (Isolate x). Subtract b2a\dfrac{b}{2a} from both sides: x=−b2a±Δ2a=−b±Δ2ax=-\dfrac{b}{2a}\pm\dfrac{\sqrt{\Delta}}{2a}=\dfrac{-b\pm\sqrt{\Delta}}{2a}, which is exactly x=−b±Δ2ax=\dfrac{-b\pm\sqrt{\Delta}}{2a}. Every algebraic step used (dividing by nonzero aa, adding/subtracting the same quantity, taking square roots of equal nonnegative numbers) is reversible, so this formula is both necessary and sufficient whenever Δ≥0\Delta\ge0.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.