### Fermat’s last theorem: a proof for right-angled triangles

*Introduction*Fermat's last theorem states that no three positive integers a, b, and c can satisfy the equation:

a

^{n}+ b

^{n}= c

^{n}

where a, b and c are real, whole integers and n > 2.

The purpose of this paper is to prove Fermat’s last theorem in relation to right-angled triangles. The proof shall be by way of contradiction using algebra and geometry. I shall leave to another day whether it is possible to prove the theorem in relation to any other triangles, or indeed any other non-triangle values.

*Pythagoras’ theorem: the starting point*We know from Pythagoras’ theorem that:

c

^{2}= a

^{2}+ b

^{2}

Pythagoras’ theorem can be illustrated geometrically in the adjacent manner.

A square is made on each length of the triangle. The square on the hypotenuse (c) is equal in area to the sum of the area of the squares on the other sides (a and b).

But what if we decided to build a cube out of each of those squares?

Would the volume of cube c be equal to the sum of the volumes of cube a and

cube b?

*n=3*Let us assume that:

c

^{3}= a

^{3}+ b

^{3}

Where c, a and b are real numbers and whole integers.

This can be illustrated geometrically in the adjacent manner.

It is important to realise that this is just a 2 dimensional representation of a 3 dimensional object: the angle at the base of each cube is 90º, however when this is represented on a flat page the angle is not capable of being drawn as 90º.

Instead your brain interprets the drawn angles as 90º angles, aided by such techniques as shading.

So, back to the proof:

We know from Pythagoras’ theorem that:

c

^{2}= a

^{2}+ b

^{2}

Accordingly c = √(a

^{2}+ b

^{2})

Now we can multiply both sides of Pythagoras’ equation by the value c to produce:

c

^{3}= √(a

^{2}+ b

^{2}) (a

^{2}+ b

^{2})

Bearing in mind our assumption c

^{3}= a

^{3}+ b

^{3}it follows that:

√(a

^{2}+ b

^{2}) (a

^{2}+ b

^{2}) = a

^{3}+ b

^{3}

If we square both sides we get:

(a

^{2}+ b

^{2})

^{3}= (a

^{3}+ b

^{3})

^{2}

And if we factor the right side of the equation we get:

(a

^{2}+ b

^{2})

^{3}= (a + b) (a

^{2}+ b

^{2}- ab) (a + b) (a

^{2}+ b

^{2}- ab)

(a

^{2}+ b

^{2})

^{3}= (a

^{2}+ b

^{2}+ 2ab) (a

^{2}+ b

^{2}- ab) (a

^{2}+ b

^{2}- ab)

However a

^{2}+ b

^{2}= c

^{2}(Pythagoras theorem), thus:

(c

^{2})

^{3}= (c

^{2}+ 2ab) (c

^{2}- ab) (c

^{2}- ab)

c

^{6}= (c

^{2}+ 2ab) (c

^{4}- 2c

^{2}ab + a

^{2}b

^{2})

c

^{6}= c

^{6}- 2c

^{4}ab + c

^{2}a

^{2}b

^{2}+ 2c

^{4}ab - 4c

^{2}a

^{2}b

^{2}+ 2a

^{3}b

^{3}

c

^{6}= c

^{6}- 3c

^{2}a

^{2}b

^{2}+ 2a

^{3}b

^{3}

3c

^{2}a

^{2}b

^{2}= 2a

^{3}b

^{3}

c

^{2}= 2/3ab

But

if c

^{2}= 2/3ab

and c

^{2}= a

^{2}+ b

^{2}

a

^{2}+ b

^{2}= 2/3ab

This cannot be true. Rather, a

^{2}+ b

^{2}> 2/3ab

Consider the 3, 4, 5 Pythagorean triple:

a

^{2}+ b

^{2}= 9 + 16 = 25

However:

2/3ab = 8

Accordingly for a right-angled triangle where n = 3, the left side of the equation is greater than the right:

c

^{6}> c

^{6}- 3c

^{2}a

^{2}b

^{2}+ 2a

^{3}b

^{3}

And Fermat’s last theorem is proven in that special case.

*n=4*Let us assume that:

c

^{4}= a

^{4}+ b

^{4}

Where c, a and b are real numbers and whole integers.

We know from Pythagoras’ theorem that:

c

^{2}= a

^{2}+ b

^{2}

Accordingly:

c

^{4}= (a

^{2}+ b

^{2})

^{2}

Bearing in mind our assumption c

^{4}= a

^{4}+ b

^{4}it follows that:

(a

^{2}+ b

^{2})

