Most algebraic identities are one-way tools — you expand a bracket, you simplify, you move on. The difference of squares is different. It runs both ways, and half of your school algebra — factoring quadratics, rationalising surds, computing limits, simplifying trig — comes down to spotting either a^2 - b^2 or (a - b)(a + b) and flipping it. Recognition on sight is the skill. Expansion-by-multiplication is the long way.
The identity in both directions
Read left-to-right, this is factorisation: a difference of two squares splits into two brackets. Read right-to-left, this is expansion: two conjugate brackets multiply out into a difference of squares. Both directions are used constantly, and knowing which one you need in a given problem is most of the skill.
The recognition cues
Train your eye to fire on any of these patterns.
- a^2 - b^2 in raw form. Numbers: 49 - 36, x^2 - 25, 4x^2 - 9. In each case, both sides are perfect squares and the operation between them is a minus. Factor.
- A minus between two things you can square-root cleanly. x^4 - 16 hides a difference of squares because x^4 = (x^2)^2 and 16 = 4^2, so it becomes (x^2 - 4)(x^2 + 4). The first factor is also a difference of squares, so it splits further: (x - 2)(x + 2)(x^2 + 4).
- (a - b)(a + b) in product form. Two brackets with the same two terms, one with a minus and one with a plus. When you see this, do not FOIL it out; just write a^2 - b^2 and move on.
- Surds in conjugate pairs. (\sqrt{7} - \sqrt{3})(\sqrt{7} + \sqrt{3}) collapses to 7 - 3 = 4 instantly. Rationalising denominators is built on this.
- Trig in disguise. \cos^2 x - \sin^2 x is a difference of squares; it factors to (\cos x - \sin x)(\cos x + \sin x), though in trig it is more often rewritten as \cos 2x. But the structural recognition is the same.
What you save
Consider (x + 7)(x - 7). The slow student FOILs it:
Four multiplications, two cancellations, one line to write out. The fast student sees "conjugate pair — difference of squares" and writes x^2 - 49 directly. Zero multiplications, no cancellation to track.
Over a full three-hour paper with dozens of algebraic manipulations, the seconds saved per recognition add up to several minutes. On a problem where the identity is nested two levels deep, the slow student is still writing while the fast student has moved on.
Why recognition is faster than expansion: the identity is symmetrical in a way FOIL is not. FOIL produces four terms, two of which cancel. Recognising the identity skips the middle cancellation entirely — you go straight to the two surviving terms. Every time the middle cross-terms cancel, you have wasted the effort of writing them down.
A nested example
Factor x^4 - 81 completely.
The slow approach is to try rational roots, polynomial long division, or guess-and-check. The fast approach is the recognition pyramid.
- x^4 - 81 = (x^2)^2 - 9^2. Difference of squares. Factor: (x^2 - 9)(x^2 + 9).
- x^2 - 9 is also a difference of squares: (x - 3)(x + 3).
- x^2 + 9 is a sum of squares, which does not factor over the reals.
Final form: x^4 - 81 = (x - 3)(x + 3)(x^2 + 9).
Three difference-of-squares recognitions, fully factored in under 30 seconds. A student who tries to polynomial-divide will spend four or five minutes and still might get it wrong.
Try it — the conjugate collapse
The same move, dressed as rationalisation
When you "rationalise" a surd denominator like \tfrac{1}{\sqrt{5} - \sqrt{3}}, you multiply top and bottom by the conjugate \sqrt{5} + \sqrt{3}:
The step (\sqrt{5} - \sqrt{3})(\sqrt{5} + \sqrt{3}) = 5 - 3 is the difference of squares identity. Rationalisation is not a separate technique; it is the identity applied in the "expand" direction to a particular pair of factors. Once you see this, every conjugate-multiplication in your textbook is the same move wearing a different hat.
When the identity is invisible at first
Sometimes the squares are not obvious until you rewrite. A few common hideouts:
- 9 - 4x^2. Rewrite as 3^2 - (2x)^2. Factor: (3 - 2x)(3 + 2x).
- \tfrac{1}{4} - y^2. Rewrite as (\tfrac{1}{2})^2 - y^2. Factor: (\tfrac{1}{2} - y)(\tfrac{1}{2} + y).
- x^2 - 2. Rewrite as x^2 - (\sqrt{2})^2. Factor: (x - \sqrt{2})(x + \sqrt{2}).
- \sec^2 x - \tan^2 x. Factor: (\sec x - \tan x)(\sec x + \tan x). (Or recognise it as the Pythagorean identity = 1.)
The move is always: look at the two things separated by a minus, and ask "is each a perfect square of something simpler?" If yes, factor.
The warning — a sum of squares does not factor (over the reals)
a^2 + b^2 is not factorable over real numbers. Students sometimes confidently write a^2 + b^2 = (a + b)(a - b), which is flat wrong — the right side is a^2 - b^2. The plus is fatal. If the question requires factoring a sum of squares, either the expression is prime (leave it), or you need complex numbers (a^2 + b^2 = (a + bi)(a - bi)).
Common mistakes
- FOILing the conjugate pair when you see it. The fastest route is recognition; FOILing is the long route. Train yourself to write a^2 - b^2 the moment you see (a - b)(a + b), with zero hesitation.
- Missing nested squares. x^4 - 16 is a difference of squares twice over. Stopping after the first factorisation misses two linear factors. Always check if the pieces you produce are themselves differences of squares.
- Confusing it with (a + b)^2. (a + b)^2 = a^2 + 2ab + b^2 is a different identity — the square of a sum, not the product of conjugates. They look structurally similar, but (a+b)^2 has a middle term and (a-b)(a+b) doesn't.
Summary
- a^2 - b^2 = (a - b)(a + b) is the identity. It runs in both directions.
- Recognise it on sight: a minus between two perfect squares, or two brackets that are conjugate pairs.
- Skip the FOIL; write the simplified form directly.
- Look for nested applications: x^4 - y^4, x^8 - 1, etc., factor all the way down.
- Rationalisation of surds and many trig identities are this identity in disguise.
Related: Operations and Properties · Algebraic Identities · Sanity Check: (a+b)² Is Never a² + b² — If You Wrote That, Back Up · Spot a(b + c) and Decide: Factor It Out or Expand It