Difference of two squares

In mathematics, the difference of two squares, or the difference of perfect squares, is when a number is squared, or multiplied by itself, and is then subtracted from another squared number. It refers to the identity

$a^2-b^2 = \left(a-b\right)\left(a+b\right)$

from elementary algebra.

Proof

The proof is straightforward, starting from the RHS: apply the distributive law to get a sum of four terms, and set as an application of the commutative law. The resulting identity is one of the most commonly used in all of mathematics.

$ba - ab = 0\,\!$

The proof just given indicates the scope of the identity in abstract algebra: it will hold in any commutative ring R.

Also, conversely, if this identity holds in a ring R for all pairs of elements a and b of the ring, then R is commutative. To see this, we apply the distributive law to the right-hand side of the original equation and get

$a^2 - ab + ba - b^2\,\!$

and if this is equal to a² − b², then we have

$a^2 - ab + ba - b^2 - \left(a^2 - b^2\right) = 0\,\!$

and by associativity and the rule that r − r = 0, we can rewrite this as

$ba - ab = 0.\,\!$

If the original identity holds, then, we have ba − ab = 0 for all pairs a, b of elements of R, so the ring R is commutative.

In geometry

The difference of two squares can also be illustrated geometrically as the difference of two square areas in a plane. In the diagram, the shaded part represents the difference between the areas of the two squares, i.e. a² − b². The area of the shaded part can be found by adding the areas of the two rectangles; a(a − b) + b(a − b), which can be factorized to (a + b)(a − b). Therefore a² − b² = (a + b)(a − b)

Another geometric proof proceeds as follows: We start with the figure shown in the first diagram below, a large square with a smaller square removed from it. The side of the entire square is a, and the side of the small removed square is b. The area of the shaded region is a² − b². A cut is made, splitting the region into two rectangular pieces, as shown in the second diagram. The larger piece, at the top, has width a and height a-b. The smaller piece, at the bottom, has width a-b and height b. Now the smaller piece can be detached, rotated, and placed to the right of the larger piece. In this new arrangement, shown in the last diagram below, the two pieces together form a rectangle, whose width is a + b and whose height is a − b. This rectangle's area is (a + b)(a − b). Since this rectangle came from rearranging the original figure, it must have the same area as the original figure. Therefore, a² − b² = (a + b)(a − b).Any odd number can be expressed as difference of two squares.

Uses

Complex number case: sum of two squares

The difference of two squares is used to find the linear factors of the sum of two squares, using complex number coefficients.

For example, the root of $z^2 + 5\,\!$ can be found using difference of two squares:

$z^2 + 5\,\!$

$= z^2 - (\sqrt{-5})^2$

$= z^2 - (i\sqrt5)^2$

$= (z + i\sqrt5)(z - i\sqrt5)$

Therefore the linear factors are $(z + i\sqrt5)$ and $(z - i\sqrt5)$.

Rationalising denominators

The difference of two squares can also be used in the rationalising of irrational denominators. This is a method for removing surds from expressions (or at least moving them), applying to division by some combinations involving square roots.

For example: The denominator of $\dfrac{5}{\sqrt{3} + 4}\,\!$ can be rationalised as follows:

$\dfrac{5}{\sqrt{3} + 4}\,\!$

$= \dfrac{5}{\sqrt{3} + 4} \times \dfrac{\sqrt{3} - 4}{\sqrt{3} - 4}\,\!$

$= \dfrac{5(\sqrt{3} - 4)}{(\sqrt{3} + 4)(\sqrt{3} - 4)}\,\!$

$= \dfrac{5(\sqrt{3} - 4)}{\sqrt{3}^2 - 4^2}\,\!$

$= \dfrac{5(\sqrt{3} - 4)}{3 - 16}\,\!$

$= -\dfrac{5(\sqrt{3} - 4)}{13}\,\!$

Here, the irrational denominator $\sqrt{3} + 4\,\!$ has been rationalised to $13\,\!$. Any odd number can be expressed as difference of two squares.