Bonsoir,
Exercice :
Soient deux nombres de N* tel que : 173 divise a^3+b^3.
  a.  Vérifier que 173 est premier et montrer que a^171 congru -b^171 [173].
b. Montrer que : 173 divise a  si et seulement si 173 divise b.
c.Montrer que : 173 divise a  implique 173 divise a+b.
Mon problème :
On ne peut  montrer que a^171 congru -b^171[173] que si 173 est premier (c'est le cas) et 173 ne divise ni a ni b or ici  on constate que a et b sont multiples de 173.
Donc impossible d'appliquer a^(p-1) congru 1[p] ( énoncé 2 de Fermat).
Donc il y a erreur dans l'énoncé.
Merci par avance.