Giả sử \(\hept{\begin{cases}a⋮p\\b⋮̸p\end{cases}}\Rightarrow\hept{\begin{cases}a^2⋮p\\b^2⋮̸p\end{cases}}\)
=> \(\hept{\begin{cases}a^2:p\text{ dư }4k;4k+1;4k+2\\b^2:p\text{ dư }4k;4k+1;4k+2\end{cases}}\)
Chọn ngẫu nhiên các cặp a2 ; b2 bất kì nhận thấy
a2 + b2 \(⋮̸\)p (trái với giả thiết)
=> Điều giả sử là sai => đpcm