Navigation Panel: Previous | Up | Forward | Graphical Version | PostScript version | U of T Math Network Home

University of Toronto Mathematics Network
Question Corner and Discussion Area


The n=4 Case of Fermat's Last Theorem

From Trevor, University at Buffalo on November 3, 1996:
I want to prove, using mathematical induction, that there are no solutions to the equation x^4 + y^4 = z^4, for positive values of x, y, z.
I assume that x, y, and z are supposed to be integer values; otherwise, there are plenty of solutions.

Those reading this page will likely recognize this question as the n=4 case of Fermat's Last Theorem. The general theorem (that, when n > 2, there are no positive integer solutions to the equation x^n + y^n = z^n), was conjectured by Fermat hundreds of years ago but remained unproved until just recently, when it was proved by Andrew Wiles. The proof is highly complex and involves some deep areas of abstract mathematics.

The n=4 case, however, is relatively easy to prove and was known by Fermat. It turns out to be a little easier to prove the more general result that there is no solution in positive integers to the equation x^4 + y^4 = z^2 (that is, the sum of two fourth powers cannot even be a perfect square, let alone a fourth power).

This is traditionally proven using the "method of infinite descent". The key to this method is the key lemma below (I'll explain later how this fact is proven).

Key Lemma. If x^4 + y^4 = z^2 where x, y, and z are positive integers, then there would exist other positive integers u, v, and w with u^4 + v^4 = w^2, and w < z.

(For those unfamiliar with the terminology: a lemma is a small theorem whose main use is in proving another, more important, theorem).

The reason this lemma implies that solutions cannot exist is as follows. Suppose solutions did exist. Among all solutions, pick one with the smallest z value (any nonempty set of postive integers has a smallest element). But now the lemma says there would be another solution with a still smaller z value, a contradiction. Therefore, solutions cannot exist.

You can phrase this using the language of mathematical induction, but it's more awkward. You would work by induction on z. When z=1 there are clearly no solutions (x and y have to be at least 1, so z^2 = x^4 + y^4 has to be at least 2).

Now, if it is known that there are no solutions with z <=N, you can prove that there are no solutions with z=N+1 either: if (x,y,z) were such a solution, then the lemma implies that there is another solution (u,v,w) with w < z, so w <=N, contradicting the fact that we know no such solution exists.

The above two paragraphs form the basis and induction steps for a proof by induction. But it's a little cleaner to use the method of infinite descent.

Now for the hard part: a proof of the lemma. I won't fill in all the details (since you originally posted this in the Discussion Topics section rather than the Questions section, I assume you don't want me too), but I will outline the proof.

It depends on the theory of Pythagorean triples. A triple (a,b,c) of positive integers is called a Pythagorean triple if a^2 + b^2 = c^2. It is called a fundamental Pythagorean triple if a, b, and c have no common factor greater than 1.

For any fundamental Pythagorean triple, one of a and b is even and the other is odd. Let's use the letter a to refer to the even one, b to the odd one. Then there are positive integers m and n such that

   a = 2 m n
   b = m^2 - n^2
   c = m^2 + n^2
and m and n are relatively prime (have no common factor greater than 1).

If you don't know how to prove the above statements, feel free to post another question here.

Now, suppose x^4+y^4=z^2. Then (x^2, y^2, z) is a Pythagorean triple.

If x, y, and z have a common prime factor p > 1, then (x/p)^4 + (y/p)^4 = (z/p^2)^2 and we have our desired solution (u,v,w) with u = x/p, v = y/p, and w = z/p^2 < z. (You need also to explain why z/p^2 is an integer; I'll leave that to you).

On the other hand, if x, y, and z do not have a common prime factor, then (x^2, y^2, z) is a fundamental Pythagorean triple. One of x and y is even and the other odd; let's use x to denote the even one. Then, by the theory of Pythagorean triples, there are relatively prime positive integers m and n such that

   x^2 = 2 m n
   y^2 = m^2 - n^2
    z  = m^2 + n^2.
We can rewrite the second equation as n^2 + y^2 = m^2. We know that m and n have no common factor greater than 1, so (n,y,m) is a fundamental Pythagorean triple. We know y is odd, so n must be the even one. Therefore, appealing to the theory of Pythagorean triples once again, there are relatively prime positive integers r and s such that
n = 2 r s
y = r^2 - s^2
m = r^2 + s^2.
The final piece of the puzzle is the fact that if the product of two relatively prime positive integers is a perfect square, then each individually is a perfect square. From this it follows that m and n/2 are perfect squares, since the product is (m)(n/2) = (2 m n)/4 = (x^2)/4 = (x/2)^2 (remember that x and n are even, so x/2 and n/2 are integers).

It also follows that r and s are perfect squares, since the product is rs = (2 rs)/2 = n/2 which is a perfect square.

Therefore, setting r = u^2, s = v^2, m = w^2, the equation m = r^2 + s^2 becomes u^4 + v^4 = w^2. All that remains to complete the proof of the lemma is to show that w < z, which follows because z = m^2 + n^2 = w^4 + n^2 > w^4, so w^4 < z, and as w is a positive integer this implies w < z as well.

If you want proofs of some of the statements I've left for you to fill in, just post a message here and we'd be glad to fill them in for you.

[ Submit Your Own Question ] [ Create a Discussion Topic ]

This part of the site maintained by (No Current Maintainers)
Last updated: April 19, 1999
Original Web Site Creator / Mathematical Content Developer: Philip Spencer
Current Network Coordinator and Contact Person: Joel Chan - mathnet@math.toronto.edu

Navigation Panel: 

  Go backward to Published Proof of Fermat's Last Theorem
  Go up to Question Corner Index
  Go forward to The Case n=3 Of Fermat's Last Theorem
  Switch to graphical version (better pictures & formulas)
  Access printed version in PostScript format (requires PostScript printer)
  Go to University of Toronto Mathematics Network Home Page