*) a chia 3 dư 1
=>$a^2+2$ chia hết cho 3
a chia 3 dư 2
=>$a^2+2$ chia hết cho 3
tương tự với b
=> với a và b không chia hết cho 3 thì
$a^2+2$ và $b^2+2$ chia hết cho 3
=>ab$(a^2+2)(b^2+2)$ chia hết cho 9
Nếu a và b cùng chia hết cho 3 =>ab chia hết cho 9 => tích trên chia hết cho 9
=>đpcm