Nghiên Cứu Về Phương Trình Fermat và Giả Thuyết Euler

Tài liệu nghiên cứu Luận văn phương trình fermat và giả thuyết euler, tổng hợp lý thuyết và thực hành, cung cấp kiến thức chuyên sâu về .

• Tác giả: Mai Thị Vân
• Người hướng dẫn: GS. Hà Huy Khoái
• Trường học: Đại học Thái Nguyên
• Chuyên ngành: Phương pháp toán sơ cấp
• Đề tài: Nghiên Cứu Về Phương Trình Fermat và Giả Thuyết Euler
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2017
• Địa điểm: Thái Nguyên

Mục lục chi tiết

• LỜI CẢM ƠN
• BẢNG KÝ HIỆU
• MỞ ĐẦU
• 1. CHƯƠNG 1: BÀI TOÁN FERMAT VÀ GIẢ THUYẾT EULER
• 1.1. Những trường hợp đặc biệt của bài toán Fermat
• 1.2. Giả thuyết Euler
• 2. CHƯƠNG 2: SỰ TỒN TẠI NGHIỆM CỦA PHƯƠNG TRÌNH EULER
• 2.1. Elkies và Giả thuyết Euler
• 2.2. Khoảng trống giữa tổng các căn bậc hai
• KẾT LUẬN
• TÀI LIỆU THAM KHẢO CHÍNH

Tóm tắt

I. Giới Thiệu Định Lý Lớn Fermat Lịch Sử và Ý Nghĩa

Định lý lớn Fermat là một câu chuyện độc đáo trong lịch sử toán học, bắt nguồn từ định lý Pythagore. Fermat phát biểu rằng phương trình a^n + b^n = c^n không có nghiệm nguyên dương khi n lớn hơn 2. Bài toán này đã thách thức các nhà toán học trong hàng trăm năm. Định lý Fermat không chỉ là một bài toán số học mà còn là nguồn cảm hứng cho sự phát triển của nhiều lĩnh vực toán học khác, bao gồm số học đại số và lý thuyết số. Việc chứng minh định lý này đã dẫn đến nhiều khám phá quan trọng trong toán học. Theo tài liệu gốc, "Bài toán Fermat là câu chuyện độc nhất vô nhị trong lịch sử toán học thế giới, khởi nguồn từ cổ đại với nhà toán học Pythagore".

1.1. Nguồn gốc Định Lý Fermat từ Định lý Pythagore

Định lý Pythagore là nền tảng cho sự phát triển của Định lý lớn Fermat. Nếu như định lý Pythagore khẳng định x^2 + y^2 = z^2 có vô số nghiệm nguyên, thì Fermat đã chỉ ra rằng điều này không đúng với lũy thừa bậc cao hơn 2. Sự tương phản này đã khơi gợi sự tò mò và thách thức các nhà toán học tìm kiếm lời giải đáp. Định lý Fermat đã làm thay đổi cách nhìn nhận về các phương trình Diophantine và mở ra một chương mới trong lý thuyết số. Bài toán này cũng là tiền đề để nghiên cứu các đường cong elliptic.

1.2. Tầm quan trọng của Định Lý Fermat trong Toán Học Hiện Đại

Định lý Fermat không chỉ đơn thuần là một bài toán số học, nó còn đóng vai trò quan trọng trong sự phát triển của nhiều lĩnh vực toán học khác. Việc chứng minh định lý này đã đòi hỏi sự ra đời của các công cụ và kỹ thuật mới trong số học đại số, lý thuyết số, và hình học đại số. Các khái niệm như modular forms và elliptic curves đã trở nên quan trọng trong việc chứng minh định lý này. Andrew Wiles, người đã chứng minh thành công Định lý Fermat, đã sử dụng những công cụ toán học phức tạp để giải quyết bài toán này.

II. Giả Thuyết Euler Về Tổng Lũy Thừa Tổng Quan và Thách Thức

Giả thuyết Euler là một mở rộng của Định lý lớn Fermat, liên quan đến tổng của các lũy thừa. Euler cho rằng phương trình a^n + b^n + c^n + ... = d^n không có nghiệm nguyên dương nếu số lượng số hạng ở vế trái nhỏ hơn n. Tuy nhiên, giả thuyết này đã bị bác bỏ bởi Elkies, người đã tìm ra phản ví dụ cho trường hợp n = 4. Công trình của Elkies đã mở ra một hướng nghiên cứu mới, liên kết việc xét nghiệm của phương trình với việc nghiên cứu các đường cong Elliptic.

2.1. Phát Biểu Chi Tiết về Giả Thuyết Euler

