1. Introduction
Define n to be any integer such that
. Suppose that
are positive integers satisfying
(1)
where
. It was first conjectured by Pierre de Fermat in the 1630s that no solutions of (1) exist for
. Fermat once claimed to have found proof of this conjecture, and so it was regarded as a theorem. Because all Fermat’s other theorems were subsequently proved, this statement became known as Fermat’s Last Theorem. Some special cases of the insolubility of (1) have been examined in both [1] and [2]. The first full proof of Fermat’s Last Theorem was established as being a consequence of the modularity theorem for semistable elliptic curves, which was proved in [3] and [4] by Wiles and Taylor. This was succeeded by the proof of the full modularity theorem (in [5] [6] [7] ) which settled a longstanding conjecture formulated by Taniyama, Shimura and Weil. The methods in this paper do not involve elliptic curves. Instead, a very simple argument is used to deal with (1). A brief history of the subject is given in [8]. A new proof showing that (1) is insoluble for
is provided in the subsequent section. The author has previously discovered another simpler proof [9] of Fermat’s Last Theorem by deriving the fact that (1) has no solutions for
. A completely different approach is used here. The following lemmas are fundamental results that are necessary for the novel argument employed in the proof of the theorem that follows. Note that the trivial case b = c is discarded by considering Lemma 3.
2. Analysis
Lemma 1. If (1) holds only for
, then it may be assumed without loss of generality that n is an odd prime.
Proof. Suppose that
, where p is prime and m is some positive integer. It is possible to rewrite (1) as
(2)
Suppose that q is some odd prime. The integer n, being at least 3, is divisible by an integer y such that
. It is proved in [1] that (1) cannot be satisfied by
. The desired result follows from the last two statements together with the last equation. □
Lemma 2. Suppose that (1) is true. Then
.
Proof. Since
, it is clear that
. By using (1), it is easily seen that
(3)
The statement of the lemma follows immediately. □
Lemma 3. Suppose that (1) is true. Then it may be assumed without loss of generality that
are pairwise coprime.
Proof. Divide
in (1) by their greatest common divisor. The statement of the lemma follows immediately. □
The following theorem is an important result which is established in an original and simple manner.
Theorem 1. Suppose that
. Then (1) has no solution.
Proof. Suppose that (1) holds. By considering Lemma 1, it may be assumed without loss of generality that n is an odd prime. Since n is odd,
(4)
where
(5)
It can be deduced from (1) that
(6)
where
(7)
By considering Lemma 2 with the fact that
, it can be determined that
. It can also be deduced from (1) that
(8)
where
(9)
By considering Lemma 2 with the fact that
, it can be determined that
. It follows from (4) that
, so that there exists some integer
which is a common factor of a and
such that
. The last three pairs of equations can be used to distinguish various cases. First suppose that
. Then it follows that there exists some
such that
. Given that
, it may then be assumed without loss of generality in the subsequent argument that
can be chosen such that
(10)
Because
, it is evident that
(11)
By considering the last two equations with (5), it can be established that
(12)
so that
. Since
and
by an application of Lemma 3 (so that
are assumed without loss of generality to be pairwise coprime), it is clear that
. It follows from the last two sentences that
. By recalling that n is an odd prime and that
, it is immediately apparent that
. Hence, if
then
, where
is the unique common prime factor of a,
and M. Suppose that
. Then it follows from (4) that there exists no prime factor of
which is also a factor of M, so that
(13)
for some positive integer d such that
. Recall that
is some common factor of a and
, and that, since
(where
), it is clear that
. However, since
,
cannot be assumed to be prime. It follows from Lemma 2 that
, which implies that
is not an integer multiple of a. Since
and
, where
is a common factor of a and
such that
, it follows that
. By considering (4) with (13), it can then be determined that there exists some positive integer
such that
(14)
where
(since it is clear from applying Lemma 2 with (13) that
so that, by considering (14), it is apparent that
,
where
). By using a similar argument to the one used earlier with
, it follows from (6) and (7) that if
then
, where
is the unique common prime factor of b,
and L. Also, if
then it follows from (6) that there exists no prime factor of
which is also a factor of L, so that
(15)
for some positive integer h such that
and
by considering Lemma 2. By considering (6), this implies that there exists some positive integer
such that
(16)
where
since
. By using a similar argument to the one used earlier with
, it follows from (8) and (9) that if
then
, where
is the unique common prime factor of c,
and K. Also, if
then it follows from (8) that there exists no prime factor of
which is also a factor of K, so that
(17)
for some positive integer k such that
and
by considering Lemma 2. By considering (8), this implies that there exists some positive integer
such that
(18)
where
since
. By considering Lemma 3, it follows that at most one of
can be equal to n. Hence, at least two of (13), (15) and (17) hold. These cases can be distinguished as follows:
Case i) Suppose that both (15) and (17) hold. By subtracting (17) from (15), it is clear that
(19)
Note that
(20)
It can be deduced from the last two equations that
. It follows from the last statement together with (16) and (18), for which
and
, that either
(21)
or
(22)
It follows from (16), (18) and (21) that
(23)
where
and
. By an application of the statement of the fundamental theorem of arithmetic [1], it follows that
. By considering (16) and (18), it is clear that the last statement leads to a contradiction because it violates the condition established earlier from an application of Lemma 3 that
. Therefore, (21) cannot hold. Since
, it is evident that (22) can be satisfied only if
. However, this also leads to a contradiction because
by using (16) and (18) with the fact that
. Hence it is not possible for both (15) and (17) to hold. Therefore this case can be eliminated.
Case ii) Suppose that both (13) and (15) hold. By adding (13) and (15), it is clear that
(24)
Note that
(25)
It can be deduced from the last two equations that
. It follows from (14) and (16) that
(26)
Since
by using the fact that
(from an application of Lemma 3 made earlier), where both
and
have been proved to be integers strictly greater than 1, it is clear from the last equation that
. Therefore, it is impossible for all of the last three equations to hold, and so a contradiction has been reached. Hence it is not possible for both (13) and (15) to hold. Therefore this case can be discarded.
Case iii) Suppose that both (13) and (17) hold. This case is equivalent to replacing
in the previous case with
, respectively. It follows that this case can also be eliminated.
The statement of the theorem follows immediately. □
3. Conclusion and Discussion
A Diophantine problem known as Fermat’s Last Theorem has been solved by using a new elementary proof by contradiction. It was motivated by considering factoring an equation with odd exponents. The method of proof involved analyzes three pairs of cases before using them to formulate a novel proof by contradiction. This method is more economical than using more advanced techniques to prove the desired result that the original Diophantine equation has no solutions for
. Despite several attempts to obtain readers spanning the course of almost a year, the author could not find anyone who was prepared to properly read and check this proof of Fermat’s Last Theorem. As the author has not been aware of any possible mistakes in the proof before publication, a decision has been made to publish this paper in case it may be noticed. Only in this instance can the proof be properly checked. It is mentioned here that the author has established Fermat’s Last Theorem in a completely different manner in [9]. In this paper, the author has attempted to supply another elementary proof which is intended to be of a more conventional nature than the proof in [9].