MathLabs
TheoremProved

Square of a sum and of a difference

Statement

For all real numbers a,ba,b: (a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2 and (a−b)2=a2−2ab+b2(a-b)^2 = a^2 - 2ab + b^2.

Why is it true?

Expanding (a+b)2(a+b)^2 by treating it as an ordinary multiplication saves the common error of writing (a+b)2=a2+b2(a+b)^2=a^2+b^2; the identity makes the missing cross term 2ab2ab impossible to forget.

Proof sketch

Step 1 (algebraic proof by direct expansion). Using the distributive law twice, (a+b)2=(a+b)(a+b)=a⋅a+a⋅b+b⋅a+b⋅b=a2+2ab+b2(a+b)^2=(a+b)(a+b)=a\cdot a+a\cdot b+b\cdot a+b\cdot b=a^2+2ab+b^2, since a⋅ba\cdot b and b⋅ab\cdot a are the same product counted twice.

Step 2 (geometric proof by area). Draw a square of side length a+ba+b. Cut it with one horizontal and one vertical line at distance aa from one corner. This splits the big square into four pieces: a square of side aa (area a2a^2), a square of side bb (area b2b^2), and two rectangles of dimensions a×ba\times b (area abab each). Adding the four areas gives a2+2ab+b2a^2+2ab+b^2, and since these four pieces exactly tile the original square, this sum must equal (a+b)2(a+b)^2.

Step 3 (the difference-of-squares version, by substitution). Replacing bb with −b-b in the first identity gives (a−b)2=(a+(−b))2=a2+2a(−b)+(−b)2=a2−2ab+b2(a-b)^2=(a+(-b))^2=a^2+2a(-b)+(-b)^2=a^2-2ab+b^2, so no separate geometric picture is even needed — the algebra transfers the result automatically.

Topics that use this theorem

Step-by-step proofs

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