Bonjour,
Je vous écris par rapport à un exercice rencontré sur de l'arithmétique :

J'avais raisonné en posant 3 ensembles, (ensemble des diviseurs de chaque couple) en montrant qu'ils étaient égaux. Je pense que cela fonctionne mais cela me paraissait un peu lourd. La correction propose quelque chose de plus simple mais je ne comprends pas une étape :
Ils écrivent :


Je ne comprends pas pourquoi pgcd(a^2,b^2)=pgcd(a^2+b^2,b^2)
Auriez-vous une explication s'il-vous-plaît ?
En vous remerciant