Twice the sum of squares
You already know two facts by heart: and . Most students stop there, treating them as two separate formulas to memorise. But identities are not meant to sit in isolation — they are meant to be combined. Add these two together and something clean falls out: the terms, being opposite in sign, cancel completely, leaving , "twice the sum of squares." Subtract instead of add, and a different clean result appears: . This short topic is really a lesson in algebraic reuse — showing that once a few identities are trusted, new ones can be built from them without ever re-expanding brackets from scratch. It matters beyond this one chapter: exams routinely reward students who spot that a question is really asking for a combination of known results, not a fresh derivation, and this is the smallest, cleanest example of that habit you will meet.
Adding and cancels the cross term and leaves exactly , while subtracting them cancels the squared terms and leaves exactly .
The core idea
Start from what is already proved. The two standard identities, both derived earlier from the distributive law, are the only raw material needed here:
where: and are any two real numbers (or algebraic terms), and is the "cross term" that distinguishes the sum-square from the difference-square.
Add them. Because (i) has and (ii) has , adding the two equations makes that term vanish, and the two 's and two 's combine:
where: the right side is read as "twice the sum of the squares of and " — the phrase that names this whole topic.
Subtract them. Subtracting (ii) from (i) does the opposite: the and terms cancel (they are identical in both), and the cross terms combine instead of cancel, since :
Why this matters beyond the algebra. These two combined identities let you move between three different pairs of quantities — , , and themselves — without ever expanding a bracket by hand. If a question gives you and but hides and , you can still recover (halve the sum of the two squares) and (quarter the difference of the two squares).
Why the cancellation is not a coincidence. Look again at where the term comes from: it appears in because the cross terms from multiplying out point in the "same direction," and in because the cross terms from point in the "opposite direction." Adding two things pointing in opposite directions is exactly what makes them cancel — the algebra is simply restating, in symbols, the everyday idea that and undo each other. Seeing this reason, rather than just memorising the outcome, is what lets you predict in advance that adding will kill the cross term and subtracting will kill the squares, without having to expand anything to check.
The goal is to show, using only the distributive law already established for and , that adding these two familiar expansions eliminates the cross term entirely and produces a brand-new identity, , that holds for every real value of and without any further multiplication being needed.
Step 1. Write down the two known identities exactly as previously derived: and . Both are already proved from -style expansion, so they can be treated as trusted building blocks rather than re-derived.
Step 2. Add the left-hand sides and the right-hand sides separately, since adding equal quantities on each side of two true equations keeps the equation true: .
Step 3. Group like terms on the right: the two terms give , the two terms give , and the cross terms and cancel exactly, leaving .
Step 4. Factor out the common : . This gives the final identity, , true for all , and the cancellation in Step 3 is exactly why it is faster than expanding the left side term by term.
Step 5. Note what makes this a genuine identity rather than a one-off calculation: nothing in Steps 1 to 4 used a specific numerical value of or . Every step is a rearrangement of symbols that holds for any real numbers substituted in, which is why the result can be trusted and reused for every future value of and , not just checked case by case.
Worked example
Verify for , , then use the identity in reverse to recover from only and .
Step 1. Compute the left side directly: and , so .
Step 2. Compute the right side directly: and , so .
Step 3. Both sides equal , confirming the identity for this pair of values.
Step 4. Now use the identity in reverse. Suppose only and were known, with and themselves hidden. Then , which matches the direct value . The identity holds, and can be found without ever computing or separately.
Competitive stretch
A square garden of side metres and a smaller square garden of side metres are built side by side. Show that their combined area equals twice the sum of an -side square and a -side square.
Step 1. Area of the larger garden is , and area of the smaller garden is , so the combined area is .
Step 2. By the identity just derived, this equals directly, with no need to expand either bracket.
Step 3. Interpret the result: is exactly twice the combined area of a square of side (area ) and a square of side (area ). So the two gardens together always cover the same ground as two copies of an -square plus a -square, for any — the identity re-read geometrically, using the same cancellation applied to areas instead of bare numbers.
Common traps
- Re-expanding from scratch. Since and are already known, adding them directly (letting cancel) is faster and less error-prone than expanding term by term from the original brackets.
- Mixing up "sum" and "difference" results. Adding gives , with no term. Subtracting gives , with no squared terms at all. Confusing which operation produces which result is a common slip.
- Losing a sign when subtracting. already contains , so subtracting the whole expression turns that term into ; dropping the sign flip is a frequent error.
- Assuming order matters. Since both identities involve squaring, is unchanged if and are swapped, even though 's appearance might suggest otherwise — in fact because squaring removes the sign.
- Forgetting the reverse direction. Many questions do not ask you to verify the identity at all — they give and and ask for or directly. Trying to first solve for and individually before squaring wastes time; halving or quartering the combined identities is faster.
Ask the tutor: if you would like to see how combining with (instead of ) also gives , or how this same combining habit extends to cube identities in later classes, ask the AI tutor to work through those with you step by step.
Why do the 2ab terms cancel when adding but not when subtracting?
Because contains and contains . Adding the two expressions means adding and , which sum to zero — they cancel. Subtracting means computing minus , which is — the cross terms combine instead of cancelling. The squared terms behave the opposite way: and are identical in both identities (no sign difference between them), so they double on adding, and being identical is exactly why they cancel to zero when one is subtracted from the other. Working out which terms match and which are opposite in sign, before adding or subtracting, is the whole trick.
Do I need to memorise 2(a^2+b^2) and 4ab as separate formulas?
It helps to recognise them on sight, but you do not need rote memorisation if you remember the two source identities and know whether to add or subtract. In an exam, writing out and on rough work and then combining them line by line takes only a few seconds, and it avoids the risk of misremembering a compressed formula under pressure. Once you have derived it once carefully, though, most students find the result sticks naturally, simply from having reasoned through the cancellation.
Can this trick be extended to other combinations of a and b?
Yes — the same habit of combining known identities generalises well beyond this one pair. For instance, and together let you find without ever bringing in a difference-square at all, since . Later, in higher classes, you will meet similar combined identities for cubes, such as . The core lesson here — that proved identities can be added, subtracted, or otherwise combined to reach new true statements, faster than expanding from scratch — is used repeatedly throughout algebra, not just for these two identities.