Giả thuyết Euler mở rộng Định lý Fermat bằng cách xét tổng của nhiều lũy thừa. Cụ thể, giả thuyết này nói rằng, nếu có k số nguyên dương mà tổng lũy thừa bậc n của chúng bằng lũy thừa bậc n của một số nguyên dương khác, thì k phải lớn hơn hoặc bằng n. Ví dụ, phương trình a^4 + b^4 + c^4 = d^4 không có nghiệm nguyên dương, tuy nhiên, Elkies đã tìm ra một phản ví dụ, chứng minh rằng giả thuyết Euler là sai. Việc tìm ra phản ví dụ này đã gây chấn động trong giới toán học.

2.2. Phản Ví Dụ Của Elkies Cho Giả Thuyết Euler n 4

Công trình của Elkies đã bác bỏ Giả thuyết Euler bằng cách tìm ra một phản ví dụ cho trường hợp n = 4. Elkies đã chứng minh rằng tồn tại các số nguyên a, b, c, d thỏa mãn phương trình a^4 + b^4 + c^4 = d^4. Phản ví dụ này đã chứng minh rằng Giả thuyết Euler không đúng trong mọi trường hợp. Việc tìm ra phản ví dụ này đã mở ra một hướng nghiên cứu mới, liên kết việc xét nghiệm của phương trình với việc nghiên cứu các đường cong elliptic.

III. Chứng Minh Định Lý Fermat Phương Pháp Wiles Đường Cong Elliptic

Việc chứng minh Định lý lớn Fermat là một thành tựu lớn trong toán học. Andrew Wiles đã sử dụng các công cụ toán học phức tạp, bao gồm modular forms và elliptic curves, để chứng minh định lý này. Chứng minh của Wiles đã kết nối hai lĩnh vực toán học tưởng chừng như không liên quan, đó là lý thuyết số và hình học đại số. Chứng minh này đã củng cố vai trò của elliptic curves trong số học.

3.1. Vai Trò Của Đường Cong Elliptic trong Chứng Minh Định Lý Fermat

Đường cong elliptic đóng vai trò then chốt trong chứng minh của Andrew Wiles. Wiles đã chứng minh rằng mọi đường cong elliptic đều là modular, và điều này đã dẫn đến việc chứng minh Định lý Fermat. Mối liên hệ giữa elliptic curves và modular forms là một khám phá quan trọng trong lý thuyết số. Chứng minh của Wiles đã mở ra một kỷ nguyên mới trong việc nghiên cứu các bài toán số học.

3.2. Modular Forms và Mối Liên Hệ Với Định Lý Fermat

Modular forms là một loại hàm toán học có tính đối xứng cao, và chúng có mối liên hệ mật thiết với elliptic curves. Wiles đã chứng minh rằng mọi đường cong elliptic đều tương ứng với một modular form, và điều này đã cho phép ông sử dụng các công cụ của lý thuyết modular forms để nghiên cứu elliptic curves. Sự kết hợp giữa modular forms và elliptic curves là chìa khóa để chứng minh Định lý Fermat.

IV. Phương Trình Diophantine Cách Tiếp Cận và Ứng Dụng Thực Tế

Các phương trình Diophantine là các phương trình đại số mà nghiệm là các số nguyên. Định lý Fermat và Giả thuyết Euler đều liên quan đến việc giải các phương trình Diophantine đặc biệt. Việc nghiên cứu các phương trình Diophantine có nhiều ứng dụng trong các lĩnh vực khác nhau, bao gồm mật mã học và khoa học máy tính.

4.1. Định Nghĩa và Ví Dụ Về Phương Trình Diophantine

Phương trình Diophantine là một phương trình mà ta tìm kiếm các nghiệm nguyên. Ví dụ, phương trình ax + by = c là một phương trình Diophantine tuyến tính. Định lý Fermat và Giả thuyết Euler là các ví dụ về các phương trình Diophantine bậc cao. Việc giải các phương trình Diophantine có thể rất khó khăn, và đòi hỏi các kỹ thuật toán học phức tạp.

4.2. Ứng Dụng Của Phương Trình Diophantine trong Mật Mã Học

Các phương trình Diophantine có nhiều ứng dụng trong mật mã học. Ví dụ, các thuật toán mã hóa dựa trên các đường cong elliptic sử dụng các phương trình Diophantine để tạo ra các khóa mã. Việc giải các phương trình Diophantine là một vấn đề quan trọng trong việc đảm bảo an ninh của các hệ thống mã hóa. Lý thuyết số đóng vai trò quan trọng trong việc phát triển các thuật toán mã hóa an toàn.

V. Thất Bại Của Giả Thuyết Euler Nguyên Nhân và Bài Học Rút Ra

Sự thất bại của Giả thuyết Euler cho thấy rằng các dự đoán trong toán học có thể sai lầm, ngay cả khi chúng có vẻ hợp lý. Việc tìm ra phản ví dụ cho Giả thuyết Euler đã giúp các nhà toán học hiểu rõ hơn về cấu trúc của các phương trình Diophantine và mối liên hệ giữa chúng. Từ thất bại của Giả thuyết Euler, ta rút ra bài học rằng cần phải cẩn trọng khi đưa ra các kết luận tổng quát trong toán học.

