Xét số nguyên \(x\)bất kì.
- \(x=3k\): \(x^3=27k^3⋮9\)
- \(x=3k+1\): \(x^3=\left(3k+1\right)^3=27k^3+27k^2+9k+1\equiv1\left(mod9\right)\)
- \(x=3k-1\): \(x^3=\left(3k-1\right)^3=27k^3-27k^2+9k-1\equiv-1\left(mod9\right)\)
Vậy lập phương của một số nguyên khi chia cho \(9\)chỉ có thể có dư là \(0,1,8\).
mà \(a^3+b^3+c^3=2007⋮9\)nên có ít nhất một trong ba số hạng đó chia hết cho \(9\).
khi đó nó chia hết cho \(3\).
Vậy \(abc⋮3\).