Khác biệt giữa bản sửa đổi của “Định lý lớn Fermat”

Nội dung được xóa Nội dung được thêm vào
sửa chính tả: thiếu xót
Dòng 96:
Sau cái chết của Fermat năm 1665, con trai của ông, Clément-Samuel Fermat, đã sản xuất một ấn bản mới của cuốn sách (1670) với những nhận xét của cha mình. Mặc dù thời gian đó, nó không hẳn  thực sự là một định lý. Sau này, nó đã được biết đến như Định lý Cuối cùng của Fermat bởi vì nó là tập cuối của các định lý được khẳng định của Fermat mà vẫn không được chứng minh.
 
Không biết liệu Fermat có thực sự tìm ra cách chứng minh hợp lệ cho tất cả các số mũ n không, nhưng dường như nó là không chắc chắn. Chỉ có một bằng chứng liên quan của ông đã tồn tại, cụ thể là cho trường hợp n = 4, như mô tả trong phần Bằng chứng cho số mũ cụ thể. Trong khi Fermat đặt ra các trường hợp n = 4 và n = 3 như là những thách thức đối với các nhà toán học, như Marin Mersenne, Blaise Pascal, và John Wallis. Ông chưa bao giờ đưa ra một trường hợp chung. Hơn nữa, trong ba mươi năm cuối cùng của cuộc đời, Fermat không bao giờ viết về "cách chứng minh kỳ diệu thực sự" của ông về trường hợp chung, và không bao giờ xuất bản nó. Van der Poorten cho thấy rằng mặc dù sự thiếu xótsót của một chứng minh là không đáng kể, sự thiếu thách thức có nghĩa là Fermat nhận ra rằng ông không có cách chứng minh nào cả; Trích dẫn Weil thì người ta cho rằng Fermat phải có một thời gian ngắn lừa dối mình với một ý tưởng không thể cứu vãn được nữa.
 
Các kỹ thuật mà Fermat có thể đã sử dụng trong một "cách chứng minh kỳ diệu" là không được biết đến.