Chào các em học sinh thân mến! Hôm nay, thầy trò chúng ta sẽ cùng nhau giải một bài toán rất thú vị, đòi hỏi một chút suy luận logic và khả năng ước lượng. Đây là một bài toán thường gặp trong các kỳ thi học sinh giỏi, giúp chúng ta rèn luyện tư duy phản biện.

Đề bài: Cho 2025 số nguyên dương \(a_1, a_2, a_3, …, a_{2025}\) thỏa mãn điều kiện \(\frac{1}{a_1} + \frac{1}{a_2} + \frac{1}{a_3} + … + \frac{1}{a_{2025}} = 12\). Chứng minh rằng trong 2025 số đã cho có ít nhất 2 số bằng nhau.

Để giải quyết bài toán này, chúng ta sẽ sử dụng một phương pháp chứng minh rất mạnh mẽ gọi là phương pháp phản chứng. Tức là, chúng ta sẽ giả sử điều ngược lại với điều cần chứng minh là đúng, sau đó đi đến một kết quả vô lý (mâu thuẫn với giả thiết hoặc một sự thật hiển nhiên). Khi đó, giả định ban đầu của chúng ta là sai, và điều cần chứng minh là đúng.

Bây giờ, chúng ta cùng bắt đầu nhé!

Lời giải chi tiết:

Bước 1: Giả sử ngược lại

Để chứng minh rằng trong 2025 số nguyên dương đã cho có ít nhất 2 số bằng nhau, chúng ta sẽ giả sử điều ngược lại là đúng.

Giả sử rằng tất cả 2025 số nguyên dương \(a_1, a_2, …, a_{2025}\) đều khác nhau.

Bước 2: Sắp xếp các số và tìm giá trị nhỏ nhất có thể

Vì các số \(a_i\) là các số nguyên dương và chúng ta đang giả sử chúng khác nhau, chúng ta có thể sắp xếp chúng theo thứ tự tăng dần:

\(a_1 < a_2 < a_3 < ... < a_{2025}\)

Vì chúng là các số nguyên dương khác nhau, giá trị nhỏ nhất mà chúng có thể nhận được là:

• Số nhỏ nhất phải lớn hơn hoặc bằng 1: \(a_1 \ge 1\)
• Số tiếp theo phải lớn hơn số thứ nhất và lớn hơn hoặc bằng 2: \(a_2 \ge 2\)
• Số tiếp theo nữa phải lớn hơn số thứ hai và lớn hơn hoặc bằng 3: \(a_3 \ge 3\)
• …
• Cứ như vậy, số thứ 2025 phải lớn hơn hoặc bằng 2025: \(a_{2025} \ge 2025\)

Bước 3: Đánh giá tổng các nghịch đảo

Từ các bất đẳng thức trên, chúng ta có thể suy ra các bất đẳng thức cho các nghịch đảo của chúng. Khi lấy nghịch đảo, chiều của bất đẳng thức sẽ đảo ngược:

• \(\frac{1}{a_1} \le \frac{1}{1}\)
• \(\frac{1}{a_2} \le \frac{1}{2}\)
• \(\frac{1}{a_3} \le \frac{1}{3}\)
• …
• \(\frac{1}{a_{2025}} \le \frac{1}{2025}\)

Cộng tất cả 2025 bất đẳng thức này lại, chúng ta được:

\(\frac{1}{a_1} + \frac{1}{a_2} + … + \frac{1}{a_{2025}} \le \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + … + \frac{1}{2025}\)

Theo đề bài, chúng ta biết rằng tổng các nghịch đảo là 12:

\(\frac{1}{a_1} + \frac{1}{a_2} + … + \frac{1}{a_{2025}} = 12\)

Vậy, nếu giả sử ban đầu là đúng (tất cả các số \(a_i\) đều khác nhau), thì chúng ta phải có:

\(12 \le \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + … + \frac{1}{2025}\)

Để chứng minh giả định ban đầu là sai, chúng ta cần chứng minh rằng tổng \(S = \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + … + \frac{1}{2025}\) thực sự nhỏ hơn 12.

Bước 4: Ước lượng giá trị của tổng nghịch đảo (chuỗi điều hòa)

Gọi \(S_n = \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + … + \frac{1}{n}\). Chúng ta cần ước lượng \(S_{2025}\).

Chúng ta biết rằng \(2^{10} = 1024\) và \(2^{11} = 2048\).
Vì \(2025 < 2048\), nên \(S_{2025} < S_{2048}\).

Bây giờ, chúng ta sẽ ước lượng \(S_{2048}\) bằng cách nhóm các số hạng lại theo lũy thừa của 2:

\(S_{2048} = \frac{1}{1} + \frac{1}{2} + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}\right) + … + \left(\frac{1}{1025} + … + \frac{1}{2048}\right)\)

Chúng ta sẽ đánh giá từng nhóm một:

