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

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 z*-+L*-+z?+£? = w? chi 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 z* + y* + z‡+f† = (2+ 2+ z?— 12), đặ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 2+? +tzt+£! =(xe+yu+z+ (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 e+yte¢t=u', (2) đối với nó Elkies tìm thấy một tập hợp vô hạn nghiệm nguyên khi ¿ =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ự xzt+ut+z!+ tt = uề. Nếu 2 và chỉ 2 trong số z,g, z,f,+ 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 z' + z* = ø2 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, 2,t, w) = (a?, ab, b’, ab, a‘ + b*). Trong các nghiệm tiếp theo được tìm thấy bởi Fauquembergue, một trong những số z, 1, z,, + là số không, chẳng hạn z = 0: (a, y, 2,t, w) = (ac, be, 0, ab, a’ + ab? +b").

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 = c?: (z,, z,†, tu) = (2a?bc3, 2ab?c3, (a? — b?)c4, 2ab(at + b*), (a°+2a°b+3a'b?+3a7b4 +2ab’ +b°) (a®—2a°b+3a'b? +3a7b'—2ab? +b°)). Ba nghiệm phụ thuộc tham số này cho ta nghiệm không tầm thường, ngoại trtt ab = 0. Phuong trinh x4 +y'4+ 24+ = (z?+?+z?— 1)? 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 ï) Nếu = z?+?+z?+?? thì z??+z2z?-+z?t?2+2z2+?t?+z?1? = 0; vì thế, chỉ có nghiệm tầm thường.

ñ) Nếu = 32+ y?— 2? -—# thi ey? — 222? -y2? = P(e? +y? — 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. ii) Nêu to = z?®+ 2+ z?— f2 thì z2? + z?z? + u2z2 = †2(x+? +? + 23).

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 z? + y?+ 2? £0 thi (x,y, z,t) thod man atyt+et¢ta(?t+y4+27—-P) (4) kha uà chỉ khi (a? +? + z?)(°z? + eg? + ay?) — (a? +? + z? _ Py (5) BS 1222 + z2z2 + vy +2 +? + 22 Chitng minh. Phương trình biểu diễn một mặt trong T3, S={(e:y:2:t)€Pljet+y 444 =(? +yY427-P)} Giả sử £ # 0, ta có thể xét mặt affline bởi tương ứng (#,,z) ©> (œ: :z: 1). Diề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 — (z(m), (m), z(m)) trên mặt Š. Nếu zwz # 0, thì (5) được thể hiện như sau L1 1 (2+9+2)(052+8)E (0ˆ tzể— Điều này dẫn tới bổ đề sau.1: Diện tích của S$ trong không gian affine Chứng mình. Nghiém co ban Fo = (a? : ab: b? : ab) 2.

Nghiệm dau tiên của Pauquembergue Fì = (ae: be:0: ab) trong đó a2 + b2 = c? 8 3. Nghiệm thứ hai của Fauquembergue Fạ = (2a?be3 : 2ab°c2 : (a?—b?)c1 : 2ab(a*+b‡)) trong đó a?+b2 = c? Ap dụng bổ đề trước cho nghiệm thứ hai của Pauquembergue chúng ta suy ra một nghiệm mới cho (4).3 Nếu a2 + b? = c2 oà x = ae(a° — b®)(a* + b#) ụ = be(a? — b°)(a† + b!) z = 2a*b?(a* + b*) t = ab(a? +. Chúng ta sẽ đặt tên nghiệm này là D¡. Vi du, néu (a:b: c) = (4: 3:5) thì (z:: z: £) = (47180 : 35385 : 97056 : 52500) là một nghiệm của (4).

Đường cong Elliptic trên trường Q(m) Định nghĩa 1.4 Giá sử Œ là một đường cong xác định trên trường k. Xét anh xa hitu ti C —y IP!. Tập hợp tất cả các ánh zạ như uậu được ký hiệu bởi K = k(C). Ví dụ, nếu Œ : a2 + b2 = c? xác định trên Q, ta có một đẳng cấu Œ —> PL được cho bởi (œ:b:c) —>m = & (a:b: ¢) = (2m: m?—-1:m? +1).

Day la trudng ma chiing ta sé xem xét. Xét họ đường cong Bạn : z3 = tì + A(m)ai + B(m) với hàm số hữu tỉ A(m), B(m) € 1£. Nếu ta viết lại phương trình dưới dạng thuần nhất, ta tạo được mặt Elliptic dạng e ={((#i: 2a: z4),m) € PỀ x Claja3 = x3 + A(m)aix3 + B(m)z3}. 9 Ta có ánh xạ 7 : e + C duoc định nghĩa bởi ((#i : #a : #3),?m) —> m.

Với m € Q sao cho 4A(m)? + 27B(m)? 4 0, thi em =m Mm) = {(e1 +22: 1) € P*jedey = of + A(m)ei23 + Blm)e} là đường cong Eilliptic #„ trên Q. Ta noi rang mat Elliptic khong ché néu 7 - bất biến 7: -y P! được định nghĩa bởi. 4A(m)? Jám) = T3 n3 + 37Bầm)? là hàm khác hing. Tham s6 hod cia e bởi Ơ, hoặc lát cắt của m, là ánh xạ ø : Ở —> e sao cho hợp thành z o ø : rn —> mm là ánh xạ đồng nhất trên Ở.

Luôn tồn tại nhát cắt tầm thường trên e, cụ thể là ánh xạ Øơg :?m —> Ởự„ = ((0: 1: 0),m). Trong trường hợp tổng quát, họ e(C) tất cả các nhát cắt là một nhóm Abel, trong đó ta định nghĩa øi(m) = (P(m),m) >> (ơi®ø)(m) = (P(m) @Q(m),m). Trong thực tế, chúng ta có một đẳng cấu giữa các nhóm của các điểm # trên K và nhóm các nhát cắt của e trên Q. E(K) > c(C) P(m) = (zi(m) : za(m) : #3(m)) —> [ø : n —> ((i(m) : za(m) : za(m)), m)] Sẽ rất hữu ích nếu xem xét e như một mặt hai chiều, trong đó mỗi nhát cắt ánh xạ đến đường cong một chiều.

Kết quả [5, định lý 6.1, chương 3| khẳng định rằng #(K) ~ e(C) là một nhóm Abel hữu hạn sinh khi e là mặt không chẻ. Giả sử mạ € Q mà Eụ = x~!(m) là đường cong Elliptic trên k = Q "Định lý đặc biệt hoá" của Silverman [5, định lý 11.4, chương 3] khẳng định rằng ánh xạ e(C) — E(k) chuyén cia o : m — (P(m),m) dé diém Py = P(mo) la don Anh đối với mọi mạ € k trừ ra một số hữu hạn. Đặc biệt, nếu ụ là một điểm bậc hữu hạn (vô hạn) trong F(k) với một số mạ € k nào đó thì P(m) phải là một điểm bậc hữu hạn (vô hạn) trong #Z() như một hàm của m. 10 Quay trở lại với điều kiện (a? +? + z?)(w°z? + z2z2 + ay?) — (a? +? 472 _ vy.

Nếu a2 + b2 = e2 khác không thì ta có thể biểu diễn (ø:b: e) = (2m: m?—1:m?+1). Dé gidn tiện, dưới đây ta làm việc qua các biến ø, b,e. Nếu đặt điều kiện (z,) = (œ,b), ta có (c? + 27)(c?z? + ab”) — (2 422 _ Py Chia cho c2 ta có thể xét phương trình sau, +, 43070? +01 , Ti cdc vi du trudc dé Fo, F1, Fạ, Di, ta biết bốn nghiệm của (8) h? = +0°b (7) ’ bˆ b(a* + a?b2 + b† ¬.— am]: (hr, ( 2ab 4a? , (z,h)p, = (se RP) , Nhan xét. Néu ta dat diéu kién (x, y) = (a,b) = (2m, m? — 1) ta dude ((m? +1)? +2?)((m? + 1)?2* + ((2m)(m* —1))*) = ((m* +1)? +27 — BYP Chia cho (m? + 1)?, ta c6 thé xét phuong trinh sau, 8 6 4 2 2 ¡+ „ mẺ+8m”®— 2mˆ`+8m^ˆ+ 1 4 2 9 hi =z rn (se + ((2m)(m* — 1)) (8) Từ những ví dụ trudc dé Fo, Fi, Fš, Dị, ta biết bốn nghiệm (z, h) của (8), khi đặt điều kiện a2? + bˆ = €? và (z,) = (a,b).

Biểu diễn qua tham số rm ta có 11 2m.5 Nghiệm phụ thuộc tham số của phương trình r4 + +ờt + = (x2 + y2 + z2 — 2)? có thể thu được bằng cach tim các điểm trên đường cong elliptic trên trường Q(m).1 và giả thiết a2 + bŸ = c? khác không, 4 22 4 22 xót phương trình (8). Giả sử A = #†°® ro va Bao “Dae +B2) Va 1) sao cho (8) có thể được biểu diễn như: hˆ=z*+4Az?+4B (9) ’ 12 Nếu ta có nghiệm hữu tỷ của (9) thì ta có một nghiệm hữu tỷ của 0Ê = uẺ + œu? + u (10) trong đó œ = —2A và 8= A?— B, bởi 1 1 us 5(2 + 24—h) va v= 52(2? +24 —h). Nguoc lai, gia stt (u,v) A (0,0), mot nghiém hitu ty cha (10) dẫn tới nghiệm hữu tỷ của (9) cho bởi Biệt thức của (10) là ?bˆ(a† + a?b2 + b*)4 2_4 2 4B(A2— p)= “TM ees (0° — 49)8 ( ) 256(a2 + 02)* nó khác không bởi vì có ít nhất một trong các số ø,b khác không. L] Ta sẽ chỉ ra cách để có các nghiệm mới, bằng cách cộng các điểm trên đường cong Eilliptic.

Ký hiệu # là đường cong Elliptic (10) trén Q(m), + là phép cộng các điểm trên đường cong (10), và Ps ký hiệu một điểm trên # đưa đến nghiệm Š của (4). Phép cộng các điểm trên đường cong Elliptic dugc mé ta trong Silverman |6]. Chú ý rằng thay vì viết P + P ta sẽ viết 2P. Các nghiém Fo, F1, Fạ, Dị của (4) được cho bởi các điểm sau đây trên (10): Pr, = 0 (c— b)(a2 — ab + b?)(a2 + ab + b?) 4(c + b)(a2 + b3) , 3 b2(e — b)(a2 — ab + b?)(a2 + ab + b?) da(c + b)(a? + b?) 13 A(a2 + b2) Po = a*b?—ab(a®? — b*) \_ 2 Naa +P)’ 8¢ , (a — b)?(a? — ab +07)? a2b2(a — b)(a2 + ab + b2)? A(a+ b)2(a2 +b?) ` — 2c(œ+ b)3(a2 + b2) ‘ 2 292 Pp = (n9) Pp, = Dinh ly 1.6 Giá sử H duoc cho boi y? = 22+ Ar+B vdi A,B EZ.

Giả sử P có cấp hữu hạn. Nếu ụ # 0 thà ˆ chia hết 4A3 + 37B}.7 Tồn tại oô số điểm trên (10). Giả sử 3_—_ 2 2 2 nai ab+b và L=# +abtb, 2c 2c Khi đó (10) có thể được biểu diễn như sau E:u?=u(u— N?”)(u— L®) (11) Có thể chỉ ra rằng hạng của đường cong Elliptic trên Q(m) ít nhất bằng 1. Để chỉ ra hạng ít nhất bằng một, ta đặc biệt hoá, chẳng hạn tại (a,b) = (3,4).