How should one prove that two algebraic expressions are identically equal to one another?
Many people first learning to do proofs are tempted to start with the identity they seek to prove, then use various algebra (or trig or logarithmic or…) identities to manipulate both sides of the equation, seeking to reduce the equation to an easily-recognized identity.
But of course starting from and showing that this eventually implies that (or some other true equation) does not constitute a valid proof that .
One of my favorite (simple) examples:
Thus (the reasoning goes), , which is a fabulous result with many wonderful applications in the world of personal finance.
The problem is that each of the inferences being drawn is an if-then inference, for which knowing the consequent is true (9=9) in fact tells us nothing about the truth of the antecedent (-3=3). This form of argument can only be valid if every step is reversible — in effect if each step in the proof involves an if-and-only-if inference. But since most people learning proof are not particularly savvy at bearing this distinction in mind, good pedagogy suggests we completely avoid proving by reducing it to . (Instead, one works from one side the equation to the other, applying identities to show that .) [There are other ways to show that two expressions are equal, but this is the one most commonly relevant to elementary algebraic, trigonometric, and logarithmic identities.]
These issues hit home for me today when I read the March 2008 issue of Student Math Notes, published by the National Council of Teachers of Mathematics as an insert in the NCTM News Bulletin. This month’s issue focuses on the Pythagorean Theorem, and has a student worksheet exploring properties of right triangles.
Toward the end of the worksheet the students are told that if are whole numbers, then will be a Pythagorean triple. The worksheet’s proof of this fact is to start with
perform several algebraic operations on both sides of the equation, and reduce the given equation to the identity
“Since both sides are equal, it follows that and the three numbers form a Pythagorean Triple”, the authors conclude.
Technically, I guess their proof is okay, because in fact each step in the derivation (which I’ve omitted here) is in fact reversible. But the concluding sentence is dangerous and highly misleading, and I must say I am rather dismayed by it all.
A better proof would be to start with , note that that is equal to , which simplifies to , which by inspection is .
What we lose in simplicity we gain in validity.