5.1. Các Yếu Tố Dẫn Đến Thất Bại của Giả Thuyết Euler

Một trong những yếu tố dẫn đến thất bại của Giả thuyết Euler là sự phức tạp của các phương trình Diophantine. Mặc dù giả thuyết này có vẻ đơn giản, nhưng việc tìm ra nghiệm của các phương trình liên quan đến nó là rất khó khăn. Elkies đã sử dụng các kỹ thuật toán học phức tạp để tìm ra phản ví dụ cho Giả thuyết Euler.

5.2. Bài Học Rút Ra Từ Sự Thất Bại Của Giả Thuyết Euler

Từ sự thất bại của Giả thuyết Euler, ta rút ra bài học rằng cần phải cẩn trọng khi đưa ra các kết luận tổng quát trong toán học. Các dự đoán có thể sai lầm, ngay cả khi chúng có vẻ hợp lý. Việc kiểm tra và chứng minh cẩn thận là rất quan trọng trong toán học. Sự thất bại của Giả thuyết Euler đã thúc đẩy các nhà toán học nghiên cứu sâu hơn về cấu trúc của các phương trình Diophantine.

VI. Tương Lai Nghiên Cứu Phương Trình Fermat Hướng Đi Mới Thách Thức

Mặc dù Định lý Fermat đã được chứng minh, nhưng việc nghiên cứu các phương trình Diophantine liên quan đến Định lý Fermat vẫn tiếp tục. Các nhà toán học đang tìm kiếm các hướng đi mới để giải quyết các bài toán số học khó khăn, và Định lý Fermat tiếp tục là nguồn cảm hứng cho các nghiên cứu này.

6.1. Các Hướng Nghiên Cứu Mới Về Phương Trình Fermat

Một trong những hướng nghiên cứu mới về Phương trình Fermat là tìm kiếm các chứng minh đơn giản hơn cho định lý này. Các nhà toán học cũng đang nghiên cứu các trường hợp tổng quát hơn của Phương trình Fermat, trong đó số mũ không phải là số nguyên. Việc nghiên cứu các trường hợp tổng quát này có thể dẫn đến những khám phá mới trong lý thuyết số.

6.2. Thách Thức Trong Nghiên Cứu Phương Trình Fermat và Giả Thuyết Euler

Một trong những thách thức lớn trong việc nghiên cứu Phương trình Fermat và Giả thuyết Euler là sự phức tạp của các phương trình Diophantine. Việc tìm ra nghiệm của các phương trình này có thể rất khó khăn, và đòi hỏi các kỹ thuật toán học phức tạp. Các nhà toán học cần phải phát triển các công cụ và kỹ thuật mới để giải quyết các bài toán này.

Nội dung chính

Tổng quan nghiên cứu

Bài toán Fermat và giả thuyết Euler là những vấn đề kinh điển trong toán học số, thu hút sự quan tâm sâu sắc của giới nghiên cứu trong nhiều thế kỷ. Định lý cuối cùng của Fermat phát biểu rằng phương trình $x^n + y^n = z^n$ không có nghiệm nguyên dương với $n \geq 3$, đã được chứng minh hoàn chỉnh vào năm 1994. Tuy nhiên, giả thuyết Euler mở rộng cho rằng tổng của ít nhất $n$ luỹ thừa bậc $n$ không thể là một luỹ thừa bậc $n$, vẫn còn nhiều thách thức và đã bị bác bỏ với các phản ví dụ cụ thể. Luận văn tập trung nghiên cứu lịch sử, các trường hợp đặc biệt của bài toán Fermat, giả thuyết Euler, cùng với công trình của Elkies về phản ví dụ cho giả thuyết Euler, đặc biệt là phương trình bậc 4 với 4 ẩn số.

Mục tiêu nghiên cứu là trình bày chi tiết các kết quả liên quan đến nghiệm nguyên và nghiệm hữu tỷ của các phương trình dạng Fermat và Euler, sử dụng lý thuyết đường cong Elliptic làm công cụ chính. Phạm vi nghiên cứu tập trung vào các phương trình bậc 4, với các ví dụ và chứng minh cụ thể, đồng thời đánh giá khoảng trống giữa tổng các căn bậc hai liên quan đến bài toán tổng các căn bậc hai trong hình học tính toán.

