Exo 8
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Soient
et
deux entiers naturels non nuls.
On définit les polynômes
et
.
Question
Démontrer que le polynôme
divise le polynôme
si et seulement si
divise
.
Utilisez la division euclidienne de
par
, puis exprimez le polynôme
en fonction du polynôme
.
On démontre successivement les deux implications.
Supposons que
divise
. Donc il existe un entier
tel que
.
Donc :
avec :
.
Donc le polynôme
divise le polynôme
.
Supposons que le polynôme
divise le polynôme
.
Il existe un unique couple
d'entiers tels que
et
.
Donc :
.
Le polynôme
divise le polynôme
et, d'après la première partie, le polynôme
divise
car
divise
.
Donc le polynôme
divise
. Or
. Donc
.
Donc
divise
.
Conclusion : Le polynôme
divise le polynôme
si et seulement si
divise
.
Question
Démontrer que les entiers
et
sont premiers entre eux si et seulement si le PGCD des polynômes
et
est
.
Utilisez la première question et le théorème de Bezout.
On démontre successivement les deux implications. Soit
le PGCD des polynômes
et
.
Supposons que
.
Soit
. Donc
divise
et
. Donc d'après la première question,
divise
et
, donc leur PGCD
.
Donc
. Donc les entiers
et
sont premiers entre eux.
Supposons que les entiers
et
sont premiers entre eux.
Donc il existe des entiers
et
tels que
.
Donc :
.
Or
divise
, donc
divise
.
De même
divise
, donc
divise
.
Or
divise
et
, donc
divise
et
.
Donc
divise
. Or
, donc
divise
et
, donc
.
Donc :
.
Conclusion : Les entiers
et
sont premiers entre eux si et seulement si le PGCD des polynômes
et
est
.
Question
Plus généralement, démontrer que si
, alors le PGCD des polynômes
et
est
.
Ramenez vous au cas précédent.
, donc il existe deux entiers
et
tels que
,
et
.
D'après ce qui précède, le PGCD de
et de
est
.
Donc :
et
où
et
sont deux polynômes premiers entre eux.
Donc :
et
.
Or
et
sont premiers entre eux, donc il existe deux polynômes
et
tels que :
.
Donc :
.
Donc les polynômes
et
sont premiers entre eux.
Conclusion : Si
, alors le PGCD des polynômes
et
est
.