# Équation du troisième degré/Généralités sur les équations du troisième degré

Ce chapitre est consacré aux généralités sur les équations du troisième degré. Après avoir défini une équation du troisième degré, nous verrons une première méthode de résolution qui ne marchera que dans des cas très particuliers. Nous étudierons ensuite comment connaître le produit et la somme des racines et son application au calcul des expressions symétriques faisant intervenir les racines. Nous verrons ensuite ce que l’on appelle le résultant de deux polynômes. Une application immédiate sera la définition et le calcul du discriminant des équations du troisième degré. Cette notion sera aussi utile à la démonstration de certains théorèmes des chapitres suivants.

## Définition d’une équation du troisième degré (12)

Avant de commencer à manipuler les équations du troisième degré, nous devons bien savoir ce que c'est.
Une équation du troisième degré est une équation qui, lorsqu’on a développé, réduit, mis au même dénominateur, multiplié les deux membres par le dénominateur commun et mis tous les termes dans le premier membre, se met sous la forme :
    $ax^{3}+bx^{2}+cx+d=0~$
avec, bien sûr, a non nul.
Dans l'intégralité de ce cours, nous supposerons, si rien n'est précisé, que les coefficients de l'équation appartiennent à un ensemble quelconque et en particulier peuvent, par conséquent, être des nombres complexes.
* Exemples d'équations du troisième degré
* Les équations suivantes sont des équations du troisième degré.
* Essayez pour chaque équation de le montrer à titre d'exercice.
* $5x^{3}-2x^{2}+6x-{\sqrt {2}}=0~$
* $(x+1)(x+2)(x+3)(x+4)=(x-1)(x-2)(x-3)(x-4)~$
* ${\frac {x-1}{x+2}}+{\frac {x-3}{x+1}}+{\frac {x+3}{x-1}}=0~$

## Une première méthode de résolution par la recherche d'une racine évidente (12)

La méthode que nous allons voir dans ce paragraphe ne marche pas dans tous les cas. Mais, quand elle marche, elle marche mieux que les méthodes générales que nous verrons dans les chapitres suivants.
Le principe en est le suivant :
Nous commençons par rechercher une racine évidente et une fois celle-ci trouvée, nous nous ramenons, grâce à elle, à la résolution d’une équation du second degré.

### Recherche d'une racine évidente

Rechercher une racine évidente, c’est essayer de trouver une racine sans utiliser de méthodes sophistiquées. On essaye de remplacer x par des nombres simples jusqu'à ce que l’équation soit vérifiée. Heureusement, cette recherche est facilitée par la propriété suivante :
Si l'équation à coefficients entiers :
    $ax^{3}+bx^{2}+cx+d=0~$
admet une racine sous forme de fraction irréductible p/q, alors p divise d et q divise a.
Voir Polynôme/Exercices/Polynômes à coefficients entiers#Exercice 4-3.
Pour l’équation :
    $x^{3}-x^{2}+x-6=0$,
nous essayerons seulement les nombres : 1, –1, 2, –2, 3, –3, 6 et –6, qui sont les diviseurs de 6.
Pour l’équation :
    $2x^{3}+3x^{2}+13x+6=0$,
nous essayerons, en plus des nombres précédents, les nombres :
    ${\frac {1}{2}},\qquad -{\frac {1}{2}},\qquad {\frac {3}{2}},\qquad -{\frac {3}{2}}$.

### Factorisation du premier membre (12)

Si l'on connaît déjà une solution (rationnelle ou pas) d'une équation de degré 3, cela permet, pour trouver les autres, de se ramener à une équation de degré 2 :
Si le polynôme de degré 3
    $P(X)=aX^{3}+bX^{2}+cX+d$
admet une racine $x_{0}$
alors il peut se factoriser sous la forme :
    $P(X)=(X-x_{0})Q(X)$
avec $Q(X)$ polynôme du second degré.
    ${\begin{aligned}P(X)&=P(X)-0\\&=P(X)-P(x_{0})\\&=aX^{3}+bX^{2}+cX+d-(ax_{0}^{3}+bx_{0}^{2}+cx_{0}+d)\\&=a(X^{3}-x_{0}^{3})+b(X^{2}-x_{0}^{2})+c(X-x_{0})\end{aligned}}$
