n là số tự nhiên nên n có dạng: n = 3k; n = 3k +1; n = 3k +2 (k \(\in\) N)
Vơi n = 3k ta có: n(n + 1).(n + 5) = 3k(3k+1).(3k+5)⋮ 3
Nếu n = 3k + 1 ta có:
n(n+1)(n+5)=(3k + 1).(3k+ 1+1).(3k + 1+ 5) = (3k + 1)(3k+2)(3k+6) ⋮ 3
Nếu n =3k + 2 ta có:
n(3n +2 + 1).(3n + 2 + 5) = n(3n+3)(3n+7) ⋮ 3
Tư những lập luận và phân tích trên ta có: n(n+1)(n+5)⋮ 3 ∀ n \(\in\) N