n2+n+2 = n(n+1)+2
n sẽ có dạng n=3k; n=3k+1; n=3k+2 (k\(\in Z\))
n=3k => n(n+1) = 3k(3k+1) chia hết cho 3 nên 3k(3k+1)+2 không chia hết cho 3
n=3k +1 => n2+n+2= (3k+1)2 +3k+3; dế thấy 3k+3 chia hết cho 3 nhưng (3k+1)2 không chia hết cho 3 nên n2 +n+2 không chia hết cho 3
n=3k+2 => n(n+1) = (3k+1)(3k+3)=3(3k+1)(k+1) chia hết cho 3 nên (3k+2)(k+3)+2 không chia hết cho 3
vậy với mọi n đều không chia hết