On a:
$a^3-b^3=(a-b)(a^2+ab+b^2)=(a-b)[(a-b)^2+3ab]$
Et donc:
$$a^3-b^3=(a-b)^3+3ab(a-b)$$ Par la suite:
$$(a^3-b^3)=(a-b)^3\mod 3$$ Par conséquent:
$$(a^3-b^3)=0\mod 3\Longleftrightarrow(a-b)^3=0\mod 3$$ Et puisque 3 est premier alors: $$(a-b)^3=0\mod 3\Longleftrightarrow (a-b)=0\mod 3$$ En conclusion: $$(a^3-b^3)=0\mod 3\Longleftrightarrow (a-b)=0\mod 3$$