Đặt un = 3n3 + 15n
+ Với n = 1 ⇒ u1 = 18 ⋮ 9.
+ Giả sử với n = k ≥ 1 ta có: uk = (3k3 + 15k) ⋮ 9
⇒ uk+1 = 3(k + 1)3 + 15(k + 1 )
= 3(k3 + 3k2 + 3k + 1) + 15k + 15
= (3k3 + 15k) + 9k2 + 9k + 18
= (3k3 + 15k) + 9(k2 + k + 2)
= uk + 9(k2 + k + 2)
Mà uk ⋮ 9 và 9(k2 + k + 2) ⋮ 9
⇒ uk + 1 ⋮ 9.
Vậy un = 3n3 + 15n ⋮ 9 ∀n ∈ N*