Chào các em học sinh lớp 9 thân mến! Cô là giáo viên Toán của các em đây. Hôm nay, chúng ta sẽ cùng nhau chinh phục một bài toán khá thú vị liên quan đến tính chất chia hết. Bài toán này giúp chúng ta rèn luyện kỹ năng sử dụng các tính chất của số nguyên và định lý nhỏ Fermat (mặc dù chúng ta sẽ không gọi tên trực tiếp định lý này mà chỉ sử dụng hệ quả của nó thôi nhé).

Đề bài yêu cầu chúng ta chứng minh rằng nếu a, b, c là các số nguyên dương thỏa mãn a^3 + b^3 + c^3 chia hết cho 18, thì abc cũng chia hết cho 6.

Chúng ta sẽ đi từng bước một, phân tích đề bài và sử dụng những kiến thức đã học.

Bước 1: Phân tích giả thiết và yêu cầu.

Giả thiết cho chúng ta:
1. a, b, c là các số nguyên dương.
2. a^3 + b^3 + c^3 chia hết cho 18. Điều này có nghĩa là a^3 + b^3 + c^3 = 18k, với k là một số nguyên nào đó.

Yêu cầu: Chứng minh abc chia hết cho 6. Điều này có nghĩa là abc = 6m, với m là một số nguyên nào đó.

Để chứng minh abc chia hết cho 6, chúng ta cần chứng minh abc chia hết cho 2 và abc chia hết cho 3.

Bước 2: Sử dụng tính chất chia hết cho 2 và 3 của a^3, b^3, c^3.

Chúng ta biết rằng 18 = 2 * 9. Vì a^3 + b^3 + c^3 chia hết cho 18, nên nó cũng chia hết cho 2 và chia hết cho 9.

* Xét tính chia hết cho 2:
Xét lập phương của một số nguyên bất kỳ, chúng ta có hai trường hợp:
– Nếu n là số chẵn, thì n = 2p (với p là số nguyên). Khi đó, n^3 = (2p)^3 = 8p^3. Rõ ràng 8p^3 chia hết cho 2.
– Nếu n là số lẻ, thì n = 2p + 1 (với p là số nguyên). Khi đó, n^3 = (2p + 1)^3 = 8p^3 + 12p^2 + 6p + 1. Ta có thể nhóm lại như sau: n^3 = 2(4p^3 + 6p^2 + 3p) + 1. Điều này cho thấy n^3 là số lẻ.
Như vậy, lập phương của một số nguyên có cùng tính chẵn lẻ với chính số nguyên đó. Nghĩa là:
– Nếu n chia hết cho 2 thì n^3 chia hết cho 2.
– Nếu n không chia hết cho 2 thì n^3 không chia hết cho 2 (là số lẻ).

Bây giờ xét tổng a^3 + b^3 + c^3.
Nếu a^3 + b^3 + c^3 chia hết cho 2 (là số chẵn), thì trong ba số a^3, b^3, c^3 phải có một số chẵn hoặc ba số đều chẵn.
Tuy nhiên, nếu ta xét theo tính chẵn lẻ của a, b, c:
– Nếu a, b, c đều chẵn, thì a^3, b^3, c^3 đều chẵn. Tổng của ba số chẵn là số chẵn.
– Nếu có hai số lẻ và một số chẵn (ví dụ a, b lẻ, c chẵn), thì a^3, b^3 lẻ, c^3 chẵn. Tổng của hai số lẻ và một số chẵn là số chẵn.
– Nếu có một số lẻ và hai số chẵn (ví dụ a lẻ, b, c chẵn), thì a^3 lẻ, b^3, c^3 chẵn. Tổng của một số lẻ và hai số chẵn là số lẻ. Trường hợp này không thỏa mãn a^3 + b^3 + c^3 chia hết cho 2.
– Nếu cả ba số lẻ, thì a^3, b^3, c^3 đều lẻ. Tổng của ba số lẻ là số lẻ. Trường hợp này cũng không thỏa mãn a^3 + b^3 + c^3 chia hết cho 2.

Do đó, để a^3 + b^3 + c^3 chia hết cho 2, thì hoặc cả ba số a, b, c đều chẵn, hoặc có hai số lẻ và một số chẵn. Trong cả hai trường hợp này, tích abc sẽ luôn chẵn.
– Nếu a, b, c đều chẵn, thì abc chẵn.
– Nếu hai số lẻ, một số chẵn (ví dụ a, b lẻ, c chẵn), thì abc = (lẻ lẻ) chẵn = lẻ * chẵn = chẵn.
Vậy, từ giả thiết a^3 + b^3 + c^3 chia hết cho 2, ta suy ra abc chia hết cho 2.

