Fermat's Last Theorem: Proving the Impossibility of Integral Solutions for n>2

  • Thread starter ron_jay
  • Start date
  • Tags
    Theorem
In summary: Enter first two Integral values: "; cin>>n<<","; //cout<<"Enter second two Integral values: "; cin>>i<<","; //cout<<"Sum of first two Integral values: "; cin>>j<<","; //cout<<"Sum of second two Integral values: "; //if (n==p) //if the two Integral
  • #36
This is getting away from the original point, but x=0 is a solution >.<
 
Physics news on Phys.org
  • #37
when x = 0 the equation is 1.
But as far as the purpose of this thread, to explain wiles proof, i don't think many of us on here would get much out of it. when wiles made the error in his proof initially he said "Even explaining it to a mathematician would require the mathematician to spend two or three months studying that part of the manuscript in great detail."
 
  • #38
matticus said:
when x = 0 the equation is 1.
But as far as the purpose of this thread, to explain wiles proof, i don't think many of us on here would get much out of it. when wiles made the error in his proof initially he said "Even explaining it to a mathematician would require the mathematician to spend two or three months studying that part of the manuscript in great detail."

Sure, you are correct that this kind of proof is not easy to understand and I totally agree with Wiles comment, but that exactly is the purpose of this thread - to prove that theorem...even if it takes years, no problem...I believe that when many heads come together for a common purpose they can achieve things bigger than miracles...
 
  • #39
the theorem has already been proved. are you looking for an alternate proof?
 
  • #40
Yes, without referring to what Wiles did and the possible lines along which we could proceed will be the first step.
 
  • #41
You understand, do you not, that people looked for a proof for almost 500 years before Wiles came up with his! If you are expecting a different proof, "even if it takes years" may not be enough! And certainly, any different proof will be no easier to understand than Wiles'.
 
  • #42
HallsofIvy said:
And certainly, any different proof will be no easier to understand than Wiles'.

I don't think that's certain at all. I would be disappointed if the mathematical community doesn't find a more 'elegant' solution in the next 500 years -- though it will probably use concepts much more advanced than we have today (being thus less 'elementary'), it would be 'simpler' in terms of chunking and perhaps even elucidate more.

(I would also hope for such an improved proof of the four-color theorem, but that may never happen -- somehow I see Wiles' theorem as more fundamental and more worthy of continued effort.)
 
  • #43
Wouldn't it be great if you could prove that a proof exists?
 
  • #44
what's the difference between proving that a proof exists and proving the theorem? if you prove that a proof exists then assuming the theorem was false would lead to a contradiction. so saying a proof exists is essentially proving it isn't it?
 
  • #45
matticus said:
what's the difference between proving that a proof exists and proving the theorem? if you prove that a proof exists then assuming the theorem was false would lead to a contradiction. so saying a proof exists is essentially proving it isn't it?

To prove a statement in mathematics means that you combine established axioms via established means of inference and reach that statement. It is like saying 'provided that the axioms apply, the theorem apply as well'.
 
  • #46
yes,its like a stack of books.If the the lower books hold, then the upper books will also hold .Already established axioms are like the lower books and the newer proofs depend on them.
 
  • #47
i thought i understood proofs, I've done many of them (though i am still doing my undergraduate work).

by saying a proof exists, we are saying that the conjecture is valid, are we not? that is what i take it to mean.

if there is a proof to a conjecture, then a conjecture is valid.
there is a proof to the conjecture
therefore the conjecture is valid.

so by using that logic we have proved the validity of the conjecture, and yet that is not enough?
 
  • #48
Knowing that something exists is different from a construction that demonstrates it. Many things in mathematics are non-constructive. OK, I can't think of any examples where one knows that a proof exists, but one cannot write it down, but I'm no logician.
 
  • #49
so are you agreeing with me that knowledge of a proof would constitute a proof despite there not being a construction? or must the construction exist? if someone proved there was a proof to the Riemann hypothesis, would mathematicians now be justified to say "as we now know R.H. is true..."? this whole thing is really kind of stupid, but i think it would be interesting to see any example where a proof is known to exist and yet has not been found, simply because the idea is so counterintuitive.
 
  • #50
You normally "prove the existence of a proof" by writing the proof down. I've never seen a proof a la "suppose a proof does not exist", but I imagine something like that could exist in higher order logic or something.
 
  • #51
I am neither agreeing nor disagreeing with you, matticus. The question is so ambiguous as to be unanswerable.
 
  • #52
Here is a proof that comes awfully close to that:

Prove the there exist irrational a, b such that ab[/sub] is rational.

Look at [tex]\sqrt{2}^\sqrt{2}[/itex]. It is not known (last time I checked) if that number is rational or irrational. However:

If it is rational, then we are done.
If it is irrational, then [tex]\(\sqrt{2}^\sqrt{2}\)^\sqrt{2}\)= \sqrt{2}^2= 2[/tex] is rational.

