Phần Nghịch:x và y chia hết cho 3 thì thì x bình cộng y bình chia hết cho 3.
Thật vậy:
x chia hết cho 3 thì x.x chia hết cho 3 hay x^2 chia hết cho 3
y chia hết cho 3 thì y.y chia hết cho 3 hay y^2 chia hết cho 3
Suy ra:x^2+y^2 chia hết cho 3
Phần Thuận: x bình cộng y bình chia hết cho 3 thì x và y chia hết cho 3.
Giả sử x hoặc y không chia hết cho 3
=>x^2 hoặc y^2 không chia hết cho 3
=>x^2+y^2 không chia hết cho 3(tính chất chia hết của một tổng,trong một tổng có một số hạng không chia hết thì tổng không chia hết)
=>trái với giả thiết
=>x bình cộng y bình chia hết cho 3 thì x và y chia hết cho 3.
Kết hợp hai phần thuận và nghịch suy ra đpcm