« Équation du troisième degré/Généralités sur les équations du troisième degré » : différence entre les versions
Contenu supprimé Contenu ajouté
Annulation des modifications 677437 de Crochet.david.bot (discussion)+ortho Balise : Annulation |
→Discriminant d’une équation du troisième degré : +2e expression du discriminant, plus commode pour le calculer |
||
Ligne 445 :
Pour une équation du troisième degré, nous poserons donc la définition suivante :
{{Définition
| titre = Définition du discriminant d'
| contenu =
Soit
▲:<math> ax^3 + bx^2 + cx + d = 0 ~</math>
}}
{{Théorème▼
▲Dont les trois racines sont x<sub>1</sub>, x<sub>2</sub>, x<sub>3</sub>.
| contenu=
Soit le polynôme de degré 3 :
dont les trois racines sont <math>x_1,x_2,x_3</math>.
:<math> \Delta =-aP'(x_1)P'(x_2)P'(x_3)</math>.
}}
▲:<math> \Delta = a^4(x_1 - x_2)^2(x_1 - x_3)^2(x_2 - x_3)^2 ~</math>
{{Démonstration déroulante|contenu=
En dérivant
:<math>P(X)=a(X-x_1)(X-x_2)(X-x_3)</math>,
on obtient :
:<math>P'(X)=a\left[(X-x_2)(X-x_3)+(X-x_1)(X-x_3)+(X-x_1)(X-x_2)\right]</math>,
dont on déduit :
:<math>\begin{align}P'(x_1)P'(x_2)P'(x_3)&=\left[a(x_1-x_2)(x_1-x_3)\right]\left[a(x_2-x_1)(x_2-x_3)\right]\left[a(x_3-x_1)(x_3-x_2)\right]\\
&=-a^3(x_1 - x_2)^2(x_1 - x_3)^2(x_2 - x_3)^2\\
&=-\frac\Delta a.
\end{align}</math>
}}
▲Nous observons que l’expression donnant le discriminant est un polynôme symétrique par rapport aux racines de l'équation. Nous en déduisons que le discriminant doit pouvoir s'exprimer simplement par rapport aux coefficients de l'équation.
{{Corollaire
▲Nous avons en effet le théorème suivant :
▲{{Théorème
| contenu=
Soit
Le discriminant de ce polynôme peut s'exprimer par :
▲:<math> ax^3 + bx^2 + cx + d = 0 ~</math>
▲Le discriminant de cette équation peut s'exprimer par :
▲:<math> \Delta = b^2c^2 + 18abcd - 27a^2d^2 -4ac^3 - 4b^3d ~</math>
}}
▲{{démonstration déroulante
| contenu =
La démonstration de ce
}}
▲On peut se demander à quoi peut bien servir le discriminant d'une équation du troisième degré. La principale propriété est exprimée par ce qui suit :
{{Propriété
| contenu =
:<math>P(x)=0</math>
possède :
▲:<math> ax^3 + bx^2 + cx + d = 0 ~</math>
▲une équation à coefficients réels et Δ son discriminant.
▲* si Δ > 0, l'équation possède trois racines réelles distinctes.
▲* si Δ = 0, l'équation possède une racine double ou triple.
▲* si Δ < 0, l'équation possède une racine réelle et deux racines complexes conjuguées.
}}
{{démonstration déroulante
|contenu=
Supposons que l'équation :
:<math> ax^3 + bx^2 + cx + d = 0 ~</math>
ait pour
Nous raisonnerons sur l’expression de Δ suivante :
Ligne 568 ⟶ 575 :
}}
== Résultant de deux équations ==
|