TH1: a, b, c có ít nhất 1 số chi hết cho 7
=> abc chia hết cho 7
=> Đpcm
TH2: a, b, c không có số nào chia hết cho 7
=> a, b, c chia 7 dư từ 1 đến 6
=> a^3, b^3, c^3 chia 7 dư 1 hoặc 6 (đã được CM)
(Bạn có thể tự CM bằng công thức sau:
VD: a chia 7 dư r => a = 7k + r (với k là thương)
=> a^3 = (7k + r)^3 )
=> a^3, b^3, c^3 có ít nhất 2 số cùng số dư
=> (a^3 - b^3)(b^3 - c^3)(c^3 - a^3) có ít nhất 1 cặp số chia hết cho 7
=> Đpcm