Giả sử cả 3 số a; b; c đều không chia hết cho 3
=> a; b; c chia cho 3 dư 0 hoặc 1
=> a2 ; b2 ; c2 chia cho 3 dư 1
=> a2 + b2 chia cho 3 dư 2. Mà c2 chia cho 3 dư 1 nên a2 + b2 khác c2 (trái với đề bài)
Vậy trong 3 số a; b; c có ít nhất 1 số chia hết cho 3
=> a.b.c chia hết cho 3
Ta luôn có 3ab chia hết cho 3
Vậy abc + 3ab chia hết cho 3