Fermat's Last Theorem (general statement)

Every integer $n>2$ is divisible by an odd prime $p\ge3$ (write $n=pk$) or is a power of 2 with $n\ge4$, hence divisible by 4 ($n=4k$). A solution of $x^n+y^n=z^n$ would give, with $X=x^k,Y=y^k,Z=z^k$, a solution of $X^p+Y^p=Z^p$ or $X^4+Y^4=Z^4$. So FLT for all $n>2$ follows from the cases $n=4$ (proved above) and every odd prime $p\ge3$.

Euler (1770) extended Fermat's descent to prove $p=3$ elementarily. Over the following century, Germain, Legendre and Kummer proved larger and larger classes of primes — Kummer's 1850s work settled every "regular" prime — but no single descent handled every prime, and large primes resisted every attempt for another 140 years.

The case $p \ge 5$ was settled in 1994-95 by Andrew Wiles with Richard Taylor, using ideas outside elementary number theory. Given a hypothetical $a^p+b^p=c^p$, Gerhard Frey (1984) associated the elliptic curve $y^2 = x(x-a^p)(x+b^p)$; Kenneth Ribet (1990) proved this curve, if it existed, could not be modular. Wiles then proved every semistable elliptic curve over the rationals is modular, so the Frey curve cannot exist, and no such $a,b,c$ exist. This full argument — Galois representations, deformation rings, modular forms — is reconstructed step by step in the companion proof "Wiles's modularity proof via the Taylor-Wiles method (1994)" filed under the great problem Fermat's Last Theorem in this library; it needs machinery introduced only later in the curriculum, so it is not repeated here.