Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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''

share|improve this question
2  
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

3 Answers 3

up vote 19 down vote accepted

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.

share|improve this answer
3  
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
2  
@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
1  
Yes you are right.Three times then. –  Konstantinos Gaitanas Sep 16 '13 at 10:38
7  
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
    
I think we are too quick to say that Fermat had no proof of his claim about his equation. If you read Fermat's correspondance, you see there was a reason he rarely wrote down his proof: essentially no one would read them. When he talks to Pascal, for example, Pascal is eager to talk about probability, physics, and other subjects but show little appetite for reading Fermat's complicated number-theory proofs. Fermat was simply too much in advance of his time. His best interlocutors would have been he Bernoulli and Euler, but they were born after his death. –  Joël yesterday

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.

share|improve this answer
    
i am happy that i am not the only one –  Konstantinos Gaitanas Sep 15 '13 at 15:13
2  
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
1  
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

Here is how Fermat probably did it (it is how I did it - not all of the steps were needed but I have to believe this was close to Fermat's thought process).

Any prime of the form $8n+1$ or $8n+3$ can be written in the form $a^2 +2b^2$. This is proved with descent techniques once realizes that $-2$ and $1$ are squares mod $8n+1$ or $8n+3$ and hence setting $a^2=-2$ and $b^2 = 1$ gets the result of $0$ (mod $8n+1$ or $8n+3$) for $a^2+2b^2$, which means our prime divides the result. Any prime of the form $8n+5$ or $8n+7$ cannot be.

Point two is that combinations of squares with common shapes when multiplied by each other retain their shape. Let $x = a^2 + Sb^2$, and $y = c^2 + Sd^2$. $xy = (ac+Sbd)^2 + S(ad-bc)^2 = (ac-Sbd)^2 + S(ad+bc)^2$

Point three is that if $y$ is even $y^2 + 2$ is even as is $x^3$. Dividing both sides by $2$ would make the left hand side odd and right hand side even so both $y$ and $x$ are odd.

Point four is that if a non-prime is of the form $a^2 + 2b^2$ then all its prime factors must be of the form $8n+1$ or $8n+3$, or the factor must be a square.

Point five is to observe that $y^2 + 2$ is of the form $a^2 + 2b^2$ with $a=y$ and $b=1$. Combining this with four and one means there are no squares of the form $8n+5$ or $8n+7$ since $b$ would be equal to that square, not $1$.

So now we expand upon point three to make the proof. $x$ is of the form $a^2 + 2b^2$. $x^3$ can be written as $(a^3-3Sab^2)^2 + S(3a^2b-Sb^3)^2$. Letting $S=2$ we see that the expression $(3a^2b-2b^3)^2$ must be equal to $1$. Hence $b^2 \cdot (3a^2-2b^2)^2 =1$. Using positive integers we see $b=a=1$ is the only solution. Hence $x =1^2 + 2*1^2 = 3$ is the only possibility and $5^2 + 2 =3^3$ is the only solution

share|improve this answer
    
There may be more than one way of writing numbers in the form $a^2+2b^2$. So the last para doesn't seem clear to me. –  Lucia yesterday
    
There is more than one way for non-primes, but b^2 = 1 no matter how you write it. –  Bob yesterday
    
$x^3=(a^3-6ab^2)^2+2(3a^2b-2b^3)^2$, and also $x^3=y^2+2(1)^2$, but does that imply $(3a^2b-2b^3)^2=1$? –  Gerry Myerson yesterday
    
This proof was advocated by Weil in his book "number theory: an approach through history"; Weil of course also identifies the lemma that is missing from the "proof" above: one has to count the number of representations of integers by the form $x^2 + 2y^2$, and this is exactly the point where things get technical. –  Franz Lemmermeyer 23 hours ago
    
Franz - don't know what you mean, y^2=1, count them there is one representation. Never read the book. –  Bob 20 hours ago

protected by quid yesterday

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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