MathLabs
TheoremProved

Al-Khwarizmi's Completing-the-Square Construction

Statement

For b>0b>0 and c>0c>0, the positive solution of x2+bx=cx^2+bx=c is x=c+(b2)2−b2x=\sqrt{c+\left(\dfrac b2\right)^2}-\dfrac b2.

Why is it true?

Al-Khwarizmi (Baghdad, c. 820, in his book Al-Jabr wal-Muqabala — the origin of the word 'algebra') had no negative numbers or symbolic notation, so he solved quadratics by literally drawing squares and rectangles and physically completing a bigger square, a picture that makes the otherwise mysterious formula obvious.

Proof sketch

Draw a square of side xx; its area is x2x^2, the first term of x2+bx=cx^2+bx=c. Attach to two adjacent sides of this square two thin rectangles, each of width b/2b/2 and length xx, so their combined area is 2⋅b2⋅x=bx2\cdot\tfrac b2\cdot x=bx, the second term. The resulting L-shaped figure (a "gnomon") has area x2+bx=cx^2+bx=c.

This gnomon is a big square of side x+b/2x+b/2 with one small b2×b2\tfrac b2\times\tfrac b2 corner square missing. To see this, notice the two rectangles plus the original square leave exactly a (b/2)×(b/2)(b/2)\times(b/2) gap at the outer corner where they meet. Fill that gap in: the whole figure — gnomon plus corner square — is now a genuine square of side x+b/2x+b/2, whose area is therefore c+(b/2)2c+(b/2)^2 (the gnomon's area cc plus the corner square's area (b/2)2(b/2)^2, added exactly once).

So (x+b2)2=c+(b2)2(x+\tfrac b2)^2=c+\left(\tfrac b2\right)^2. Taking the positive square root of both sides (side lengths are positive) gives x+b2=c+(b2)2x+\dfrac b2=\sqrt{c+\left(\dfrac b2\right)^2}, and isolating xx yields x=c+(b2)2−b2x=\sqrt{c+\left(\dfrac b2\right)^2}-\dfrac b2.

Algebraic check: expanding (c+(b/2)2−b/2)2+b(c+(b/2)2−b/2)\left(\sqrt{c+(b/2)^2}-b/2\right)^2+b\left(\sqrt{c+(b/2)^2}-b/2\right) term by term reduces, after the ±bc+(b/2)2 b/2\pm b\sqrt{c+(b/2)^2}\,b/2 cross terms cancel, exactly to cc — confirming the formula independently of the picture. Numerically, for x2+10x=39x^2+10x=39 (so b=10,c=39b=10,c=39): x=39+25−5=64−5=8−5=3x=\sqrt{39+25}-5=\sqrt{64}-5=8-5=3, and indeed 32+10⋅3=9+30=393^2+10\cdot3=9+30=39.

Topics that use this theorem

Step-by-step proofs

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

References

  1. Victor J. Katz (2009). A History of Mathematics: An Introduction
  2. Oliver Knill (2012). A Multivariable Chinese Remainder Theorem · arXiv:1206.5114