^{4}= (a

^{4}+ b

^{4})

^{3}

(a

^{2}+ b

^{2})

^{2}= a

^{4}+ b

^{4}

(a

^{2}+ b

^{2}) (a

^{2}+ b

^{2}) = a

^{4}+ b

^{4}

a

^{4}+ b

^{4}+ 2ab = a

^{4}+ b

^{4}

This is manifestly untrue.

For a right-angled triangle where n = 4, the left side of the equation is greater than the right, and accordingly Fermat’s last theorem is proven in that special case.

*n=5*Let us assume that:

c

^{5}= a

^{5}+ b

^{5}

Where c, a and b are real numbers and whole integers.

We know from Pythagoras’ theorem that:

c

^{2}= a

^{2}+ b

^{2}

Accordingly c = √(a

^{2}+ b

^{2})

And accordingly:

c

^{5}= √(a

^{2}+ b

^{2}) (a

^{2}+ b

^{2})

^{2}

Bearing in mind our assumption c

^{5}= a

^{5}+ b

^{5}it follows that:

√(a

^{2}+ b

^{2}) (a

^{2}+ b

^{2})

^{2}= a

^{3}+ b

^{3}

If we square both sides we get:

(a

^{2}+ b

^{2})

^{3}= (a

^{3}+ b

^{3})

^{2}

(a

^{2}+ b

^{2})

^{5}= (a

^{5}+ b

^{5})

^{2}

(a

^{2}+ b

^{2}) (a

^{4}+ b

^{4}+ 2ab) (a

^{4}+ b

^{4}+ 2ab) = (a

^{10}+ b

^{10}+ 2a

^{5}b

^{5})

(a

^{2}+ b

^{2}) (a

^{8}+ a

^{4}b

^{4}+ 2a

^{5}b + a

^{4}b

^{4}+ b

^{8}+ 2ab

^{5}+ 2a

^{5}b + 2ab

^{5}+ 4a

^{2}b

^{2}) = (a

^{10}+ b

^{10}+ 2a

^{5}b

^{5})

(a

^{2}+ b

^{2}) (a

^{8}+ b

^{8}+ 2a

^{4}b

^{4}+ 4a

^{5}b + 4ab

^{5}+ 4a

^{2}b

^{2}) = (a

^{10}+ b

^{10}+ 2a

^{5}b

^{5})

(a

^{10}+ a

^{2}b

^{8}+ 2a

^{6}b

^{4}+ 4a

^{7}b + 4a

^{3}b

^{5}+ 4a

^{4}b

^{2}+ a

^{8}b

^{2}+ b

^{10}+ 2a

^{4}b

^{6}+ 4a

^{5}b

^{3}+ 4ab

^{7}+ 4a

^{2}b

^{4}) = (a

^{10}+ b

^{10}+ 2a

^{5}b

^{5})

a

^{10}+ b

^{10}+ a

^{2}b

^{8}+ a

^{8}b

^{2}+ 2a

^{6}b

^{4}+ 2a

^{4}b

^{6}+ 4a

^{3}b

^{5}+ 4a

^{5}b

^{3}+ 4a

^{7}b + 4ab

^{7}+ 4a

^{4}b

^{2}+ 4a

^{2}b

^{4}= a

^{10}+ b

^{10}+ 2a

^{5}b

^{5}

This manifestly untrue.

For a right-angled triangle where n = 5, the left side of the equation is far greater than the right, and accordingly Fermat’s last theorem is proven in that special case.

*Conclusion*From the above it is clear that as the value of n increases, the left side of the equation produces values exponentially greater than the right.

Consider how in the case of n = 3, the value for c

^{2}= 2/3ab, in which case the left side of the equation was slightly larger than the right.

For n = 4, c

^{2}was greater than the right by 2ab.

By n = 5, the left was greater than the right by a

^{2}b

^{8}+ a

^{8}b

^{2}+ 2a

^{6}b

^{4}+ 2a

^{4}b

^{6}+ 4a

^{3}b

^{5}+ 4a

^{5}b

^{3}+ 4a

^{7}b + 4ab

^{7}+ 4a

^{4}b

^{2}+ 4a

^{2}b

^{4}!

If you do the equations for n = 6, you'll find the left side of the equation larger yet again (relative to the right, that is) - and so it goes.

It follows that for any right-angled triangle where n > 5, the left side of the equation is going to be even greater than the right as compared to n = 5.

Accordingly Fermat’s last theorem is proven for a right-angled triangle for any value of n.

*Copyright © 2010 Dejan Djurdjevic*