^{n}+ b

^{n}= c

^{n}, (1)

he asserted that there are no integer solutions if n is greater than 2. In the Pythagorean form,

^{2}+ b

^{2}= c

^{2}, (2)

there are an infinite number of integer solutions. But for a^{3} + b^{3} = c^{3}, or a^{4} + b^{4} = c^{4}, … , Fermat claimed nointeger solutions. This became known as Fermat’s last theorem.

Unfortunately, practically all of Fermat’s work appeared in the margins of books he was studying, or in the margins of letters to mathematical colleagues. For a^{n} + b^{n} = c^{n}, n > 2, he added that he had discovered “a marvelous proof that would not fit in the margin.”

What appeared to be an unusually simple theorem baffled the most famous mathematicians for some 350 years. Finally, in 1997, Fermat’s last theorem was “officially” solved by Andrew Wiles of Princeton University with the help of his associates, Kenneth Ribet in particular. They devised a proof of extraordinary complexity employing hundreds of pages of the most esoteric mathematics of modern-day number theory. Because the knowledge of mathematics needed to develop this proof could not have been known in Fermat’s time, it leaves Fermat’s enigma unresolved. Naturally, any proof that Fermat had would of necessity be based on 17^{th}-century mathematics.

But a relatively simple algebraic proof of Eq. (1) was developed by Roger Gilmont, and that is the reason for the present essay. Gilmont failed to achieve publication in mathematical journals, all of whose editors consider the work “unsuitable.” Gilmont is a thermodynamicist, and I attribute his failure to get published to the fact that he doesn’t write in a language and style to which mathematicians are accustomed. Also, only a big-shot mathematician can solve Fermat’s last theorem.

Gilmont has finally published his proof in a booklet: “Fermat’s Enigma Resolved: An Algebraic Proof of His Last Theorem,” Dorrance Publishing, 2005, 1-800-788-7654, www.dorrancepublishing.com.

Gilmont’s proof is based on two steps. First, use a different form instead of Eq. (1):

^{n/2})

^{2}+ (b

^{n/2})

^{2}= (c

^{n/2})

^{2}, (3)

which is obviously a form of the Pythagorean equation with

^{n/2}, y = b

^{n/2}, z = c

^{n/2}. (4)

The second step is based on the rules governing odd and even integers. If O is odd and E is even, for example,

and so forth. Now let

where m is an integer. Substituting into x^{2} + y^{2} = z^{2}, we get

^{2}-1]. (7)

Next, examine all possible cases in which y is an integer and x is odd [and, from Eq. (7), m has to be odd]. That is followed by all possible cases in which y is an integer and x is even [and, from Eq. (7), m has to be even]. The complete proof also involves rational fractions. The work is lengthy but not tedious.

For there to be a solution to Fermat’s equation, then, x^{2} = a^{n}, y^{2} = b^{n}, and z^{2} = c^{n }must all be of perfect degree n. However, Gilmont shows that if x^{2} is of perfect degree n, then in all possible integer solutions of x^{2} + y^{2} = z^{2}, y^{2} and z^{2} cannot be of perfect degree n. That is, if a is an integer, then b and c cannot be integers; therefore, there is no solution to Fermat’s equation.

This relatively simple algebraic proof employs mathematics known in Fermat’s time. Although we cannot, of course, prove it, there can be little doubt that Pierre de Fermat used Roger Gilmont’s method. The fact that Gilmont’s proof has not been accepted by mathematics journals is inexplicable.