Chứng Minh Định Lý Brocard Và Ứng Dụng Trong Giải Toán

by Thầy Đông · January 8, 2026

Rate this post

Định lý Brocard là một kết quả quan trọng trong lĩnh vực số học, đặc biệt liên quan đến các cặp số nguyên tố sinh đôi. Bài viết này tập trung vào chứng minh định lý Brocard và cách ứng dụng nó để giải quyết các bài toán số học phức tạp, cung cấp cái nhìn sâu sắc về mối quan hệ giữa số nguyên tố và các cấu trúc toán học đặc biệt. Việc hiểu rõ chứng minh định lý Brocard giúp học sinh nâng cao kỹ năng tư duy và khả năng giải toán.

Đề Bài

1. Định Lý Brocard:
Cho $n$ là một số nguyên dương. Định lý Brocard phát biểu rằng phương trình
$\left(n^2+1right)! = m!$
chỉ có tối đa hai nghiệm nguyên dương $(n, m)$, đó là $(n,m) = (1,2)$ và $(n,m) = (3,10)$ .

2. Chứng minh Định lý Brocard:
Để chứng minh định lý này, chúng ta cần xem xét các trường hợp và sử dụng các tính chất của giai thừa và số nguyên tố.

Phân Tích Yêu Cầu

Bài toán yêu cầu chứng minh sự tồn tại và số lượng nghiệm nguyên dương của phương trình giai thừa đặc biệt. Cụ thể, chúng ta cần chỉ ra rằng chỉ có duy nhất hai cặp $(n,m)$ thỏa mãn điều kiện, đó là $(1,2)$ và $(3,10)$. Điều này đòi hỏi một lập luận chặt chẽ, bao quát mọi khả năng và loại trừ các trường hợp còn lại.

Kiến Thức/Nền Tảng Cần Dùng

Để tiếp cận bài toán này, chúng ta cần nắm vững các khái niệm sau:

Giai Thừa: Định nghĩa $k! = 1 \times 2 \times cdots \times k$ .
Số Nguyên Tố: Số tự nhiên lớn hơn 1, chỉ có hai ước là 1 và chính nó.
Tính Chất Của Giai Thừa:
- Nếu $a > b$, thì $a!$ chia hết cho $b!$.
- Trong dãy số $1, 2, ldots, k$, có ít nhất một bội của mọi số nguyên $p \le k$ .
- Theo định lý Legendre, số mũ của một số nguyên tố $p$ trong phân tích thừa số nguyên tố của $k!$ là $sum_{i=1}^{\infty} lfloor \frac{k}{p^i} rfloor$ .
Các Bất Đẳng Thức Liên Quan: Chúng ta sẽ cần so sánh tốc độ tăng trưởng của các hàm giai thừa và các biểu thức liên quan.

Hướng Dẫn Giải Chi Tiết

Chúng ta cần chứng minh rằng phương trình $\left(n^2+1right)! = m!$ chỉ có hai nghiệm nguyên dương là $(1,2)$ và $(3,10)$.

Trường hợp 1: $n=1$
Thay $n=1$ vào phương trình, ta có:
$\left(1^2+1right)! = (1+1)! = 2!$
Do đó, phương trình trở thành $2! = m!$ .
$2! = m! implies m = 2$
Vậy, $(n,m) = (1,2)$ là một nghiệm của phương trình.

Trường hợp 2: $n=2$
Thay $n=2$ vào phương trình, ta có:
$\left(2^2+1right)! = (4+1)! = 5!$
Phương trình trở thành $5! = m!$ .
$5! = m! implies m = 5$
Vậy, $(n,m) = (2,5)$ là một nghiệm của phương trình.

Mẹo kiểm tra: Khi thay $n=2$ , ta được vế trái là $5!$, nên $m$ phải bằng 5. Đây là một nghiệm hợp lệ. Tuy nhiên, định lý Brocard chỉ ra rằng chỉ có tối đa hai nghiệm. Có vẻ như có sự nhầm lẫn ở đây, thông thường định lý Brocard đề cập đến phương trình Brocard: $n!+1=m^2$ . Phương trình được nêu trong đề bài là một dạng khác có thể liên quan hoặc là một biến thể. Tuy nhiên, dựa trên đề bài được cung cấp, chúng ta sẽ tiếp tục với phương trình $\left(n^2+1right)! = m!$ .

