"Tôi đã tìm ra một chứng minh thực sự kỳ diệu cho mệnh đề này, nhưng lề sách quá hẹp để chứa nó."
Mâu thuẫn logic: Wiles đã chứng minh thành công một phần quan trọng của giả thuyết Taniyama-Shimura (dành cho các đường cong elliptic bán ổn định). Điều này dẫn tới kết luận: đường cong Frey không thể tồn tại, do đó phương trình Fermat không có nghiệm nguyên dương. 3. Tóm tắt các bước chứng minh trong bài báo dinh ly lon fermat chung minh
Để dễ hiểu, cốt lõi chứng minh của Wiles – Taylor gồm các bước: Định Lý Lớn Fermat: Hành Trình 358 Năm
Định lý phát biểu rằng không tồn tại bộ ba số nguyên dương thỏa mãn phương trình: Tóm tắt các bước chứng minh trong bài báo 5
n = 4: 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.
Vào thập niên 1980, Gerhard Frey đã đưa ra một ý tưởng đột phá. Ông giả sử rằng Định lý lớn Fermat là sai. Nghĩa là tồn tại các số $a, b, c$ và số nguyên tố $l$ sao cho $a^l + b^l = c^l$.
Tuy nhiên, bi kịch xảy ra khi hội đồng thẩm định phát hiện một lỗi logic nghiêm trọng trong chứng minh của ông. Wiles đứng trước nguy cơ sụp đổ hoàn toàn. Ông dành thêm một năm ròng rã trong căng thẳng tột độ để sửa lỗi. Cuối cùng, vào tháng 9 năm 1994, với sự giúp đỡ của học trò Richard Taylor, một khoảnh khắc "Eureka" đã đến. Sai lầm được khắc phục bằng chính những kỹ thuật mà ông từng định từ bỏ. 6. Ý Nghĩa Của Việc Chứng Minh