Theorem: is irrational for any integer .
Proof: Suppose the number is rational, and let where and are integers. Then , which can be written as
This contradicts the Fermat’s Last Theorem. QED
ADDENDUM: This is a perfectly correct proof, although it is akin to killing a mosquito using a bazooka.
Which reminds me of a story that happened 12 years ago. I was in Form 5 and had been called to attend the IMO selection camp at UPM. At the time, I knew much less mathematics compared to the other students, so I wasn’t so sure whether I could make the team.
During an introductory lecture, Prof. Abu Osman gave us this problem:
Given positive integers such that . Prove that .
Being a wiseass, I immediately shouted out, “Solved it! Using the FLT we must have and we know that the smallest Pythagorean triple is so we’re done.”
One of the students in the camp quickly shot me down, and explained that we were not supposed to use any advanced results since we were doing high school contest problems. I protested, “but the FLT is true, isn’t it? Tanya prof kalau tak percaya.” He countered, “that is probably not the solution the author had in mind.” I then turned away and muttered in disgust, “who the hell cares what the author had in mind…” .
The intended solution goes like this: We can assume that . From the equation, we have
Since , we have , and the second bracket is . Therefore, , and so .