Gọi 2 số nguyên đó là a,b ta có :
a^2+b^2+ab chia hết cho 9
<->(a-b)^2+3ab chia hết cho 9 ->chia hết cho 3
mà 3ab chia hết cho 3 -> (a-b)^2 chia hết cho 3 -> a-b chia hết cho 3
->(a-b) ^2chia hết cho 9 ->3ab chia hết cho 9 -> ab chia hết cho3
ab chia hết cho 3 nên có 1 số chia hết cho 3.
Mà a-b chia hết cho 3 nên 2 số có cùng số dư khi chia cho 3.
Vậy a,b chia hết cho 3 hay ab chia hết cho 9