Ta chứng minh như sau:
+ Khi a và b là 2 số nguyên dương chia hết cho 3, thì tồn tại 2 số nguyên dương p và q sao cho:
- a = 3 p và b = 3q. Lúc đó: a^ 2 + b^2 = (3p)^2 + (3q)^2 = 9.p^2 + 9.q^2 = 3[ 3.p^2 + 3.q^2] = 3.H, với H là số tự nhiên.
Suy ra: a^2 + b^2 là số chia hết cho 3