* Xét tính chia hết cho 3:
Xét lập phương của một số nguyên bất kỳ modulo 3.
– Nếu n chia hết cho 3, thì n = 3p. n^3 = (3p)^3 = 27p^3. Rõ ràng n^3 chia hết cho 3. (n^3 \(\equiv\) 0 (mod 3))
– Nếu n chia 3 dư 1, thì n = 3p + 1. n^3 = (3p + 1)^3 = 27p^3 + 27p^2 + 9p + 1 = 3(9p^3 + 9p^2 + 3p) + 1. Vậy n^3 chia 3 dư 1. (n^3 \(\equiv\) 1 (mod 3))
– Nếu n chia 3 dư 2, thì n = 3p + 2. n^3 = (3p + 2)^3 = 27p^3 + 54p^2 + 36p + 8 = 3(9p^3 + 18p^2 + 12p + 2) + 2. Vậy n^3 chia 3 dư 2. (n^3 \(\equiv\) 2 (mod 3))

Ta có thể viết lại như sau:
– Nếu n \(\equiv\) 0 (mod 3) thì n^3 \(\equiv\) 0 (mod 3).
– Nếu n \(\equiv\) 1 (mod 3) thì n^3 \(\equiv\) 1 (mod 3).
– Nếu n \(\equiv\) 2 (mod 3) thì n^3 \(\equiv\) 8 \(\equiv\) 2 (mod 3).

Một cách khác gọn gàng hơn:
– Nếu n \(\equiv\) 0 (mod 3) thì n^3 \(\equiv\) 0 (mod 3).
– Nếu n \(\equiv\) 1 (mod 3) thì n^3 \(\equiv\) 1 (mod 3).
– Nếu n \(\equiv\) -1 (mod 3) thì n^3 \(\equiv\) (-1)^3 \(\equiv\) -1 \(\equiv\) 2 (mod 3).
Hoặc rất quan trọng: n^3 \(\equiv\) n (mod 3).
Điều này có nghĩa là lập phương của một số nguyên luôn có cùng số dư khi chia cho 3 với chính số nguyên đó.

Bây giờ, chúng ta có a^3 + b^3 + c^3 chia hết cho 18, nên nó chia hết cho 3.
a^3 + b^3 + c^3 \(\equiv\) 0 (mod 3).
Thay n^3 \(\equiv\) n (mod 3) vào, ta được:
a + b + c \(\equiv\) 0 (mod 3).

Điều này có nghĩa là tổng a + b + c chia hết cho 3.
Bây giờ chúng ta xét tích abc.
Trường hợp 1: Nếu một trong ba số a, b, c chia hết cho 3. Ví dụ a chia hết cho 3.
Khi đó, abc sẽ chia hết cho 3.

Trường hợp 2: Không có số nào trong ba số a, b, c chia hết cho 3.
Khi đó, a, b, c có thể nhận các số dư là 1 hoặc 2 khi chia cho 3.
Vì a + b + c \(\equiv\) 0 (mod 3), các khả năng có thể xảy ra là:
– a \(\equiv\) 1 (mod 3), b \(\equiv\) 1 (mod 3), c \(\equiv\) 1 (mod 3). Tổng là 1+1+1 = 3 \(\equiv\) 0 (mod 3).
– a \(\equiv\) 2 (mod 3), b \(\equiv\) 2 (mod 3), c \(\equiv\) 2 (mod 3). Tổng là 2+2+2 = 6 \(\equiv\) 0 (mod 3).
– a \(\equiv\) 1 (mod 3), b \(\equiv\) 1 (mod 3), c \(\equiv\) 2 (mod 3). Tổng là 1+1+2 = 4 \(\equiv\) 1 (mod 3). Trường hợp này loại vì tổng không chia hết cho 3.
– a \(\equiv\) 1 (mod 3), b \(\equiv\) 2 (mod 3), c \(\equiv\) 2 (mod 3). Tổng là 1+2+2 = 5 \(\equiv\) 2 (mod 3). Trường hợp này loại vì tổng không chia hết cho 3.

Như vậy, nếu không có số nào chia hết cho 3, thì hoặc cả ba số đều có cùng số dư 1 (mod 3) hoặc cả ba số đều có cùng số dư 2 (mod 3).
– Nếu a \(\equiv\) 1, b \(\equiv\) 1, c \(\equiv\) 1 (mod 3), thì abc \(\equiv\) 1 1 1 \(\equiv\) 1 (mod 3). Tích abc không chia hết cho 3. Trường hợp này không thể xảy ra với điều kiện a+b+c chia hết cho 3. (Xem lại lập luận ở trên)

Ah, cô xin lỗi, cô đã quên mất rằng ta có a^3 + b^3 + c^3 \(\equiv\) 0 (mod 3).
Chúng ta đã chứng minh được n^3 \(\equiv\) n (mod 3).
Do đó, a^3 + b^3 + c^3 \(\equiv\) a + b + c (mod 3).
Vì a^3 + b^3 + c^3 chia hết cho 3, nên a + b + c chia hết cho 3.
Tức là a + b + c \(\equiv\) 0 (mod 3).

