PGCD, théorèmes de Bezout et Gauss

Exercices types : 22ère partie - Exercice 1

15 min
25
Question 1
Soit nn un entier naturel . On note a=4n2+7a=4n^{2}+7 et b=2n2+1b=2n^{2}+1 .

Montrer que le PGCD(a;b)\text{PGCD}\left(a;b\right) est un diviseur de 55 .

Correction
Notons D=PGCD(4n2+7;2n2+1)D=\text{PGCD}\left(4n^{2}+7;2n^{2}+1\right)
DD divise 4n2+74n^{2}+7 et DD divise 2n2+12n^{2}+1 donc DD divise toute combinaison linéaire de 4n2+74n^{2}+7 et 2n2+12n^{2}+1 . Ainsi
DD divise (1×(4n2+7)+(2)×(2n2+1))\left(\blue{1}\times \left(4n^{2}+7\right)+\purple{\left(-2\right)}\times\left(2n^{2}+1\right)\right) . Ici, nous avons construit une combinaison lineˊaire indeˊpendante de\red{\text{combinaison linéaire indépendante de}} n\red{n}
DD divise (4n2+74n22)\left(4n^{2}+7-4n^{2}-2\right)
DD divise 55
Il en résulte donc que le PGCD(a;b)\text{PGCD}\left(a;b\right) est bien un diviseur de 55 .
Question 2

En supposant que le PGCD(a;b)=5\text{PGCD}\left(a;b\right)=5, justifier qu'il existe un entier naturel kk tel que 2n2+1=5k2n^{2}+1=5k .

Correction
Si PGCD(a;b)=5\text{PGCD}\left(a;b\right)=5 alors aa est divisible par 55 et bb et divisible par 55.
Il en résulte donc que 2n2+12n^{2}+1 est divisible par 55.
Il existe donc un entier naturel kk tel que 2n2+1=5k2n^{2}+1=5k .
Question 3

Démontrer que la supposition PGCD(a;b)=5\text{PGCD}\left(a;b\right)=5 n'est en fait pas possible !

Correction
Nous allons dresser la table des restes modulo 55 de 2n2+12n^{2}+1.
D'après la table des restes modulo 55, on peut affirmer que dans la division euclidienne de 2n2+12n^{2}+1 par 55, le reste est non nul .
Autrement dit, 2n2+12n^{2}+1 n'est donc pas divisible par 55 .
Question 4

Conclure.

Correction
D'après la question 11, nous avons vu que le PGCD(a;b)\text{PGCD}\left(a;b\right) est un diviseur de 55 .
Les diviseurs de 55 sont 55 et 11.
D'après la question 33, nous avons démontré que PGCD(a;b)5\text{PGCD}\left(a;b\right)\ne5
Finalement, PGCD(a;b)=1\text{PGCD}\left(a;b\right)=1 ce qui permet de conclure que aa et bb sont premiers entre eux.