Polynôme/Définitions

Anne Bauval a remis en cause la pertinence des enseignements ou exercices présentés sur cette page. Soit le niveau pédagogique n’est pas adapté au niveau défini dans le sommaire de la leçon, soit la page utilise des connaissances (prérequis) que l'élève ou l'étudiant n’est pas censé avoir, soit la page donne des enseignements non conformes aux objectifs fixés par le créateur de la leçon. Une réécriture ou recyclage de la page par un connaisseur du domaine est demandé. Tant que ce bandeau sera présent, veuillez nous excuser si le contenu de cette page n’est pas conforme à vos attentes. Vous pouvez contester cette opinion sur la page de discussion.

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Dans toute la suite, $K$ représentera indistinctement le corps $\mathbb {R}$ des réels ou celui $\mathbb {C}$ des complexes (ou plus généralement un corps commutatif quelconque).

Définition

« Définition » des polynômes

On appelle fonction polynomiale toute application de K dans K qui a tout indéterminée "X" associe un réel de la forme

$P(X)=a_{0}+a_{1}X+a_{2}X^{2}+\dots +a_{n}X^{n}=\sum _{k=0}^{n}a_{k}X^{k}$

et les exposants sont des entiers naturels

NB : X n'est pas un paramètre mais bien une indéterminée

Début de l'exemple

Exemples

• La fonction de K dans K qui à tout X associe $5+2X+3{X^{2}}$ est un polynôme.
• La fonction de K dans K qui à tout X associe $\quad -7$ est un polynôme.
• La fonction des réels positifs dans les réels ${\sqrt {X}}$ n'est pas un polynôme. En effet, une fonction polynomiale est une fonction de K dans K.
• La fonction de K dans K qui à tout X associe sa racine cubique n'est pas une fonction polynomiale. Pour le démontrer, on peut montrer que toutes les fonctions polynomiales sont dérivables sur K tout entier alors que la fonction racine cubique ne l'est pas en 0.

Fin de l'exemple

Unicité

Théorème :

Soit deux fonctions polynomiales $f$ et $g$ telles que $f=g$ et

$f:K\rightarrow K$ $g:K\rightarrow K$

$X\rightarrow a_{n}X^{n}+...+a_{2}X^{2}+a_{1}X+a_{0}$ $X\rightarrow b_{n}X^{n}+...+b_{2}X^{2}+b_{1}X+b_{0}$

Alors, $a_{n}=b_{n}...a_{2}=b_{2};a_{1}=b_{1};a_{0}=b_{0}$

Démonstration

On définit la fonction polynomiale $f-g:K\rightarrow K$

$X\rightarrow f(X)-g(X)$

Donc, $f(X)-g(X)=(a_{n}-b_{n})X^{n}+...+(a_{2}-b_{2})X^{2}+(a_{1}-b_{1})X+(a_{0}-b_{0})=0$pour tout $X$

Montrons le lemme suivant qui rendra alors le théorème évident : toute fonction polynomiale $h$ nulle pour toute valeur de $X$ (on dit que $h$ est identiquement nulle) a ses coefficients tous nuls.

Pour le démonter, remarquons tout d'abord que si une fonction polynomiale est différente de 0 en 0, alors, il existe un réel $\eta$ tel que $\forall x\in \sqsubset -\eta ;\eta \sqsupset$, $h(x)\neq 0$ . En effet, la fonction polynôme est continue.

Après cette remarque, résonnons par récurrence sur n :

Initialisation : Si $n=0$, $h(x)=a_{0}$et donc $a_{0}=0$

Hérédité : Supposons que la propriété soit vraie pour $n-1$. Montrons que c'est aussi le cas pour $n$.

Soit le polynôme $B$ tel que $B(X)=\beta _{n}X^{n}+...+\beta _{2}X^{2}+...\beta _{1}X+\beta _{0}$ et $B(x)=0$ pour tout $x$.

Donc, $B(0)=\beta _{0}=0$.

On peut donc écrire $B$ sous la forme $B(X)=\beta _{n}X^{n}+...+\beta _{3}X^{3}+\beta _{2}X^{2}+\beta _{1}X$.

