Nhận xét: với mọi n nguyên thì \(n^2\equiv\left\{0;1;2;4\right\}\left(mod7\right)\)
Giả sử a;b tồn tại 1 số không chia hết cho 7
\(\Rightarrow a^2+b^2\equiv\left\{1;2;3;4;5;6;8\right\}\left(mod7\right)\)
\(\Rightarrow a^2+b^2\) luôn ko chia hết cho 7 (trái với giả thiết)
Vậy điều giả sử là sai hay \(a;b\) đều chia hết cho 7