Proof of FLT Using High School Algebra & Number Theory

In summary: I'm not sure.)In summary, the forum member hurkyl was impressed with the proof of FLT that was given by a forum member named 'the guy who claimed to have a proof of FLT'. Hurkyl and others gave the guy a lot of time, and he did not deserve it. The guy claimed to have a proof that worked for all odd values of n, but failed to extend it to all odd values of n. Based on this, the guy decided to share his proof on his own blog instead. Does this sound like a good way to do it?
  • #1
rcummings
5
0
I've been enormously impressed with the core members of this forum, especially hurkyl. There was a guy who claimed to have a proof of FLT, and hurkyl and others gave him a lot of time over two weeks and were much more fair to him than he deserved. Since I'm hoping to get a fair hearing for my own claim, I decided to post here.

I have a proof, using only high school algebra and elementary number theory, that I believe to be valid for all odd values of n, n being the common exponent. It's clear, simple, and perhaps even a bit elegant. It took me far too long to find, but hey, it's a tough problem.

I'd like to share it with everyone here and invite intelligent comments. However, I'd prefer to post the proof on my own blog, and then discuss specific details here if necessary. Does that sound like a good way to do it?
 
Physics news on Phys.org
  • #2
if you actually have a proof like that, just post it wherever you want.
 
  • #3
Hey there, I have a proof that I believe works for [itex]n=3[/itex] and is equally elegant, though I failed to extend it to all odd numbers of [itex]n[/itex] (especially since [itex]n=1[/itex] of FLT is obviously false, i.e. [itex]x^1+y^1=a^1[/itex] has solutions). Here it goes:

Proof of Fermat's Last Theorem for [itex]n=3[/itex]

Suppose [itex]x[/itex], [itex]y[/itex], and [itex]a[/itex] are some natural number solutions to the equation [itex]x^3+y^3=a^3[/itex].
Let [itex]b=x+y[/itex] for some natural number [itex]b[/itex] ([itex]x[/itex] and [itex]y[/itex] are by assumption both natural numbers, which are closed under addition). Then [itex]y=-x+b[/itex].

[itex]x^3+y^3=a^3[/itex]
[itex]x^3+(-x+b)^3=a^3[/itex]
[itex]x^3-x^3+3x^2b-3xb^2+b^3=a^3[/itex]
[itex]3bx^2-3b^2x+(b^3-a^3)=0[/itex]

By the quadratic formula (solving in terms of [itex]b[/itex] and [itex]a[/itex]):

[itex]x=\frac{3b^2\pm\sqrt{9b^4-12b^4+12ba^3}}{6b}[/itex]=[itex]\frac{3b^2\pm\sqrt{-3b^4+12ba^3}}{6b}[/itex]

We now seek to express b and a in the expression above once again in terms of [itex]x[/itex] and [itex]y[/itex].

[itex]-3b^4=-3(x+y)^4=-3(x^4+4x^3y+6x^2y^2+4xy^3+y^4)[/itex]
[itex]=-3x^4-12x^3y-18x^2y^2-12xy^3-3y^4[/itex]

[itex]12ba^3=12x^4+12x^3y+12xy^3+12y^4[/itex]

[itex]-3b^4+12ba^3=9x^4-18x^2y^2+9y^4=3^2(x^2-y^2)^2[/itex]

We rewrite the first expression for x above as follows:

[itex]x=\frac{3(x^2+y^2
)\pm\sqrt{3^2(x^2-y^2)^2}}{6(x+y)}[/itex]=[itex]\frac{3(x^2+y^2)\pm3(x^2-y^2)}{6(x+y)}[/itex]=[itex]\frac{(x^2+y^2)\pm(x^2-y^2)}{2(x+y)}[/itex]

The two solutions then are [itex]x=\frac{x^2}{(x+y)}[/itex] and [itex]x=\frac{y^2}{(x+y)}[/itex].

The first reduces to [itex]x^2+xy=x^2[/itex] or simply [itex]xy=0[/itex]. However, [itex]x[/itex] and [itex]y[/itex] must be natural numbers, neither being 0, so there are no solutions from this first equation which fit our assumption.

The second reduces to [itex]x^2+xy-y^2=0[/itex]. By applying the quadratic formula again, solving for [itex]x[/itex] in terms of [itex]y[/itex], we have [itex]x=\frac{-y\pm\sqrt{5x^2}}{2}[/itex].

This reduces to [itex]x=(\frac{(-1+\sqrt{5})}{2})y[/itex] and [itex](\frac{(-1-\sqrt{5})}{2})y[/itex].

Clearly, both [itex]x[/itex] and [itex]y[/itex] cannot be natural numbers if one is an irrational expression, for an irrational expression times a natural number expression produces an irrational product.