On pose maintenant le polynôme $A(X)$ tel que $A(x)\times x=B(x)$. Ainsi, $A(X)=\beta _{n}X^{(}n-1)+...+\beta _{3}X^{2}+\beta _{2}X+\beta _{1}$

D'autre part, pour tout $x\neq 0$, $A(x)=0$. Or, d'après le lemme démontré précédemment, $A(0)=0$. En effet, sinon ce la signifiait qu'il existerait un réel $\eta$ tel que $\forall x\in \sqsubset -\eta ;\eta \sqsupset$, $A(x)\neq 0$ ce qui est faux.

Donc, d'après l'hypothèse de récurrence, $\beta _{1}=\beta _{2}=...\beta _{n}=0=\beta _{0}$.

Donc, la propriété est démontrée pour le rang $n$.

Donc, tout polynôme identiquement nul a ses coefficients qui sont tous nuls.

Ainsi, $f-g$ est identiquement nulle. Donc, $a_{n}=b_{n}...a_{2}=b_{2};a_{1}=b_{1};a_{0}=b_{0}$: le théorème est démontré.

Montrons maintenant une autre propriété qui est la suivante

Propriété :

Soit deux fonctions polynomiales $f$ et $g$ telles que $f=g$ et

$f:K\rightarrow K$ $g:K\rightarrow K$

$X\rightarrow a_{n}X^{n}+...+a_{2}X^{2}+a_{1}X+a_{0}$ $X\rightarrow b_{m}X^{m}+...+b_{2}X^{2}+b_{1}X+b_{0}$

Avec $n$ et $m$ différents de 0.

On a alors $n=m$ et $a_{n}=b_{m}...a_{2}=b_{2};a_{1}=b_{1};a_{0}=b_{0}$.

Degré d'un polynôme

Soit $P(X)=\sum _{k=0}^{n}a_{k}X^{k}\in K[X]$.

Définition

Coefficients : $a_{0},a_{1},\dots ,a_{n}$ sont appelés les coefficients de P.

Degré : le degré d’un polynôme est l'exposant de la plus grande puissance de X à coefficient non nul. On le notera $\deg(P)$ ou $\mathrm {d} ^{o}(P)$.

Formellement, $\deg(P)=\max\{k\in \mathbb {N} \mid a_{k}\neq 0\}$.

Par convention, le degré du polynôme nul est − ∞

La propriété démontrée précédemment montre donc que deux polynômes égaux ont le même degré.

On nomme coefficient dominant du pôlynome le coefficient associé à l'indéterminé X de plus haut degré.

Propriété

Soient $P,Q\in K[X]$. Alors :

• $\deg PQ=\deg P+\deg Q$ ;
• $\deg(P+Q)\leq \max(\deg P,\deg Q)$ avec égalité sauf si $\deg P=\deg Q$ et si la somme des monômes de plus haut degré de $P$ et $Q$ est nulle.

Début de l'exemple

Exemples

• $3{X^{2}}$ est un monôme de degré 2
• $-7{X^{5}}$ est un monôme de degré 5
• ${\sqrt {2}}{X^{0}}$, est un monôme de degré 0
• $-7{X^{5}}+7{X^{5}}$, est un polynôme de degré moins l'infini.

Fin de l'exemple

Démonstration

Soit $P\in (K[X])^{\times }$. Il existe $Q\in K[X]$ tel que $PQ=1$.

En particulier, $\deg P+\deg Q=\deg 1=0\Rightarrow \deg P=\deg Q=0$ car les degrés sont des entiers naturels. On en déduit le résultat voulu.

 

On note $K_{n}[X]$ le sous-espace vectoriel des polynômes de degré inférieur ou égal à $n$ (par convention, on pose $\deg 0=-\infty <n$ ).

Propriété : Bases du K-espace vectoriel K[X]

La base canonique de $K[X]$ est $(1,X,X^{2},\ldots ,X^{n},\ldots )$. En particulier :

• $K[X]$ est de dimension infinie ;
• $K_{n}[X]$ est de dimension n + 1 car $(1,X,X^{2},\ldots ,X^{n})$ en est la base canonique.

Soit $(P_{n})$ une famille de polynômes telle que $P_{n}$ soit de degré $n$. Alors, pour tout $n$, $(P_{0},P_{1},\ldots ,P_{n})$ forme une base de $K_{n}[X]$.