Ta có:
a²-ab+b² chia hết cho 9
⇒ 4a²-4ab+4b² chia hết cho 9
⇒ (2a-b)²+3b² chia hết cho 9 hay chia hết cho 3 (1)
⇒ (2a-b)² chia hết cho 3
⇒2a-b chia hết cho 3 (3)
⇒(2a-b)² chia hết cho 9 (2)
Từ (1),(2) ⇒ 3b² chia hết cho 9
⇒b² chia hết cho 3
⇒ b chia hết cho 3 (4)
Từ (3),(4) ⇒ 2a chia hết cho 3
⇒a chia hết cho 3
Vậy...