Ý nghĩa của nghiên cứu thể hiện qua việc làm sáng tỏ các cấu trúc toán học phức tạp, cung cấp các phương pháp và thuật toán hiệu quả để tìm kiếm nghiệm, đồng thời góp phần phát triển lý thuyết số và ứng dụng trong các lĩnh vực liên quan như mật mã học và hình học tính toán. Các số liệu cụ thể như nghiệm phản ví dụ của Elkies với các số nguyên lớn, cũng như thuật toán tính toán khoảng trống r(100,7) với giá trị xấp xỉ 1.88 × 10⁻¹⁹, minh chứng cho tính thực tiễn và độ chính xác của nghiên cứu.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn dựa trên hai khung lý thuyết chính: lý thuyết đường cong Elliptic và lý thuyết số Diophantus. Đường cong Elliptic được sử dụng để mô tả và phân tích các nghiệm hữu tỷ của các phương trình bậc 4, đặc biệt là các phương trình dạng $x^4 + y^4 + z^4 + t^4 = (x^2 + y^2 + z^2 - t^2)^2$. Các khái niệm chính bao gồm:

• Đường cong Elliptic trên trường hàm $Q(m)$: Mô hình hóa các nghiệm phụ thuộc tham số của phương trình.
• Nhóm Abel của các điểm trên đường cong Elliptic: Cho phép sử dụng phép cộng điểm để tạo ra vô số nghiệm mới.
• Định lý đặc biệt hoá của Silverman: Đảm bảo tính đơn ánh của ánh xạ từ các nhát cắt trên mặt Elliptic đến các điểm trên đường cong Elliptic đặc biệt.

Ngoài ra, luận văn sử dụng các khái niệm về:

• Phương trình Diophantus bậc 4: Phương trình dạng $A^4 + B^4 + C^4 = D^4$ và các biến thể.
• Giả thuyết Euler: Về sự tồn tại hoặc không tồn tại nghiệm nguyên dương cho các phương trình tổng luỹ thừa.
• Bổ đề và định lý liên quan đến tính chất của các số nguyên và các số chính phương modulo: Giúp xác định điều kiện tồn tại nghiệm hữu tỷ.

Phương pháp nghiên cứu

Nguồn dữ liệu chính là các phương trình toán học, các kết quả chứng minh lý thuyết, và các nghiệm được tìm thấy qua tính toán máy tính. Phương pháp nghiên cứu bao gồm:

• Phân tích lý thuyết: Sử dụng các định lý, bổ đề trong lý thuyết số và hình học đại số để chứng minh các tính chất của phương trình.
• Phương pháp tham số hoá: Áp dụng tham số hoá các đường cong Elliptic và các đường conic để tìm nghiệm hữu tỷ.
• Phép cộng điểm trên đường cong Elliptic: Tạo ra các nghiệm mới từ các nghiệm đã biết.
• Tính toán máy tính: Sử dụng thuật toán tìm kiếm vét cạn và thuật toán heap để tính toán nghiệm và khoảng trống giữa các tổng căn bậc hai với độ chính xác cao.
• Timeline nghiên cứu: Nghiên cứu được thực hiện trong năm 2017, với việc tổng hợp các kết quả từ lịch sử toán học đến các công trình hiện đại như của Elkies và các thuật toán tính toán hiện đại.

Cỡ mẫu nghiên cứu là các tập nghiệm hữu tỷ và nguyên của các phương trình bậc 4, được chọn lọc dựa trên các điều kiện toán học nghiêm ngặt và khả năng tính toán thực tế. Phương pháp phân tích chủ yếu là phân tích đại số và hình học, kết hợp với tính toán số học.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

1. Tồn tại vô số nghiệm phụ thuộc tham số của phương trình bậc 4
   Các nghiệm phụ thuộc tham số của phương trình
   [ x^4 + y^4 + z^4 + t^4 = (x^2 + y^2 + z^2 - t^2)^2 ]
   được xây dựng từ các điểm trên đường cong Elliptic trên trường $Q(m)$. Ví dụ, các nghiệm F0, F1, F2, D1, D2, D3, D4 có bậc từ 4 đến 52 trong tham số, chứng minh sự phong phú của tập nghiệm.

2. Phản ví dụ bác bỏ giả thuyết Euler cho phương trình bậc 4
   Elkies đã tìm ra nghiệm nguyên dương đầu tiên cho phương trình
   [ A^4 + B^4 + C^4 = D^4 ]
   với
   [ (A, B, C, D) = (2682440, 15365639, 18796760, 20615673) ]
   Đây là phản ví dụ quan trọng, bác bỏ giả thuyết Euler trong trường hợp này.

3. Thuật toán tính toán khoảng trống giữa tổng các căn bậc hai
   Thuật toán dựa trên cấu trúc heap được phát triển để tính chính xác giá trị
   [ r(100, 7) \approx 1.88 \times 10^{-19} ]
   với độ phức tạp thời gian $n^{k+o(k)}$ và không gian $n^{\lceil k/2 \rceil + o(k)}$. Đây là kết quả quan trọng trong hình học tính toán và lý thuyết số.

4. Tính trù mật của các điểm hữu tỷ trên mặt
   [ r^4 + s^4 + t^4 = 1 ]
   Các nghiệm hữu tỷ tạo thành tập con trù mật trong tập nghiệm thực, cho thấy sự phân bố dày đặc và đa dạng của các nghiệm.

