Fermat's Last Theorem

Discussion in 'Physics & Math' started by Just Curious, Jul 22, 2010.

  1. Just Curious Registered Senior Member

    Messages:
    108
    There is an old saying which goes, you can never prove a negative. In other words you can only prove what will happen not what won't happen.

    In number theory, Fermat's Last Theorem states that no three positive integers a, b, and c can satisfy the equation a^n + b^n = c^n for any integer value of n greater than two.

    So how do you go about proving this? Andrew Wiles did it in 1994 but how did he prove a negative?
     
  2. Google AdSense Guest Advertisement



    to hide all adverts.
  3. temur man of no words Registered Senior Member

    Messages:
    1,330
    (emphasis mine)

    Isn't it a negative statement?

    Please Register or Log in to view the hidden image!



    Jokes aside, of course you can prove a negative. For example, there is no real solution to the equation

    \(x^2+1=0\)

    More generally, a "negative" is only negative because it is the negation of another statement, but the original statement is "negative" relative to its "negative". I think you wanted to say nonexistence.
     
    Last edited: Jul 22, 2010
  4. Google AdSense Guest Advertisement



    to hide all adverts.
  5. Just Curious Registered Senior Member

    Messages:
    108
    Temur. I was thinking more philosophically at first.

    In general, statements of the form "X exists" are (if true), easy to prove. One simply shows an example of X as a proof. For example, I can prove a claim that "White swans exist" by exhibiting a normal (European) swan. I can similarly prove that "black swans exist" by exhibiting an Australian one.

    On the other hand, it is in theory impossible to prove beyond question that "No green swans exist" (or more generally any statement of the form "No X exists"). I can show cages and cages full of five thousand swans, all of which are white and black, but what about the five thousand and first? In order to prove that no green swans exist, I would need to produce and examine every swan in existence, including swans on unexplored Pacific islands and even unknown planets in distant galaxies

    This URL goes into it more deeply.
    http://skepticwiki.org/index.php/"You_Can't_Prove_a_Negative"

    The point here releated to Fermat is that nobody can test every single combination of numbers to prove that none exist which meet the criteria he conjectures.
     
  6. Google AdSense Guest Advertisement



    to hide all adverts.
  7. temur man of no words Registered Senior Member

    Messages:
    1,330
    Swans are things in real worlds so it is (almost) impossible to prove there is no green swan. But solutions to equations are logical constructs with strict mathematical definition, so it is possible (at ;east in principle). This can be done by first assuming there exists a solution and arriving at a contradiction, or by testing every single combination of numbers into the equation (this is possible!). To see how the latter works, consider the equation

    \(x^2+1=0\)

    For every real \(x\), \(x^2\geq0\), so we always have \(x^2+1\geq1>0\).

    Have look at

    http://www.tricki.org/article/Impossibility_and_nonexistence_front_page
     
    Last edited: Jul 22, 2010
  8. AlphaNumeric Fully ionized Registered Senior Member

    Messages:
    6,702
    Plenty of things in mathematics are proofs of somethings non-existence. Proof by contradiction is one way, where you assume something does exist and then prove it leads to obviously nonsense results, like 1=2. Other times its just straightforward. For instance, I can prove there is no even prime number larger than 2. Suppose there is, call it p. p is even, therefore p = 2q for some natural number q>1. But 2q has a non-trivial prime factorisation, as its divisible by 2. Thus p cannot be prime. Thus there exists no even prime p>2.

    In physics you can't prove a negative because it'd basically require you to search the entire universe, as you're having to discover if something is or isn't there. In mathematics you know all the relevant rules of the game and proving something doesn't exist is like proving the rules don't allow it.

    /edit

    By the way, the proof that Wiles devised is staggeringly complicated. Even with a PhD in mathematics under your belt you'd not know enough to follow his entire proof. I know he used things like Galois theory and last week I spoke to someone who did a PhD in Hopf-Galois theory, particularly field extensions and modular forms (the sort of things in the proof) and he didn't follow the proof (it came up in discussion while he explained his thesis to a couple of people). The common 'internet hack' attempts at FLT focus in basic mathematics but the actual proof is far far beyond that, beyond almost anyone. I know of Galois theory and I know (or used to know) what a field extension is but beyond that I am in over my head (yes, despite what the hacks here think, I do admit my limits). There's definitely people with much deeper knowledge on those things here but (and I mean no offence to such people, like Temur) I would be very surprised if even they could grasp a significant chunk of Wiles' work.
     
    Last edited: Jul 22, 2010
  9. temur man of no words Registered Senior Member

    Messages:
    1,330
    No, I don't grasp Wiles' work in any detail. There are expositions on the high level structure of the proof but then you have to take lots of things on faith. For me Perelman's work is much more accessible than Wiles'.
     
  10. Just Curious Registered Senior Member

    Messages:
    108
    Thanks guys, I understand now the difference between real world problems and mathamatical proofs.

    On the subject of Wiles, his dedication to finiding the proof of FLT is as staggering as the proof itself. After 7 years of work on the first proof, to then be told there was an error, would have knocked the stuffing out of most people, but he went on and a year later solved it. This is inspiration for anybody working on any sort of problem, not just in maths.
     
  11. eupyongri Registered Senior Member

    Messages:
    24
    I think you might view the documentary film about how Andrew Wiles could prove the Fermat's last theorem. (infocobuild.com/books-and-films/science/fermat-last-theorem.html)
     
  12. Jack_ Banned Banned

    Messages:
    1,383
    You prove a negative by Reductio ad absurdum.

    We will prove Archimedes assertion that there does not exist a greatest positive integer.

    Let k be that greatest natural number.

    Take k + 1.

    k + 1 > k.

    Hence, these does not exist a greatest positive integer.

    We proved a negative.
     
  13. James R Just this guy, you know? Staff Member

    Messages:
    39,397
    How can you take k+1 when k is supposed to be the greatest natural number? You're assuming what you're trying to prove, which is a no-no.

    Try again.
     
  14. Jack_ Banned Banned

    Messages:
    1,383
    LOLOLOOL

    This the historical proof.

    I take K + 1 because that is a property of peano arithmetic.

    http://en.wikipedia.org/wiki/Peano_axioms

    For every natural number n, S(n) is a natural number.

    What I presented is simple logic.

    I do not know how to simplify it further.
     
  15. James R Just this guy, you know? Staff Member

    Messages:
    39,397
    You didn't state your assumptions.

    So what you have proved is: assuming that the Peano axioms hold, there is no greatest integer.

    You have no general proof.
     
  16. Jack_ Banned Banned

    Messages:
    1,383
    I cannot even believe you do not understand this method of proof.

    Let's get down to child's play.

    Does there exist a greatest integer yes or no.
     
  17. James R Just this guy, you know? Staff Member

    Messages:
    39,397
    Do you not understand that you made some unstated assumptions?

    No thanks. You can go play with the kids.

    Under what assumptions/axioms?
     
  18. Jack_ Banned Banned

    Messages:
    1,383
    Under what assumptions/axioms?
    Peano arithmetic.

    That should have been obvious given Archimedes argument.

    My logic will not be refuted.
     
  19. James R Just this guy, you know? Staff Member

    Messages:
    39,397
    Fine. You should have said that in the first place.

    Are we done?
     
  20. Jack_ Banned Banned

    Messages:
    1,383

    Yea, as long as you agree I am correct.
     
  21. James R Just this guy, you know? Staff Member

    Messages:
    39,397
    What you have proved is: assuming that the Peano axioms hold, there is no greatest integer.

    That is correct. Done?
     
  22. Jack_ Banned Banned

    Messages:
    1,383
    If you do not agree with Peano axioms then you cannot possibly agree with any conclusions from physics.

    If so, state how.
     
  23. James R Just this guy, you know? Staff Member

    Messages:
    39,397
    It's ok, Jack_. I believe the Peano axioms are a reasonable basis for arithmetic.

    Please Register or Log in to view the hidden image!

     

Share This Page