Ta có:
x^3 - 13x
= x^3 - x - 12x
= x(x^2 - 1) - 12x
= (x - 1).x.(x + ) - 12x
Vì x là số nguyên
=> x - 1; x; x + 1 là 3 số nguyên liên tiếp
=> (x - 1).x.(x + 1) chia hết cho 6
mà - 12x chia hết cho 6
=> (x - 1).x.(x + 1) - 12x chia hết cho 6
hay x^3 - 13x chia hết cho 6
=> đpcm