We have proved that there exist irrationals a, b such that ab is rational but are unable to say what a and b are!
 
  • #53
yeah that proof was in my discrete math book, it is cool. the example i was going to use was that given any number we know there is a bigger prime, despite the fact that at some point we won't be able to construct it. neither of these are the same thing, but i think one of the things that attracts me to math is that you can know things exist without having to see them exist. where in science statistical evidence is very important, in math it's almost irrelevant.
 
<h2>1. What is Fermat's Last Theorem?</h2><p>Fermat's Last Theorem is a mathematical conjecture proposed by French mathematician Pierre de Fermat in the 17th century. It states that no three positive integers a, b, and c can satisfy the equation an + bn = cn for any integer value of n greater than 2.</p><h2>2. Why is it called a "last" theorem?</h2><p>Fermat called it his "last" theorem because he claimed to have a proof for it, but never wrote it down. It remained unsolved for over 350 years until it was finally proven in 1995 by British mathematician Andrew Wiles.</p><h2>3. What is the significance of Fermat's Last Theorem?</h2><p>Fermat's Last Theorem is considered one of the most famous and important problems in mathematics. Its proof required the development of new mathematical concepts and techniques, and it has applications in many other areas of mathematics.</p><h2>4. How was Fermat's Last Theorem finally proven?</h2><p>In 1993, Andrew Wiles presented a proof of the theorem, building upon the work of many mathematicians over the centuries. However, a small flaw was found in his proof, which he was able to fix and present a complete proof in 1995.</p><h2>5. Can Fermat's Last Theorem be generalized to other equations?</h2><p>Yes, there are many generalizations of Fermat's Last Theorem, including equations with more than two variables and equations involving higher powers. These generalizations are still being studied and proven by mathematicians today.</p>

1. What is Fermat's Last Theorem?

Fermat's Last Theorem is a mathematical conjecture proposed by French mathematician Pierre de Fermat in the 17th century. It states that no three positive integers a, b, and c can satisfy the equation an + bn = cn for any integer value of n greater than 2.

2. Why is it called a "last" theorem?

Fermat called it his "last" theorem because he claimed to have a proof for it, but never wrote it down. It remained unsolved for over 350 years until it was finally proven in 1995 by British mathematician Andrew Wiles.

3. What is the significance of Fermat's Last Theorem?

Fermat's Last Theorem is considered one of the most famous and important problems in mathematics. Its proof required the development of new mathematical concepts and techniques, and it has applications in many other areas of mathematics.

4. How was Fermat's Last Theorem finally proven?

In 1993, Andrew Wiles presented a proof of the theorem, building upon the work of many mathematicians over the centuries. However, a small flaw was found in his proof, which he was able to fix and present a complete proof in 1995.

5. Can Fermat's Last Theorem be generalized to other equations?

Yes, there are many generalizations of Fermat's Last Theorem, including equations with more than two variables and equations involving higher powers. These generalizations are still being studied and proven by mathematicians today.

Similar threads

Replies
15
Views
1K
Replies
1
Views
705
  • Calculus and Beyond Homework Help
Replies
3
Views
503
Replies
12
Views
2K
Replies
2
Views
1K
Replies
1
Views
2K
  • Linear and Abstract Algebra
Replies
6
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
2K
Replies
3
Views
2K
Back
Top