On a
d divise 2m
Cas 1 :
d et 2 sont premiers entre eux
Donc avec la lemme de Gauss, d divise m
Cas 2 :
d et 2 ne sont pas premiers entre eux donc PGCD (d;2)=2
qui implique que d est paire, ce qui est absurde puisque d divise 2n+1
Donc , si d divise 2m alors il divise m
On a les deux sens là, mais je ne vois toujours pas comment prouver l'égalité des deux PGCD 