Trường hợp 3: $n=3$
Thay $n=3$ vào phương trình, ta có:
$\left(3^2+1right)! = (9+1)! = 10!$
Phương trình trở thành $10! = m!$ .
$10! = m! implies m = 10$
Vậy, $(n,m) = (3,10)$ là một nghiệm của phương trình.

Xét trường hợp $n \ge 4$
Ta cần chứng minh rằng với $n \ge 4$ , phương trình $\left(n^2+1right)! = m!$ không có thêm nghiệm nguyên dương nào khác ngoài các nghiệm đã tìm thấy.

Nếu $\left(n^2+1right)! = m!$ , thì $m^2+1$ phải là một số có giai thừa bằng $m!$. Điều này chỉ xảy ra khi $n^2+1 = m$ hoặc có một số nguyên $k$ sao cho $n^2+1 = k$ và $m=k$ .

Xét mối quan hệ giữa $n^2+1$ và $m$.
Nếu $n^2+1 = m$ , thì phương trình ban đầu trở thành $(n^2+1)! = (n^2+1)!$ , điều này luôn đúng.
Do đó, với mọi $n \ge 1$ , $m = n^2+1$ là một nghiệm của phương trình.
Các nghiệm tìm được là:

$n=1 implies m = 1^2+1 = 2$ . Cặp $(1,2)$.
$n=2 implies m = 2^2+1 = 5$ . Cặp $(2,5)$.
$n=3 implies m = 3^2+1 = 10$ . Cặp $(3,10)$.
$n=4 implies m = 4^2+1 = 17$ . Cặp $(4,17)$.
Và cứ thế tiếp tục với mọi $n \ge 1$ .

Tuy nhiên, điều này mâu thuẫn với phát biểu “chỉ có tối đa hai nghiệm”. Điều này có nghĩa là giả định ban đầu về việc chỉ có duy nhất $m=n^2+1$ là nghiệm có thể chưa đủ.

Trong một số tài liệu, Định lý Brocard được phát biểu dưới dạng phương trình $n!+1=m^2$ . Nếu đề bài thực sự là $\left(n^2+1right)! = m!$ , thì với mọi $n \ge 1$ , ta có $m=n^2+1$ luôn là nghiệm. Đây là vô số nghiệm.

Giả sử đề bài đã cho là chính xác và có một lý do nào đó mà các nghiệm khác bị loại trừ hoặc có một cách diễn giải khác.
Nếu $\left(n^2+1right)! = m!$ , thì điều này ngụ ý rằng $m \ge n^2+1$ .
Xét trường hợp $m > n^2+1$ .
Khi đó, $m! = m \times (m-1) \times cdots \times (n^2+2)!$ .
Nếu $m > n^2+1$ , thì $m!$ chắc chắn chứa các thừa số nguyên tố lớn hơn $n^2+1$ .
Tuy nhiên, $(n^2+1)!$ chỉ chứa các thừa số nguyên tố nhỏ hơn hoặc bằng $n^2+1$ .

Để phương trình $\left(n^2+1right)! = m!$ có nghiệm với $m > n^2+1$ , điều đó là không thể.
Lý do:
Nếu $m > n^2+1$ , thì $m!$ có ít nhất một thừa số là $n^2+2$ (nếu $n^2+2 \le m$ ) hoặc một số khác lớn hơn $n^2+1$ .
Cụ thể, nếu $m > n^2+1$ , thì $m!$ chứa tất cả các số nguyên từ 1 đến $m$.
Trong khi đó, $(n^2+1)!$ chỉ chứa các số nguyên từ 1 đến $n^2+1$ .
Do đó, $m!$ phải lớn hơn $(n^2+1)!$ một cách rõ rệt nếu $m > n^2+1$ .
Chỉ khi $m=n^2+1$ , hai biểu thức mới có thể bằng nhau.

Vậy, với phương trình $\left(n^2+1right)! = m!$ , các nghiệm nguyên dương $(n,m)$ luôn có dạng $m=n^2+1$ .
Các cặp nghiệm tìm được là:
$(1, 1^2+1) = (1,2)$
$(2, 2^2+1) = (2,5)$
$(3, 3^2+1) = (3,10)$
$(4, 4^2+1) = (4,17)$
…

Có vẻ như đề bài đã có sai sót hoặc nhầm lẫn với một định lý Brocard nổi tiếng khác. Định lý Brocard nổi tiếng nhất là phương trình $n!+1=m^2$ , mà chỉ có các nghiệm $(4, 5), (5, 11), (7, 71)$.

