“Tôi muốn hỏi câu hỏi thứ hai này bằng một cách khác. Nói cho cùng, làm sao chúng ta có thể may mắn tới mức tìm ra một cách chứng minh? Nhà bác học Đức Karl Gauss tổng kết thái độ của nhiều nhà toán học chuyên nghiệp trước-1985 khi vào năm 1816 ông đã viết: ‘Tôi thú nhận rằng FLT, như một định đề (proposition) cô lập, không thu hút tôi cho lắm, vì tôi có thể dễ dàng đưa ra vô số các định đề như vậy, mà chúng không thể đuợc chứng minh hay bị bác bỏ.’ Dù sao chúng ta cũng đã gặp may và xoay sở để cứu FLT khỏi cảnh cô lập của nó bằng cách liên hệ với vài nhánh quan trọng của toán học hiện đại, đặc biệt là các dạng theory of modular. Có thật là chỉ nhờ may mắn? Có bao nhiêu trong số ‘vô số địnhđề’ của Gauss cũng có thể được chuyển đổi đầy ma thuật và tạo khả năng khai thác những công cụ mạnh mẽ của toán học hiện đại? FLT chỉ mới là khởi đầu. Vẫn còn nhiều cuộc thám hiểm hấp dẫn phía trước chúng ta.
Và Fernando Q. Gouvêa, trưởng khoa toán và khoa học máy tính tại Colby College, cho thêm thông tin: “Chứng minh đầy đủ FLT bao gồm trong 2 bài báo, một bởi Andrew Wiles và một được viết chung bởi Wiles và Richard Taylor, tạo nên toàn bộ nội dung số tháng 5/1995 của tờ Annals of Mathematics (*), một tạp chí xuất bản tại Princeton University. Việc xuất bản tạp chí dĩ nhiên ngụ ý là những người xét duyệt đã công nhận rằng bài báo là đúng.
“Vào mùa hè 1995, đã có một hội nghị lớn tổ chức tại Boston University để đi sâu vào chi tiết của bài chứng minh. Các chuyên gia trong mỗi lãnh vực liên quan đã có bài phát biểu giải thích nền tảng và nội dung công trình của Wiles và Taylor. Sau khi khảo sát bài chứng minh quá kỹ lưỡng đến như vậy, cộng đồng toán học cảm thấy thoải mái khi công nhận rằng nó đúng.
“Câu hỏi thứ hai khó trả lời hơn nhiều. Dĩ nhiên, rất có thể nguyên nhân cần một thời gian dài để chứng minh định lý là chúng ta không đủ thông minh! Nhưng xem ra không phải vậy khi ta thấy biết bao nhiêu nhà toán học lỗi lạc đã suy nghĩ về nó qua nhiều thế kỷ. Vậy thì tại sao bài chứng minh lại khó như vậy?
“Thứ nhất FLT là một phát biểu rất tổng quát: ứng với không số mũ n>2 nào làm cho phương trình Fermat có lời giải. Dễ dàng hơn nhiều khi cố gắng giải bài toán ứng với một số mũ cụ thể. Thí dụ, trong một lá thơ, Ferma đã giải thích làm sao để chứng minh với n=4; Euler vào thế kỷ 18 đã có thể đưa ra cách chứng minh cho trường hợp n=3, và vân vân. Thực sự, ngay trước công trình của Wiles, các nhà toán học đã chỉ ra rằng không có lời giải cho định lý đối với các số lên tới n=4,000,000 hay cỡ đó. Xem ra đó là rất nhiều số, nhưng tất nhiên, nó chưa hề thậm chí làm xây xát bề mặt của điều đoan quyết nói về tất cả số mũ.
“Vấn đề khác là đoan quyết của Fermat luôn luôn có vẻ như, bên lề (**). Thật khó khăn khi nối kết FLT với các phần khác của toán học, điều đó có nghĩa là các ý tưởng toán học đầy sức mạnh có thể không nhất thiết áp dụng được. Sự thật là, nếu có ai nhìn vào lịch sử của định lý sẽ thấy rằng những bước tiến lớn nhất khi nghiên cứu hướng về một cách chứng minh xuất hiện khi vài liên hệ với các lãnh vực toán khác được tìm thấy. Thí dụ, công trình của nhà toán học Ba lan Ernst Eduard Kummers vào giữa thế kỷ 19 xuất hiện từ sự liên hệ FLT với các theory of cyclotomic fields. Và Wiles không phải là ngoại lệ: chứng minh của ông phát triển từ công trình của Frey, Serre và Ribet liên kết phát biểu của Fermat với theory of elliptic curves. Một khi mối liên hệ đã được thiết lập, và người ta biết rằng chứng minh được Modularity Conjecture cho các đường cong elliptic sẽ dẫn tới cách chứng minh FLT, là có lý do để hy vọng. Công trình của Wiles cho thấy niềm hy vọng đó đã được xác nhận.
Niên biểu sơ lược về quá trình chứng minh định lý Fermat cuối cùng (FLT):
- Tháng 5/1993, “crucial breakthrough”, Wiles khoe với phu nhân là đã giải được rồi.
- Sau đó (có lẽ khoảng tháng 6/1993), có một hội nghị tại Cambridge quê ông. Trong bài báo cáo “Elliptic Curves and Modular Forms,” Wiles lần đầu tiên công bố là ông đã giải được FLT.
- Tháng 7-8/1993, Nick Katz (đồng nghiệp) trao đổi email với Wiles về những điểm chưa hiểu rõ, trong đó có 1 sai lầm căn bản.
- Tháng 9/1993, Wiles nhận ra chỗ sai và cố gắng sửa. Sinh nhật phu nhân ngày 6/10, bà nói chỉ cần quà sinh nhật là một chứng minh đúng. Wiles cố hết sức nhưng không làm được.
- Tháng 11/1993, ông gởi email công bố là có trục trặc trong phần đó của chứng minh.
- Sau nhiều tháng thất bại, Wiles sắp chịu thua. Trong tuyệt vọng, ông yêu cầu giúp đỡ. Richard Taylor, sinh viên cũ, tới Princeton.
- Ba tháng đầu 1994, ông cùng Taylor tìm mọi cách sửa chữa vấn đề nhưng vô hiệu.
- Tháng 9/1994, trở ngược lại nghiên cứu một vấn đề căn bản mà chứng minh được dựa trên đó
- 19/9/1994 phát hiện cách sửa chữa chỗ trục trặc đơn giản và đẹp dựa trên một cố gắng chứng minh đã làm 3 năm trước. Sau khi coi tới coi lui, ông mừng rỡ nói với phu nhân là đã làm được, thoạt tiên bà không hiểu ông nói về chuyện gì.
- Tháng 5/1995 đăng lời giải trên Annals of Mathematics (Princeton University).
- Tháng 8/1995 hội thảo ở Boston University, giới toán học công nhận chứng minh là đúng.
No comments:
Post a Comment