Ta giả sử m^2 + n^2 chia hết cho 8 mà m, n là các số lẻ đi, thì
m = 2x + 1
n = 2p + 1
A = m^2 + n^2 = (2x + 1)^2 + (2p + 1)^2 = $4(x(x+1) + p(p+1)) + 2$
Dễ thấy x(x+1) + p(p+1) chia hết cho 2 (vì tổng của các lượng tích của 2 số liên tiếp)
=> 4(x(x+1) + p(p+1)) chia hết cho 8, tức là A chia 8 vẫn còn dư 2 (vô lí)?
=> đpcm