Ta có:
n(n + 1)(n + 2)
= (n² + n)(n + 2)
= n³ + 2n² + n² + 2n
= n³ + 3n² + 2n
Mà n(n + 1)(n + 2) là tích của ba số nguyên liên tiếp (do n là số nguyên)
⇒ n(n + 1)(n + 2) ⋮ 3
⇒ (n³ + 3n² + 2) ⋮ 3
Ta có:
n³ + 11n
= n³ + 3n² + 2n - 3n² + 9n
= (n³ + 3n² + 2n) - 3n(n - 3)
Ta có:
3 ⋮ 3
⇒ 3n(n - 3) ⋮ 3 (với mọi n nguyên)
Mà (n³ + 3n² + 2n) ⋮ 3 (cmt)
⇒ [(n³ + 3n² + 2n) - 3n(n - 3)] ⋮ 3
Vậy (n³ + 11n) ⋮ 3 với mọi số nguyên n