Polynômes
Cours complet · mathématiques approfondies (ECG 1re année), chapitre 2 · prépa ECG, 1re année
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
Un polynôme est l'objet le plus simple qu'on puisse construire à partir des quatre opérations : on part de , on multiplie, on additionne, et l'on s'arrête. Cette simplicité a une conséquence remarquable — tout ce qui concerne un polynôme se lit sur ses racines, et l'algèbre linéaire du semestre prochain fera de l'un de ses exemples fondamentaux.
La construction des polynômes formels n'est pas au programme : on identifie un polynôme et la fonction polynomiale qu'il définit. Et les démonstrations de ce chapitre ne sont pas exigibles — ce qui compte est de savoir manipuler, factoriser, et reconnaître une multiplicité.
2.1 L'ensemble
Un polynôme à coefficients réels est une expression avec . L'ensemble de ces polynômes est noté . Le degré de non nul, noté , est le plus grand exposant à coefficient non nul ; par convention . On note l'ensemble des polynômes de degré au plus .
Ce n'est pas une coquetterie. La convention rend les formules du degré vraies sans exception : reste juste quand l'un des deux est nul, puisque . Sans elle, chaque énoncé traînerait une clause « si ».
Pour :
La seconde inégalité est stricte exactement lorsque et ont même degré et des termes dominants opposés.
2.2 Division euclidienne
Soient avec . Il existe un unique couple de polynômes tel que
est le quotient, le reste. Lorsque , on dit que divise , ou que est un multiple de .
C'est exactement la division euclidienne apprise à l'école, où « reste plus petit que le diviseur » devient « degré du reste strictement inférieur ». Le degré joue le rôle de la taille.
2.3 Racines et multiplicité
est une racine de lorsque .
est racine de si et seulement si divise .
Démonstration
La division euclidienne de par s'écrit avec , donc est une constante. En évaluant en : . Ainsi équivaut à , c'est-à-dire à la divisibilité.
est racine de d'ordre de multiplicité lorsque
c'est-à-dire lorsque avec . Une racine d'ordre est dite simple, d'ordre double.
Pour () de discriminant :
- : deux racines simples et ;
- : une racine double et ;
- : aucune racine réelle, et garde le signe de .
Un polynôme de ayant plus de racines distinctes — ou dont la somme des multiplicités dépasse — est le polynôme nul.
Deux polynômes de degré au plus qui coïncident en points distincts sont égaux. C'est ce qui légitime l'identification des coefficients : si deux écritures polynomiales prennent les mêmes valeurs, on a le droit d'égaler leurs coefficients terme à terme.
2.4 Formule de Taylor pour un polynôme
Soit et . Alors
Cette formule n'est pas une approximation : c'est une égalité exacte, et la somme est finie. Elle dit qu'un polynôme est entièrement déterminé par ses dérivées successives en un seul point — c'est une propriété spécifique des polynômes, et le point de départ des développements limités du second semestre.
est racine de d'ordre si et seulement si
Démonstration
Il suffit de lire la formule de Taylor en : les premiers termes de la somme s'annulent exactement lorsque les premières dérivées le font, et le polynôme s'écrit alors fois un polynôme dont la valeur en est .
2.5 Factorisation dans
Tout polynôme non constant de s'écrit comme produit d'une constante, de facteurs associés à ses racines réelles, et de facteurs du second degré sans racine réelle.
Un facteur comme ne se factorise pas davantage dans : il n'a pas de racine réelle. C'est le prix à payer pour rester dans les réels — les nombres complexes, hors programme ici, effaceraient cette limite.
Soit . On reconnaît une différence de carrés :
Deux racines réelles simples, et , et un facteur irréductible. Contrôle : — les degrés des facteurs s'ajoutent.
Chercher une racine évidente (, , , un diviseur du terme constant), diviser par , recommencer sur le quotient. Le degré baisse d'une unité à chaque étape : le procédé s'arrête.
Python : Trouver les racines, et se méfier
import numpy as np
# coefficients du plus haut degre au plus bas : x^4 - 1
r = np.roots([1, 0, 0, 0, -1])
print(r) # [-1.+0.j 0.+1.j 0.-1.j 1.+0.j]
print(r[r.imag == 0].real) # [-1. 1.] : les racines REELLES
La bibliothèque renvoie quatre racines, dont deux complexes — hors programme ici. Deux seulement sont réelles, ce que la factorisation avait dit. Et les racines multiples sont rendues comme des racines distinctes très proches : sur , np.roots donne et . La multiplicité ne se lit pas sur un calcul numérique.
2.6 L'essentiel du chapitre
- , pour que soit vraie sans exception.
- Division euclidienne : avec , couple unique.
- racine . Multiplicité : avec .
- Taylor polynomial : , égalité exacte et somme finie.
- Multiplicité et dérivées : est le rang de la première dérivée non nulle en .
- Un polynôme de à plus de racines est nul identification des coefficients.
- Factorisation dans : facteurs et facteurs de degré 2 sans racine réelle. Méthode : racine évidente, diviser, recommencer.