# Fermat's proof for $x^3-y^2=2$

Fermat proved that $x^3-y^2=2$ has only one solution $(x,y)=(3,5)$.

After some search,i found only proofs using factorization over the ring $Z[\sqrt{-2}]$.

My question is:

Is this Fermat's original proof?If not where can i find it?

Thank you for viewing

Note: I am not expecting to find Fermat's handwritings because this may not exist. I was hoping to find a proof that would look more ''Fermatian''

-
For Euler's determination of the rational points on $y^2=x^3+1$, see this note by Joseph Oesterlé :docs.google.com/… –  Chandan Singh Dalawat Sep 15 '13 at 16:41

Fermat never gave a proof, only announced he had one (sounds familiar?). Euler did give a proof, which was flawed, see Franz Lemmermeyer's lecture notes, or see page 4 of David Cox's introduction.

For a discussion why a proof along the lines set out by Fermat is unlikely to work, see this MO posting.

---- trivia ----

As a curiosity, I looked up Fermat's original text (reproduced below from his collected works), written in the margin of the Arithmetica of Diophantus:

Can one find in whole numbers a square different from 25 that, when increased by 2, becomes a cube? This would seem at first to be difficult to discuss; and yet, I can proof by a rigorous demonstration that 25 is the only integer square that is less than a cube by two units. For rationals, the method of Bachet would provide an infinity of such squares, but the theory of integer numbers, which is very beautiful and subtle, was not known previously, neither by Bachet, nor by any author whose work I have read.

-
Yes the fact that Fermat claimed to have a proof sounds familiar.(actually i have one too,but the comment space has too little characters to analyse it!)So, i supppose that all people mentioning that ''Fermat had always a proof for his statements except once'' (Fermat's Last Theorem) should say ''except twice''? –  Konstantinos Gaitanas Sep 15 '13 at 22:34
@KonstantinosGaitanas, Fermat didn't have a proof for his statement that $2^{2^n}+1$ is always prime. –  Gerry Myerson Sep 15 '13 at 23:47
Yes you are right.Three times then. –  Konstantinos Gaitanas Sep 16 '13 at 10:38
To be accurate, Fermat never claimed to have proven that $2^{2^n}+1$ is always prime — rather he said that after much research he believed it to be true, and [on several occasions] asked others to help him prove it. All of the theorems which he claimed to have actually proven were indeed verified by later mathematicians. –  Kieren MacMillan Oct 20 '13 at 1:47

Fermat did not prove this result; he claimed that the only solution is the obvious one and conjectured (in words that seem to suggest he knew how to prove it, but without explicitly saying so) that this can be proved by descent. I am sure that Fermat, if he really believed to have a proof (in my opinion he did not), was mistaken.

I am not aware of any proofs based on Fermat's techniques alone, and I have often tried to find one myself - so far without success.

-
i am happy that i am not the only one –  Konstantinos Gaitanas Sep 15 '13 at 15:13
Observe that \begin{align} y^2 + 2 &= x^3 \\ y^2 + 3 &= x^3+1\\ &=(x+1)(x^2-x+1) \\ \frac{y^2+3}{4} &= \frac{x+1}{4} \cdot \biggl(\frac{x+1}{4}4(x-2)+3\biggr). \end{align} It is relatively easy to show that $(y^2+3)/4$ and $(x+1)/4$ are both odd, so we have the form $a^2+3b^2$ on the left-hand side, and two factors which should be of the same form on the right. Fermat was playing around with the form $a^2 + 3b^2$ at the same time as he claimed his two “elliptic curve” results. Maybe he used something like this to find a descent path? Apologies if you (Franz) already tried this road… –  Kieren MacMillan Oct 20 '13 at 2:05
Note also that a similar method would be applicable to his second "elliptic curve theorem", as \begin{align} y^2+4 &= x^3 \\ y^2+3 &= x^3-1 \\ &= (x-1)(x^2+x+1) \end{align} which puts us in the same position as the other example. If Fermat had a method for one, he almost certainly was able to apply it almost immediately to the other. –  Kieren MacMillan Oct 20 '13 at 2:11
p.s. If you want to discuss this further, feel free to email me! kieren at alumni.rice.edu –  Kieren MacMillan Oct 20 '13 at 2:24
Another interesting observation is that any number of the form $a^2+3b^2$ is the sum of three triangular numbers whose "roots" sum to zero. Fermat was a master with polygonal numbers in general — and triangular numbers in particular — so I've always felt that was part of his method. –  Kieren MacMillan Oct 21 '13 at 12:56