Bây giờ, chúng ta xét tích abc.
Nếu một trong các số a, b, c chia hết cho 3, thì abc chia hết cho 3.
Nếu không có số nào trong các số a, b, c chia hết cho 3, thì mỗi số a, b, c có số dư là 1 hoặc 2 khi chia cho 3.
Ta xét các trường hợp về số dư của a, b, c khi chia cho 3 sao cho tổng của chúng chia hết cho 3:
– Trường hợp 1: a \(\equiv\) 1, b \(\equiv\) 1, c \(\equiv\) 1 (mod 3). Tổng = 3 \(\equiv\) 0 (mod 3). Trong trường hợp này, abc \(\equiv\) 1 1 1 \(\equiv\) 1 (mod 3). Tích abc không chia hết cho 3.
– Trường hợp 2: a \(\equiv\) 2, b \(\equiv\) 2, c \(\equiv\) 2 (mod 3). Tổng = 6 \(\equiv\) 0 (mod 3). Trong trường hợp này, abc \(\equiv\) 2 2 2 = 8 \(\equiv\) 2 (mod 3). Tích abc không chia hết cho 3.
– Trường hợp 3: Hai số dư là 1, một số dư là 1. Ví dụ: a \(\equiv\) 1, b \(\equiv\) 1, c \(\equiv\) 1. Tổng là 3. Tích abc \(\equiv\) 1.
– Trường hợp 4: Một số dư là 1, hai số dư là 2. Ví dụ: a \(\equiv\) 1, b \(\equiv\) 2, c \(\equiv\) 0 (mod 3). Tích abc \(\equiv\) 0. Nhưng trường hợp này giả định có số chia hết cho 3.

Cô xin lỗi, có lẽ cô đã làm các em rối. Chúng ta quay lại tính chất của lập phương.
n^3 \(\equiv\) n (mod 3).
Nên a^3 + b^3 + c^3 \(\equiv\) a + b + c (mod 3).
Do a^3 + b^3 + c^3 chia hết cho 3, suy ra a + b + c chia hết cho 3.

Bây giờ, ta xét tích abc.
Nếu một trong các số a, b, c chia hết cho 3, thì abc chia hết cho 3.
Nếu không có số nào chia hết cho 3, thì mỗi số có thể dư 1 hoặc dư 2 khi chia cho 3.
Chúng ta xét các bộ số dư (a mod 3, b mod 3, c mod 3) sao cho a + b + c chia hết cho 3:
– (1, 1, 1): Tổng 3. Tích 1.
– (1, 2, 0): Tổng 3. Tích 0. (Trường hợp này có số chia hết cho 3, nên tích chia hết cho 3).
– (2, 2, 2): Tổng 6. Tích 8 \(\equiv\) 2.
– (1, 1, 2): Tổng 4. Không chia hết cho 3.
– (1, 2, 2): Tổng 5. Không chia hết cho 3.
– (0, 0, 0): Tổng 0. Tích 0. (Trường hợp này có số chia hết cho 3).

Quan trọng là: nếu a+b+c chia hết cho 3, thì không thể nào cả ba số a,b,c đều không chia hết cho 3 mà tích abc lại không chia hết cho 3.
Lý do là: Nếu a, b, c đều không chia hết cho 3, thì a, b, c \(\in\) {1, 2} (mod 3).
Để a + b + c \(\equiv\) 0 (mod 3), ta chỉ có hai trường hợp:
1. a \(\equiv\) 1, b \(\equiv\) 1, c \(\equiv\) 1 (mod 3). Khi đó abc \(\equiv\) 1*1*1 = 1 (mod 3).
2. a \(\equiv\) 2, b \(\equiv\) 2, c \(\equiv\) 2 (mod 3). Khi đó abc \(\equiv\) 2*2*2 = 8 \(\equiv\) 2 (mod 3).
Trong cả hai trường hợp này, abc đều không chia hết cho 3.
Nhưng ta biết a + b + c chia hết cho 3. Vậy chỉ có thể có trường hợp một trong các số a, b, c chia hết cho 3.
Nếu a chia hết cho 3, thì abc chia hết cho 3.
Nếu b chia hết cho 3, thì abc chia hết cho 3.
Nếu c chia hết cho 3, thì abc chia hết cho 3.
Vậy, từ giả thiết a^3 + b^3 + c^3 chia hết cho 3, ta suy ra abc chia hết cho 3.

Bước 3: Tổng hợp lại.

Chúng ta đã chứng minh được:
1. Từ a^3 + b^3 + c^3 chia hết cho 2, suy ra abc chia hết cho 2.
2. Từ a^3 + b^3 + c^3 chia hết cho 3, suy ra abc chia hết cho 3.

Vì abc chia hết cho cả 2 và 3, mà 2 và 3 là hai số nguyên tố cùng nhau, nên abc phải chia hết cho tích của chúng, tức là chia hết cho 2 * 3 = 6.

Kết luận:

Vậy, với các số nguyên dương a, b, c thỏa mãn a^3 + b^3 + c^3 chia hết cho 18, ta suy ra abc chia hết cho 6.

Bài toán này tuy không quá phức tạp nhưng nó giúp chúng ta củng cố kiến thức về tính chất chia hết, đồng dư thức và cách phân tích bài toán thành các trường hợp nhỏ hơn. Cô hy vọng các em đã hiểu rõ cách giải. Nếu có bất kỳ thắc mắc nào, đừng ngần ngại hỏi cô nhé!