n2 + n + 1 = n.(n+1) + 1.
Vì n.(n+1) là tích hai số tự nhiên liên tiếp, trong 2 số liên tiếp luôn luôn có 1 số chẵn => n.(n+1) là số chẵn, cộng thêm 1 sẽ là số lẻ => n.(n+1) + 1 là số lẻ, không chia hết cho 2.
Để chứng minh n.(n+1) + 1 không chia hết cho 5 ta thấy hai số n và n+1 có thể có các chữ số tận cùng sau:
n tận cùng là 0, 1, 2, 3, 4, 5, 6, 7, 8, 9; tương ứng số tận cùng của n+ 1 như sau:
n+ 1 tận cùng là 1, 2, 3, 4, 5, 6, 7, 8, 9, 0
=> tích của n.(n+1) tận cùng là:
0, 2, 6, 2, 0, 0, 2, 6, 2, 0
Hay là n.(n+1) tận cùng là 0, 2, 6
=> n.(n+1) +1 tận cùng là: 1, 3, 7 không chia hết cho 5