donc (en utilisant des identités remarquables classiques)
    $P(X)=(X-x_{0})Q(X)$
avec
    ${\begin{aligned}Q(X)&=a(X^{2}+x_{0}X+x_{0}^{2})+b(X+x_{0})+c\\&=aX^{2}+(ax_{0}+b)X+ax_{0}^{2}+bx_{0}+c.\end{aligned}}$
Il ne nous reste plus qu’à résoudre l'équation :
    $Q(x)=0$,
qui est du second degré, pour trouver les deux racines manquantes.
On aura ainsi complètement résolu une équation du troisième degré.
Malheureusement, cette méthode ne marche que si l’on réussit à trouver une racine dans l'équation à résoudre.
Nous verrons, dans les chapitres suivants, des méthodes qui marchent dans tous les cas.

## Équations dont les coefficients sont des nombres réels

Dans ce paragraphe, nous étudierons plus particulièrement les équations dont les coefficients appartiennent à l’ensemble des nombres réels.
Nous avons le théorème suivant :
Soit l’équation à coefficients réels :
$ax^{3}+bx^{2}+cx+d=0~$
Si cette équation admet une racine α dans l’ensemble des nombres complexes, alors elle admet aussi comme racine le conjugué du nombre α.
Si α est racine de l'équation :
$ax^{3}+bx^{2}+cx+d=0~$
alors :
$a\alpha ^{3}+b\alpha ^{2}+c\alpha +d=0~$
Prenons le conjugué des deux membres :
${\overline {a\alpha ^{3}+b\alpha ^{2}+c\alpha +d}}={\overline {0}}~$
Compte tenu des propriétés du conjugué, on obtient :
$a{\bar {\alpha }}^{3}+b{\bar {\alpha }}^{2}+c{\bar {\alpha }}+d=0~$
Ce qui montre que le conjugué de α est aussi racine de l'équation :
$ax^{3}+bx^{2}+cx+d=0~$
Du théorème précédent, nous en déduisons immédiatement la propriété suivante:
Une équation du troisième degré à coefficients réels admet :
* Soit trois racines réelles (dont deux ou trois d'entre elles peuvent être confondues).
* Soit une racine réelle et deux racines complexes conjuguées.

## Somme et produit de racines

On appelle monôme en trois indéterminées, une expression de la forme :
    $aX^{k}Y^{l}Z^{m}$,
$X,Y,Z$ étant des variables (ou indéterminées) et $k,l,m$ des entiers naturels fixés (éventuellement nuls).
Un polynôme en trois indéterminées est une somme finie de monômes en ces indéterminées.
Dans ce paragraphe ainsi que dans le suivant, le terme « polynôme » devra être compris comme « polynôme en trois indéterminées ».
Lors de l'étude des équations du second degré, vous avez dû voir qu’il existe des relations simples donnant la somme et le produit des racines en fonction des coefficients des monômes de l'équation.
Nous allons voir qu’il en est de même pour les équations du troisième degré.
Nous avons :
Soit :
    $ax^{3}+bx^{2}+cx+d=0$
une équation du troisième degré dont les trois racines seront notées $x_{1},x_{2},x_{3}$.
Nous avons alors les trois relations simples liant les racines aux coefficients de l'équation :
* $x_{1}+x_{2}+x_{3}=-{\frac {b}{a}}$ ;
* $x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}={\frac {c}{a}}$ ;
* $x_{1}x_{2}x_{3}=-{\frac {d}{a}}$.
L'équation peut s'écrire :
    $a(x-x_{1})(x-x_{2})(x-x_{3})=0$.
En développant, on obtient :
    $ax^{3}-a(x_{1}+x_{2}+x_{3})x^{2}+a(x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3})x-a(x_{1}x_{2}x_{3})=0$.
En identifiant les coefficients de cette dernière équation avec :
    $ax^{3}+bx^{2}+cx+d=0$,