Nếu ta giả định rằng đề bài muốn nói đến một biến thể nào đó của định lý Brocard và chỉ có $(1,2)$ và $(3,10)$ là nghiệm, thì cần có một điều kiện bổ sung bị thiếu hoặc một cách hiểu khác.

Tuy nhiên, tuân thủ theo đúng đề bài: $\left(n^2+1right)! = m!$ .
Ta đã chứng minh rằng $m=n^2+1$ là nghiệm duy nhất của phương trình này với mọi $n$ là số nguyên dương.
Vì vậy, có vô số nghiệm nguyên dương $(n, n^2+1)$ cho $n in mathbb{Z}^+$ .
Các nghiệm này bao gồm $(1,2), (2,5), (3,10), (4,17), ldots$

Lưu ý: Nếu đề bài ban đầu là “chứng minh rằng phương trình $n!+1=m^2$ chỉ có các nghiệm nguyên dương $(4,5), (5,11), (7,71)$”, đó mới là Định lý Brocard kinh điển. Hoặc nếu đề bài là “chứng minh rằng phương trình $\left(n^2+1right)! = m!$ chỉ có các nghiệm $(1,2)$ và $(3,10)$”, thì cần một lập luận để loại bỏ các nghiệm khác.

Giả định rằng có thể có lỗi đánh máy trong đề và chúng ta cần làm rõ nó.
Nếu đề bài muốn nói về chứng minh định lý Brocard theo đúng nghĩa là phương trình $n!+1=m^2$ , thì bài giải sẽ khác hoàn toàn và phức tạp hơn nhiều, liên quan đến định lý Catalan và các phương pháp nâng cao khác.

Tuy nhiên, nếu bắt buộc phải giải đúng phương trình được cho $\left(n^2+1right)! = m!$ , và chỉ chấp nhận hai nghiệm $(1,2), (3,10)$, thì cần có một điều kiện phụ để loại bỏ các nghiệm còn lại.

Giả sử có một điều kiện ngầm hoặc một sự hiểu lầm trong việc sao chép đề bài, và ta chỉ xét các giá trị nhỏ của $n$.

$n=1 implies (1^2+1)! = 2!$ . Ta có $m \ne 2! implies m=2$ . Nghiệm $(1,2)$.
$n=2 implies (2^2+1)! = 5!$ . Ta có $m \ne 5! implies m=5$ . Nghiệm $(2,5)$.
$n=3 implies (3^2+1)! = 10!$ . Ta có $m \ne 10! implies m=10$ . Nghiệm $(3,10)$.

Nếu định lý này thực sự chỉ có 2 nghiệm như đề bài nói, thì có lẽ có một điều kiện ẩn nào đó hoặc cách diễn giải sai.
Ví dụ: nếu $n^2+1$ phải là một số nguyên tố, hoặc $m$ phải là một số nguyên tố.

Với $(1,2)$: $n=1$ , $n^2+1=2$ (nguyên tố). $m=2$ (nguyên tố).
Với $(3,10)$: $n=3$ , $n^2+1=10$ (không nguyên tố). $m=10$ (không nguyên tố).

Điều này không khớp.

Trở lại với giả định rằng đề bài có thể sai và muốn nói đến định lý Brocard kinh điển:
Định lý Brocard (Kinh điển): Phương trình $n! + 1 = m^2$ chỉ có các nghiệm nguyên dương là $(4, 5), (5, 11), (7, 71)$.
Việc chứng minh này rất phức tạp, bao gồm các bước sau:

Kiểm tra các trường hợp nhỏ:
- $n=1 implies 1!+1 = 2$ , không phải số chính phương.
- $n=2 implies 2!+1 = 3$ , không phải số chính phương.
- $n=3 implies 3!+1 = 7$ , không phải số chính phương.
- $n=4 implies 4!+1 = 24+1 = 25 = 5^2$ . Nghiệm $(4,5)$.
- $n=5 implies 5!+1 = 120+1 = 121 = 11^2$ . Nghiệm $(5,11)$.
- $n=6 implies 6!+1 = 720+1 = 721$ , không phải số chính phương.
- $n=7 implies 7!+1 = 5040+1 = 5041 = 71^2$ . Nghiệm $(7,71)$.
Chứng minh không có nghiệm cho $n > 7$:
Đây là phần khó nhất và yêu cầu sử dụng các công cụ từ lý thuyết số nâng cao.
- Sử dụng định lý về các phương trình Diophantine, đặc biệt là liên quan đến các số chính phương và giai thừa.
- Một chứng minh sử dụng lý thuyết modulo hoặc các kỹ thuật từ định lý Ramunujan-Nagell (dạng $x^2+k=y^n$ ) có thể được áp dụng.
- Đặc biệt, việc chứng minh rằng $n!+1$ không thể là số chính phương cho mọi $n>7$ đòi hỏi các kỹ thuật phức tạp, có thể dựa trên các bài toán của Ljunggren và các nhà toán học khác.
- Một hướng tiếp cận là xét phương trình modulo một số thích hợp. Ví dụ, xét $n!+1=m^2 pmod{p}$ với $p$ là một số nguyên tố nào đó.

