Exercice : Congruences dans ℤ et résolution d'équations modulaires

★ Standard

On s'intéresse aux puissances de $3$ modulo $5$.

En utilisant la compatibilité de la congruence avec la multiplication, déterminer les restes successifs de $3^n$ dans la division euclidienne par $5$ pour les entiers naturels non nuls $n$.

Quel est le plus petit entier naturel $n \ge 1$ vérifiant la relation $3^n \equiv 1 \pmod 5$ ?