Ta có các nhận xét:
a2≡1(mod3)∨a2≡0(mod3)(1)
a2≡1(mod4)∨a2≡0(mod4)(2)
a)Giả sử trong x;y;z không có số nào chia hết cho 3.
Từ (1) nên ta có x2≡y2≡1(mod3)
Nên z2≡1+1≡2(mod3): vô lý nên ta có đpcm.
b) Tương tự câu a, ta cm được tồn tại 1 số trong x;y;z chia hết cho 4. Vậy ta có đpcm.