TH1: n chia hết cho 5
=> n2 chia hết cho 5
=> n2 + n chia hết cho 5
Mà 1 chia 5 dư 1
=> n2 + n + 1 chia 5 dư 1
TH2: n chia 5 dư 1
=> n2 chia 5 dư 1
=> n2 + n chia 5 dư 2
Mà 1 chia 5 dư 1
=> n2 +n + 1 chia 5 dư 3
TH3: n chia 5 dư 2
=> n2 chia 5 dư 4
=> n2 + n chia 5 dư 1
Mà 1 chia 5 dư 1
=> n2 + n + 1 chia 5 dư 2
TH4: n chia 5 dư 3
=> n2 chia 5 dư 4
=> n2 + n chia 5 dư 2
Mà 1 chia 5 dư 1
=> n2 + n + 1 chia 5 dư 3
TH5: n chia 5 dư 4
=> n2 chia 5 dư 1
=> n2 + n chia 5 dư 2
Mà 1 chia 5 dư 1
=> n2 + n + 1 chia 5 dư 3
Vậy với mọi số tự nhiên n thì n2 + n + 1 không chia hết cho 5