Thảo luận kết quả

Nguyên nhân của sự tồn tại vô số nghiệm phụ thuộc tham số được giải thích qua cấu trúc nhóm Abel của các điểm trên đường cong Elliptic, cho phép tạo ra các nghiệm mới bằng phép cộng điểm. Kết quả của Elkies mở ra hướng nghiên cứu mới, sử dụng lý thuyết đường cong Elliptic để giải các bài toán Diophantus phức tạp.

So sánh với các nghiên cứu trước, luận văn làm rõ hơn về các trường hợp đặc biệt của bài toán Fermat và giả thuyết Euler, đồng thời cung cấp các phương pháp tham số hoá và thuật toán tính toán hiệu quả hơn. Việc tính toán khoảng trống giữa các tổng căn bậc hai cũng góp phần giải quyết các vấn đề mở trong hình học tính toán, với ứng dụng trong so sánh độ dài đường gấp khúc trên lưới nguyên.

Dữ liệu có thể được trình bày qua các biểu đồ minh họa phân bố nghiệm trên mặt Elliptic, bảng tổng hợp bậc của các nghiệm phụ thuộc tham số, và bảng so sánh các nghiệm phản ví dụ của giả thuyết Euler. Các biểu đồ về độ chính xác và hiệu suất thuật toán tính r(n,k) cũng giúp minh họa hiệu quả của phương pháp.

Đề xuất và khuyến nghị

1. Phát triển thêm các thuật toán tính toán hiệu quả cho nghiệm Diophantus
   Tăng cường sử dụng các cấu trúc dữ liệu như heap và các kỹ thuật tối ưu hóa để mở rộng phạm vi tính toán nghiệm với các tham số lớn hơn, nhằm tìm kiếm các nghiệm nhỏ hơn và đa dạng hơn trong các phương trình bậc cao.

2. Mở rộng nghiên cứu về các đường cong Elliptic và nhóm Abel
   Khuyến khích nghiên cứu sâu hơn về cấu trúc nhóm của các điểm trên đường cong Elliptic, đặc biệt là các điểm có cấp vô hạn, nhằm khai thác tối đa khả năng tạo ra nghiệm mới cho các phương trình Diophantus.

3. Ứng dụng kết quả vào lĩnh vực mật mã học và hình học tính toán
   Sử dụng các nghiệm và thuật toán tìm kiếm nghiệm để phát triển các hệ thống mật mã dựa trên bài toán khó của lý thuyết số, cũng như cải thiện các thuật toán so sánh và tính toán trong hình học tính toán.

4. Tăng cường hợp tác nghiên cứu quốc tế và liên ngành
   Khuyến khích hợp tác giữa các nhà toán học, nhà khoa học máy tính và kỹ sư để phát triển các công cụ tính toán mạnh mẽ, đồng thời mở rộng phạm vi ứng dụng của các kết quả nghiên cứu.

Các giải pháp trên nên được thực hiện trong vòng 3-5 năm tới, với sự phối hợp của các trường đại học, viện nghiên cứu và các tổ chức công nghệ. Chủ thể thực hiện bao gồm các nhóm nghiên cứu toán học số, các trung tâm tính toán hiệu năng cao và các chuyên gia trong lĩnh vực mật mã và hình học tính toán.

Đối tượng nên tham khảo luận văn

1. Nhà nghiên cứu toán học số và đại số
   Luận văn cung cấp các kết quả và phương pháp mới về đường cong Elliptic, phương trình Diophantus và giả thuyết Euler, rất hữu ích cho việc phát triển lý thuyết và ứng dụng.

2. Chuyên gia mật mã học
   Các thuật toán và cấu trúc toán học được trình bày có thể ứng dụng trong thiết kế hệ thống mật mã dựa trên các bài toán khó của lý thuyết số.

3. Nhà khoa học máy tính và kỹ sư phần mềm
   Thuật toán tính toán khoảng trống giữa các tổng căn bậc hai và các kỹ thuật tối ưu hóa có thể áp dụng trong phát triển phần mềm tính toán khoa học và hình học tính toán.

4. Sinh viên và học viên cao học ngành Toán học và Khoa học máy tính
   Luận văn là tài liệu tham khảo quý giá để hiểu sâu về các bài toán cổ điển, phương pháp nghiên cứu hiện đại và ứng dụng thực tiễn trong toán học và công nghệ.

Câu hỏi thường gặp

1. Phương trình Fermat và giả thuyết Euler khác nhau như thế nào?
   Định lý Fermat khẳng định không tồn tại nghiệm nguyên dương cho phương trình $x^n + y^n = z^n$ với $n \geq 3$. Giả thuyết Euler mở rộng rằng tổng của ít nhất $n$ luỹ thừa bậc $n$ không thể là một luỹ thừa bậc $n$, nhưng đã bị phản bác bằng các phản ví dụ.

