giả sử n^2 + n + 1 chia hêt cho 9
=>n^2 + n + 1 = 9k (k thuộc Z)
<=> n^2 + n +1 -9k = 0. có nghiệm nguyên(n thuộc Z)
k<1/12 vô nghiệm, với k>= 1/12 ta có
n1= -1-[tex]3sqrt{(12k-1)/3}[/tex]
n2= -1+[tex]3sqrt{(12k-1)/3}[/tex]
dễ thấy 12k - 1 không chia hết cho 3 nên với mọi k = Z,k>=1/12.n1,n2 không nguyên
vậy với mọi n=Z, n^2 +n +1 không chia hết cho 9