Tiêu đề có cần sửa không nhỉ???
Giả sử cả 2 số không chia hết cho 7
Khi đó tổng đồng dư bình phương 2 số chia hết cho 7
Ta có:
Nếu 2 số không chia hết cho 7 thì sẽ đồng dư với các số sau
$1^2 \equiv 1 \; (mod \; 7) \\
2^2 \equiv 4 \; (mod \; 7) \\
3^2 \equiv 2 \; (mod \; 7) \\
4^2 \equiv 2 \; (mod \; 7) \\
5^2 \equiv 4 \; (mod \; 7) \\
6^2 \equiv 1 \; (mod \; 7) \\$
Mà $1+2 \not \vdots 7 \; ; \;2+4 \not \vdots 7 \; ; \;1+4 \not \vdots 7 $
Nên không thể tồn tại 2 số chính phương không chia hết cho 7 có tổng chia hết cho 7
Nên suy ra điều cần chứng minh