Deux remarques d'abord :
Cette question ne sert pas pour 2)c).
Cette question ne doit pas tenir compte de ceci qui est au début du 2) :
Citation :
Soit n supérieur ou égal à 1, un entier naturel tel que 4^n est congru à 1[p].
Ensuite :
Au 2)a, tu as démontré que
si n supérieur ou égal à 1 et 4^n est congru à 1[p] alors n est un multiple de b.
Donc si 4
n-1 est divisible pas p alors n est un multiple de b.
Il reste à démontrer la réciproque.
Mais as tu bien démontré le 2)a) et compris qu'on en déduisait
si n supérieur ou égal à 1 et 4^n est congru à 1[p] alors n est un multiple de b.