Giả sử như mệnh đề trên đúng :
n^2+1 chia hết cho 4
* Nếu n chẵn : n = 2k , k thuộc N
=> n^2 +1 = 4k^2 +1 k chia hết cho 4
* nếu n lẻ : n = 2k + 1
=> n^2 +1 = 4k^2 +4k +2
=> n^2 +1 = 4k(k+1)+2
k , k +1 là 2 số tự nhiên liên tiếp
=> k(k+1) chia hết cho 2
=> 4k(k+1)chia hết cho 4
=> 4k(k+1)+2 chia cho 4 , dư 2
=> 4k (k+1)+2 k chia hết cho 4