2. Tại sao đường cong Elliptic lại quan trọng trong nghiên cứu này?
   Đường cong Elliptic cung cấp cấu trúc nhóm cho các điểm nghiệm, cho phép tạo ra vô số nghiệm mới từ các nghiệm đã biết, giúp giải quyết các phương trình Diophantus phức tạp.

3. Phản ví dụ của Elkies có ý nghĩa gì?
   Phản ví dụ của Elkies chứng minh rằng giả thuyết Euler không đúng trong trường hợp tổng ba luỹ thừa bậc 4 bằng một luỹ thừa bậc 4, mở ra hướng nghiên cứu mới trong lý thuyết số.

4. Thuật toán tính r(n,k) được ứng dụng như thế nào?
   Thuật toán giúp tính chính xác khoảng trống nhỏ nhất giữa các tổng căn bậc hai, có ứng dụng trong so sánh độ dài đường gấp khúc và các bài toán hình học tính toán khác.

5. Làm thế nào để mở rộng nghiên cứu này?
   Có thể mở rộng bằng cách phát triển các thuật toán tính toán hiệu quả hơn, nghiên cứu sâu hơn về cấu trúc nhóm trên đường cong Elliptic, và ứng dụng vào các lĩnh vực như mật mã học và hình học tính toán.

Kết luận

• Luận văn đã trình bày chi tiết lịch sử, các trường hợp đặc biệt và các kết quả mới liên quan đến bài toán Fermat và giả thuyết Euler, đặc biệt là các phương trình bậc 4.
• Sử dụng lý thuyết đường cong Elliptic làm công cụ chính để tìm kiếm và phân tích nghiệm hữu tỷ và nghiệm nguyên của các phương trình Diophantus.
• Đã chứng minh sự tồn tại vô số nghiệm phụ thuộc tham số và cung cấp các phản ví dụ quan trọng bác bỏ giả thuyết Euler.
• Phát triển thuật toán tính toán khoảng trống giữa các tổng căn bậc hai với độ chính xác cao, góp phần giải quyết các vấn đề mở trong hình học tính toán.
• Đề xuất các hướng nghiên cứu và ứng dụng trong toán học số, mật mã học và khoa học máy tính, đồng thời kêu gọi hợp tác nghiên cứu liên ngành để phát triển sâu rộng hơn.

Để tiếp tục nghiên cứu, cần tập trung vào phát triển thuật toán, mở rộng lý thuyết đường cong Elliptic và ứng dụng thực tiễn. Mời các nhà nghiên cứu và chuyên gia trong các lĩnh vực liên quan cùng tham gia đóng góp và phát triển các kết quả này.

