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