Re: Fermat's Last theorem short proof



On Mon, 23 Apr 2007 23:27:25 GMT, V <V@xxxxxxxxxx> wrote:

gcd (x+y, (x^n+y^n)/(x+y)) = gcd (x+y, n) if x and y are coprime and n
is odd and > 1.

x^n+y^n = gcd(x+y,n)^2 * (x+y)/gcd(x+y,n) * ((x^n+y^n)/(x+y))/gcd(x+y,n)

x^n+y^n is divisible by (x+y) and gcd(x+y,((x^n+y^n)/(x+y))/gcd(x+y,n))=1

For c^n to be a solution, c needs to be a multiple of (x+y),

The error is right here (the above line).

None of your above analysis concerning common factors justifies your
claim that c is a multiple of x+y. All you know is that c^n is a
multiple of x+y.

Let's take the easy case where x+y and (x^n+y^n)/(x+y) have no common
factor. Letting a=x+y and b=(x^n+y^n)/(x+y), you have

c^n=ab where a,b are coprime.

That does not imply that c is a multiple of a (unless a is prime).

So your proof fails.

quasi
.



Relevant Pages

  • Re: Interesting math
    ... Multiple by an even number. ... Multiple by an odd number. ... Multiplication by zero is both even ... Division by zero yields an infinite number set. ...
    (alt.usage.english)
  • Re: Interesting math
    ... Multiple by an even number. ... Multiple by an odd number. ... Multiplication by zero is both even ... Division by zero yields an infinite number set. ...
    (alt.usage.english)
  • Re: Interesting math
    ... Multiple by an even number. ... Multiple by an odd number. ... Multiplication by zero is both even ... even and odd to not violate our even and odd rule. ...
    (alt.usage.english)
  • Re: Fermats Last theorem short proof
    ... quasi wrote: ... is odd and> 1. ... For c^n to be a solution, c needs to be a multiple of, ... Gerry Myerson ...
    (sci.math)
  • Re: Interesting math
    ... Multiple by an even number. ... Multiple by an odd number. ... Multiplication by zero is both even ... even and odd to not violate our even and odd rule. ...
    (alt.usage.english)

Quantcast