Dinh Ly Lon Fermat Chung Minh -

Ngỡ như chiến thắng đã đến, nhưng quá trình phản biện cho thấy một lỗ hổng nghiêm trọng trong bước chứng minh về "hệ thống Euler" do Wiles sử dụng. Ông không thể sửa nó ngay lập tức.

Một năm nghi ngờ và cô đơn: Nhiều người cho rằng Wiles đã thất bại. Ông định công bố lỗi và bỏ cuộc.

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 phép tính biến đổi đại số (Kolyvagin–Flach) kết hợp với một bổ đề bổ sung.

Tháng 10/1994: Bản thảo hoàn chỉnh được gửi đi. Không phải một bài báo, mà là hai bài báo trên tạp chí Annals of Mathematics (Taylor & Wiles, và Wiles đơn độc) tổng cộng gần 200 trang.

Năm 1995, tạp chí chính thức công bố: Định lý lớn Fermat đã được chứng minh.

Năm 1984, nhà toán học Đức Gerhard Frey đưa ra một ý tưởng chấn động:
Nếu tồn tại một bộ số (a, b, c, n) (với (n>2)) thỏa mãn (a^n + b^n = c^n), thì ông xây dựng một đường cong elliptic đặc biệt: [ y^2 = x(x - a^n)(x + b^n) ] Frey nhận thấy đường cong này có tính chất rất kỳ lạ – nó không thể là modular. Như vậy, nếu giả thuyết Taniyama – Shimura – Weil là đúng (mọi đường cong elliptic đều modular), thì không thể tồn tại nghiệm cho phương trình Fermat.

Nói cách khác:

Giả thuyết modular đúng ⇒ Định lý lớn Fermat đúng.

Leonhard Euler (1707–1783) provided a proof for (n = 3) using complex numbers of the form (a + b\sqrt-3), though his proof had a small gap later fixed.

In 1637, the French lawyer and amateur mathematician Pierre de Fermat scribbled a note in the margin of a textbook. He was looking at Pythagoras' famous equation: dinh ly lon fermat chung minh

$$x^2 + y^2 = z^2$$

We all know this works: $3^2 + 4^2 = 5^2$ (9+16=25). There are infinitely many whole number solutions.

Fermat wondered: What if we change the exponent?

He wrote the following equation:

$$x^n + y^n = z^n$$

He claimed that if the exponent n is greater than 2, there are no positive whole number solutions (x, y, z). For example, $3^3 + 4^3 = 27 + 64 = 91$, which is not a perfect cube ($4^3 = 64$, $5^3 = 125$).

Then, he wrote the most infamous sentence in math history:

"I have discovered a truly marvelous proof of this, which this margin is too narrow to contain."

He died without publishing it. The chase was on. Ngỡ như chiến thắng đã đến, nhưng quá

Note: This paper is for informational purposes. A complete proof of FLT is far beyond a short summary; the above outlines the logical flow and historical context.

Định lý lớn Fermat ( Fermat's Last Theorem ) khẳng định rằng không tồn tại bộ ba số nguyên dương nào thỏa mãn phương trình:

x to the n-th power plus y to the n-th power equals z to the n-th power với mọi số nguyên

. Câu chuyện về định lý này kéo dài hơn 350 năm, từ một ghi chú viết tay cho đến một công trình toán học vĩ đại của thế kỷ 20. 1. Sự khởi nguồn: Ghi chú bên lề cuốn sách Năm 1637, nhà toán học người Pháp Pierre de Fermat khi đang đọc cuốn Arithmetica

của Diophantus đã nảy ra ý tưởng này. Ông viết trên lề cuốn sách: Simon Singh.net

"Tôi đã tìm thấy một chứng minh thực sự kỳ diệu cho điều này, nhưng lề sách quá hẹp để viết ra"

Sau khi ông qua đời, con trai ông đã công bố những ghi chú này vào năm 1670. Trong khi mọi giả thuyết khác của Fermat đều lần lượt được chứng minh, thì định lý này vẫn đứng vững, trở thành "Định lý cuối cùng" của ông. 2. Những nỗ lực suốt 3 thế kỷ

Trong hơn 300 năm, nhiều bộ óc vĩ đại nhất đã cố gắng giải quyết bài toán nhưng chỉ thành công ở những trường hợp riêng lẻ: : Tự chứng minh trường hợp bằng phương pháp "vô hạn xuống" ( infinite descent Leonhard Euler : Chứng minh trường hợp vào năm 1770. Sophie Germain

: Tạo ra bước đột phá vào đầu thế kỷ 19 bằng cách chứng minh cho một lớp các số nguyên tố đặc biệt (số nguyên tố Sophie Germain). Ernst Kummer Giả thuyết modular đúng ⇒ Định lý lớn

: Chứng minh cho phần lớn các số nguyên tố nhỏ (số nguyên tố chính quy) nhưng vấp phải khó khăn với các số nguyên tố bất quy.

3. Bước ngoặt: Mối liên hệ với Đường cong Elliptic Vào những năm 1950, hai nhà toán học Nhật Bản Yutaka Taniyama Goro Shimura

đưa ra giả thuyết rằng mọi đường cong elliptic đều có tính modular ( Modularity Theorem Đến năm 1984, Gerhard Frey

nhận thấy nếu định lý Fermat sai, nó sẽ tạo ra một đường cong elliptic cực kỳ kỳ dị. Năm 1986,

chứng minh được rằng đường cong kỳ dị đó không thể là modular.

Điều này có nghĩa là: Nếu chứng minh được mọi đường cong elliptic đều là modular, thì định lý Fermat phải đúng. 4. Andrew Wiles và 7 năm ẩn mình

Nghe tin về công trình của Ribet, nhà toán học người Anh Andrew Wiles

– người đã đam mê bài toán này từ năm 10 tuổi – quyết định bí mật theo đuổi chứng minh. Simon Singh.net

The phrase "định lý lớn Fermat chứng minh" translates from Vietnamese to "Fermat's Last Theorem proof" (or "Proof of Fermat's Great Theorem").

Here is an overview of the theorem and the history of its proof: