Let and be two positive integers. Show that
Solutions
2Reveal solutionsAre you sure? Give it a try first.
Attention les yeux, ma solution utilise une petite astuce ! Supposons que . On effectue la division euclidienne de par et on écrit . On remarque ensuite que
Ainsi, on a la division euclidienne de par . Ensuite, lorsqu’on continue l'algorithme d’Euclide étendu, on va finir par obtenir car on va retrouver dans l’exposant les mêmes termes que pour l’algorithme appliqué à et .
pgcd(a,b)=d alors il existe k1 et k2 entiers positifs distincts et premiers entre eux tels que a=k1.d et b=k2.d
2^a-1=(2^d)^k1-1=(2^d-1)(1+(2^d)+(2^d)^2 +..+(2^d)^(k1-1))
2^b-1=(2^d)^k2-1=(2^d-1)(1+(2^d)+(2^d)^2 +..+(2^d)^(k2-1))
d’où le pgcd(2^a-1, 2^b-1)=2^pgcd(a,b)-1