on obtient les trois relations annoncées.
Le théorème précédent va nous permettre de calculer certaines expressions portant sur les racines.
Une expression contenant des variables est dite symétrique par rapport à celles-ci si elle est inchangée par toutes les permutations de ces variables.
Les polynômes suivants sont symétriques en les variables $X_{1},X_{2},X_{3}$ :
* $X_{1}^{3}X_{2}+X_{1}^{3}X_{3}+X_{2}^{3}X_{3}+X_{1}X_{2}^{3}+X_{1}X_{3}^{3}+X_{2}X_{3}^{3}$ ;
* $X_{1}^{5}X_{2}^{5}X_{3}^{5}-X_{1}^{3}X_{2}^{3}X_{3}^{3}$ ;
* les sommes de Newton $p_{k}:=X_{1}^{k}+X_{2}^{k}+X_{3}^{k}$, pour $k\in \mathbb {N}$.
Une autre définition :
Les expressions :
* $\sigma _{1}=X_{1}+X_{2}+X_{3}$ ;
* $\sigma _{2}=X_{1}X_{2}+X_{1}X_{3}+X_{2}X_{3}$ ;
* $\sigma _{3}=X_{1}X_{2}X_{3}$
sont appelées polynômes symétriques élémentaires en les trois indéterminées $X_{1},X_{2},X_{3}$.
Nous avons alors la proposition suivante :
Les sommes de Newton $p_{k}=X_{1}^{k}+X_{2}^{k}+X_{3}^{k}$ s'expriment comme fonctions (polynomiales et à coefficients entiers) des trois polynômes symétriques élémentaires en $X_{1},X_{2},X_{3}$.
Nous avons :
    $p_{0}=X_{1}^{0}+X_{2}^{0}+X_{3}^{0}=3$ ;
    $p_{1}=X_{1}+X_{2}+X_{3}=\sigma _{1}$ ;
    $p_{2}=X_{1}^{2}+X_{2}^{2}+X_{3}^{2}=(X_{1}+X_{2}+X_{3})^{2}-2(X_{1}X_{2}+X_{1}X_{3}+X_{2}X_{3})=\sigma _{1}^{2}-2\sigma _{2}$.
Nous allons ensuite établir une relation de récurrence d'ordre 3 pour pouvoir calculer les p$_k$ suivants.
Pour cela, considérons le polynôme $f$ (en quatre variables : $X_{1},X_{2},X_{3}$ et $X$) ainsi défini :
    $f(X)=(X-X_{1})(X-X_{2})(X-X_{3})=X^{3}-\sigma _{1}X^{2}+\sigma _{2}X-\sigma _{3}$.
Nous avons alors :
    $f(X_{1})=f(X_{2})=f(X_{3})=0$.
Nous en déduisons, pour tout $k\geq 2$ :
    ${\begin{cases}X_{1}^{k+1}-\sigma _{1}X_{1}^{k}+\sigma _{2}X_{1}^{k-1}-\sigma _{3}X_{1}^{k-2}&=X_{1}^{k-2}f(X_{1})&=0\\X_{2}^{k+1}-\sigma _{1}X_{2}^{k}+\sigma _{2}X_{2}^{k-1}-\sigma _{3}X_{2}^{k-2}&=X_{2}^{k-2}f(X_{2})&=0\\X_{3}^{k+1}-\sigma _{1}X_{3}^{k}+\sigma _{2}X_{3}^{k-1}-\sigma _{3}X_{3}^{k-2}&=X_{3}^{k-2}f(X_{3})&=0.\end{cases}}$
Par addition membre à membre, nous obtenons :
    $p_{k+1}-\sigma _{1}p_{k}+\sigma _{2}p_{k-1}-\sigma _{3}p_{k-2}=0$