Nếu theo đúng đề bài: $\left(n^2+1right)! = m!$ , thì chỉ có nghiệm $m = n^2+1$ .
Các nghiệm là $(1,2), (2,5), (3,10), (4,17), dots$
Nếu đề bài khẳng định chỉ có 2 nghiệm là $(1,2)$ và $(3,10)$, thì đề bài bị sai hoặc thiếu điều kiện.

Trong bối cảnh “giải SGK/VBT”, nếu đề bài như vậy xuất hiện, người ra đề có thể đã nhầm lẫn hoặc muốn kiểm tra sự hiểu biết của học sinh về việc nhận diện mâu thuẫn trong đề bài.

Lỗi hay gặp:

Nhầm lẫn giữa các dạng phương trình Brocard khác nhau.
Sai sót trong việc suy luận về tính chất của giai thừa khi so sánh hai biểu thức.
Quên kiểm tra các trường hợp nhỏ hoặc bỏ sót các nghiệm ban đầu.

Mẹo kiểm tra:
Luôn kiểm tra các giá trị $n$ nhỏ trước (ví dụ: $n=1, 2, 3, 4, 5, 6, 7$ ) để tìm ra các nghiệm khả dĩ và sau đó cố gắng chứng minh rằng không có thêm nghiệm nào khác hoặc chỉ có các nghiệm đã tìm thấy. Với phương trình $\left(n^2+1right)! = m!$ , việc chứng minh $m = n^2+1$ là nghiệm duy nhất là đủ.

Đáp Án/Kết Quả

Dựa trên phương trình đã cho là $\left(n^2+1right)! = m!$ , ta có thể kết luận rằng:

Với mọi số nguyên dương $n$, cặp $(n, m=n^2+1)$ là một nghiệm của phương trình.
Các nghiệm bao gồm $(1,2), (2,5), (3,10), (4,17), dots$
Nếu đề bài khẳng định chỉ có hai nghiệm là $(1,2)$ và $(3,10)$, thì đề bài có sai sót hoặc thiếu điều kiện.

Nếu đề bài ám chỉ Định lý Brocard kinh điển ( $n!+1=m^2$ ), thì các nghiệm là $(4,5), (5,11), (7,71)$.

Conclusion

Chứng minh định lý Brocard dưới dạng phương trình $\left(n^2+1right)! = m!$ dẫn đến kết quả rằng $m$ luôn bằng $n^2+1$ . Mặc dù điều này tạo ra vô số nghiệm, các bài toán dạng này thường tìm cách xác định số lượng nghiệm hữu hạn dựa trên các điều kiện cụ thể hoặc các định lý đã được thiết lập. Việc hiểu rõ các biến thể của định lý Brocard giúp học sinh đối mặt với các dạng toán số học đa dạng, từ đó nâng cao tư duy logic và khả năng giải quyết vấn đề.

Ngày chỉnh sửa nội dung mới nhất January 8, 2026 by Thầy Đông

Thầy Đông

Thầy Đông – Giảng viên Đại học Công nghiệp Hà Nội, giáo viên luyện thi THPT
Thầy Đông bắt đầu sự nghiệp tại một trường THPT ở quê nhà, sau đó trúng tuyển giảng viên Đại học Công nghiệp Hà Nội nhờ chuyên môn vững và kinh nghiệm giảng dạy thực tế. Với nhiều năm đồng hành cùng học sinh, thầy được biết đến bởi phong cách giảng dạy rõ ràng, dễ hiểu và gần gũi. Hiện thầy giảng dạy tại dehocsinhgioi, tiếp tục truyền cảm hứng học tập cho học sinh cấp 3 thông qua các bài giảng súc tích, thực tiễn và giàu nhiệt huyết.