• Nhóm thứ nhất: \(\frac{1}{1} = 1\)
• Nhóm thứ hai: \(\frac{1}{2}\)
• Nhóm thứ ba: \(\left(\frac{1}{3} + \frac{1}{4}\right)\). Nhóm này có \(2\) số hạng. Mỗi số hạng đều nhỏ hơn \(\frac{1}{2}\) (ví dụ: \(\frac{1}{3} < \frac{1}{2}\), \(\frac{1}{4} < \frac{1}{2}\)).
  Vậy, \(\frac{1}{3} + \frac{1}{4} < \frac{1}{2} + \frac{1}{2} = 1\).
• Nhóm thứ tư: \(\left(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}\right)\). Nhóm này có \(4\) số hạng. Mỗi số hạng đều nhỏ hơn \(\frac{1}{4}\).
  Vậy, \(\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8} < \frac{1}{4} + \frac{1}{4} + \frac{1}{4} + \frac{1}{4} = 1\).
• Cứ tiếp tục như vậy, đối với một nhóm có \(2^k\) số hạng (từ \(\frac{1}{2^k+1}\) đến \(\frac{1}{2^{k+1}}\)), mỗi số hạng đều nhỏ hơn \(\frac{1}{2^k}\).
  Vậy tổng của nhóm đó sẽ nhỏ hơn \(2^k \times \frac{1}{2^k} = 1\).

Bây giờ chúng ta áp dụng điều này cho \(S_{2048}\). Vì \(2048 = 2^{11}\), chúng ta có thể viết \(S_{2048}\) thành các nhóm như sau:

\(S_{2048} = \frac{1}{1} + \left(\frac{1}{2}\right) + \left(\frac{1}{3} + \frac{1}{4}\right) + \left(\frac{1}{5} + … + \frac{1}{8}\right) + … + \left(\frac{1}{2^{10}+1} + … + \frac{1}{2^{11}}\right)\)

Phân tích từng phần:

• Số hạng đầu tiên: \(\frac{1}{1} = 1\)
• Nhóm từ \(\frac{1}{2}\): \( \frac{1}{2} < 1 \)
• Nhóm từ \(\frac{1}{3}\) đến \(\frac{1}{4}\) (có \(2^1\) số hạng, bắt đầu từ \(2^1+1=3\)): \(\frac{1}{3} + \frac{1}{4} < \frac{1}{2} + \frac{1}{2} = 1\)
• Nhóm từ \(\frac{1}{5}\) đến \(\frac{1}{8}\) (có \(2^2\) số hạng, bắt đầu từ \(2^2+1=5\)): \(\frac{1}{5} + … + \frac{1}{8} < \frac{1}{4} + ... + \frac{1}{4} = 1\)
• …
• Nhóm cuối cùng là từ \(\frac{1}{2^{10}+1}\) đến \(\frac{1}{2^{11}}\) (tức là từ \(\frac{1}{1025}\) đến \(\frac{1}{2048}\)): Nhóm này có \(2^{10} = 1024\) số hạng. Mỗi số hạng đều nhỏ hơn \(\frac{1}{1024}\).
  Vậy, tổng nhóm này nhỏ hơn \(1024 \times \frac{1}{1024} = 1\).

Khi đó, tổng \(S_{2048}\) sẽ là:

\(S_{2048} < 1 \text{ (số hạng đầu tiên)} + 1 \text{ (nhóm 1/2)} + 1 \text{ (nhóm 1/3+1/4)} + ... + 1 \text{ (nhóm 1/1025+...+1/2048)}\)

Có tất cả 11 nhóm mà tổng của chúng nhỏ hơn 1 (từ nhóm \(\frac{1}{2}\) đến nhóm \(\frac{1}{1025} + … + \frac{1}{2048}\)).
Vậy, \(S_{2048} < 1 + 1 + 1 + ... + 1\) (có 11 số 1)

\(S_{2048} < 12\)

Bước 5: Đi đến mâu thuẫn và kết luận

Chúng ta đã chứng minh được rằng \(S_{2025} < S_{2048} < 12\).
Tức là, \(S_{2025} < 12\).

Nhưng theo giả định ban đầu của chúng ta (tất cả các số \(a_i\) đều khác nhau), chúng ta lại suy ra được:

\(12 \le S_{2025}\)

Từ hai kết quả này, chúng ta có: \(12 \le S_{2025} < 12\), điều này có nghĩa là \(12 < 12\).

Đây là một điều vô lý, một mâu thuẫn!

Mâu thuẫn này phát sinh từ giả định ban đầu của chúng ta rằng tất cả 2025 số \(a_i\) đều khác nhau.

Do đó, giả định ban đầu phải là sai. Điều này có nghĩa là phải có ít nhất 2 số trong 2025 số đã cho là bằng nhau.

Vậy, bài toán đã được chứng minh.

Các em thấy không, bằng cách suy luận logic và ước lượng cẩn thận, chúng ta có thể giải quyết được những bài toán tưởng chừng phức tạp! Thầy mong rằng các em đã hiểu bài và sẽ áp dụng phương pháp này vào các bài toán khác nhé!