Tricki

## Revision of Proving equalities and identities from Sat, 13/12/2008 - 23:25

### Quick description

This page has links to other pages that discuss techniques for discovering and proving equalities and identities.

### General discussion

If one is asked to prove that , then the most obvious approach is to do a routine calculation – one simply expands out the brackets on the left-hand side and checks that the answer is the polynomial given on the right-hand side. However, in general there are many more interesting ways of proving equality of mathematical objects are equal. Indeed, even for this simple problem about polynomials one can use some theory to solve it, so we shall let it serve as our first non-obvious method for proving equality.

### Technique 1: proving that two polynomials are the same by looking at the roots of their difference

Brief summary (Two polynomials of degree are equal if they take the same value in different places. Proof: in this case their difference has roots, but a non-zero polynomial of degree has at most roots. For the polynomial above, we can check that the right-hand side has zeros at , and . Together with the observation that both polynomials take the value when (or alternatively, if one wants to use a tiny bit more theory, that they both have leading term ), we find that they are equal. Although this method was not obviously the best one for this problem, sometimes it definitely is. See this article for some examples. )

### Technique 2: double counting

One of the best ways of proving a non-obvious identity is to show that the two sides of the identity count or measure the same set in two different ways. For example, one could prove that by induction, but a much better proof is to observe that both sides are counting the number of subsets of an -element set.

### Technique 3: using the law of trichotomy

To show that two real numbers and are equal, it is often best to prove that it is not the case that and it is not the case that .

### Technique 4: Axiomatics

How does one prove that the product of and is 0 in any field? The answer is that one uses the field axioms directly. Here is a proof. By the definition of as an additive identity, . Therefore, . By the distributive law, the left-hand side is equal to , so we deduce that . Adding the additive inverse of to both sides we obtain . By the associativity of addition we can replace the left-hand side by , which equals . And by the definition of , this is , and the proof is complete.

How does one come up with proofs of this kind? This question is discussed here.

### Technique 5: To prove that two objects are equal, show that in enough circumstances they behave in the same way

The polynomials method was an example of this. Another important one is that if two vectors have the same inner product with enough other vectors then they must be equal.

An example will illustrate what this means. Suppose we have an -dimensional inner product space and an orthonormal basis , and would like to prove that for every . We can do so by taking the inner product of with an arbitrary . On the left-hand side we obtain , while on the right-hand side we obtain . Since the are orthonormal, this also equals .

This technique is discussed further here.