Ta có: a chia cho 3 dư 1 ⇒ a = 3q + 1 (q ∈N)
b chia cho 3 dư 2 ⇒ b = 3k + 2 (k ∈N)
a.b = (3q +1)(3k + 2) = 9qk + 6q + 3k +2
Vì 9 ⋮ 3 nên 9qk ⋮ 3
Vì 6 ⋮ 3 nên 6q ⋮ 3
Vì 3⋮ 3 nên 3k ⋮ 3
Vậy a.b = 9qk + 6q + 3k + 2 = 3(3qk + 2q + k) +2 chia cho 3 dư 2.(đpcm)