Phát biểu bởi Pierre de Fermat vào năm 1637, định lý khẳng định: Không tồn tại bộ ba số nguyên dương thỏa mãn phương trình:
Trước khi có lời giải tổng quát, nhiều nhà toán học đã chứng minh thành công cho từng giá trị cụ thể của : dinh ly lon fermat chung minh
Từ giả thuyết này, ông xây dựng một đường cong elliptic (đường cong Frey): $$y^2 = x(x - a^l)(x + b^l)$$ Phát biểu bởi Pierre de Fermat vào năm
, phương trình có vô số nghiệm (bộ ba số Pythagore như 3, 4, 5). dinh ly lon fermat chung minh