Bài toán: Cho 9 số nguyên dương đôi một khác nhau sao cho mỗi số trong 9 số đã cho có đúng 3 ước nguyên tố là 2, 5, 7. Chứng minh rằng ta luôn chọn được 2 trong 9 số đã cho có tích là một số chính phương.

Để giải bài toán này, chúng ta cần hiểu rõ khái niệm ước nguyên tố và số chính phương. Một số nguyên dương có đúng 3 ước nguyên tố là 2, 5, 7 sẽ có dạng như thế nào?

Số đó sẽ có dạng \(2^a \cdot 5^b \cdot 7^c\), trong đó \(a, b, c\) là các số nguyên dương. Tuy nhiên, đề bài nói “có đúng 3 ước nguyên tố là 2, 5, 7”, điều này có nghĩa là các ước nguyên tố chỉ có thể là 2, 5, 7. Chúng ta cần xem xét các số mũ có thể bằng 0 hay không. Nếu các số mũ đều lớn hơn 0, thì chúng ta sẽ có 3 ước nguyên tố là 2, 5, 7. Nhưng nếu một trong các số mũ bằng 0, ví dụ \(a>0, b>0, c=0\), thì số đó chỉ có 2 ước nguyên tố là 2 và 5, mâu thuẫn với đề bài.

Vậy, mỗi số trong 9 số đã cho phải có dạng \(N = 2^a \cdot 5^b \cdot 7^c\) với \(a \ge 1\), \(b \ge 1\), \(c \ge 1\). Các số này đôi một khác nhau, có nghĩa là các bộ số mũ \((a, b, c)\) của chúng sẽ khác nhau.

Tiếp theo, chúng ta cần xét điều kiện để tích của hai số là một số chính phương.

Giả sử ta có hai số \(N_1 = 2^{a_1} \cdot 5^{b_1} \cdot 7^{c_1}\) và \(N_2 = 2^{a_2} \cdot 5^{b_2} \cdot 7^{c_2}\).

Tích của chúng là \(N_1 \cdot N_2 = (2^{a_1} \cdot 5^{b_1} \cdot 7^{c_1}) \cdot (2^{a_2} \cdot 5^{b_2} \cdot 7^{c_2}) = 2^{a_1+a_2} \cdot 5^{b_1+b_2} \cdot 7^{c_1+c_2}\).

Để tích \(N_1 \cdot N_2\) là một số chính phương, các số mũ của các thừa số nguyên tố trong phân tích của nó phải là số chẵn.

Điều này có nghĩa là:

• \(a_1 + a_2\) phải là số chẵn.
• \(b_1 + b_2\) phải là số chẵn.
• \(c_1 + c_2\) phải là số chẵn.

Hai số nguyên có tổng là số chẵn khi và chỉ khi cả hai số đó cùng chẵn hoặc cả hai số đó cùng lẻ. Nói cách khác, tính chẵn lẻ của \(a_1\) và \(a_2\) phải giống nhau, tính chẵn lẻ của \(b_1\) và \(b_2\) phải giống nhau, và tính chẵn lẻ của \(c_1\) và \(c_2\) phải giống nhau.

Chúng ta có thể biểu diễn tính chẵn lẻ của các số mũ bằng cách lấy chúng chia lấy dư cho 2. Ta sẽ xem xét bộ ba số dư \((a \pmod 2, b \pmod 2, c \pmod 2)\) cho mỗi số trong 9 số đã cho.

Vì mỗi số có dạng \(2^a \cdot 5^b \cdot 7^c\) với \(a \ge 1, b \ge 1, c \ge 1\), nên các giá trị \(a \pmod 2\), \(b \pmod 2\), \(c \pmod 2\) có thể là 0 hoặc 1.

Do đó, với mỗi số \(N = 2^a \cdot 5^b \cdot 7^c\), chúng ta có một bộ ba \((a \pmod 2, b \pmod 2, c \pmod 2)\). Có bao nhiêu bộ ba khác nhau có thể xảy ra?

• \(a \pmod 2\) có 2 giá trị: 0 hoặc 1.
• \(b \pmod 2\) có 2 giá trị: 0 hoặc 1.
• \(c \pmod 2\) có 2 giá trị: 0 hoặc 1.

Vậy có tất cả \(2 \times 2 \times 2 = 8\) bộ ba có thể xảy ra. Các bộ ba này là:

1. (0, 0, 0)
2. (0, 0, 1)
3. (0, 1, 0)
4. (0, 1, 1)
5. (1, 0, 0)
6. (1, 0, 1)
7. (1, 1, 0)
8. (1, 1, 1)

Bây giờ, chúng ta có 9 số nguyên dương, và mỗi số tương ứng với một trong 8 bộ ba về tính chẵn lẻ của các số mũ. Theo Nguyên lý Dirichlet (nguyên lý chuồng bồ câu), nếu ta có nhiều hơn số lượng “chuồng” thì ít nhất một “chuồng” phải chứa nhiều hơn một “bồ câu”.

Ở đây, 9 số nguyên là các “bồ câu” và 8 bộ ba tính chẵn lẻ là các “chuồng”. Vì số “bồ câu” (9) lớn hơn số “chuồng” (8), nên chắc chắn sẽ có ít nhất hai số trong 9 số đã cho có cùng một bộ ba tính chẵn lẻ.

Giả sử hai số đó là \(N_i\) và \(N_j\), với \(i \neq j\). Ta có:

• \(N_i = 2^{a_i} \cdot 5^{b_i} \cdot 7^{c_i}\)
• \(N_j = 2^{a_j} \cdot 5^{b_j} \cdot 7^{c_j}\)

Và chúng có cùng bộ ba tính chẵn lẻ, nghĩa là:

• \(a_i \equiv a_j \pmod 2\)
• \(b_i \equiv b_j \pmod 2\)
• \(c_i \equiv c_j \pmod 2\)

Điều này dẫn đến:

• \(a_i + a_j\) là số chẵn.
• \(b_i + b_j\) là số chẵn.
• \(c_i + c_j\) là số chẵn.

Khi đó, tích \(N_i \cdot N_j = 2^{a_i+a_j} \cdot 5^{b_i+b_j} \cdot 7^{c_i+c_j}\) sẽ là một số chính phương.

Vậy, ta luôn chọn được 2 trong 9 số đã cho có tích là một số chính phương.

Kết luận: Bài toán đã được chứng minh.

Các em có câu hỏi nào không?