Fermat discovered and applied the method of infinite descent, which, in particular can be used to prove FLT for n=4. This method can actually be used to prove a stronger statement than FLT for n=4, viz, has no non-trivial integer solutions.

## Who proved Fermat Last theorem?

In 1983, German mathematician Gerd Faltings, now at the Max Planck Institute for Mathematics in Bonn, took a huge leap forward by proving that Fermats statement had, at most, a finite number of solutions, although he could not show that the number should be zero.

## What does it take to prove Fermats Last theorem?

Following the developments related to the Frey curve, and its link to both Fermat and Taniyama, a proof of Fermats Last Theorem would follow from a proof of the Taniyama–Shimura–Weil conjecture—or at least a proof of the conjecture for the kinds of elliptic curves that included Freys equation (known as semistable ...

## What are the 5 parts of a proof?

The most common form of explicit proof in highschool geometry is a two column proof consists of five parts: the given, the proposition, the statement column, the reason column, and the diagram (if one is given).