Định lý lớn Fermat (phát biểu tổng quát)

Mọi số nguyên $n>2$ chia hết cho một số nguyên tố lẻ $p\ge3$ (viết $n=pk$) hoặc là lũy thừa của 2 với $n\ge4$, do đó chia hết cho 4 ($n=4k$). Một nghiệm của $x^n+y^n=z^n$ sẽ cho, với $X=x^k,Y=y^k,Z=z^k$, nghiệm của $X^p+Y^p=Z^p$ hoặc $X^4+Y^4=Z^4$. Vậy FLT cho mọi $n>2$ suy ra từ trường hợp $n=4$ (đã chứng minh) và mọi số nguyên tố lẻ $p\ge3$.

Euler (1770) mở rộng phép giáng của Fermat để chứng minh $p=3$ sơ cấp. Trong thế kỷ tiếp theo, Germain, Legendre và Kummer chứng minh những lớp số nguyên tố ngày càng lớn — công trình Kummer những năm 1850 giải quyết mọi số nguyên tố "chính quy" — nhưng không phép giáng đơn lẻ nào xử lý mọi số nguyên tố, và số nguyên tố lớn chống lại mọi nỗ lực suốt 140 năm nữa.

Trường hợp $p \ge 5$ được giải quyết năm 1994-95 bởi Andrew Wiles cùng Richard Taylor, dùng ý tưởng ngoài số học sơ cấp. Với nghiệm giả định $a^p+b^p=c^p$, Gerhard Frey (1984) gắn đường cong elliptic $y^2 = x(x-a^p)(x+b^p)$; Kenneth Ribet (1990) chứng minh đường cong này, nếu tồn tại, không thể modular. Wiles sau đó chứng minh mọi đường cong elliptic bán ổn định trên số hữu tỉ đều modular, nên đường cong Frey không thể tồn tại, và không có $a,b,c$ như vậy. Lập luận đầy đủ này — biểu diễn Galois, vành biến dạng, dạng modular — được dựng lại từng bước trong chứng minh đồng hành "Chứng minh tính modular của Wiles bằng phương pháp Taylor-Wiles (1994)" nằm dưới bài toán lớn Định lý lớn Fermat trong thư viện này; nó cần bộ máy chỉ giới thiệu sau này trong chương trình, nên không lặp lại ở đây.