# A Neat Mathematical Proof

27 Jun 2015Here’s a quick mathematical proof that I came across on Quora. Rather than simply giving you the link, I’m going to repeat it with some of my own commentary because I like it so much:

*Prove that there are two irrational numbers and such that is rational.*

**Proof: **Consider two cases for the instance in which : either is rational, or it is irrational.

The first case is straight forward: if , then both and are irrational. This case goes ahead and states that is rational, so our proof suffices for this specific case.

The real fun, however, comes in the second case, in which is irrational. Where do we go from here?

*[Aside: About eight months ago, I likely would have been bewildered at this point in the proof and would have promptly given up. But to quote Shakespeare’s _Cymbeline_, I will tell my past self to “Fear no more” (Act IV, Scene 2), for the next part of this proof is damn nifty.]*

Think about it this way: in the second case, we suppose that is irrational. If we set and set , we can say that . This, in turn, means that

As a result, we can say that if , then either is rational, or is rational. And because in either case two irrational numbers and yield a rational number , our proof is complete! Go on, celebrate with your friends and relatives. A Fields Medal is in your future. You could be the next Will Hunting for all I know.

**It took me a long time to realize the beauty of mathematical proofs, largely because of how frustrating I first thought them to be. Enrich yourselves with simple proofs like these, and you’ll learn to appreciate the simplicity and logic that dictates higher mathematics. You’ll become better with proof writing as a consequence.**