Trích đoạn nội dung tài liệu

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC MAI THỊ VÂN PHƯƠNG TRÌNH FERMAT VÀ GIẢ THUYẾT EULER LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên - 2017 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC MAI THỊ VÂN PHƯƠNG TRÌNH FERMAT VÀ GIẢ THUYẾT EULER LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Phương pháp toán sơ cấp Mã số: 60.13 NGƯỜI HƯỚNG DẪN KHOA HỌC GS. HÀ HUY KHOÁI Thái Nguyên - 2017 i Mục lục Lời cảm ơn ii Bảng ký hiệu 1 Mở đầu 2 1 Bài toán Fermat và Giả thuyết Euler 4 1.1 Những trường hợp đặc biệt của bài toán Fermat .2 Giả thuyết Euler . 19 2 Sự tồn tại nghiệm của phương trình Euler 25 2.1 Elkies và Giả thuyết Euler .2 Khoảng trống giữa tổng các căn bậc hai . 39 Kết luận 52 Tài liệu tham khảo chính 53 ii Lời cảm ơn Tôi xin bày tỏ lòng biết ơn sâu sắc tới thầy tôi GS. Hà Huy Khoái, người đã trực tiếp hướng dẫn luận văn, đã tận tình chỉ bảo và hướng dẫn tôi tìm ra hướng nghiên cứu, tìm kiếm tài liệu, giải quyết vấn đề. nhờ đó tôi mới có thể hoàn thành luận văn cao học của mình. Tôi xin bày tỏ lòng biết ơn chân thành và sâu sắc nhất tới Thầy và tôi hứa sẽ cố gắng hơn nữa để xứng đáng với công lao của Thầy. Tôi xin chân thành cảm ơn Ban giám hiệu, phòng Đào tạo trường Đại học Khoa học - Đại học Thái Nguyên, đặc biệt các thầy giáo dạy cao học Phương pháp Toán sơ cấp đã quan tâm và giúp đỡ tôi trong suốt thời gian học tập tại trường. Tôi xin cảm ơn quý thầy cô Khoa Toán - Tin đã luôn quan tâm, động viên, trao đổi và đóng góp những ý kiến quý báu trong suốt quá trình học tập, nghiên cứu và hoàn thành luận văn của tôi. Nhân dịp này tôi cũng xin gửi lời cảm ơn chân thành tới gia đình, bạn bè đã luôn động viên, cổ vũ, tạo mọi điều kiện thuận lợi cho tôi trong suốt quá trình học tập. Thái Nguyên, ngày . năm 2017 Tác giả luận văn Mai Thị Vân 1 Bảng ký hiệu R Tập số thực. Z Tập số nguyên. Q Tập số hữu tỉ. K Tập hợp các ánh xạ hữu tỉ. E Đường cong elliptic trên trường hàm K. P(m) Tập hợp các điểm trên E. P3 Không gian ánh xạ ba chiều. P SL2 (Q) Nhóm tuyến tính các ma trận cấp hai hệ số hữu tỉ.  Kết thúc chứng minh. 2 Mở đầu Bài toán Fermat là câu chuyện độc nhất vô nhị trong lịch sử toán học thế giới, khởi nguồn từ cổ đại với nhà toán học Pythagore. Bài toán cuối cùng (sau này giới toán học gọi là Định lý cuối cùng của Fermat, hay Định lý lớn Fermat) có gốc từ định lý Pythagore: "Trong một tam giác vuông, bình phương cạnh huyền bằng tổng bình phương hai cạnh góc vuông". Sau khi chứng minh rằng phương trình x4 + y 4 = z 4 không có nghiệm nguyên không tầm thường, Fermat phát biểu Định lý cuối cùng của Fermat, nói rằng phương trình xn + y n = z n không có nghiệm nguyên không tầm thường với n ≥ 3. Năm 1769, Euler phát biểu giả thuyết tổng quát nói rằng, phương trình tương tự như phương trình Fermat không có nghiệm không tầm thường nếu số bậc lớn hơn hoặc bằng số ẩn. Elkies, nghiên cứu sinh của Đại học Harvard, là người đầu tiên đưa ra phản ví dụ cho giả thuyết Euler với phương trình bậc 4 gồm 4 ẩn. Công trình đó đã mở đầu cho một hướng nghiên cứu mới, gắn liền việc xét nghiệm của phương trình x4 + y 4 + z 4 = u4 (1) với việc nghiên cứu các đường cong Elliptic. Mục đích của luận văn trình bày lịch sử của bài toán Fermat và Giả thuyết Euler, cùng với công trình của Elkies và kết quả liên quan đến nghiệm nguyên của phương trình Euler. 3 Bố cục luận văn gồm phần mở đầu, hai chương trình bày nội dung của luận văn, phần kết luận và danh mục tài liệu tham khảo. Chương 1: "Bài toán Fermat và Giả thuyết Euler" trình bày lịch sử chứng minh một số trường hợp của Định lý Fermat, kết quả của Euler và Giả thuyết Euler. Chương 2: "Sự tồn tại nghiệm của phương trình Euler" trình bày kết quả của Elkies và kết quả liên quan đến nghiệm nguyên của phương trình kiểu Fermat bằng cách đánh giá khoảng trống giữa tổng các căn bậc hai. 4 Chương 1 Bài toán Fermat và Giả thuyết Euler Chương này trình bày lịch sử chứng minh một số trường hợp của Định lý Fermat, kết quả của Euler và Giả thuyết Euler.1 Những trường hợp đặc biệt của bài toán Fermat Người ta đã chứng minh rằng, phương trình x4 +y 4 +z 4 +t4 = w2 chỉ có ba nghiệm phụ thuộc tham số. Trong phần này, chúng tôi trình bày một số kết quả về phương trình x4 + y 4 + z 4 + t4 = (x2 + y 2 + z 2 − t2 )2 , đặc biệt chứng tỏ rằng có thể nhận được nhiều vô hạn nghiệm phụ thuộc tham số bằng cách tìm các điểm trên đường cong Elliptic trên trường Q(m). Jacobi và Madden xét phương trình x4 + y 4 + z 4 + t4 = (x + y + z + t)4 (1) Họ đã cho thấy sự tồn tại của vô số các nghiệm nguyên của phương trình (1). Đây là trường hợp đặc biệt của phương trình x4 + y 4 + z 4 + t4 = w4 , (2) đối với nó Elkies tìm thấy một tập hợp vô hạn nghiệm nguyên khi t = 0. Trong phần này, chúng ta xem xét trường hợp đặc biệt của một phương trình tương tự x4 + y 4 + z 4 + t4 = w2 . Nếu 2 và chỉ 2 trong số x, y, z, t, w là số không, thì các phương trình không có nghiệm không tầm thường, vì Fermat đã chứng minh rằng phương trình x4 + y 4 = w2 không có nghiệm nguyên khác không. Nghiệm phụ thuộc tham số đầu tiên được biết là không tầm thường nhưng rất sơ cấp: (x, y, z, t, w) = (a2 , ab, b2 , ab, a4 + b4 ). Trong các nghiệm tiếp theo được tìm thấy bởi Fauquembergue, một trong những số x, y, z, t, w là số không, chẳng hạn z = 0: (x, y, z, t, w) = (ac, bc, 0, ab, a4 + a2 b2 + b4 ). Nghiệm sau đây cũng được tìm thấy bởi Fauquem- bergue, một lần nữa với giả thiết a2 + b2 = c2 : (x, y, z, t, w) = (2a2 bc3 , 2ab2 c3 , (a2 − b2 )c4 , 2ab(a4 + b4 ), (a6 +2a5 b+3a4 b2 +3a2 b4 +2ab5 +b6 )(a6 −2a5 b+3a4 b2 +3a2 b4 −2ab5 +b6 )). Ba nghiệm phụ thuộc tham số này cho ta nghiệm không tầm thường, ngoại trừ ab = 0. Phương trình x4 + y 4 + z 4 + t4 = (x2 + y 2 + z 2 − t2 )2 Trong khi nghiên cứu phương trình (3), ta thấy một số tính chất cần chú ý. Xét ba trường hợp sau i) Nếu w = x2 +y 2 +z 2 +t2 thì x2 y 2 +x2 z 2 +z 2 t2 +y 2 z 2 +y 2 t2 +z 2 t2 = 0; vì thế, chỉ có nghiệm tầm thường. ii) Nếu w = x2 + y 2 − z 2 − t2 thì x2 y 2 − x2 z 2 − y 2 z 2 = t2 (x2 + y 2 − z 2 ). Đây là trường hợp thú vị nhưng phức tạp. Chúng ta sẽ nghiên cứu trong tương lai. iii) Nếu w = x2 + y 2 + z 2 − t2 thì x2 y 2 + x2 z 2 + y 2 z 2 = t2 (x2 + y 2 + z 2 ). Trường hợp này cũng có vẻ thú vị và sẽ được thảo luận dưới đây, bắt đầu bằng một mệnh đề. Đây là một trường hợp mới được nghiên cứu.1 Nếu x2 + y 2 + z 2 6= 0 thì (x, y, z, t) thoả mãn x4 + y 4 + z 4 + t4 = (x2 + y 2 + z 2 − t2 )2 (4) khi và chỉ khi (x2 + y 2 + z 2 )(y 2 z 2 + z 2 x2 + x2 y 2 ) = (x2 + y 2 + z 2 − t2 )2 (5) và 2 y 2 z 2 + z 2 x2 + x2 y 2 t = . Phương trình biểu diễn một mặt trong P3 , 0 S = {(x : y : z : t) ∈ P3 |x4 + y 4 + z 4 + t4 = (x2 + y 2 + z 2 − t2 )2 } Giả sử t 6= 0, ta có thể xét mặt affine bởi tương ứng (x, y, z) ↔ (x : y : z : 1). Điều này sẽ cho ta thấy một mặt thú vị trong không gian ba chiều; xem hình vẽ 1. Câu hỏi đặt ra là. Có bao nhiêu đường cong hữu tỉ m → (x(m), y(m), z(m)) 0 trên mặt S . Nếu xyz 6= 0, thì (5) được thể hiện như sau 1 1 1 (x2 + y 2 + z 2 )( 2 + 2 + 2 ) = (x2 + y 2 + z 2 − t2 )2 x y z Điều này dẫn tới bổ đề sau.  (x : y : z : t) là nghiệm của (4) mà xyzt 6= 0 thì Bổ đề 1.2 Nếu  1 1 1 1 : : : cũng là nghiệm của (4).1: Diện tích của S trong không gian affine Chứng minh. Khi đó x y z t 1 (X 2 : Y 2 : Z 2 : T 2 ) = 2 2 2 (y 2 z 2 + z 2 x2 + x2 y 2 ) xy z và 1 (Y 2 Z 2 + Z 2 X 2 + X 2 Y 2 ) = 2 2 2 (x2 + y 2 + z 2 ) xy z Vì thế Y 2Z 2 + Z 2X 2 + X 2Y 2 x2 + y 2 + z 2 1 2 2 2 = 2 2 2 2 2 2 = 2 = T2 X +Y +Z y z +z x +x y t . Các ví dụ sau đây có thể được kiểm tra là nghiệm của (4) 1. Nghiệm đầu tiên của Fauquembergue F1 = (ac : bc : 0 : ab) trong đó a2 + b2 = c2 8 3. Nghiệm thứ hai của Fauquembergue F2 = (2a2 bc3 : 2ab3 c2 : (a2 −b2 )c4 : 2ab(a4 +b4 )) trong đó a2 +b2 = c2 Áp dụng bổ đề trước cho nghiệm thứ hai của Fauquembergue chúng ta suy ra một nghiệm mới cho (4).