nhậnn 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 => a2+b2a2+b2 không chia hết cho 7

Vậy ta có đpcm.