Dinh Ly Lon Fermat Chung Minh !full!
Nghe có vẻ xa lạ, nhưng năm 1984, nhà toán học Gerhard Frey có một ý tưởng chớp nhoáng: Nếu phương trình Fermat (a^p + b^p = c^p) có nghiệm với (p>2), ông xây dựng một đường cong elliptic kỳ lạ: [ y^2 = x(x - a^p)(x + b^p) ] (ngày nay gọi là đường cong Frey). Frey lập luận rằng đường cong này là modular, điều này trái ngược với phỏng đoán Taniyama-Shimura. Nghĩa là: Nếu Taniyama-Shimura đúng, thì định lý Fermat đúng!
: Chính Fermat đã để lại chứng minh cho trường hợp này. n = 3 : Leonhard Euler chứng minh năm 1770.
Năm 1637, Pierre de Fermat – một luật sư người Pháp với niềm đam mê toán học mãnh liệt – đã đọc cuốn của Diophantus (một công trình nền tảng về lý thuyết số). Khi xem xét một bài toán liên quan đến phương trình bậc hai Pythagore, Fermat đã nảy ra một ý tưởng và viết nguệch ngoạc lên lề sách bằng tiếng Latinh: dinh ly lon fermat chung minh
Toàn văn chứng minh dài hơn 140 trang trên tạp chí Annals of Mathematics . 4. Những lưu ý quan trọng cho người tìm hiểu ĐỊNH LÝ LỚN FERMAT - TOÁN HỌC CHO MỌI NGƯỜI
Nhưng đến tháng 9/1994, trong cơn tuyệt vọng, Wiles nảy ra ý tưởng kết hợp kỹ thuật cũ của mình với một phương pháp mới từ học trò cũ Richard Taylor. Họ nhận ra rằng thay vì dùng hệ thống Euler, có thể dùng kết hợp với một bổ đề bổ sung. Nghe có vẻ xa lạ, nhưng năm 1984,
của Diophantus đã nảy ra ý tưởng này. Ông viết trên lề cuốn sách: Simon Singh.net
Dưới đây là hành trình chi tiết từ lời thách thức bên lề trang sách của một luật sư người Pháp cho đến bài chứng minh lịch sử dài hàng trăm trang của Andrew Wiles. 1. Nguồn Gốc Lời Thách Thức Của Pierre de Fermat : Chính Fermat đã để lại chứng minh
Adrien-Marie Legendre và Peter Gustav Lejeune Dirichlet chứng minh cho vào năm 1825. Sau đó, Gabriel Lamé chứng minh cho vào năm 1839.
3. Tài liệu tóm tắt và giải thích (Dành cho người nghiên cứu)
Vào năm 1993, nhà toán học người Anh , khi đó đang làm việc tại Đại học Princeton, đã công bố lời giải cho định lý lớn Fermat sau gần 8 năm bí mật nghiên cứu. Các Bước Chứng Minh Chính Wiles không chứng minh trực tiếp phương trình