I. Tổng quan về Định lý Fermat nhỏ và Định lý Wilson
Định lý Fermat nhỏ và Định lý Wilson là hai định lý nền tảng trong lý thuyết số, đặc biệt trong lĩnh vực đồng dư. Định lý Fermat nhỏ phát biểu rằng nếu p là số nguyên tố và a không chia hết cho p thì a^(p-1) ≡ 1 (mod p). Định lý Wilson khẳng định p là số nguyên tố khi và chỉ khi (p-1)! ≡ -1 (mod p). Cả hai định lý đều có nguồn gốc lịch sử lâu đời. Fermat công bố định lý của mình vào năm 1640, trong khi Wilson được nhà toán học Edward Waring trình bày năm 1770, đặt theo tên học trò John Wilson. Chứng minh đầu tiên của Định lý Fermat nhỏ được Euler thực hiện vào năm 1736. Chứng minh của Định lý Wilson cũng do Euler và Lagrange độc lập tìm ra. Hai định lý này có mối liên hệ mật thiết với nhau. Chúng đóng vai trò quan trọng trong nhiều phân nhánh của toán học. Ứng dụng của chúng trải rộng từ mật mã học đến lý thuyết mã hóa. Luận văn của Bùi Thị Minh Hải (2017) tổng hợp các chứng minh ban đầu và mở rộng của cả hai định lý.
1.1. Lịch sử hình thành và phát triển
Định lý Fermat nhỏ được Pierre de Fermat công bố lần đầu năm 1640 trong thư gửi Frénicle de Bessy. Tuy nhiên, chứng minh hoàn chỉnh đầu tiên thuộc về Euler năm 1736. Euler sử dụng phương pháp quy nạp dựa trên tính chất của dãy số nhị thức. Định lý Wilson có nguồn gốc từ nhà toán học John Wilson, được Edward Waring nêu ra năm 1770. Chứng minh đầu tiên của Wilson cũng do Euler và Lagrange thực hiện độc lập. Trong suốt hai thế kỷ, nhiều nhà toán học đã tìm ra các cách chứng minh mới. Stern năm 1860 cung cấp chứng minh sử dụng chuỗi Maclaurin. Các chứng minh tổ hợp xuất hiện gần đây thể hiện sự quan tâm nghiên cứu liên tục.
1.2. Vai trò trong lý thuyết số hiện đại
Hai định lý này đóng vai trò trung tâm trong lý thuyết đồng dư và số học mô-đun. Định lý Fermat nhỏ là cơ sở cho nhiều thuật toán kiểm tra tính nguyên tố. Định lý Wilson cung cấp tiêu chuẩn cần và đủ để xác định số nguyên tố. Trong mật mã học RSA, Định lý Fermat nhỏ được sử dụng để tính toán nghịch đảo mô-đun. Định lý Wilson giúp hiểu sâu hơn về cấu trúc của vành số nguyên modulo p. Cả hai định lý đều liên quan chặt chẽ đến khái niệm số dư bậc hai. Tiêu chuẩn Euler mở rộng trực tiếp từ Định lý Fermat nhỏ. Những ứng dụng này khẳng định tầm quan trọng của hai định lý trong toán học hiện đại.
II. Phân tích các chứng minh ban đầu của hai định lý
Chứng minh ban đầu của Định lý Fermat nhỏ dựa trên tính chất của tập hợp số nguyên modulo p. Phương pháp chính sử dụng bổ đề về đồng dư tuyến tính. Xét tập S = {1, 2, 3, ..., p-1}. Với mỗi phần tử a trong S, tích a·1, a·2, ..., a·(p-1) tạo thành một hoán vị của S modulo p. Do đó, tích của tất cả phần tử trong S bằng tích của tất cả phần tử trong a·S. Từ đây suy ra a^(p-1) ≡ 1 (mod p). Chứng minh của Định lý Wilson sử dụng kết quả về nghịch đảo modulo p. Trong tập {1, 2, ..., p-1}, mỗi phần tử đều có nghịch đảo duy nhất. Chỉ có 1 và p-1 là phần tử tự nghịch đảo. Ghép đôi các phần tử còn lại với nghịch đảo của chúng. Tích mỗi cặp bằng 1 modulo p. Kết quả là (p-1)! ≡ 1·(p-1) ≡ -1 (mod p). Các chứng minh này thể hiện vẻ đẹp của toán học sơ cấp.
2.1. Chứng minh Định lý Fermat nhỏ bằng đồng dư
2.2. Chứng minh Định lý Wilson bằng nghịch đảo modulo
III. Phương pháp mở rộng và chứng minh tổ hợp
Mở rộng của Định lý Fermat nhỏ bao gồm Định lý Euler tổng quát. Định lý Euler phát biểu rằng nếu gcd(a, n) = 1 thì a^φ(n) ≡ 1 (mod n). Trong đó φ(n) là hàm Euler đếm số nguyên dương không vượt quá n và nguyên tố cùng nhau với n. Khi n là số nguyên tố, φ(n) = p-1, ta thu lại Định lý Fermat nhỏ. Định lý Wilson cũng có dạng tổng quát do Gauss đề xuất. Gauss chứng minh rằng tích của tất cả các phần tử nguyên tố cùng nhau với n trong một hệ hoàn phần thu gọn đồng dư với -1 hoặc 1 modulo n. Giá trị cụ thể phụ thuộc vào cấu trúc của nhóm nhân modulo n. Các chứng minh tổ hợp gần đây mang góc nhìn mới cho cả hai định lý. Anderson, Benjamin và Rouse (2005) sử dụng lý thuyết hoán vị và tô màu vòng. Chứng minh tổ hợp đếm số cách phân hoạch và sắp xếp. Phương pháp này kết nối lý thuyết số với tổ hợp học một cách tự nhiên.
3.1. Định lý Euler và dạng tổng quát của Wilson
3.2. Các chứng minh tổ hợp hiện đại
IV. Kết luận và ứng dụng của hai định lý trong thực tiễn
Luận văn đã trình bày hệ thống các chứng minh của Định lý Fermat nhỏ và Định lý Wilson. Từ chứng minh ban đầu của Euler đến các chứng minh tổ hợp hiện đại, hai định lý vẫn thu hút sự quan tâm nghiên cứu. Các chứng minh ban đầu dựa trên tính chất đồng dư và nghịch đảo modulo. Mở rộng của Định lý Fermat nhỏ là Định lý Euler tổng quát. Dạng tổng quát của Wilson do Gauss phát biểu phân loại hoàn toàn tích các phần tử trong nhóm nhân. Các chứng minh tổ hợp của Anderson và cộng sự cho thấy mối liên hệ sâu sắc giữa lý thuyết số và tổ hợp học. Ứng dụng thực tiễn của hai định lý rất đa dạng. Trong mật mã học, Định lý Fermat nhỏ là nền tảng cho mã hóa RSA. Kiểm tra tính nguyên tố sử dụng cả hai định lý. Lý thuyết mã纠错码 cũng dựa trên các tính chất đồng dư. Nghiên cứu về hai định lý này vẫn tiếp tục mở ra hướng phát triển mới. Các phương pháp chứng minh đa dạng thể hiện sức sống lâu bền của toán học cổ điển.
