Mathematical proofs are a bit like people. You can choose which ones to love and which ones to spit at. The loveable proofs are undoubtably the most important, especially as a pick-me-up on those cold lonely days. I’d like to share with you all a little proof that the th root of 2 is irrational for . Of course, most people see the proof that the square root of 2 is irrational sometime during their study. If you want some background on irrational numbers, you can check out my earlier blog post.
First, let’s take a detour into the well known equation:
This equation has infinitely many integer solutions (we call these Pythagorean triples). Here are some examples:
What about the equation or even ? Well, it turns out that these have no integer solutions (except for silly ones involving 0’s)! Furthermore, for any integer , we have that the equation
has no non-silly solutions in the integers. This result is known as Fermat’s Last Theorem, and was proven to be true by Andrew Wiles around 1995. Now that we know this, we can proceed with our cute little proof that is irrational.
We will assume to the contrary. Let and assume that is rational, so there must be two positive integers and such that
We put both sides to the power of and rearrange to get
But this is really and by Fermat’s Last Theorem there are no positive integer solutions to this equation! So we have found a contradiction to FLT and so must be irrational for all . What a cutie-proof!