Playing with Fermat's Last Theorem
From RoyalWeb
Line 16: | Line 16: | ||
From Condition 1 subtract x^n to get | From Condition 1 subtract x^n to get | ||
− | (Equation 2) y^n = z^n - x^n | + | *(Equation 2) y^n = z^n - x^n |
Since z must be greater than either y or x, there exists a d, natural number, such that | Since z must be greater than either y or x, there exists a d, natural number, such that | ||
− | (Equation 3) z = d+x | + | *(Equation 3) z = d+x |
If gcd(d,x) > 1 then, d and x have a common factor, but since z = d + x this would imply that z also shares this same common factor and from Condition 4 we have that gcd(x,z) = 1 which violates this assumption and therefore it must be that | If gcd(d,x) > 1 then, d and x have a common factor, but since z = d + x this would imply that z also shares this same common factor and from Condition 4 we have that gcd(x,z) = 1 which violates this assumption and therefore it must be that | ||
− | (Result 1) gcd(d,x) = 1 | + | *(Result 1) gcd(d,x) = 1 |
Substituting Equation 3 into Equation 2 we get | Substituting Equation 3 into Equation 2 we get | ||
− | (Equation 4) y^n = (d+x)^n - x^n | + | *(Equation 4) y^n = (d+x)^n - x^n |
Expanding (d+x)^n and cancelling the last term, we get | Expanding (d+x)^n and cancelling the last term, we get | ||
− | (Equation 5) y^n = d^n + nd^(n-1)x + (n 2)d^(n-2)x^2 + ... + (n 2) (d^2)x^(n-2) + ndx^(n-1) | + | *(Equation 5) y^n = d^n + nd^(n-1)x + (n 2)d^(n-2)x^2 + ... + (n 2) (d^2)x^(n-2) + ndx^(n-1) |
Since d divides every term on the right, it must also evenly divide what's on the left therefore | Since d divides every term on the right, it must also evenly divide what's on the left therefore | ||
− | (Result 2) d divides y^n | + | *(Result 2) d divides y^n |
Let (Equation 6) d = p(1)^l(1) * p(2)^l(2) * ... * p(k)^l(k) | Let (Equation 6) d = p(1)^l(1) * p(2)^l(2) * ... * p(k)^l(k) | ||
Line 38: | Line 38: | ||
Then since gcd(d,x) = 1 this implies that | Then since gcd(d,x) = 1 this implies that | ||
− | (Result 3) gcd(p(j),x) = 1 for all p(j) in d | + | *(Result 3) gcd(p(j),x) = 1 for all p(j) in d |
Now each p(j)^l(j) divides y^n therefore, since each p(j) is prime, | Now each p(j)^l(j) divides y^n therefore, since each p(j) is prime, | ||
− | (Result 4) each p(j) divides y | + | *(Result 4) each p(j) divides y |
Let (Equation 7) y(1)^t(1) * y(2)^t(2) * ... * y(m)^t(m) | Let (Equation 7) y(1)^t(1) * y(2)^t(2) * ... * y(m)^t(m) | ||
be the unique prime factorization of y. Then | be the unique prime factorization of y. Then | ||
− | (Result 5) each p(j) = y(o) for some o and therefore p(j) has a relationship to t(o)*n | + | *(Result 5) each p(j) = y(o) for some o and therefore p(j) has a relationship to t(o)*n |
If l(j) < t(o)n this implies p(j) divides nx^(n-1) which implies | If l(j) < t(o)n this implies p(j) divides nx^(n-1) which implies | ||
− | (Result 6) p(j) = n or p(j) divides x^(n-1) | + | *(Result 6) p(j) = n or p(j) divides x^(n-1) |
But, by Result 3, p(j) cannot divide x^(n-1) since to do so, since P(j) is prime, it must divide x which it is forbidden to do and therefore p(j) = n | But, by Result 3, p(j) cannot divide x^(n-1) since to do so, since P(j) is prime, it must divide x which it is forbidden to do and therefore p(j) = n | ||
Line 55: | Line 55: | ||
The third case is left: | The third case is left: | ||
− | (Result 7) l(j) = t(o)n | + | *(Result 7) l(j) = t(o)n |
Now if p(j) = n then n divides d and also n divides y which means that | Now if p(j) = n then n divides d and also n divides y which means that | ||
Line 63: | Line 63: | ||
p(j) = n AND l(j) = t(o)n - 1 | p(j) = n AND l(j) = t(o)n - 1 | ||
− | OR l(j) = t(o)n | + | *OR l(j) = t(o)n |
Now this is true for every element of the prime factorization of d, therefore: | Now this is true for every element of the prime factorization of d, therefore: | ||
− | (Result 9) if n divides d the other elements of its prime factorization must be nth powers so there exists an e such that d = n^(tn-1) * e^n | + | *(Result 9) if n divides d the other elements of its prime factorization must be nth powers so there exists an e such that d = n^(tn-1) * e^n |
Now tn-1 = n*(t-1) + (n-1) so this can become | Now tn-1 = n*(t-1) + (n-1) so this can become | ||
− | d = n^(n-1) * (en^(t-1))^n = n^(n-1) * E | + | *d = n^(n-1) * (en^(t-1))^n = n^(n-1) * E |
if n does not divide d all elements of d's prime factorization must be nth powers so there exists an e such that d = e^n | if n does not divide d all elements of d's prime factorization must be nth powers so there exists an e such that d = e^n | ||
Line 75: | Line 75: | ||
Reducing equation 5, mod n, we get y^n is congruent to d^n mod n | Reducing equation 5, mod n, we get y^n is congruent to d^n mod n | ||
− | (Result 10) n divides d if and only if n divides y | + | *(Result 10) n divides d if and only if n divides y |
FINAL RESULT | FINAL RESULT | ||
Therefore (Result 11): | Therefore (Result 11): | ||
− | if n^t divides y then z = n^(tn-1) * e^n + x for some e ; | + | *if n^t divides y then z = n^(tn-1) * e^n + x for some e ; |
− | if n^t does NOT divide y then z = e^n + x for some e. | + | *if n^t does NOT divide y then z = e^n + x for some e. |
− | In other words, z - x is either a perfect nth power or the | + | In other words, z - x is either a perfect nth power or the n-1th power of n times a perfect nth power. |
− | + | ||
Another way to state this is: | Another way to state this is: | ||
− | + | *x^n + y^n = (x + t^n/n)^n if n divides y | |
− | + | *x^n + y^n = (x + t^n)^n if n does not divide y | |
QED | QED | ||
Line 109: | Line 108: | ||
n^(tn-1)*e^n + x = f^n + n^tY | n^(tn-1)*e^n + x = f^n + n^tY | ||
− | Let n = 2 to get | + | Let n = 2 to get 2^(2t-1)*e^2 + x = f^2 + 2^tY |
− | 2^(2t-1)*e^2 + x = f^2 + 2^tY | + | |
for the case z-x = n we have n^(tn-1)*e^n = n implies tn-1 = 1 which is only solved if t = 1 and n = 2 | for the case z-x = n we have n^(tn-1)*e^n = n implies tn-1 = 1 which is only solved if t = 1 and n = 2 | ||
Line 119: | Line 117: | ||
x^n + y^n = (e^n +x)^n also x^n + y^n = (f^n + y)^n | x^n + y^n = (e^n +x)^n also x^n + y^n = (f^n + y)^n | ||
Setting these equal and taking the nth root we get | Setting these equal and taking the nth root we get | ||
− | e^n + x = f^n + y | + | *e^n + x = f^n + y |
transposing we get | transposing we get | ||
− | e^n - f^n = y-x | + | *e^n - f^n = y-x |
which says the difference between y and x is a difference between nth powers. | which says the difference between y and x is a difference between nth powers. |