Thank you very much.

Printable View

- Nov 13th 2006, 09:13 AMbeta12Can anyone show me the proof for Fermat Last Theorem for n=3
Thank you very much.

- Nov 13th 2006, 09:22 AMCaptainBlack
See here

RonL - Nov 13th 2006, 09:28 AMThePerfectHacker
Ha ha. I actually have that page stored as my favorite.

I cannot follow what they say, so poorly written. I do however know that proof for n=4 (I even have it memorized :cool: ).

----

The problem is I think he wants it to be solved in terms of quadratic fields. - Nov 13th 2006, 10:17 AMbeta12
Hi Perfecthacker and Captainblack,

I went to the above given link. I can't fully figure out the whole approach for the proof of Fermat Theorem n=3 after reading the information provided.

I think my question wants me to solve it in different approach.

Let me put down the whole question in here:

Prove Fermat's Last theorem for n=3 : X^3 + Y^3 = Z^3

where X, Y, Z are rational integers, then X, Y, or Z is 0.

Hint:

* Show that if X^3 + Y^3 = Epsilon* Z^3, where X, Y, Z are quadratic integers in Q[sqrt(-3)], and epsilon is a unit in Q[sqrt(-3)], then X, Y, or Z is 0. (recall how to find all solutions to X^2 + Y^2 =Z^2 since it similar.)

*Begin with if X^3 + Y^3 = Epsilon* Z^3, where X, Y, Z are quadratic integers in Q[sqrt(-3)], where epsilon is a unit, then lambda divides X, Y or Z, where lambda is (3+sqrt(-3))/2. Also show that (lambda)^2 is an associate of 3.

*It will be useful to show that if X is congruent to 1 mod lambda, then X^3 is congruent to 1 (mod lambda)^4). Work out a similar desciption for when X is congruent to -1 mod lambda.

Use these fact to show that if X^3 + Y^3 = Epsilon* Z^3, if X and Y are not multiples of lambda, but Z is , then Z is a multiple of (lambda)^2. Do this by reducing (mod lamda)^4.

note that X^3 + Y^3 = Epsilon* Z^3 can be factored:

(x+y)(x+wy)(x+w^2*y)= Epsilon* Z^3 ,

where w is an appropriately chosen quadratic integer.

Consider each of these factors as quadratic integers p, q, r. Express x and y in terms of p, q, and r. The fact that we have three equations and two unknowns indicates there will be some extra constraint on p, q, and r.

Consider how many time lambda occurs in the prime factorization of p, q, and r. Use unique factorization of Q[sqrt(-3)] to show that except for the factors of lambda that you computed , p, q, and r are cubes times units.

Use the extra constraint on p, q, and r to find another solution

X^3 + Y^3 = Epsilon* Z^3 ,

where Z has one less factor of lambda. Note that it may be necessary to exchange the roles of x, y, z, -x, -y, or -z.

Derive a contradiction along the lines of Fermat's method of descent.