# First correct proof of FLT for exponent 3?

It is well known that Euler gave the first proof of FLT ($x^n + y^n = z^n$ has no nontrivial integral solutions for $n > 2$) for exponent $n=3$, but that his proof had gaps (which are not as easily closed as Weil seems to suggest in his excellent Number Theory - An Approach through History). Later proofs by Legendre and Kausler had the same gap, and in fact I do not know any correct proof published before Kummer's proof for all regular primes. Gauss had a beautiful proof, with the 3-isogeny clearly visible, which was published posthumously by Dedekind, and of course Dirichlet could have given a correct proof (he gave one for $n = 5$ in his very first article but apparently did not dare to provoke Legendre by suggesting his proof in Theorie des Nombres was incomplete) but did not.

The problem in the early proofs is this: if $p^2 + 3q^2 = z^3$, one has to show that $p$ and $q$ can be read off from $p + q \sqrt{-3} = (a + b\sqrt{-3})^3$. The standard proofs use unique factorization in ${\mathbb Z}[\zeta_3]$ or the equivalent fact that there is one class of binary quadratic forms with discriminant $-3$; Weil uses a (sophisticated, but elementary) counting argument.

I wonder whether there is any correct proof for the cubic Fermat equation before Kummer's proof for all regular prime exponents (1847-1850)?

-
For the benefit of those of us who aren't familiar with the argument, what exactly is the "same gap" that is not "easily closed"? –  Timothy Chow Dec 14 '10 at 18:04
@Timothy: better now? –  Franz Lemmermeyer Dec 14 '10 at 18:10
@Franz: Yes, excellent...thanks. @Peter: Fermat produced an argument only for $n=4$. For other values of $n$, the question of whether Fermat had a proof is a matter of faith. –  Timothy Chow Dec 15 '10 at 2:49
@Peter: Yes, I do. In one of his last letters (to Carcavi), Fermat gives four theorems which he says can be proved by descent; he does admit, however, (depending on your interpretation) that there remain a few "details" to be supplied. One of these "theorems" is the primality of the Fermat numbers, another one the diophantine equations y^2 = x^3 - 2 and y^2 = x^3-4, and one is FLT for n=3. –  Franz Lemmermeyer Dec 15 '10 at 10:36
Weil says Fermat did have a proof for n = 3 in his book; strangely enough, this is preceded by a remark that Fermat's methods are based on 2-isogenies on elliptic curves. As he knew very well, the usual descent proof of FLT for n=3 is based on a 3-isogeny, which cannot be found in Diophantus or in any of Fermat's work on diophantine problems. –  Franz Lemmermeyer Dec 15 '10 at 10:37

Harold Edwards, in "Fermat's Last Theorem" (Spring-Verlag, 1977) also notes that Euler's original proof via descent fails for the above reasons, and gives a proof that cubes must factor into cubes by using methods known to Euler (arguments Euler used to show that primes congruent to 1 mod 3 can be written as $a^2 + 3b^2$), but also explicitly states that though Euler could have made this argument, he did not. –  Zack Wolske Dec 18 '11 at 1:36