1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Fermat's marginal proof

  1. Sep 23, 2012 #1
    In trying to work out what Fermat may have conceived of as his proof, using the mathematics available at the time I have the following suggestion:

    Fermat's Last Theorem can be expressed the following way:

    There are no natural numbers A, B, C, N >1 for which a non-trivial solution of the following formula exists:

    (1) A ^(2N+1) + B ^(2N+1) = C ^(2N+1)

    To prove this we begin by assuming (1) is true and rewriting it as follows:

    (2) A x A ^(2N) + B x B ^(2N) = C x C ^(2N)

    We now proceed to prove that (1) cannot hold by creating a contradiction. Firstly we reasonably assume that for any valid triple of the form (1) and (2) C must be greater than A and B according to the logic of valid pythagorean triples. Secondly we introduce the general function:

    (3) P x (A ^M + B ^M) = P x C ^M

    And similarly assume it holds for all* natural numbers A, B, C, P, M. It therefore follows that there must be natural numbers M and P for which P=C. This would imply:

    (4) C x A ^M + C x B ^M = C x C ^M = C ^(M+1)

    Which, taking (1) to be true, and substituting 2N for M implies C=A=B. But for valid triples C>A and C>B and so a contradiction has been established which proves that (1) cannot hold.

    * That should be at least one set of natural numbers A, B, C, P, M, where P=C.

    It appears far too simple but why?
    Last edited: Sep 23, 2012
  2. jcsd
  3. Sep 23, 2012 #2
    The general consensus is that Fermat was mistaken. Wiles nearly had to invent entirely new fields of mathematics to construct his proof; almost no one actually believes that Fermat constructed one as simple as he claims.
  4. Sep 23, 2012 #3

    I see a logic problem right at this step. To do your reductio proof, you are assuming there exist a, b, c, and n such that an + bn = cn. That's fine.

    But that certainly does not imply that this relationship holds for all a, b, c, n, and p as above. Even if FLT were false, there would be particular a-b-c-n examples. The Fermat relationship would surely not hold for all numbers a, b, c, and n.
  5. Sep 23, 2012 #4
    Thanks, would it still be a reductio if it could hold for only some natural numbers?
  6. Sep 23, 2012 #5
    I suppose what I'm wondering is - if we assume there is at least one natural number solution for which P=C for (1) and (3) would that immediately establish the contradiction?
  7. Sep 23, 2012 #6
    FLT says that there is NO 4-tuple (a,b,c,n) satisfying an + bn =cn +an (with n > 2 etc.)

    The negation of that statement is that there exists SOME 4-tuple satisfying the Fermat condition.

    Surely you can see that it would be unreasonable to assume that ALL 4-tuples satisfied the Fermat condition. Can you see why that wouldn't make any sense?
  8. Sep 23, 2012 #7
    I think I understand you, I should really have said that in order to establish the reductio I assume the existence of a particular set of natural numbers A, B, C, P, M such that in (2) and (3) P=C which would assert both that C > A and B and C=A=B. I'm a novice and I'm in the dark about so much, I'm grateful for your time and comments.
    Last edited: Sep 23, 2012
  9. Sep 24, 2012 #8
    I get it now, thanks again :)
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook