Abstract:We present the only proof of Pierre Fermat by descente infinie that is known to exist today. As the text of its Latin original requires active mathematical interpretation, it is more a proof sketch than a proper mathematical proof. We discuss descente infinie from the mathematical, logical, historical, linguistic, and refined logic-historical points of view. We provide the required preliminaries from number theory and develop a self-contained proof in a modern form, which nevertheless is intended to follow Fermat's ideas closely. We then annotate an English translation of Fermat's original proof with terms from the modern proof. Including all important facts, we present a concise and self-contained discussion of Fermat's proof sketch, which is easily accessible to laymen in number theory as well as to laymen in the history of mathematics, and which provides new clarification of the Method of Descente Infinie to the experts in these fields. Last but not least, this paper fills a gap regarding the easy accessibility of the subject.

How Fermat found extrema

An Iteration Method with Generally Convergent Property for Cubic Polynomials.

Diophantine Equations and Fermat’s Last Theorem for Multivariate (Skew-)Polynomials

The sum of two cubes problem -- an approach that's classroom friendly

The Cartesian method and Fermat's Last Theorem

A simple proof of the Abel-Ruffini theorem

A short elementary proof of the insolvability of the equation of degree 5

Some more proofs from the Book: solvability and insolvability of equations in radicals

An elementary proof of Fermat's Last Theorem

An effective version of Fekete's theorem

One curious proof of Fermat's little theorem

A Geometric Proof of Fermat’s Little Theorem

General Elementary Direct Proof of Fermat's Last Theorem

Notes On Fermat-Type Difference Equations

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

Fermat’s Little Theorem via Divisibility of Newton’s Binomial

On an elementary proof of the fundamental theorem of algebra

Real roots of real cubics and optimization

Did have Fermat the solution? An elementary proof of his Last Theorem

Quantitative Fundamental Theorem of Algebra

Lots of Proofs of the Fermat Theorem