In high school, inevitably students are taught the formula for expressing a difference of squares in terms of linear factors, specifically that
This can be a useful factorization method, and while students do not derive it, they can easily verify it by expansion of the right hand side.
Some students will also learn the formula for the sum and difference of squares:
Again, verification is simple, even if one does not derive the formula. Moreover, while the formula is longer, memorization is made easy by the mnemonic SOAP, which dictates the signs (“Same Opposite Always Positive”).
Likely even fewer students, presumably in pre-calculus where complex number arithmetic is discussed in more detail than in previous coursework, may even know the sum of squares formula:
Once more, verification is a trivial exercise.
But, why teach all these different formulas when they can be combined? Of course, most students do not ask this question, because they do not know that they can be, but in fact, they can.
Theorem. Let and let be some natural number, then
The best part of this is that its proof is elementary and can be one of the first examples used in the introduction of mathematical induction, which really ought to be taught to all high schoolers at some point.
The base case clearly works. So, suppose it works for , then we wish to show it necessarily works for and hence the formula is valid for all .
Let us restate our induction hypothesis as follows:
Now, we proceed as follows with the case. (The image is via Codecogs’ editor, as I am still getting used to WordPress’ editor.)
which proves the theorem.
The only tricky part here is the alternative form of the induction hypothesis. We do this so the induction problem seems more familiar and additive in nature. After that observation, we proceed just as with most classic cases of induction in elementary algebra and number theory.
And, what do we get from this? Well, we get all of the forms of difference of powers we could possible have. Personally, I prefer this to memorizing multiple formulas.