qui est bien une relation de récurrence d'ordre 3.
En résumé, nous retiendrons :
* $p_{0}=3$ ;
* $p_{1}=\sigma _{1}$ ;
* $p_{2}=\sigma _{1}^{2}-2\sigma _{2}$ ;
* $p_{k+1}=\sigma _{1}p_{k}-\sigma _{2}p_{k-1}+\sigma _{3}p_{k-2}$ pour tout entier $k\geq 2$.
On peut ainsi, par récurrence, exprimer tous les p$_k$ comme des polynômes à coefficients entiers en $\sigma _{1},\sigma _{2},\sigma _{3}$.
    $p_{0}=3,\quad p_{1}=\sigma _{1},\quad p_{2}=\sigma _{1}^{2}-2\sigma _{2}$,
    $p_{3}=\sigma _{1}p_{2}-\sigma _{2}p_{1}+\sigma _{3}p_{0}=\sigma _{1}^{3}-3\sigma _{1}\sigma _{2}+3\sigma _{3}$,
    $p_{4}=\sigma _{1}p_{3}-\sigma _{2}p_{2}+\sigma _{3}p_{1}=\sigma _{1}^{4}-4\sigma _{1}^{2}\sigma _{2}+4\sigma _{1}\sigma _{3}+2\sigma _{2}^{2}$.
Cette proposition est généralisée par le théorème suivant :
Tout polynôme symétrique en trois indéterminées (à coefficients entiers) peut s'exprimer en fonction (polynomiale et à coefficients entiers) des trois polynômes symétriques élémentaires en ces indéterminées.
Nous allons seulement démontrer que tout polynôme symétrique est un polynôme à coefficients rationnels des polynômes symétriques élémentaires. Pour une preuve complète (à coefficients entiers) et qui fournit un algorithme plus efficace, il suffit d'adapter à trois indéterminées la preuve pour quatre indéterminées fournie dans la leçon sur l'équation du quatrième degré.
Pour simplifier l'écriture, nous commencerons par poser :
* $S_{k}=X_{1}^{k}+X_{2}^{k}+X_{3}^{k}$ ;
* $S_{k,l}=X_{1}^{k}X_{2}^{l}+X_{2}^{k}X_{1}^{l}+X_{1}^{k}X_{3}^{l}+X_{3}^{k}X_{1}^{l}+X_{2}^{k}X_{3}^{l}+X_{3}^{k}X_{2}^{l}$ ;
* $S_{k,l,m}=(X_{1}^{k}X_{2}^{l}+X_{2}^{k}X_{1}^{l})X_{3}^{m}+(X_{1}^{k}X_{3}^{l}+X_{3}^{k}X_{1}^{l})X_{2}^{m}+(X_{2}^{k}X_{3}^{l}+X_{3}^{k}X_{2}^{l})X_{1}^{m}$.
Tout polynôme symétrique s'écrit, après développement éventuel, comme combinaison à coefficients rationnels des S$_k$, S$_{k,l}$, S$_{k,l,m}$. Par exemple : $X_{1}^{2}X_{2}^{2}+X_{1}^{2}X_{3}^{2}+X_{2}^{2}X_{3}^{2}={\frac {1}{2}}S_{2,2}$.
Il nous suffit donc de montrer que S$_k$, S$_{k,l}$, S$_{k,l,m}$ s'expriment en fonction de σ$_1$, σ$_2$, σ$_3$.
Calcul des S$_k$.
$S_{0}=3$ et pour $k>0$, $S_{k}=p_{k}$ (la $k$-ième somme de Newton), que l'on calcule grâce à la proposition précédente.
Calcul des S$_{k,l}$.
Nous voyons que :
    $S_{k,l}=(X_{1}^{k}+X_{2}^{k}+X_{3}^{k})(X_{1}^{l}+X_{2}^{l}+X_{3}^{l})-(X_{1}^{k+l}+X_{2}^{k+l}+X_{3}^{k+l})$,
que l’on peut écrire :
Calcul des S$_{k,l,m}$.
On montre facilement que :
Pour démontrer cela, il suffit de s'armer de patience et développer le second membre pour constater que l’on tombe bien sur le premier membre.
$\sum _{i\neq j}X_{i}^{2}X_{j}=p_{2}p_{1}-p_{3}=(\sigma _{1}^{2}-2\sigma _{2})\sigma _{1}-(\sigma _{1}^{3}-3\sigma _{1}\sigma _{2}+3\sigma _{3})=\sigma _{1}\sigma _{2}-3\sigma _{3}$.
Comme les polynômes symétriques élémentaires des racines d'un polynôme s'expriment simplement en fonction des coefficients de ce polynôme, nous déduisons qu'il en est de même pour tous les polynômes symétriques des racines.

## Résultant de deux polynômes

