Define n to be any integer such that . Suppose that are positive integers satisfying
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  and . 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  and  by Wiles and Taylor. This was succeeded by the proof of the full modularity theorem (in    ) 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 . A new proof showing that (1) is insoluble for is provided in the subsequent section. The author has previously discovered another simpler proof  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.
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
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  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
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,
It can be deduced from (1) that
By considering Lemma 2 with the fact that , it can be determined that . It can also be deduced from (1) that
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
Because , it is evident that
By considering the last two equations with (5), it can be established that
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
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
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
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
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
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
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
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
It follows from (16), (18) and (21) that
where and . By an application of the statement of the fundamental theorem of arithmetic , 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
It can be deduced from the last two equations that . It follows from (14) and (16) that
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 . 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 .
 Conrad, B., Diamond, F. and Taylor, R. (1999) Modularity of Certain Potentially Barsotti-Tate Galois Representations. Journal of the American Mathematical Society, 12, 521-567.
 Breuil, C., Conrad, B., Diamond, F. and Taylor, R. (2001) On the Modularity of Elliptic Curves over Q: Wild 3-Adic Exercises. Journal of the American Mathematical Society, 14, 843-939.