Since we assumed [itex]x[/itex], [itex]y[/itex], and [itex]a[/itex] to be natural number solutions to the equation [itex]x^3+y^3=a^3[/itex], but found that they could not be such, we are forced to conclude that the equation [itex]x^n+y^n=a^n[/itex] has no natural number solutions for [itex]n=3[/itex].
 
Last edited:
  • #4
Fermat himself produced a proof for n= 3. And, I believe, the proof for n odd is also old.
 
  • #5
HallsofIvy said:
Fermat himself produced a proof for n= 3. And, I believe, the proof for n odd is also old.

Hmm, Fermat proved the case n=4. It was Euler who proved n=3, but his proof contained a major gap.
It can easily be shown that FLT only needs to be proven for odd primes (since if n=de is composite and if [itex]x^n+y^n=z^n[/itex], then [itex](x^d)^e+(y^d)^e=(z^d)^e[/itex]. So the proof for odd primes is the hardest part and was only completed by Wiles.
 
  • #6
middleCmusic said:
We rewrite the first expression for x above as follows:

[itex]x=\frac{3(x^2+y^2
)\pm\sqrt{3^2(x^2-y^2)^2}}{6(x+y)}[/itex]=[itex]\frac{3(x^2+y^2)\pm3(x^2-y^2)}{6(x+y)}[/itex]=[itex]\frac{(x^2+y^2)\pm(x^2-y^2)}{2(x+y)}[/itex]

This is incorrect. You have said that [itex]3b^2=3(x^2+y^2)[/itex] which is of course false.
 
  • #7
HallsofIvy said:
Fermat himself produced a proof for n= 3. And, I believe, the proof for n odd is also old.


No, Fermat produced a proof for n=4. Euler was the first to prove it for n=3.

There's no old proof for all odd n, only some for specific or limited values of n.

Wiles' proof is newer, and claims to be valid for all n>2. (I've read that he had to prove 3 and 4 as special cases, with his general proof being sufficient for 5 and above.)
 
  • #8
micromass said:
This is incorrect. You have said that [itex]3b^2=3(x^2+y^2)[/itex] which is of course false.

Thanks for pointing that out! I don't have time at the moment, but I'll see if I can still obtain an answer after fixing it.

rcummings said:
No, Fermat produced a proof for n=4. Euler was the first to prove it for n=3.

There's no old proof for all odd n, only some for specific or limited values of n.

Wiles' proof is newer, and claims to be valid for all n>2. (I've read that he had to prove 3 and 4 as special cases, with his general proof being sufficient for 5 and above.)

There have definitely been many proofs of the first few [itex]n[/itex]s, but it would be amazing we could all agree if a simpler proof than Wiles's could be found.
 
  • #9
middleCmusic said:
Thanks for pointing that out! I don't have time at the moment, but I'll see if I can still obtain an answer after fixing it.



There have definitely been many proofs of the first few [itex]n[/itex]s, but it would be amazing we could all agree if a simpler proof than Wiles's could be found.

I checked it out, and with that error remedied, my proof doesn't amount to anything. (You just get 0=0). Sorry I missed that mistake and thanks for correcting it for me :/
 
  • #10
See, Middle C? These guys are great. That's why I came here.
 
  • #11
By the way, I also have a complete elementary proof for Case 1, in which none of x,y, or z are divisible by n. I'd forgotten about that one.

I'll be posting a link soon.
 
  • #12
rcummings said:
By the way, I also have a complete elementary proof for Case 1, in which none of x,y, or z are divisible by n. I'd forgotten about that one.

I forgot about that proof for good reason. It's a proof of case 1 for n=3, which is nothing extraordinary. I did use congruences, though, which I thought was interesting.

As I said, I'll be posting a link to my other proof soon.
 
  • #13
rcummings said:
See, Middle C? These guys are great. That's why I came here.

You've got that right (yourself included). :smile:
 
  • #14
I have always believed that a "simple" proof of FLT should exist (be able to be developed) - a page or two, say, that anyone can understand.
But, if someone here has developed such a proof, would it not be a momentous article worthy of publication and fanfare!? It seems that such a proof should first be published in a pretigious journal. Anyone's thoughts?
 
Last edited:
  • #15
Juanified said:
I have always believed that a "simple" proof of FLT should exist (be able to be developed) - a page or two, say, that anyone can understand.
But, if someone here has developed such a proof, would it not be a momentous article worthy of publication and fanfare!? It seems that such a proof should first be published in a pretigious journal. Anyone's thoughts?

Fermat's claim dates from 1637. In my opinion it's incredibly unlikely that the greatest mathematicians in the world missed an elementary proof for 374 years. It's just not a credible possibility.

It will be interesting to see how Wiles's proof gets boiled down and streamlined over the next few years and decades. But a proof based on elementary algebraic manipulations is just not possible. Someone would have found it.
 
  • #16
Juanified said:
I have always believed that a "simple" proof of FLT should exist (be able to be developed) - a page or two, say, that anyone can understand.
But, if someone here has developed such a proof, would it not be a momentous article worthy of publication and fanfare!? It seems that such a proof should first be published in a pretigious journal. Anyone's thoughts?

