Nhận thấy một số chính phương khi chia cho 7 có các số dư: 0,1,2,4. Xét các trường hợp:
+) Nếu một trong 2 số chia hết cho 7 thì hiển nhiên số còn lại cũng chia hết cho 7.
+) Nếu cả 2 số đều không chia hết cho 7, ta thấy trong 3 số 1,2,4 không có 2 số nào có tổng chia hết cho 7 => \(a^2+b^2\) không chia hết cho 7.
Vậy ta có đpcm.