Cette notion classique est d'un niveau nettement supérieur à celui de cette leçon, et ne sera abordée sérieusement qu'au niveau 16, dans la leçon « Résultant ».
Les résultants nous serviront à résoudre des systèmes d'équations non linéaires. Donnons-en d'abord une « définition » intuitive : le résultant $\operatorname {Res} (P,Q)$ de deux polynômes non nuls $P,Q\in \mathbb {C} [X]$ est :
* un polynôme en les coefficients de P et Q, qui s'annule si et seulement si P et Q ont une racine commune,
* une « expression minimale » obtenue en « éliminant $x$ entre les deux équations » $P(x)=0$ et $Q(x)=0$,
ces deux propositions (informelles) étant presque équivalentes.
Sans pouvoir donner un sens formel à la seconde, donnons-en quelques exemples.
Si $\alpha \neq 0$ ou $a_{n}\neq 0$, les deux équations :
    $\alpha x+\beta =0$
    $a_{n}x^{n}+a_{n-1}x^{n-1}+\dots +a_{1}x+a_{0}=0$
ont une racine commune si et seulement si le nombre suivant est nul :
    $R_{1-n}:=a_{0}\alpha ^{n}-a_{1}\alpha ^{n-1}\beta +a_{2}\alpha ^{n-2}\beta -\dots +(-1)^{n}a_{n}\beta ^{n}$.
L'exception a lieu lorsque $\alpha =a_{n}=0$ : dans ce cas, $R_{1-n}$ est toujours nul.
* Si $\alpha \neq 0$, on tire $x$ de la première équation et on le remplace dans la seconde ; on obtient :
       $a_{n}\left({\frac {-\beta }{\alpha }}\right)^{n}+a_{n-1}\left({\frac {-\beta }{\alpha }}\right)^{n-1}+\dots +a_{1}{\frac {-\beta }{\alpha }}+a_{0}=0$,
    c'est-à-dire
       $a_{0}\alpha ^{n}-a_{1}\alpha ^{n-1}\beta +a_{2}\alpha ^{n-2}\beta -\dots +(-1)^{n}a_{n}\beta ^{n}$.
* Si $\alpha =0$ et $a_{n}\neq 0$ et $n>0$ :
** les racines de la seconde équation sont aussi racines de la première si et seulement si $\beta =0$ ;
** $R_{1-n}=(-1)^{n}a_{n}\beta ^{n}$ donc $R_{1-n}=0\Leftrightarrow \beta =0$.
* Si $\alpha =0$ et $a_{n}\neq 0$ et $n=0$ :
** la seconde équation n'a pas de racine ;
** $R_{1-n}=(-1)^{n}a_{n}\neq 0$.
Si $p\neq 0$ ou $a\neq 0$, les deux équations
    $px^{2}+qx+r=0$
    $ax^{3}+bx^{2}+cx+d=0$
ont une racine commune (éventuellement complexe) si et seulement si le nombre suivant est nul :
    ${\begin{aligned}R_{2-3}&:=a\left[ar^{3}-bqr^{2}+c(q^{2}r-2pr^{2})+d(3pqr-q^{3})\right]\\&\qquad +bp\left[br^{2}-cqr+d(q^{2}-2pr)\right]+cp^{2}\left[cr-dq\right]+d^{2}p^{3}.\end{aligned}}$
Si $p=0$ et $a\neq 0$, $R_{2-3}$ se simplifie en $-a\left[dq^{3}-crq^{2}+brq-ar^{3}\right]$, qui est le produit par une constante non nulle du « résultant R$_{1-3}$ » des deux équations
    $qx+r=0$
    $ax^{3}+bx^{2}+cx+d=0$
donc l'assertion est démontrée.
Supposons maintenant $p\neq 0$. Toute solution $x$ de la première équation vérifie
    $px^{2}=-qx-r$
donc
    ${\begin{aligned}p^{2}x^{3}&=px\left(-qx-r\right)\\&=q\left(qx+r\right)-prx\\&=\left(q^{2}-pr\right)x+qr\end{aligned}}$
