Thế nào là định lí lớn Ferma?

Năm 1839, Lamay chứng minh kết luận đúng với n = 7. Khomol khi bắt đầu nghiên cứu “số lí tưởng” vào năm 1874 đã chứng minh trừ các số 37, 59 và 67 thì với các số nhỏ hơn 100 kết luận của Ferma là chính xác… Cho đến năm 1976, có người dùng máy tính điện tử chứng minh với n < 125.000 thì định lí Ferma hoàn toàn đúng. Những kết quả vừa nêu đã cổ vũ mọi người, nhưng nếu cứ tiếp tục theo đà này thì “định lí lớn Ferma” vĩnh viễn không có cơ hội trở thành một định lí thực thụ bởi vì n là một số tự nhiên vô cùng vô tận.

Nhưng đến những năm cuối thế kỉ XX vấn đề đã có chuyển biến cơ bản để đến hồi kết thúc. Vào tháng 9-1994 nhà toán học Anh Andrew Wiles đã hoàn toàn chứng minh được định lí Ferma và bước sang thế kỉ XXI định lí Ferma đã trở thành một định lí thực thụ. Con đường mà các nhà toán học hiện đại giải quyết bài toán không giống với con đường của bản thân Ferma, Euler và các nhà toán học kiệt xuất tiền bối khác. Toán học hiện đại đã có nhiều phân ngành (lí luận đường elip, lí thuyết mô hình, lí thuyết biểu diễn Canbi v.v..) phát huy được tác dụng tổng hợp và đưa lí thuyết số học đến chỗ cao siêu nhờ những cống hiến xuất sắc của nhiều nhà toán học. Dù có những cống hiến xuất sắc, nhưng do vấn đề tuổi tác nên Wiles không được Hội nghị Toán học Quốc tế năm 1998 tặng giải thưởng Fields, nhưng đã đặc cách để ông báo cáo chuyên đề trong hội nghị lớn. Vào buổi tối hôm đó, nhiều nhà toán học đã đến hội trường sớm hàng giờ đề nghị ông báo cáo.

Định lí lớn Ferma đã có hồi kết cục. Trong quá trình chứng minh định lí lớn Ferma đã phát sinh nhiều tư tưởng toán học và các thành quả toán học mới, đã thúc đẩy toán học phát triển, điều đó khiến ý nghĩa của định lí Ferma vượt ra khỏi khuôn khổ của một định lí.

Từ khoá: Định lí lớn Ferma.