22
$\begingroup$

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.

  • 0
    This should be community wiki. If you have objections let me know.2014-01-08

3 Answers 3

28

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.

  • 16
    I remembered that this example had been mentioned in [this old MathOverflow question](http://mathoverflow.net/questions/42512/awfully-sophisticated-proof-for-simple-facts/42519#42519) and in a comment to the answer, BCnrd explains that the argument is basically circular.2012-07-18
10

OK, here's my proof that $49 < 50$.

There's one point in the first quadrant where the circle $x^2+y^2=1$ intersects the line $x=y$, and the tangent line to the circle at that point has slope $-1$ and $x$-intercept $\sqrt{2}$. Every line with the same slope and a slightly smaller $x$-intercept intersects the circle twice, and those with a larger intercept do not intersect the circle.

Now suppose we use $7/5$ as an approximation to $\sqrt{2}$, and draw the line with slope $-1$ and that $x$-intercept. Lo and behold, it passes through the points $(4/5,3/5)$ and $(3/5,4/5)$, which are on the circle. So it's a secant line, not a tangent line. Therefore we conclude that $ \frac75<\sqrt{2}. $ Therefore $ 49 = 7^2 < 5^2\cdot2=50. $

2

Last semester our grad Analysis II class proved the Isoperimetric Inequality using Fourier analysis.

  • 0
    I was under the $i$mpress$i$on that this was "known to the Greeks" whatever that may mean. Doing a quick search it definitely seems that they may have discovered a rigorous proof, e.g.: www.cs.nyu.edu/faculty/siegel/SCIAM.pdf2012-07-19