donc
    ${\begin{aligned}p^{2}\left(ax^{3}+bx^{2}+cx+d\right)&=a\left(\left(q^{2}-pr\right)x+qr\right)-bp\left(qx+r\right)+p^{2}\left(cx+d\right)\\&=x\left(a\left(q^{2}-pr\right)-bpq+cp^{2}\right)+aqr-bpr+dp^{2}.\end{aligned}}$
Par conséquent, le système
    ${\begin{cases}px^{2}+qx+r&=0\\ax^{3}+bx^{2}+cx+d&=0\end{cases}}$
est équivalent à
    ${\begin{cases}px^{2}+qx+r&=0\\\alpha x+\beta &=0\end{cases}}$
avec
    $\alpha =aq^{2}-apr-bpq+cp^{2}$ et $\beta =aqr-bpr+dp^{2}$.
et les deux équations ont une solution commune si et seulement si leur « résultant R$_{1-2}$ » est nul. Or ce « résultant » est égal à
    ${\begin{aligned}r\alpha ^{2}-q\alpha \beta +p\beta ^{2}&=\alpha (r\alpha -q\beta )+p\beta ^{2}\\&=-p\left(aq^{2}-apr-bpq+cp^{2}\right)\left(ar^{2}-cpr+dpq\right)+p\left(aqr-bpr+dp^{2}\right)^{2}\\&=p^{2}R_{2-3}\end{aligned}}$
donc il est nul si et seulement si $R_{2-3}=0$.
En particulier, si $p\neq 0$ (ou $b\neq 0$), les deux équations
    $px^{2}+qx+r=0$
    $bx^{2}+cx+d=0$
ont une racine commune si et seulement si le nombre suivant est nul :
    $R_{2-2}:=b^{2}r^{2}+p^{2}d^{2}+bdq^{2}+prc^{2}-bcqr-pqcd-2bdpr$.
Contrairement à la notion d'« expression minimale obtenue en éliminant $x$ entre les deux équations », la notion de résultant (qui sert à définir celle de discriminant) a une définition précise, qui vérifie clairement la première des deux « définitions intuitives » ci-dessus :
Le résultant $\operatorname {Res} (Q,P)$ d'un couple de polynômes non nuls $Q,P\in \mathbb {C} [X]$ est défini par :
    $\operatorname {Res} \left(\alpha \prod _{j=1}^{m}(X-y_{j}),P(X)\right)=\alpha ^{\deg P}\prod _{j=1}^{m}P(y_{j})$
(si $\alpha \neq 0$).
Si $\alpha ,a_{n}\neq 0$ :
    $\operatorname {Res} (\alpha X+\beta ,a_{n}X^{n}+a_{n-1}X^{n-1}+\dots +a_{1}X+a_{0})=a_{0}\alpha ^{n}-a_{1}\alpha ^{n-1}\beta +a_{2}\alpha ^{n-2}\beta ^{2}-\dots +(-1)^{n}a_{n}\beta ^{n}$
Soient :
* $Q=\alpha X+\beta =\alpha \left(X-y_{1}\right)$, avec $y_{1}=-{\frac {\beta }{\alpha }}$ ;
* $P=a_{n}X^{n}+a_{n-1}X^{n-1}+\dots +a_{1}X+a_{0}$, de degré $n$.
Alors, $\operatorname {Res} (Q,P)$ est égal à
    $\alpha ^{n}P\left(y_{1}\right)=\alpha ^{n}\left(a_{n}\left(-{\frac {\beta }{\alpha }}\right)^{n}+a_{n-1}\left(-{\frac {\beta }{\alpha }}\right)^{n-1}+\dots +a_{1}\left(-{\frac {\beta }{\alpha }}\right)+a_{0}\right)$,
donc à l'expression annoncée.
* Le résultant est invariant par translation de la variable :
    $\operatorname {Res} (Q(X+\lambda ),P(X+\lambda ))=\operatorname {Res} (Q(X),P(X))$.
* Lorsque $\alpha$ ou $a_{n}$ est nul, ce que nous avions appelé le « résultant R$_{1-n}$ » n'est pas le résultant des deux polynômes $Q(X)=\alpha X+\beta$ et $P(X)=a_{n}X^{n}+a_{n-1}X^{n-1}+\dots +a_{1}X+a_{0}$ (qui n'est même pas défini si $P$ ou $Q$ est nul). Cependant :
    si $\alpha \neq 0$ et $P\neq 0$, $R_{1-n}=\alpha ^{n-\deg P}\operatorname {Res} (Q,P)$.
