# Proof of no rational point on Selmer's Curve 3x^3+4y^3+5z^3=0

The projective curve $3x^3+4y^3+5z^3=0$ is often cited as an example (given by Selmer) of a failure of the Hasse Principle: the equation has solutions in any completion of the rationals $\mathbb Q$, but not in $\mathbb Q$ itself.

I don't think I've ever seen a proof of the latter claim — is someone able to provide an outline? What are the necessary tools?

-

My friend has written an introduction to algebraic number theory before, which contains a short proof of this statement, but I didn't check its validity.

[Edit: Update the link of the document] http://www.2shared.com/document/2d6M7kNU/Introduction_to_Algebraic_Numb.html p.41 of the document, or p.45 of the pdf.

-
This is certainly a lot more elementary than the other methods mentioned, although it (therefore) does not present a clear example of what the general obstruction is (for the failure of Hasse). Still, thanks a lot - at least this is a proof I can easily follow :-) –  Alon Amit Oct 27 '09 at 7:26
For what it's worth, I once worked out a completely elementary proof that the equation has p-adic solutions for all p and put it on an UG example sheet here: www2.imperial.ac.uk/~buzzard/maths/teaching/04Lent/M4P32/… –  Kevin Buzzard Nov 20 '09 at 23:27
The link in the answer is now broken. –  KConrad Apr 16 '11 at 16:32
@Ho Chung Siu, do you happen to have a copy of that paper anywhere accessible? –  Alon Amit Apr 18 '11 at 23:26
Hi, the link is updated. –  Ho Chung Siu Apr 19 '11 at 23:44

This problem is in Cassels' book "Local Fields" and I wrote up a solution once along those lines, for an algebraic number theory class. See

but I should advise that it comes out seeming pretty tedious. Solutions that involve elliptic curves are more conceptual. Others have already provided pointers to references for that approach.

-

There's a proof in Cassels' little blue book on elliptic curves which the OP might find more to his taste than some others mentioned here.

-