Định Lý Bertrand Và Một Vài Ứng Dụng

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

Rate this post

Trong thế giới toán học, các định lý đẹp đẽ thường ẩn chứa những mối liên hệ sâu sắc và bất ngờ giữa các khái niệm tưởng chừng không liên quan. Định Lý Bertrand là một minh chứng rõ nét cho sự tinh tế này, mang đến một phát biểu đầy hấp dẫn về sự tồn tại của số nguyên tố trong một khoảng nhất định. Bài viết này sẽ đi sâu vào Định Lý Bertrand, khám phá cách chứng minh nó, và giới thiệu một số ứng dụng quan trọng, đặc biệt là liên hệ với Định Lý Roth, mở rộng hiểu biết của chúng ta về cấu trúc của các số nguyên tố.

Đề Bài

Nội dung gốc từ nguồn tham khảo cung cấp một luận văn về Định Lý Bertrand và Định Lý Roth. Do tính chất học thuật và độ dài của một luận văn, nội dung gốc bao gồm các định nghĩa, chứng minh chi tiết và các bổ đề liên quan. Để đảm bảo tính chính xác và tuân thủ quy tắc, các phần định nghĩa, mệnh đề, và chứng minh gốc sẽ được giữ nguyên hoặc diễn giải lại một cách cẩn thận.

Cụ thể, “Đề Bài” ở đây không phải là một câu hỏi toán học đơn lẻ, mà là tập hợp các mệnh đề, định lý và các bước chứng minh nền tảng cho Định Lý Bertrand và các khái niệm liên quan.

Bổ Đề 1

Cho $n \ge 2$ là số nguyên. Khi đó, tồn tại một số nguyên tố $p$ sao cho $n Định Lý Bertrand. <h3>Bổ Đề 2 (Bổ đề Chebyshev - một phần của chứng minh)</h3> Cho [katex]n \ge 1$ là số nguyên. Số các ước số nguyên tố của $n!$ mà lớn hơn $n$ là không quá $lfloor log_2 n rfloor$ .

Bổ Đề 3 (Bổ đề Chebyshev - một phần của chứng minh)

Số các ước số nguyên tố của $n!$ là $sum_{p \le n} 1$ , với $p$ là số nguyên tố.

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

Yêu cầu chính là trình bày và giải thích Định Lý Bertrand cùng với Định Lý Roth và các ứng dụng của chúng. Điều này bao gồm:

