Factor completely (with a parameter):
Look for a square to complete, guided by the end terms. The and the suggest the square . Compare it with what we have: the given expression has only , so it is short by , and it carries the extra .
Do the bookkeeping explicitly.
and the bracket on the right is itself a perfect square, . So the whole thing is
This is the key step, and it shows the claim that the expression "does not factor nicely for arbitrary " is false.
Apply the difference of squares. With and :
Tidy each bracket.
Both factors are quadratics in with the parameter sitting only in the constant term.
Verify by expanding. Multiplying out, the terms cancel (), the terms give after the cross terms, the terms collapse to , and the constants give — reproducing the original exactly. A random numerical check (, ) gives the same value on both sides.
Sanity-check the special case . The factorization becomes
which is the well-known identity — and indeed setting in the original also gives ✓.
Need to solve a different problem like this? Open the solver →