Chứng minh rằng n^3 – n chia hết cho 6 với mọi số nguyên n

A = n3 – n (có nhân tử chung n)

= n(n2 – 1) (Xuất hiện HĐT (3))

= n(n – 1)(n + 1)

n – 1; n và n + 1 là ba số tự nhiên liên tiếp nên

+ Trong đó có ít nhất một số chẵn ⇒ (n – 1).n.(n + 1) ⋮ 2

+ Trong đó có ít nhất một số chia hết cho 3 ⇒ (n – 1).n.(n + 1) ⋮ 3

Vậy A ⋮ 2 và A ⋮ 3 nên A ⋮ 6.