Đặt A=n(n+2)(n+7)
TH1: n=3k => A hiển nhiên chia hết cho 3
TH2: Nếu n=3k+1 => A=(3k+1)(3k+1+2)(3k+1+7)=(3k+1).3(k+1)(3k+8) chia hết cho 3
TH3: Nếu k=3k+2 => A=(3k+2)(3k+2+2)(3k+2+7)=(3k+2)(3k+4).3(k+3) chia hết cho 3
Vậy A chia hết cho 3 với mọi n thuộc Z