Pour un polynôme
non nul dans
, le polynôme dérivé de
est le polynôme noté :
Si , le polynôme dérivé de est le polynôme nul.
Soient
et
deux polynômes à coefficients réels. Soient et deux
réels. Sans perte de généralité, supposons
. Quitte
à poser
, nous pouvons écrire :
Le polynôme dérivé est :
Il est bien égal à :
Posons
: alors
. Par définition, le polynôme
dérivé de est :
Or :
Nous allons démontrer la formule par récurrence sur le degré de
. Elle est vraie si est nul ou de degré 0, puisque dans ce
cas et la dérivation est linéaire d'après la question 2.
Supposons que la formule est vraie pour tout polynôme de degré
inférieur ou égal à et soit un polynôme de degré
. Nous pouvons écrire
, où est un
polynôme de degré inférieur ou égal à .
Écrivons :
C'est une autre démonstration par récurrence. La formule est vraie
pour , puisque est le polynôme constant égal à ,
dont la dérivée est nulle. Supposons-la vraie pour
.
La formule est vraie pour , donc pour tout .
Posons
. Le polynôme composé est :
D'après la linéarité de la dérivation (question 1) :
En utilisant le résultat de la question précédente :
Exercice 1 :
On trouve :
Le degré de est , son coefficient dominant est . Le
degré de est , son coefficient dominant est :
En utilisant la formule donnant la dérivée d'un polynôme
composé, on obtient
, donc
.
Prenons la dérivée -ième des deux membres, en utilisant
la formule de Leibniz. Pour le membre de gauche, on obtient :
Pour le membre de droite, la formule de Leibniz donne :
En égalant les deux, et en regroupant les termes, on obtient :
En divisant par :
En prenant la dérivée -ième du produit
, on obtient comme dans la question
précédente :
En divisant les deux membres par :
Or d'après la question 3,
En reportant ceci dans l'expression précédente :
Exercice 2 :
Puisque
, on peut aussi écrire :
. Ceci est une identité de Bézout
pour les polynômes et : ils sont donc
premiers entre eux.
On retrouve l'identité de la question précédente :
.
Soient et deux polynômes tels que
. Puisque
, on a
nécessairement :
Or et sont premiers entre eux. En utilisant le
lemme de Gauss, on déduit que divise et que
divise
: il existe un polynôme tel que :
et
Réciproquement, si et s'écrivent comme ci-dessus, alors :
Donc :
L'ensemble des couples tels que
est :
On trouve :
et
Le pgcd des deux polynômes est , leur ppcm est
.
La division euclidienne des deux polynômes donne :
La division euclidienne de par donne :
L'algorithme d'Euclide se termine sur :
. On
retrouve donc bien le fait que est le pgcd des deux
polynômes (toujours défini à une constante près).
Exercice 3 :
On trouve :
En remplaçant par , on obtient :
Il reste à élever les deux membres au carré :
Observons que les deux dernières identités ne sont pas des
décompositions en éléments simples.
En élevant au carré, on obtient :
Il reste à réinjecter la décomposition de :
En remplaçant par dans la décomposition de
,
on obtient :
En utilisant à nouveau la décomposition de , on trouve :
Dans l'expression de la question , le terme
est un
élément simple. La décomposition en éléments simples de
est donnée à la question 2, celle de à
la question 3. En rassemblant le tout on obtient :
Par la méthode du cours, on écrit la décomposition cherchée sous
la forme :
On simplifie notablement le calcul en observant que la fraction est
invariante par le changement
, et donc sa décomposition
vérifie la même propriété. Ceci entraîne :
Multiplier par et remplacer par donne .
Multiplier par et remplacer par
donne .
Il reste deux coefficients à déterminer, par exemple
en prenant deux valeurs particulières. Pour :
Pour ,
La résolution du système de deux équations en et donne
, .