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
Không có tóm lược sửa đổi
Không có tóm lược sửa đổi
Dòng 103:
== Giả thiết Fermat ==
[[Tập tin:Diophantus-II-8-Fermat.jpg|trái|nhỏ|150px|Bài toán II.8 trong ''Arithmetica'' của Diophantus, với chú giải của Fermat và sau đó trở thành định lý Fermat cuối cùng (ấn bản 1670)]]
Định lý này được gọi là định lý cuối cùng của Fermat hay định lý Lớn Fermat là vì vào năm 1630, Fermat cho rằng không thể tìm được nghiệm (nguyên) cho phương trình bậc ba. Điều lý thú ở đây là phỏng đoán này được Fermat viết lại trên lề cuốn sách ''Arithmetica'' của [[Diophantus]] mà không chứng minh, nhưng có kèm theo dòng chữ: “Tôi có một phương pháp rất hay để chứng minh cho trường hợp tổng quát, nhưng không thể viết ra đây vì lề sách quá hẹp." Việc ông có thực sự chứng minh được định lý đó hay không vẫn còn gây tranh cãi, nhưng vấn đề này đã trở thành một vấn đề nổi tiếng trong toán học. Các nhà toán học hết thế hệ này đến thế hệ khác đã cố sức và đều thất bại trong việc tìm ra lời giải cho định lý này.<ref name=":0">[http://baotintuc.vn/giai-mat/fermat-va-dinh-ly-lon-thach-do-suot-4-the-ky-20140818000138402.htm Fermat và Định lý Lớn thách đố suốt 4 thế kỷ]</ref>
 
Với những dòng viết tay đó, nhà toán học người Pháp Pierre de Fermat đã chính thức buông lời thách đố đối với thế hệ các nhà toán học sau ông. Nhiều nhà toán học đã dành cả cuộc đời để cố chứng minh định lý phát biểu nghe có vẻ hết sức đơn giản này. 
Dòng 110:
 
== Lịch sử chứng minh định lý lớn Fermat ==
Cho tới đầu [[thế kỷ 20]] các nhà toán học chỉ chứng minh định lý này là đúng với ''n''=3, 4, 5, 7 và các bội số của nó. Nhà toán học người Đức [[Ernst Kummer]] đã chứng minh định lý này là đúng với mọi [[số nguyên tố]] tới 100 (trừ 3 [[Số nguyên tố phi chính quy]] là [[37 (số)|37]], [[59 (số)|59]], [[67 (số)|67]]).<ref name=":0" />
 
Nhà toán học vĩ đại người Thụy Sĩ Leonhard Euler (1707 – 1783) đã chứng minh định lý cho trường hợp n=3 và n=4.
Dòng 127:
 
== Quá trình giải của Andrew Wiles ==
Trong lịch sử công cuộc tìm lời giải cho "Định lý cuối cùng của Fermat" có người phải tự tử và có những người tự lừa chính mình. Cuối cùng sau gần 4 thế kỷ, nhà toán học người Anh, Andrew Wiles cũng công bố lời giải độc nhất vô nhị vào mùa hè năm 1993 và bản chỉnh sửa cuối cùng vào năm 1995, với lời giải dài 200 trang.<ref name=":0" />
*Tháng 5 năm [[1993]], Wiles khoe với vợ của mình là đã giải thành công.
*Tháng 6 năm 1993, "Elliptic Curves and Modular Forms", Wiles lần đầu tiên công bố là ông đã giải được Định lý lớn Fermat.