17
$\begingroup$

This question already has an answer here:

Let $n\ge3$. Prove that $\sqrt[n]2\notin\Bbb Q$.

Let us suppose that $\sqrt[n]2=p/q$, that is $2q^n=p^n$, so $q^n+q^n=p^n$, against FLT.

Do you know similar examples, in which simple problems are solved using huge weapons (maybe in a elegant way)?

|cite|improve this question
$\endgroup$

marked as duplicate by Servaes, MJD, José Carlos Santos, Raskolnikov, Morgan Rodgers Jan 22 at 23:45

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 4
    $\begingroup$ That's the first example that pops into my head! $\endgroup$ – José Carlos Santos Jan 21 at 19:11
  • 7
    $\begingroup$ Whoever downvoted this has no... I'm not sure what exactly, but they have none of it. $\endgroup$ – David C. Ullrich Jan 21 at 19:21
  • 2
    $\begingroup$ @HagenvonEitzen Here's more: math.stackexchange.com/questions/555316/… $\endgroup$ – Metric Jan 21 at 19:24
  • 2
    $\begingroup$ And here's some more! mathoverflow.net/questions/42512/… $\endgroup$ – Eevee Trainer Jan 21 at 19:29
  • 4
    $\begingroup$ @DavidC.Ullrich We have such a proof for $\sqrt{2}$. If it would be rational, then the right angled triangle with rational sides $\sqrt{2},\sqrt{2},2$ would have area $1$, so $1$ would be a congruent number, which contradicts Tunnel's theorem. $\endgroup$ – Dietrich Burde Jan 21 at 19:36
3
$\begingroup$

Every bounded entire complex valued function on the complex plane misses three values in the range and, therefore, is constant by Picard's theorem.

|cite|improve this answer
$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.