n2 + n + 1 = n(n+1) +1
vì n(n+1) là số chẵn. nên n(n+1) +1 là số lẻ
=>n2 + n + 1 không chia hết cho 4
n2 +n +1 = n(n+1) + 1
vì n(n+1) luôn chia hết cho 2 với mọi n
=> n(n+1) + 1 không chia hết cho 2
=> n2 +n +1 không chia hết cho 2 => không chia hết cho 4 (dpcm)