Even the ancient Greeks and the Babylonians knew about its integer solutions eg.
.
222
543
There are an infinite number of such solutions and are known as Pythagorean triples.In the proof of Fermat’s Last Theorem that we’ll give, will emerge spontaneously even an original procedure to find all the infinite Pythagorean triples, this makes us confident in the goodness of the proposed method of proof (see Appendix B).Before to go in deep in the proof we make some considerations relating to (1).a)
To say that Fermat's theorem is
true
is equivalent to saying that (1) has never occurred
.
b)
It is sufficient to prove (1) be
true
for the exponent
n
= 4 and for every
n
=
p
=
odd prime
. Infact if the theorem is true for
p
then it is automatically true for every
n
=
mp
beingAs mentioned the case of
n
= 4 was proved directly by Fermat.
p m p m p m n n
C B A B A
c)
A, B, C
must be such that their Greater Common Divider (
GCD
) is the unit when taken in pairsie:
GCD
(
A, B
) =
GCD
(
A, C
) =
GCD
(
B, C
) = 1 and also
GCD
(
A, B, C
) = 1.In fact if, for example, there was a integer
q
such that
GCD
(
A, B
) =
q
then, for (1), it should also be a factor of
C
(we denote this property by
)(mod0
qC
), and then we can simplify (1)introducing new variables,
q A A
1
,
q B B
1
and
qC C
1
and then return to the case of (1) with .
n n n
C B A
111
d)
Important corollary to the previous property is that the three variables
A, B, C,
can not all havethe same parity and, moreover, only one can be even following this scheme:
A B C D E
odd odd even odd oddeven odd odd odd evenodd even odd even oddWe'll see that, in reality, other considerations will restrict this possibility only at the first case.e)
Another important corollary of c) is:given
D=C-A
(2)
E=C-B
then must be
GCD
(
A+B, C-A)
=1
(2a)
GCD
(
A+B, C-B)
=1
(2b)
GCD
(
C-A, C-B)
=1
(2c)and in particular by the last relation is
GCD
(D,E)=
1
(2d)
3