Ta có :
\(n^3-13n=n^3-n-12n=n\left(n^2-1\right)-12n=n\left(n-1\right)\left(n+1\right)-12n\)
Với mọi số nguyên n ta có :
+) \(n\left(n-1\right)\left(n+1\right)⋮6\) (tích của 3 số nguyên liên tiếp )
+) \(12n⋮6\)
\(\Leftrightarrow n\left(n-1\right)\left(n+1\right)-12n⋮6\)
\(\Leftrightarrow n^3-12n⋮6\left(đpcm\right)\)