Giả sử a^2 + b^2 chia hết cho 8 và a , b đồng thời là số lẻ
\(\Rightarrow a=2k+1\) và \(b=2k+1\)
Khi đó: \(a^2+b^2=\left(2k+1\right)^2+\left(2k+1\right)^2\)
\(\Leftrightarrow4k^2+4k+1+4k^2+4k+1\)
\(\Leftrightarrow8k^2+8k+2\)
\(\Leftrightarrow8k\left(k+1\right)+2⋮̸8\) Mâu thuẫn với giả thiết
\(\Rightarrow a^2+b^2⋮8\) , a , b không đồng thời là số lẻ ( đpcm )