Hiểu rõ Mệnh đề Định lý Bertrand: Chứng minh rằng với mọi số nguyên $n \ge 2$ , luôn tồn tại ít nhất một số nguyên tố $p$ nằm giữa $n$ và $2n$ ( $n <li>Tìm hiểu Cơ sở Chứng minh: Nắm vững các kỹ thuật và bổ đề được sử dụng trong các chứng minh kinh điển của Định Lý Bertrand, như phương pháp của Chebyshev.</li> <li>Khám phá Định Lý Roth: Tìm hiểu về Định Lý Roth, một kết quả liên quan trong lĩnh vực phân tích Fourier trên nhóm hữu hạn hoặc lý thuyết số, và mối liên hệ của nó với các số nguyên tố hoặc cấu trúc số học.</li> <li>Ứng Dụng Thực tế/Lý thuyết: Xác định các lĩnh vực hoặc bài toán mà Định Lý Bertrand và Định Lý Roth có thể áp dụng, hoặc cách chúng mở rộng hiểu biết của chúng ta về toán học.</li> </ol> <h2>Kiến Thức/Nền Tảng Cần Dùng</h2> Để hiểu và chứng minh Định Lý Bertrand, chúng ta cần nắm vững các kiến thức sau: <ol> <li> Số Nguyên Tố: Định nghĩa, tính chất cơ bản, định lý cơ bản của số học. </li> <li> Giai Thừa (Factorial): Khái niệm [katex]n! = 1 \times 2 \times dots \times n$ .
Định Lý Legendre: Cho số nguyên tố $p$ và số nguyên dương $n$, số mũ lớn nhất của $p$ là ước của $n!$, ký hiệu là $v_p(n!)$ , được cho bởi công thức:
$v_p(n!) = sum_{k=1}^{\infty} lfloor \frac{n}{p^k} rfloor$
Công thức này dừng lại khi $p^k > n$ .
Ước Số Nguyên Tố: Một số nguyên tố $p$ được gọi là ước số nguyên tố của một số nguyên $m$ nếu $m$ chia hết cho $p$.
Định Lý Roth: Là một định lý quan trọng trong lý thuyết số và tổ hợp, thường liên quan đến các tập con không có cấp số cộng. Định lý Roth phát biểu rằng: Bất kỳ tập con nào của ${1, 2, dots, N}$ với kích thước lớn hơn một ngưỡng nhất định (tỷ lệ với $N$) thì phải chứa một cấp số cộng có độ dài 3. Mặc dù ban đầu có vẻ không liên quan trực tiếp đến sự tồn tại của số nguyên tố như Định lý Bertrand, Định Lý Roth là một kết quả sâu sắc về cấu trúc của các tập hợp số nguyên, và đôi khi các kỹ thuật trong chứng minh nó (như phép biến đổi Fourier trên nhóm hữu hạn) có thể được áp dụng hoặc có sự tương đồng với các bài toán trong lý thuyết số khác. Tuy nhiên, trong bối cảnh của luận văn gốc, Định lý Roth có thể được đề cập như một kết quả "hàng xóm" trong lý thuyết số hoặc là một ví dụ về các định lý mạnh mẽ có thể được chứng minh bằng các công cụ tiên tiến.

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

Chứng minh Định Lý Bertrand thường dựa vào việc phân tích các ước số nguyên tố của $n!$ và các số nguyên lớn khác. Phương pháp kinh điển do Pafnuty Chebyshev đề xuất sử dụng các ước tính về hàm đếm số nguyên tố và các định lý về ước số của giai thừa.

1. Phân tích $v_p(n!)$

Cho một số nguyên tố $p$. Số mũ lớn nhất của $p$ chia hết $n!$, ký hiệu là $v_p(n!)$ , được cho bởi Định lý Legendre:
$v_p(n!) = sum_{k=1}^{\infty} lfloor \frac{n}{p^k} rfloor$

Ta xét số ${2n choose n} = \frac{(2n)!}{(n!)^2}</code>. Số mũ của một ước số nguyên tố $p$ trong <code>[]{2n choose n}</code> là: <code>[]v_pleft({2n choose n}\right) = v_p((2n)!) - 2v_p(n!)$
$v_pleft({2n choose n}\right) = sum_{k=1}^{\infty} \left( lfloor \frac{2n}{p^k} rfloor - 2lfloor \frac{n}{p^k} rfloor \right)$

Ta biết rằng $lfloor 2x rfloor - 2lfloor x rfloor</code> luôn nhận giá trị là 0 hoặc 1. Điều này có nghĩa là <code>[]v_pleft({2n choose n}\right)</code> chỉ có thể là 0 hoặc 1. Cụ thể, <code>[]lfloor 2x rfloor - 2lfloor x rfloor = 1</code> khi phần thập phân của $x$ nằm trong khoảng <code>[][0.5, 1)</code>, và bằng 0 khi phần thập phân nằm trong khoảng <code>[0, 0.5)</code>. Do đó, <code>[]v_pleft({2n choose n}\right) = 1</code> nếu và chỉ nếu có số nguyên $m$ sao cho <code>[]\frac{n}{p^k} = m + epsilon</code> với <code>[]0.5 \le epsilon < 1</code>. Điều này tương đương với việc <code>[]p^k</code> nằm giữa <code>n</code> và <code>2n</code> khi chia cho []p^k$ . Nói cách khác, $p^k$ là số nguyên tố lớn nhất nhỏ hơn hoặc bằng $2n$ nhưng lớn hơn $n$. Điều này chỉ xảy ra khi $p^k$ là số nguyên tố và $n < p^k \le 2n</code>. <h3>2. Phân tích các trường hợp cho số nguyên tố $p$</h3> Ta sẽ chia các số nguyên tố $p$ thành ba loại dựa trên kích thước của chúng so với $n$: <ul> <li> Trường hợp 1: $p > n$. Nếu $p$ là số nguyên tố thỏa mãn []n < p \le 2n[/katex], thì $p$ chỉ xuất hiện một lần trong khai triển của [katex](2n)![/katex], và không xuất hiện trong [katex](n!)^2[/katex]. Do đó, [katex]v_pleft({2n choose n}\right) = 1[/katex]. Nếu có số nguyên tố $p$ thỏa mãn [katex]n Định Lý Bertrand đã được chứng minh.Nếu không có số nguyên tố nào trong khoảng [katex](n, 2n]$ thì chúng ta cần xem xét các trường hợp khác.

Trường hợp 2: $n/2 .Trong trường hợp này, [katex]p^2 > (n/2)^2$ . Nếu $n \ge 4$ , thì $p^2 > n^2/4$ . Nếu $n \ge 4$ , thì $p^2 > n$ .
Do đó, $p^2$ không thể là ước của $n!$ (ngoại trừ trường hợp $p=2, n=2,3$ ).
Với $p > \sqrt{n}$ (và $p \le n$ ), thì $p^2 > n$ .
Khi đó, $lfloor \frac{2n}{p^k} rfloor</code> và <code>[]lfloor \frac{n}{p^k} rfloor</code> chỉ có thể khác 0 khi []k=1$ . Vì $n/2 [katex]lfloor \frac{2n}{p} rfloor = 2</code> hoặc <code>1</code> (nếu $p$ là ước của []2n$ và $p > n/2$ ) Và $lfloor \frac{n}{p} rfloor = 1</code>. Vậy, <code>[]v_pleft({2n choose n}\right) = lfloor \frac{2n}{p} rfloor - 2lfloor \frac{n}{p} rfloor = 2 - 2(1) = 0</code> (vì []p \le n$ nên $2p$ có thể lớn hơn $n$ nhưng $p^2 > n$ cho $p > \sqrt{n}$ ). Chính xác hơn: Nếu $p$ là số nguyên tố sao cho $n/2 < p \le n[/katex], thì [katex]2p[/katex] có thể lớn hơn $n$. Tuy nhiên, [katex]p^2[/katex] sẽ lớn hơn $n$ trừ khi [katex]p \le \sqrt{n}[/katex]. Vì vậy, với các số nguyên tố $p$ trong khoảng [katex](n/2, n][/katex], chỉ [katex]p^1[/katex] có thể xuất hiện trong khai triển của $n!$. Ta có [katex]v_p(n!) = lfloor n/p rfloor[/katex]. Vì [katex]n/2 [katex]lfloor n/p rfloor = 1</code>. Đối với [](2n)!$ , ta có $v_p((2n)!) = lfloor 2n/p rfloor</code>. Vì []n/2 [katex]lfloor 2n/p rfloor</code> có thể là 2 hoặc 3. <code>[]v_pleft({2n choose n}\right) = lfloor \frac{2n}{p} rfloor - 2lfloor \frac{n}{p} rfloor = lfloor \frac{2n}{p} rfloor - 2(1)$ Nếu $p > n/2$ , thì $2p > n$ . Nếu $2p > 2n$ , thì $p > n$, điều này không xảy ra. Nếu $n < 2p \le 2n[/katex], thì <code>[katex]lfloor 2n/p rfloor = 2</code>. Khi đó <code>[]v_pleft({2n choose n}\right) = 2 - 2(1) = 0</code>. Nếu []2p > n$ , thì $v_pleft({2n choose n}\right) = lfloor 2n/p rfloor - 2</code>. Với []n/2 [katex]lfloor 2n/p rfloor = 1</code>. Ồ, kiểm tra lại: <code>[]v_p(n!) = lfloor n/p rfloor</code>. Với []n/2 [katex]lfloor n/p rfloor = 1</code>. Với [](2n)!$ , $v_p((2n)!) = lfloor 2n/p rfloor</code>. Vì []n/2 [katex]lfloor 2n/p rfloor = 1</code>. Vậy, <code>[]v_pleft({2n choose n}\right) = v_p((2n)!) - 2v_p(n!) = 1 - 2(1) = -1</code>. Điều này là sai vì <code>v_p</code> luôn không âm. Kiểm tra lại công thức: <code>[]lfloor 2x rfloor - 2lfloor x rfloor</code> là 0 hoặc 1. <code>[]lfloor \frac{2n}{p} rfloor - 2lfloor \frac{n}{p} rfloor</code> Với []n/2 [katex]lfloor \frac{n}{p} rfloor = 1</code> (vì []p \le n$ và $p > n/2$ nên $1 \le n/p < 2[/katex]). <code>[katex]lfloor \frac{2n}{p} rfloor</code>: Vì []n/2 [katex]lfloor \frac{2n}{p} rfloor = 1</code>. Vậy, <code>[]v_pleft({2n choose n}\right) = 1 - 2(1) = -1</code>. Có sai sót ở đâu đó. Kiểm tra lại định lý Legendre và biểu thức <code>[]lfloor 2x rfloor - 2lfloor x rfloor</code>: <code>[]lfloor 2x rfloor - 2lfloor x rfloor</code> bằng 0 hoặc 1. Nó bằng 1 nếu phần thập phân của $x$ là <code>[] \ge 0.5</code>, tức là <code>x - lfloor x rfloor \ge 0.5</code>. Nó bằng 0 nếu phần thập phân của $x$ là <code>[] < 0.5</code>, tức là <code>x - lfloor x rfloor < 0.5</code>. Ta có <code>[]x = n/p^k</code>. Với []k=1$ , x = n/p. Nếu $n/p \ge 0.5$ , tức là $2n/p \ge 1$ . Nếu $n/p$ có phần thập phân $\ge 0.5</code>, thì <code>[]lfloor 2n/p rfloor - 2lfloor n/p rfloor = 1</code>. Điều này xảy ra khi <code>[] n/p = m + f</code> với <code>m</code> nguyên và <code>0.5 \le f < 1</code>. Tức là <code>[] n = mp + fp</code>. Hay <code>[] 2n/p = 2m + 2f</code>. <code>[]lfloor 2n/p rfloor = 2m + lfloor 2f rfloor</code>. Vì <code>0.5 \le f < 1</code>, nên <code>1 \le 2f < 2</code>. Do đó <code>lfloor 2f rfloor = 1</code>. Vậy <code>[]lfloor 2n/p rfloor = 2m + 1</code>. Và <code>[]2lfloor n/p rfloor = 2m</code>. <code>[]lfloor 2n/p rfloor - 2lfloor n/p rfloor = (2m+1) - 2m = 1</code>. Điều này xảy ra khi phần thập phân của []n/p$ là $\ge 0.5</code>. Xét []n/2 [katex]lfloor n/p rfloor = 1</code>. Phần thập phân của []n/p$ là $n/p - 1$ . Ta cần kiểm tra xem $n/p - 1 \ge 0.5$ hay không. Điều này tương đương với $n/p \ge 1.5$ , hay $2n/3 \ge p$ . Như vậy, nếu $n/2 Tóm lại cho trường hợp [katex]p \le n$:

Nếu $p > n/2$ , thì $p^2 > n^2/4$ . Nếu $n \ge 4$ , thì $p^2 > n$ . Do đó, chỉ $p$ có thể là ước nguyên tố của ${2n choose n}</code>.</li> <li>[]v_pleft({2n choose n}\right) = 1$ nếu $n/p</code> có phần thập phân <code>[] \ge 0.5</code>, tức là <code>[]n/p \ge 1.5</code> (vì <code>lfloor n/p rfloor = 1</code>), tức là []p \le 2n/3$ .
$v_pleft({2n choose n}\right) = 0$ nếu $n/p</code> có phần thập phân <code>[] < 0.5</code>, tức là []p > 2n/3$ .

Trường hợp 3: $p \le n/2$ .
Trong trường hợp này, $p^2 \le (n/2)^2 = n^2/4$ .
Nếu $n$ đủ lớn (ví dụ $n \ge 4$ ), thì $p^2$ có thể là ước của $n!$ nhiều lần.
Cụ thể, $v_pleft({2n choose n}\right) = sum_{k=1}^{\infty} (lfloor \frac{2n}{p^k} rfloor - 2lfloor \frac{n}{p^k} rfloor)</code>. Vì <code>[]p \le n/2</code>, nên []p^2 \le n^2/4$ . Nếu $p^2 > n$ , thì chỉ có số mũ $k=1$ là đóng góp. Tuy nhiên, nếu $p \le n/2$ , thì $p^2$ có thể nhỏ hơn $n$. Ví dụ: $n=6$ . $p=2$ . $n/2=3$ . $p \le n/2$ là $p=2, 3$ . $p=2$ : $v_2(6!) = lfloor 6/2 rfloor + lfloor 6/4 rfloor = 3 + 1 = 4</code>. <code>[]v_2(3!) = lfloor 3/2 rfloor = 1</code>. <code>[]v_2({6 choose 3}) = v_2(20) = 2</code>. Theo công thức: <code>[]v_2({6 choose 3}) = (lfloor 6/2 rfloor - 2lfloor 3/2 rfloor) + (lfloor 6/4 rfloor - 2lfloor 3/4 rfloor) = (3 - 2(1)) + (1 - 2(0)) = 1 + 1 = 2</code>. Nếu []p \le n/2$ , thì $p^2 \le n^2/4$ . Nếu $n \ge 4$ , thì $p^2$ có thể nhỏ hơn hoặc bằng $n$. Tuy nhiên, ta có thể chứng minh rằng $v_pleft({2n choose n}\right)</code> thường rất nhỏ khi $p$ nhỏ. Cụ thể, <code>[]v_pleft({2n choose n}\right) \le lfloor log_p n rfloor</code>. Do đó, các ước số nguyên tố $p$ nhỏ hơn hoặc bằng []n/2$ đóng góp ít vào ${2n choose n}</code>. </li> </ul> <h3>3. Đặt Giả Sử Ngược</h3> Giả sử Định Lý Bertrand là sai. Điều này có nghĩa là tồn tại một số nguyên []n \ge 2$ sao cho không có số nguyên tố $p$ nào thỏa mãn $n Định Lý Bertrand sai cho $n$, thì mọi số nguyên tố $p$ đều phải thỏa mãn [katex]p \le n$ , ngoại trừ có thể có số nguyên tố $p=2n$ (nếu $2n$ là nguyên tố) hoặc $p=n$ (nếu $n$ là nguyên tố, nhưng ta đang xét khoảng $n <h3>4. Sử dụng Ước Tính về <code>[katex]{2n choose n}</code></h3> Chúng ta có các ước tính sau cho <code>[]{2n choose n}</code>: <ul> <li><code>[]{2n choose n} \le 2^{2n}</code> (vì tổng các hệ số nhị thức trong khai triển [](1+1)^{2n}$ là $2^{2n}$ )

 ${2n choose n} \ge \frac{4^n}{2n+1}</code> (một bất đẳng thức chặt hơn)</li> </ul> <p>Xét tích các số nguyên tố $p$ sao cho []n < p \le 2n[/katex]. Nếu <strong>Định Lý Bertrand</strong> sai, thì không có số nguyên tố nào trong khoảng này, ngoại trừ có thể [katex]2n$  nếu nó là nguyên tố.

Ta biết rằng  ${2n choose n} = prod_{p \le 2n} p^{v_pleft({2n choose n}\right)}</code>.</p> <p>Nếu ta giả sử <strong>Định Lý Bertrand</strong> sai, thì mọi số nguyên tố []p \le 2n$  đều phải thỏa mãn  $p \le n$ .

Do đó, các số nguyên tố $p$ trong khoảng  $(n, 2n]$  không tồn tại.

Điều này dẫn đến việc  ${2n choose n}</code> chỉ được tạo thành từ các số nguyên tố []p \le n$ . ${2n choose n} = prod_{p \le n} p^{v_pleft({2n choose n}\right)}</code></p> <p>Ta đã chỉ ra rằng:</p> <ul> <li>Nếu []p > n/2$ , thì  $v_pleft({2n choose n}\right)$  chỉ có thể là 0 hoặc 1.

Nếu

p \le n/2

, thì

v_pleft({2n choose n}\right) \le lfloor log_p n rfloor

5. Bổ Đề Chebyshev Cụ Thể

Chebyshev đã chứng minh rằng:
$prod_{p \le n} p^{lfloor log_p n rfloor} < 4^n[/katex]</code> Và <code>[katex]{2n choose n} = prod_{p \le 2n} p^{v_pleft({2n choose n}\right)}</code>. Nếu không có số nguyên tố $p$ trong khoảng [](n, 2n]$ , thì tất cả các số nguyên tố $p \le 2n$ đều thoả mãn $p \le n$ . ${2n choose n} = prod_{p \le n} p^{v_pleft({2n choose n}\right)}</code>. Sử dụng các ước tính: <code>[]{2n choose n} = prod_{p \le n/2} p^{v_pleft({2n choose n}\right)} \cdot prod_{n/2 <ul> <li>Đối với []p > n/2$ : ta biết $v_pleft({2n choose n}\right)$ bằng 0 hoặc 1. Cụ thể bằng 1 khi $p \le 2n/3$ , và bằng 0 khi $p > 2n/3$ .

Đối với  $p \le n/2$ : ta biết  $v_pleft({2n choose n}\right) \le lfloor log_p n rfloor</code>.</li> </ul> <p>Do đó, <code>[]{2n choose n} \le \left( prod_{p \le n/2} p^{lfloor log_p n rfloor} \right) \cdot \left( prod_{n/2 < p \le 2n/3} p \right)</code></p> <p>Sử dụng bất đẳng thức <code>[]prod_{p \le x} p^{lfloor log_p x rfloor} < 4^x</code> và <code>[]prod_{p \le y} p < 4^y</code>. Ta có: <code>[]prod_{p \le n/2} p^{lfloor log_p n rfloor} < 4^{n/2}</code> <code>[]prod_{n/2 < p \le 2n/3} p \le prod_{p \le 2n/3} p < 4^{2n/3}</code></p> <p>Suy ra <code>[]{2n choose n} < 4^{n/2} \cdot 4^{2n/3} = 4^{n/2 + 2n/3} = 4^{7n/6}</code>.</p> <p>Tuy nhiên, ta có bất đẳng thức chặt hơn: <code>[]{2n choose n} \ge \frac{4^n}{\sqrt{2n+1}}</code>. Do đó, ta cần chứng minh <code>[]\frac{4^n}{\sqrt{2n+1}} < 4^{7n/6}</code>. Điều này đúng khi $n$ lớn.</p> <p>Chebyshev đã thực hiện một phân tích chi tiết hơn, chỉ ra rằng nếu không có số nguyên tố trong [](n, 2n)$ , thì  ${2n choose n}</code> sẽ có ước số của nó có số mũ lớn, nhưng lại không có các số nguyên tố lớn. Điều này dẫn đến mâu thuẫn với bất đẳng thức <code>[]{2n choose n} \ge \frac{4^n}{2n+1}</code> cho các giá trị $n$ đủ lớn.</p> <h3>6. Xử lý các giá trị $n$ nhỏ</h3> <p>Chứng minh của Chebyshev bao gồm việc kiểm tra trực tiếp các trường hợp nhỏ của $n$:</p> <ul> <li>[]n=2$ : khoảng $(2, 4)$, có số nguyên tố $3$. Định lý đúng.

$n=3$ : khoảng $(3, 6)$, có số nguyên tố $5$. Định lý đúng.

$n=4$ : khoảng $(4, 8)$, có số nguyên tố $5, 7$. Định lý đúng.

$n=5$ : khoảng $(5, 10)$, có số nguyên tố $7$. Định lý đúng.

$n=6$ : khoảng $(6, 12)$, có số nguyên tố $7, 11$. Định lý đúng.

Với $n \ge 6$ , Chebyshev chứng minh rằng ${2n choose n} < 4^n</code>. Mâu thuẫn với <code>[]{2n choose n} \ge \frac{4^n}{2n+1}</code> khi $n$ đủ lớn. Cụ thể, ông xem xét các ước nguyên tố $p$ của <code>[]{2n choose n}</code>: <ol> <li>[]p > \sqrt{2n}$ : Các ước nguyên tố này chỉ xuất hiện với số mũ 1.

$p \le \sqrt{2n}$ : Các ước nguyên tố này có thể xuất hiện với số mũ lớn hơn.

Ông sử dụng bổ đề: $v_pleft({2n choose n}\right) \le lfloor log_p(2n) rfloor$ Và chứng minh: ${2n choose n} \le prod_{p \le n} p^{lfloor log_p(2n) rfloor}</code> Nếu giả sử Định Lý Bertrand sai, thì mọi số nguyên tố []p \le 2n$ đều thoả mãn $p \le n$ . Do đó, ${2n choose n} = prod_{p \le n} p^{v_pleft({2n choose n}\right)}</code>. Sử dụng các giới hạn cho <code>[]v_pleft({2n choose n}\right)</code>: <ul> <li>Với []p > n/2$ , $v_pleft({2n choose n}\right) in {0, 1}</code>.</li> <li>Với []p \le n/2$ , $v_pleft({2n choose n}\right) \le lfloor log_p n rfloor</code>.</li> </ul> Nếu không có số nguyên tố nào trong [](n, 2n]$ , thì ${2n choose n}</code> không có ước số nguyên tố nào lớn hơn $n$. <code>[]{2n choose n} = prod_{p \le n} p^{v_pleft({2n choose n}\right)} \le \left(prod_{p \le n/2} p^{lfloor log_p n rfloor}\right) \cdot \left(prod_{n/2 (Vì nếu []p > n/2$ và $p \le n$ , thì $v_p({2n choose n}) = 0$ hoặc $1$, và nếu $v_p=1$ thì $p \le 2n/3$ . Nên chỉ cần xem xét $p \le n$ ).

Sử dụng $prod_{p \le x} p \sim e^x</code> (Định lý số nguyên tố). <code>[]prod_{p \le x} p^{lfloor log_p x rfloor} \le prod_{p \le x} x^{log_p x} = x^{sum log_p x}</code> - cách này khó. Một cách khác: <code>[]{2n choose n} = \frac{(2n)!}{(n!)^2}</code>. <code>v_p(n!) = sum_{k=1}^\infty lfloor n/p^k rfloor \le sum_{k=1}^\infty n/p^k = n/(p-1)</code>. <code>v_p({2n choose n}) = sum_{k=1}^\infty (lfloor 2n/p^k rfloor - 2lfloor n/p^k rfloor)</code>. Nếu []p > \sqrt{2n}$ , thì $p^2 > 2n$ , nên chỉ $k=1$ có thể đóng góp. v_p({2n choose n}) = lfloor 2n/p rfloor - 2lfloor n/p rfloor. Giá trị này là 0 hoặc 1. Nếu $p > n$, thì $v_p((2n)!) = lfloor 2n/p rfloor</code> có thể là 1. <code>[]v_p(n!) = lfloor n/p rfloor = 0</code>. Vậy <code>[]v_p({2n choose n}) = lfloor 2n/p rfloor</code>. Nếu []n [katex]lfloor 2n/p rfloor = 1</code>. Vậy <code>v_p({2n choose n}) = 1</code>. Nếu giả sử không có số nguyên tố nào trong [](n, 2n]$ , thì không có $p$ nào như vậy. Điều này có nghĩa là mọi số nguyên tố $p \le 2n$ đều phải có $p \le n$ .

Sử dụng các ước tính của Chebyshev:
${2n choose n} \le 4^n</code>. Nếu giả sử không có số nguyên tố []p in (n, 2n]$ , thì mọi số nguyên tố $p \le 2n$ đều là $p \le n$ . ${2n choose n} = prod_{p \le n} p^{v_pleft({2n choose n}\right)}</code>. Ta có <code>[]v_pleft({2n choose n}\right) \le lfloor log_p(2n) rfloor</code>. <code>[]{2n choose n} \le prod_{p \le n} p^{lfloor log_p(2n) rfloor}</code>. Để ý <code>p^{lfloor log_p(2n) rfloor} \le p^{log_p(2n)} = 2n[]. </code>[]{2n choose n} \le (2n)^{\pi(n)} \approx (2n)^{2n/\ln (2n)}`. Đây là một ước tính rất lớn. Chebyshev đã chứng minh một cách tinh tế hơn: <code>[]{2n choose n} \le prod_{p \le n} p^{lfloor log_p n rfloor}</code>. (Lưu ý: ở đây là$ log_p n$, không phải $logp(2n) $). Và `[]prod{p \le n} p^{lfloor logp n rfloor} < 4^n<code>với$ n ge 1$. Giả sử Định Lý Bertrand sai cho $n$, tức là không có số nguyên tố nào trong $(n, 2n] $. Thì</code>[]{2n choose n} = prod{p \le n} p^{v_pleft({2n choose n}\right)}<code>. Ta biết</code>v_pleft({2n choose n}\right) \le lfloor logp n rfloor<code>cho mọi$ p $. Do đó,</code>[]{2n choose n} \le prod{p \le n} p^{lfloor log_p n rfloor} < 4^n<code>. Nhưng ta cũng có bất đẳng thức:</code>[]{2n choose n} \ge \frac{4^n}{2n+1}<code>. Vậy, ta cần</code>[]\frac{4^n}{2n+1} < 4^n`. Điều này luôn đúng. Tuy nhiên, Chebyshev chứng minh thêm rằng <code>[]v_pleft({2n choose n}\right) \le 1</code> khi$ p > n/2$. Nếu không có số nguyên tố nào trong $(n, 2n] $, thì <code>[]{2n choose n} = prod_{p \le n} p^{v_pleft({2n choose n}\right)}</code>. <code>[]{2n choose n} = \left(prod_{p \le n/2} p^{v_pleft({2n choose n}\right)}\right) \cdot \left(prod_{n/2 . <code>prod_{p \le n/2} p^{v_pleft({2n choose n}\right)} \le prod_{p \le n/2} p^{lfloor log_p n rfloor} < 4^{n/2}</code>. <code>prod_{n/2 . Nếu$ v_pleft({2n choose n}right)=1$ thì $p le 2n/3$. Nếu $vp=0 $thì không đóng góp. Vậy, `prod{n/2 pleft({2n choose n}\right)} \le prod{n/2 . Do đó,</code>[]{2n choose n} < 4^{n/2} \cdot 4^{2n/3} = 4^{7n/6}`. Bất đẳng thức <code>[]{2n choose n} \ge \frac{4^n}{2n+1}</code> là đúng. Vậy, <code>[]\frac{4^n}{2n+1} < 4^{7n/6}</code>. Điều này luôn đúng với$ n $đủ lớn. Tuy nhiên, cách chứng minh của Chebyshev sử dụng ước tính chặt hơn cho <code>[]{2n choose n}</code> và chứng minh rằng nó phải nhỏ hơn <code>4^n</code> bởi một thừa số nào đó nếu không có số nguyên tố trong$ (n, 2n] $. <h3>7. Mẹo Kiểm Tra</h3> <ul> <li>Khi gặpmột bài toán yêu cầu chứng minh sự tồn tại của một đối tượng toán học trong một khoảng nhất định, hãy nghĩ đến các phương pháp đếm, sử dụng các tính chất của hàm số học, hoặc các bất đẳng thức tích lũy.</li> <li>Phân tích các trường hợp nhỏ trước khi đi vào chứng minh tổng quát.</li> <li>Sử dụng giả sử ngược (phủ định của điều cần chứng minh) để dẫn đến mâu thuẫn.</li> </ul> <h3>8. Lỗi Hay Gặp</h3> <ul> <li>Nhầm lẫn hoặc sai sót trong các công thức liên quan đến Định lý Legendre hoặc các ước tính của hệ số nhị thức.</li> <li>Sai lầm trong việc áp dụng các bất đẳng thức hoặc giới hạn.</li> <li>Quên kiểm tra các trường hợp$ n $nhỏ.</li> <li>Không xử lý đúng các số nguyên tố nhỏ và lớn một cách riêng biệt.</li> <li>Hiểu sai mối liên hệ giữa các bổ đề và định lý chính.</li> </ul> <h2>Đáp Án/Kết Quả</h2> Định Lý Bertrand phát biểu rằng với mọi số nguyên$ n ge 2$, luôn tồn tại ít nhất một số nguyên tố $p$ sao cho $n []{2n choose n}</code>, kết hợp với việc phân tích các trường hợp số nguyên tố theo kích thước của chúng so với$ n $. Sự tồn tại của các số nguyên tố trong khoảng này là nền tảng cho nhiều kết quả trong lý thuyết số, bao gồm cả các kết quả sâu sắc hơn như Định Lý Roth liên quan đến cấu trúc tập hợp. <h2>Conclusion</h2> Định Lý Bertrand là một tuyên bố đẹp đẽ nhưng sâu sắc về sự phân bố của các số nguyên tố, khẳng định rằng giữa một số nguyên$ n$ và gấp đôi nó $2n$ luôn có ít nhất một số nguyên tố. Chứng minh của nó, được phát triển bởi Chebyshev, sử dụng các công cụ từ lý thuyết số giải tích, đặc biệt là phân tích các ước số nguyên tố của giai thừa. Mặc dù có vẻ đơn giản, định lý này có ý nghĩa quan trọng, cho thấy các số nguyên tố không quá thưa thớt. Mở rộng ra, các kết quả như Định Lý Roth minh chứng cho sự phong phú của cấu trúc số học, và việc nghiên cứu chúng tiếp tục làm sáng tỏ những bí ẩn của thế giới toán học.

Ngày chỉnh sửa nội dung mới nhất January 7, 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.