La proposition suivante sera utilisée dans la prochaine section, dans le cas $n=3$ et $Q=P'$.
Si $Q(X)=pX^{2}+qX+r$ est de degré 2 et si $P(X)=aX^{3}+bX^{2}+cX+d$ est de degré $n$ ($\leq 3$),
alors leur résultant — défini par $\operatorname {Res} (Q,P)=p^{n}P(y_{1})P(y_{2})$ où $y_{1},y_{2}$ sont les racines de $Q$ — est égal à
    ${\begin{aligned}&ap^{n-3}\left[ar^{3}-bqr^{2}+c(q^{2}r-2pr^{2})+d(3pqr-q^{3})\right]\\&\qquad +bp^{n-2}\left[br^{2}-cqr+d(q^{2}-2pr)\right]+cp^{n-1}\left[cr-dq\right]+p^{n}d^{2}.\end{aligned}}$
La démonstration est assez longue mais ne présente pas de difficulté (elle ne fait même pas appel au théorème ci-dessus sur les polynômes symétriques en 3 variables mais seulement — et de façon guidée — sur le cas plus simple en 2 variables : les racines de $Q$). Nous l'avons donc proposée dans l'exercice 2-2.

## Discriminant d’un polynôme de degré 3

Le discriminant $\Delta _{P}$ d'un polynôme $P$ de degré $n>0$ et de coefficient dominant $a$ est défini par :
    $\Delta _{P}={\frac {(-1)^{n(n-1)/2}}{a}}\operatorname {Res} (P',P)$
(qui est nul si et seulement si $P$ et $P'$ ont une racine commune, c'est-à-dire si $P$ a une racine multiple).
Pour un polynôme de degré 3, la proposition précédente nous donne donc deux expressions du discriminant :
Le discriminant $\Delta _{P}$ d'un polynôme de degré 3 :
    $P(X)=aX^{3}+bX^{2}+cX+d$
est défini par :
    $\Delta _{P}=-{\frac {1}{a}}\operatorname {Res} (P',P)=-27a^{2}P(y_{1})P(y_{2})$
où $y_{1},y_{2}$ sont les deux racines du polynôme dérivé $P'(X)=3aX^{2}+2bX+c$.
Le discriminant d'un polynôme de degré 3 :
    $P(X)=aX^{3}+bX^{2}+cX+d$
peut s'exprimer par :
    $\Delta _{P}=b^{2}c^{2}+18abcd-27a^{2}d^{2}-4ac^{3}-4b^{3}d$.
En appliquant la proposition précédente à $(p,q,r)=(3a,2b,c)$, on obtient :
    ${\begin{aligned}\Delta _{P}&=-{\frac {1}{a}}\operatorname {Res} (P',P)\\&=-\left[ac^{3}-2b^{2}c^{2}+c(4b^{2}c-6ac^{2})+d(18abc-8b^{3})\right]\\&\;-3b\left[bc^{2}-2bc^{2}+d(4b^{2}-6ac)\right]\\&\;-9ac\left[c^{2}-2bd\right]-27a^{2}d^{2}\\&=\left[5ac^{3}-2b^{2}c^{2}-18abcd+8b^{3}d\right]\\&\;+\left[3b^{2}c^{2}-12b^{3}d+18abcd\right]\\&\;+\left[-9ac^{3}+18abcd\right]-27a^{2}d^{2}\\&=b^{2}c^{2}+18abcd-27a^{2}d^{2}-4ac^{3}-4b^{3}d.\end{aligned}}$
Le discriminant de :
    $X^{3}+pX+q$
est :
    $\Delta =-(4p^{3}+27q^{2})$.
(Il interviendra au chapitre 4.)
Ainsi, ${\frac {\Delta _{P}}{a^{4}}}$ est un polynôme en $-{\frac {b}{a}}=\sigma _{1}$, ${\frac {c}{a}}=\sigma _{2}$ et $-{\frac {d}{a}}=\sigma _{3}$, donc un polynôme symétrique en les trois racines de $P$, qui doit s'annuler si deux de ces racines sont égales. Sa forme est remarquable :
Soit le polynôme de degré 3 :
    $P(X)=aX^{3}+bX^{2}+cX+d$
et $x_{1},x_{2},x_{3}$ les trois racines de $P$.
Alors,
    $\Delta _{P}=a^{4}(x_{1}-x_{2})^{2}(x_{1}-x_{3})^{2}(x_{2}-x_{3})^{2}$.
On pourrait déduire cette égalité du corollaire précédent, mais il est bien moins pénible de partir directement de la définition.
    $P(X)=a(X-x_{1})(X-x_{2})(X-x_{3})$ donc
    $P'(X)=a(X-x_{2})(X-x_{3})+a(X-x_{1})(X-x_{3})+a(X-x_{1})(X-x_{2})$.
Mais $P'$ s'exprime aussi en fonction de son coefficient dominant $3a$ et de ses racines $y_{1},y_{2}$ :
    $P'(X)=3a(X-y_{1})(X-y_{2})$.
Par conséquent,
    ${\begin{aligned}\Delta _{P}&=-27a^{2}P(y_{1})P(y_{2})\\&=-27a^{2}\times a(y_{1}-x_{1})(y_{1}-x_{2})(y_{1}-x_{3})\times a(y_{2}-x_{1})(y_{2}-x_{2})(y_{2}-x_{3})\\&=-a\times 3a(x_{1}-y_{1})(x_{1}-y_{2})\times 3a(x_{2}-y_{1})(x_{2}-y_{2})\times 3a(x_{3}-y_{1})(x_{3}-y_{2})\\&=-aP'(x_{1})P'(x_{2})P'(x_{3})\\&=-a\times a(x_{1}-x_{2})(x_{1}-x_{3})\times a(x_{2}-x_{1})(x_{2}-x_{3})\times a(x_{3}-x_{1})(x_{3}-x_{2})\\&=a^{4}(x_{1}-x_{2})(x_{1}-x_{3})(x_{1}-x_{2})(x_{2}-x_{3})(x_{1}-x_{3})(x_{2}-x_{3})\\&=a^{4}(x_{1}-x_{2})^{2}(x_{1}-x_{3})^{2}(x_{2}-x_{3})^{2}.\end{aligned}}$
On en déduit une propriété importante du discriminant d'un polynôme du troisième degré :
Soit $P$ un polynôme de degré 3 à coefficients réels et Δ son discriminant. L'équation
    $P(x)=0$
possède :
* si Δ > 0, trois racines réelles distinctes.
* si Δ = 0, une racine double ou triple.
* si Δ < 0, une racine réelle et deux racines complexes conjuguées non réelles.
Soient $x_{1},x_{2},x_{3}$ les racines de $P$ et $a$ son coefficient dominant. Alors,
    $\Delta =\left(a^{2}(x_{1}-x_{2})(x_{1}-x_{3})(x_{2}-x_{3})\right)^{2}$.
Si $x_{1},x_{2},x_{3}$ sont trois nombres réels alors Δ est le carré d'un nombre réel. C'est donc un nombre réel positif ou nul. De plus, il est nul si et seulement si deux des trois racines sont égales.
Si deux des nombres $x_{1},x_{2},x_{3}$ sont des nombres complexes conjugués non réels, $z=r+\mathrm {i} s,{\overline {z}}=r-\mathrm {i} s$ ($r\in \mathbb {R} ,s\in \mathbb {R} ^{*}$) et le troisième est un réel $t$, alors
    ${\begin{aligned}\Delta &=\left(a^{2}(z-{\overline {z}})(z-t)({\overline {z}}-t)\right)^{2}\\&=\left(a^{2}(2\mathrm {i} s)|z-t|^{2}\right)^{2}\\&=-\left(2a^{2}s|z-t|^{2}\right)^{2}\end{aligned}}$
est l'opposé du carré d'un nombre réel non nul. C'est donc un réel strictement négatif.
Comme nous avons distingué tous les cas possibles, nous en déduisons, inversement, les trois points annoncés.
| Présentation et historique | Fonctions polynômes du troisième degré |