a:
A=ab(a^2+2)(2b^2+1)
TH1: a,b đều không chia hết cho 3
=>a^2 và b^2 đều chia 3 dư 1
=>a^2+2 chia hết cho 3; 2b^2+1 chia hết cho 3
=>A chia hết cho 9
TH2: 1 trong hai số a,b chia hêt cho 3; số còn lại thì không
=>ab chia hết cho 3 và (a^2+2)(2b^2+1) chia hết cho 3
=>A chia hêt cho 9
TH3: a và b đều chia hết cho 3
=>ab chia hết cho 9
=>A chia hết cho 9