Here’s an interesting little theorem I came across in number theory. By instantiating , one can generate an unlimited of exercises for maths students!
Theorem. When two numbers are raised to the same odd power, the sum is divisible by the sum of the two numbers; that is:
for any natural numbers , and .
Proof. We use mathematical induction on . Let
The base case requires – a triviality. For the inductive step, assume holds for arbitrary . We are required to prove . First note the equivalence
Then observe that the first term on the RHS is divisible by (thanks to the induction hypothesis), and that the second term is too, since it contains as a factor.
Alternative proof. The above proof is concise and sufficient, but the following proof, which exploits a connection to the Binomial Theorem, is perhaps more interesting. The Binomial Theorem states:
We can reorder the summation so as to group the first term with the last, the second with the second-last, etc. It is helpful to consider separately the cases where the power is even and odd. Here is the case for an odd power:
Now extract from the summation the case, and rearrange to obtain:
We now show that holds for all by complete induction. Take arbitrary and assume holds for all . We are to show that must hold too.
But the final statement is exactly our inductive hypothesis, so the proof is complete.