1. On factorise les deux expressions. Pour : car a pour racines et . Pour : ce que l'on vérifie en développant : . Comme , les trois facteurs , et sont des entiers strictement positifs, de même que :
2. (a) divise et , donc toute combinaison linéaire :
(b) Traitons la double implication. D'une part : D'autre part, si , alors : Réciproquement, si , alors , donc en multipliant par , inverse de modulo .
3. D'après le théorème de Bézout :
4. (a) Les deux nombres s'écrivent et , donc : Soit un diviseur commun positif de et . Un diviseur commun de et de divise et , donc d'après la question 3 : est premier avec . Comme divise , le théorème de Gauss donne . Réciproquement, un diviseur commun de et divise . Les deux couples ont donc les mêmes diviseurs communs : D'après les questions 2a et 2b, vaut lorsque , et sinon.
(b) Pour : on a , donc et le PGCD vaut . On vérifie : et .
Pour : on a , donc et le PGCD vaut . On vérifie : et .