Read "Rational points on elliptic curves" by Silverman and Tate. That ought to convince you that Fermat's last theorem is far from a trivial statement. Thus the proof should be expected to be far from trivial too!
 
  • #17
micromass said:
... Thus the proof should be expected to be far from trivial too!

So, to my question, you're implying that it would be a momentous finding worthy of prestigious publication.
 
  • #18
Juanified said:
So, to my question, you're implying that it would be a momentous finding worthy of prestigious publication.

If you would find an elementary proof of FLT, then you will become a world-famous mathematician instantly, yes. But I'm quite certain that such an elementary proof does not exist.
 
  • #19
I don't know if this is the right place to post this or if this should be in a new topic, but it relates to someone claiming to have rediscovered Fermat's original proof or, at least, making a short proof with only the mathematics known in Fermat's time.

A user of Youtube by the name of michaelcweir claims to have proven Fermat's Last Theorem using Diophantine equations. His video is http://www.youtube.com/watch?v=gwbHORdjcbQ", for everything.

Could anyone verify that this is, indeed, a valid proof of Fermat's Last Theorem, or, if not, tell me what's wrong with it?
 
Last edited by a moderator:
  • #20
BrianMath said:
tell me what's wrong with it?

A quick look at the proposed proof: I see a statement in his proof, "a whole number raised to a non-whole number is an non-number number." Hmm. I think he means a non-whole number. Let me see. 4 is a whole number. 1/2 is a non-whole number. If I raise 4 to 1/2 I usually get 2, a whole number. So this part of the proposed proof is rather doubtful. I didn't study the whole proof, but this point makes me not want to bother. Maybe there is something in the context that makes his statement true in that interpretation ?.
 
  • #21
BrianMath said:
I don't know if this is the right place to post this or if this should be in a new topic, but it relates to someone claiming to have rediscovered Fermat's original proof or, at least, making a short proof with only the mathematics known in Fermat's time.

A user of Youtube by the name of michaelcweir claims to have proven Fermat's Last Theorem using Diophantine equations. His video is http://www.youtube.com/watch?v=gwbHORdjcbQ", for everything.

Could anyone verify that this is, indeed, a valid proof of Fermat's Last Theorem, or, if not, tell me what's wrong with it?

The proof is wrong. First of all, he starts by assuming [itex]n\geq 3[/itex], but then he draws his number line and does all his calculations for n=1 and n=2. This doesn't make much sense to me...

Also, he proceeds by contradiction, and he assumes that [itex]x^n+y^n=z^n[/itex], but he never actually does something with this... This is a big indication that it's just nonsense.

And also, he never uses Diophantine equations in his proof... And fourth, Fermat's original idea was to prove this by infinite descent, since the guy doesn't use infinite descent here, this cannot be the original proof of Fermat.
 
Last edited by a moderator:

1. Can high school algebra and number theory really prove the FLT?

Yes, the FLT (Fermat's Last Theorem) was one of the most famous unsolved problems in mathematics for over 300 years until it was finally proven by Andrew Wiles in 1994 using high school algebra and number theory.

2. What is the FLT?

The FLT is a mathematical theorem proposed by French mathematician Pierre de Fermat in the 17th century. It states that there are no positive integer solutions to the equation a^n + b^n = c^n for n > 2. In other words, there are no whole number solutions to the equation a^3 + b^3 = c^3 or any other higher powers.

3. How did Andrew Wiles use high school algebra and number theory to prove the FLT?

Wiles used a combination of mathematical techniques, including modular forms, elliptic curves, and Taniyama-Shimura conjecture (now known as the Modularity Theorem), to prove the FLT. These techniques are based on high school algebra and number theory concepts such as factorization, prime numbers, and modular arithmetic.

4. Why did it take so long to prove the FLT?

The FLT remained unsolved for over 300 years because it required advanced mathematical techniques and tools that were not available during Fermat's time. It was also difficult to prove because it involves complex number theory concepts and requires a deep understanding of mathematical structures and relationships.

5. Are there any real-world applications of the FLT?

While the FLT does not have any direct practical applications, its proof has greatly advanced the fields of number theory and algebraic geometry. It has also inspired new research and discoveries in related areas of mathematics, leading to a better understanding of fundamental mathematical concepts.

Similar threads

Replies
1
Views
1K
  • Precalculus Mathematics Homework Help
Replies
4
Views
1K
  • Precalculus Mathematics Homework Help
Replies
9
Views
2K
  • Special and General Relativity
Replies
5
Views
910
  • Linear and Abstract Algebra
Replies
8
Views
16K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
1K
  • Beyond the Standard Models
2
Replies
41
Views
12K
Replies
1
Views
2K
Replies
22
Views
3K
  • STEM Academic Advising
Replies
14
Views
1K
Back
Top