Swatting flies with a sledgehammer Prompted by a recent exchange with Gerry Myerson, I was wondering if anyone has a favorite example of a relatively simple problem with a rather elementary (though perhaps complicated) answer for which there's another answer that relies on an elegant use of a powerful result that's almost certainly beyond the background of the poser of the question.

If $2^{1/n}$ were a rational $a/b$, with $n>2$, then $a^n=b^n+b^n$, which would contradict Wiles proof of Fermats Last Theorem.