Équation cubique

Une équation cubique admet au plus trois solutions réelles.

En mathématiques, une équation cubique ou équation du troisième degré, est une équation polynomiale de degré 3, de la forme ax^3 + bx^2 + cx + d = 0 avec a non nul, où les coefficients a, b, c et d sont en général supposés réels ou complexes.

Historique

Antiquité

Les équations cubiques étaient connues des anciens Babyloniens, Grecs, Chinois, Indiens et Égyptiens[1],[2],[3].

On a trouvé des tablettes babyloniennes (XX^e au XVI^e siècle av. J.-C.) avec, en écriture cunéiforme, des tables de calcul de cubes et de racines cubiques[4],[5]. Les Babyloniens auraient pu utiliser ces tables pour résoudre des équations cubiques, mais on n'en a aucune preuve[6].

Le plus simple et le plus ancien des problèmes du 3^e degré, le problème de la duplication du cube, était considéré par les anciens Égyptiens comme insoluble[7]. Au V^e siècle av. J.-C., Hippocrate réduisit ce problème à celui de trouver deux proportions entre une longueur donnée et son double (a/x = x/y = y/(2a)), mais il ne pouvait pas les construire à la règle et au compas[8], tâche dont on sait maintenant qu'elle est impossible.

On suppose qu'Hippocrate, Ménechme (vers 380 à 320 av. J.-C.) et Archimède (Syracuse, 287 à 212 av. J.-C.) sont arrivés près de résoudre géométriquement le problème de la duplication du cube par intersection de coniques[8] : Ménechme, pour obtenir x tel que x^3 = a^2b, se ramène à l'intersection de x^2 = ay (parabole) et de xy = ab (hyperbole). Si des historiens des mathématiques comme Reviel Netz mettent en doute le fait que les Grecs pensaient aux équations cubiques comme telles, et pas seulement à des problèmes qui peuvent y conduire, quelques autres, comme Thomas Heath (qui a traduit les œuvres d'Archimède) sont en désaccord, avançant qu'Archimède a non seulement résolu des équations cubiques par intersection de deux coniques, mais a même discuté des conditions pour que les solutions soient au nombre de 0, 1 ou 2[9]. Archimède avait cherché à couper une sphère de rayon r par un plan de façon que le rapport des volumes des deux parties ait une valeur donnée k. Cela donne une équation du 3^e degré : si h est la hauteur d'une des parties, alors h^3 + (4kr^3)/(k + 1) = 3rh^2.

Au III^e siècle, le mathématicien grec Diophante trouve des solutions réelles ou rationnelles pour certaines équations cubiques à deux variables (équations diophantiennes)[3],[10].

Moyen Âge

Des méthodes de résolution d'équations cubiques apparaissent dans Les Neuf Chapitres sur l'art mathématique, un texte mathématique chinois écrit autour du II^e siècle av. J.-C. et commenté par Liu Hui au III^e siècle[2]. Au VII^e siècle (sous la dynastie Tang), l'astronome et mathématicien Wang Xiaotong, dans son traité mathématique intitulé Jigu Suanjing, pose systématiquement et résout numériquement 25 équations cubiques de la forme x^3 + px^2 + qx = N, dont vingt-trois avec p, q ≠ 0, et deux avec q = 0[11].

Au XI^e siècle, le poète-mathématicien Omar Khayyam (1048-1131), originaire de Perse, fait des progrès significatifs dans la théorie des équations cubiques. Il découvre qu'une équation cubique peut avoir plus d'une solution et déclare qu'elle ne peut pas être résolue à la règle et au compas. Il trouve aussi une solution géométrique (voir infra)[12],[13]. Il est le premier, dans son traité ultérieur Démonstrations de problèmes d'algèbre (vers 1070), à classifier complètement les équations cubiques, par intersection de coniques, donnant le nombre des racines réelles et des solutions géométriques générales[14],[15].

Un siècle plus tard, le mathématicien indien Bhaskara II essaye de résoudre des équations cubiques, sans succès. Cependant, il donne un exemple d'une équation cubique : x^3 + 12x = 6x^2 + 35[16].

Au XII^e siècle encore, un autre mathématicien persan, Sharaf al-Dīn al-Tūsī (1135-1213), écrit le Al-Mu'ādalāt (Traité sur les équations), où il classe les équations cubiques suivant l'existence de racines strictement positives, et non pas, comme Omar Khayyam, suivant le signe des coefficients. Son étude porte sur huit types d'équations cubiques avec des solutions positives, et cinq types d'équations cubiques qui peuvent ne pas avoir de solutions positives. Il inaugure à cet effet l'étude des fonctions polynomiales, introduisant leur dérivée, recherchant leurs extrema, etc.[17]. Il comprend l'importance du discriminant pour trouver des solutions algébriques à certains types d'équations cubiques[18]. Il utilise aussi ce qui sera connu plus tard comme la « méthode de Ruffini-Horner » pour approcher numériquement la solution d'une équation cubique. Il résout les problèmes liés à l'homogénéité de dimension : le nombre x s'identifie aussi bien à une longueur qu'à une aire rectangulaire de côtés 1 et x ou encore à un volume (1, 1, x).

Leonardo Fibonacci a donné, dans son ouvrage Flos (1225), une valeur approchée extrêmement précise (à 10^–9 près) de la solution positive de l'équation cubique x^3 + 2x^2 + 10x = 20 : en base 60, il a donné le résultat 1, 22, 7, 42, 33, 4, 40, qui signifie : 1 + 22/60 + 7/60^2 + 42/60^3 + 33/60^4 + 4/60^5 + 40/60^6[19].

Renaissance

Scipione del Ferro

En 1494, Luca Pacioli écrit un important traité : Summa de arithmetica, geometria, de proportioni et de proportionalita. Il y fait la somme des connaissances en mathématiques (plus particulièrement en algèbre) transmise par les Arabes. On trouve dans ce traité la résolution complète des équations des premier et deuxième degrés sans les solutions négatives. Concernant les équations de degré trois, il reconnait que celles-ci semblent non résolubles par des méthodes algébriques, compte tenu des connaissances mathématiques atteintes[20].

Scipione del Ferro est enseignant à l'université de Bologne de 1496 à 1526[21]. Il est possible qu'il y ait rencontré Luca Pacioli qui y enseignait entre 1501 à 1502[22]. La suite de l'histoire ne nous est connue que par les témoignages de son gendre, Annibal de la Nave (ou Hannival Nave), marié à sa fille, Filippa, et d'un de ses élèves Antonio Maria del Fiore[23]. Vers les années 1510-1515, del Ferro aurait découvert une méthode fournissant une solution, sous forme de radicaux, de la racine réelle de l’équation du troisième degré sans terme quadratique (coefficient de x^2 nul). La découverte de cette formule est un immense pas en avant dans l’histoire des équations. Les travaux de del Ferro portent essentiellement sur la résolution des équations de la forme x^3 = px + q, x^3 + px = q ou x^3 + q = px, où p et q sont des entiers naturels (on ne travaillait autrefois qu’avec des nombres positifs, les nombres négatifs paraissent encore étranges et d'un maniement délicat), formes aujourd’hui unifiées et généralisées par x^3 + px + q = 0 où p et q sont des entiers relatifs.

Il consigne ses travaux dans des notes personnelles et dans un cahier. En raison de sa réticence (courante à l’époque), il ne publie pas son œuvre, et ne veut communiquer ses travaux qu’à un groupe très réduit de personnes, quelques amis et élèves.

À sa mort en 1526, son gendre, Annibal de la Nave, également mathématicien, qui lui succède à l'université de Bologne[24], aurait hérité de ses notes, et donc de toutes ses découvertes inscrites dans ce fameux cahier. Selon Morris Kline, del Ferro aurait confié sa méthode à la fois à Fiore et à de la Nave[25]. Toutefois, ses notes ont depuis définitivement disparu, et il ne reste aucune trace directe de ses travaux.

Niccolò Fontana Tartaglia

Niccolò Fontana Tartaglia.

Le reste des évènements est raconté par Tartaglia et Cardan.

En 1530, Niccolò Fontana Tartaglia reçoit deux problèmes d'équations cubiques de Zuanne da Coi[26]. Da Coi est connu pour proposer des problèmes dont lui-même ne connait pas la solution. Une des équations est de la forme x^3 + mx^2 = n et Tartaglia lui répond qu'il est convaincu de connaitre une méthode générale de résolution pour ce type d'équation[27]. Il est aussitôt contesté par Fiore, ce qui les conduit à un célèbre concours, en 1535. Chaque participant doit proposer trente problèmes dont il connait la résolution à son rival, le gagnant doit offrir 30 banquets au perdant[28].

Fiore propose des questions se réduisant à des équations de la forme x^3 + mx = n, pour lesquelles il connait une méthode générale de résolution. Les questions de Tartaglia sont plus diverses et certaines d'entre elles conduisent à des équations de la forme x^3 + mx^2 = n[29]. Selon Tartaglia, il ne connaissait alors pas de méthode de résolution pour les équations de Fiore et ce n'est que 8 jours avant la date limite du concours qu'il aurait trouvé la méthode générale et aurait résolu en quelques heures les trente équations proposées par son concurrent alors que ce dernier n'aurait pas pu résoudre toutes les siennes[28].

Beau joueur, il renonce à réclamer le prix des trente banquets. Il conserve secrète sa méthode de résolution, à l’instar de Scipione del Ferro.

Jérôme Cardan

En tant que conférencier de mathématique à Milan, Jérôme Cardan connaissait le problème de la résolution du 3^e degré. Il était d'accord avec la Summa de Luca Pacioli qui déclarait que la résolution algébrique des équations du 3^e degré était impossible. Il est donc très intrigué après le défi entre Fiore et Tartaglia. En 1539, il contacte Tartaglia et lui demande de lui confier sa méthode en lui promettant de garder le secret. Ce dernier refuse. Cardan lui propose de le présenter au Marquis d'Avalos, gouverneur de Milan, qui pourrait apporter à Tartaglia protection et soutien[30] . Tartaglia révise alors sa position, réalisant que l'appui du gouvernement milanais pouvait être une aide non négligeable à son ascension sociale. Il accepte de se rendre à Milan et finit par céder aux arguments de Cardan. Il consent à lui révéler sa méthode de résolution des équations incomplètes, à condition que ce dernier jure de ne jamais la divulguer. Il la lui confie sous la forme cryptée d'un poème que Cardan met quelque temps à comprendre.

En 1542, Cardan et Ludovico Ferrari se rendent à Bologne et apprennent d'Annibal de la Nave que Scipione del Ferro avait résolu bien avant Tartaglia les équations du 3^e degré. Pour le leur prouver, il leur aurait montré le cahier du feu Del Ferro[31] . Bien qu'il ait juré de ne jamais révéler la méthode de Tartaglia, Cardan pense que rien ne l'empêche de publier celle de Del Ferro.

En 1545, Cardan publie Ars Magna (Le Grand Art). Il y expose la méthode de résolution de Tartaglia en lui en attribuant bien la paternité. Il complète son exposé par une justification de la méthode et l'étend à l'ensemble de tous les autres cas. Il publie, à cette occasion, la méthode de résolution de l'équation du 4^e degré mis au point par son élève Ludovico Ferrari. L'importance de l’œuvre de Cardan fait que la postérité ne retiendra que son nom et que cette méthode de résolution va porter le nom de méthode de Cardan.

Tartaglia est furieux quand il découvre que Cardan a transgressé sa promesse. Il publie, en 1546, un livre Quesiti et inventioni diverse (Quelques problèmes et inventions) dans lequel il révèle sa version de l'histoire et sans cacher le parjure de Cardan. Furieux, il y insulte violemment Cardan qui est défendu par Ferrari. S'ensuivent une série de défis et de réponses entre Ferrari et Tartaglia qui les conduisent à un débat public en 1548, dans une église à Milan devant quelques personnalités. Sur l'issue de ce débat, les récits diffèrent : d'après Cardan, Ferrari aurait fait une meilleure prestation que Tartaglia, tandis que Tartaglia accuse Ferrari d'avoir réuni un public acquis à sa cause qui l'aurait empêché de développer ses idées[31]. Tartaglia déclare alors forfait et quitte Milan.

Il reste cependant un cas qui pose problème à Cardan : le cas où la résolution de l'équation du second degré auxiliaire conduit à un discriminant négatif. C'est ce qu'on appelle le cas irréductible. L'équation admet pourtant des solutions réelles. Dans les échanges entre Tartaglia et Cardan entre 1539 et 1542, Cardan évoque ce problème et reçoit de Tartaglia une réponse élusive : il y aurait alors « d'autre façons » de résoudre l'équation[32]. Dans son Ars Magna, Cardan présente bien un cas de résolution d'équation du second degré avec discriminant négatif utilisant des quantités non réelles sorties de son imagination. Mais il n'exploite pas cette idée pour la résolution de l'équation du troisième degré[33]. Il faut attendre Bombelli et la mise en place des nombres complexes pour que ce sujet soit abordé.

Raphaël Bombelli

Après qu'en 1546, la controverse entre Cardan et Tartaglia devint publique avec la parution des Quesiti et inventioni diverse de Tartaglia, Raphaël Bombelli, admirateur de Cardan, conçut le projet d'écrire un traité d'algèbre : Algebra. Celui-ci, exposition systématique et logique des connaissances algébriques de l'époque, est rédigé entre 1557 et 1560, et reprend les travaux de Cardan de son vivant. Cette œuvre ne sera publiée que quelques mois avant la mort de son auteur.

En ce qui concerne les équations de degré supérieur à 2, Bombelli comme ses contemporains, traite un grand nombre de cas, ne considérant que les coefficients positifs, mais son habileté et sa maîtrise à utiliser formellement les racines de nombres négatifs le rendent capable d'établir que la formule de Scipione del Ferro est valable dans tous les cas. On peut dire que la solution du cas irréductible de l'équation cubique lui revient. L'équation du 4^e degré est aussi traitée par la méthode de Ferrari.

En étudiant les formules de Cardan, il est amené à introduire son fameux piu di meno. Les nombres imaginaires sont nés. Il remarqua que lorsque la formule de Cardan aboutissait à un discriminant négatif, la méthode géométrique donnait une solution réelle positive. Il sera le premier à utiliser dans ses calculs, à titre transitoire, des racines carrées imaginaires de nombres négatifs pour obtenir finalement la solution réelle tant recherchée. Il arriva à la conclusion que toute équation du 3^e degré possédait au moins une solution réelle.

Il appelle les racines carrées d'une quantité négative, piu di meno et meno di meno. Bombelli considère les racines des équations comme des sommes algébriques de nombres positifs affectés d'un des quatre signes suivants : piu, meno, piu di meno, meno di meno, qui correspondent à peu près aux signes modernes +, –, +i, –i.

Successeurs

François Viète (1540-1603) a dérivé la solution trigonométrique pour des équations cubiques avec trois racines réelles, et René Descartes (1596-1650) a étendu le travail de Viète[34].

C'est Leonhard Euler (1707-1783)[35] qui aura éclairci la détermination des trois racines d’une équation cubique[36].

Résolution

On considère une équation cubique, de la forme ${\displaystyle ax^{3}+bx^{2}+cx+d=0}$, avec ${\displaystyle a\neq 0}$. En posant ${\displaystyle x=y-{\frac {b}{3a}}}$, on se ramène à une équation de la forme ${\displaystyle y^{3}+py+q=0}$ (cette technique se généralise à tout degré)[37].

Discriminant

Le discriminant est ${\displaystyle \Delta =-4p^{3}-27q^{2}=18abcd-4b^{3}d+b^{2}c^{2}-4ac^{3}-27a^{2}d^{2}}$. L'équation a une racine multiple si et seulement si son discriminant est nul[38].

Dans le cas d'une équation à coefficients réels, le nombre de racines réelles est déterminé par le signe du discriminant[39] :

• si Δ > 0, alors l'équation admet trois racines réelles distinctes ;
• si Δ = 0, alors l'équation admet une racine double ou triple et toutes ses racines sont réelles ;
• si Δ < 0, alors l'équation admet trois racines distinctes, dont une réelle et deux complexes conjuguées.

Méthodes algébriques classiques

Méthode de Cardan

La méthode de del Ferro et Tartaglia, publiée par Cardan (voir supra), est exposée dans :

Substitution de Viète

La méthode de Viète pour résoudre

${\displaystyle y^{3}+py+q=0}$,

plus simple que celle de Cardan mais aboutissant aux mêmes formules, consiste (si p ≠ 0) à poser

${\displaystyle y=u-{\frac {p}{3u}}}$.

On obtient alors une équation du second degré sur ${\displaystyle z={u}^{3}}$ :

${\displaystyle {u}^{6}+q{u}^{3}-{\frac {p^{3}}{27}}={z}^{2}+qz-{\frac {p^{3}}{27}}=0}$

de discriminant égal à ${\displaystyle q^{2}+{\frac {4p^{3}}{27}}=-{\frac {\Delta }{27}}}$ ; c'est donc précisément lorsque cette équation n'a pas de racines réelles que l'équation originale en possède trois.

Pour plus de détails :

Méthode de Lagrange

La méthode de Lagrange pour les équations cubiques aboutit aux mêmes formules que celle de Cardan, mais par des idées qui « peuvent être considérées comme les prémices de la théorie de Galois » et dans lesquelles « Galois trouva d'ailleurs certainement son inspiration » ; elles permirent à Lagrange de résoudre aussi les équations de degré 4, et de « pressent[ir] que les équations de degré supérieur ne sont pas résolubles en général et développe[r] même quelques arguments en faveur de cette hypothèse »[40].

Les étapes pour résoudre ax^3 + bx^2 + cx + d = 0 sont de :

• numéroter arbitrairement les solutions ${\displaystyle x_{0},x_{1},x_{2}}$ ;
• poser ${\displaystyle y_{0}=x_{0}+x_{1}+x_{2},\quad y_{1}=x_{0}+\mathrm {j} x_{1}+\mathrm {j} ^{2}x_{2},\quad y_{2}=x_{0}+\mathrm {j} ^{2}x_{1}+\mathrm {j} x_{2}}$ ;
• « remarquer » que ${\displaystyle y_{0},\;y_{1}y_{2},\;y_{1}^{3}+y_{2}^{3}}$ sont des polynômes symétriques en ${\displaystyle x_{0},x_{1},x_{2}}$ ;
• les exprimer en fonction de ${\displaystyle a,\,b,\,c,\,d}$ ;
• calculer alors ${\displaystyle \{y_{1},y_{2}\}}$, en résolvant l'équation du second degré dont ${\displaystyle y_{1}^{3},\,y_{2}^{3}}$ sont solutions ;
• en déduire les valeurs de ${\displaystyle x_{0}={\frac {y_{0}+y_{1}+y_{2}}{3}}}$ et de ${\displaystyle \{x_{1},x_{2}\}=\left\{{\frac {y_{0}+\mathrm {j} ^{2}y_{1}+\mathrm {j} y_{2}}{3}},{\frac {y_{0}+\mathrm {j} y_{1}+\mathrm {j} ^{2}y_{2}}{3}}\right\}}$.

Pour plus de détails :

Autres méthodes

• Méthode de Tschirnhaus
• Méthode de Bézout
• Certaines équations cubiques peuvent être résolues par la trigonométrie[41],[42], circulaire[43] ou hyperbolique.

Les coefficients ne sont pas nécessairement des nombres complexes. Une grande partie des méthodes de résolution est valable pour des coefficients dans n'importe quel corps de caractéristique nulle ou strictement supérieure à 3. Les solutions de l'équation cubique n'appartiennent pas nécessairement au même domaine que celui des coefficients. Par exemple, certaines équations cubiques à coefficients rationnels ont des racines complexes non rationnelles (voire non réelles).

Expression des solutions

Soit ${\displaystyle ax^{3}+bx^{2}+cx+d=0}$, avec ${\displaystyle a\neq 0}$. On pose ${\displaystyle x=y-{\frac {b}{3a}}}$ et, après division par ${\displaystyle a}$, on se ramène à ${\displaystyle y^{3}+py+q=0}$ avec ${\displaystyle {\begin{cases}p={\frac {3ac-b^{2}}{3a^{2}}}\\q={\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}\end{cases}}}$.

Transformation de Tschirnhaus

On a ${\displaystyle a\left(y-{\frac {b}{3a}}\right)^{3}+b\left(y-{\frac {b}{3a}}\right)^{2}+c\left(y-{\frac {b}{3a}}\right)+d=0}$,

soit ${\displaystyle a\left(y^{3}-{\frac {b}{a}}y^{2}+{\frac {b^{2}}{3a^{2}}}y-{\frac {b^{3}}{27a^{3}}}\right)+b\left(y^{2}-{\frac {2b}{3a}}y+{\frac {b^{2}}{9a^{2}}}\right)+c\left(y-{\frac {b}{3a}}\right)+d=0}$,

soit ${\displaystyle ay^{3}+\left({\frac {ab^{2}-2ab^{2}+3a^{2}c}{3a^{2}}}\right)y+\left({\frac {-ab^{3}+3ab^{3}-9a^{2}bc+27a^{3}d}{27a^{3}}}\right)=0}$,

soit ${\displaystyle y^{3}+\left({\frac {3ac-b^{2}}{3a^{2}}}\right)y+\left({\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}\right)=0}$,

soit ${\displaystyle y^{3}+py+q=0}$.

 

On pose

${\displaystyle u={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}$

${\displaystyle v={\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}$

où les symboles ${\displaystyle {\sqrt[{n}]{A}}}$ doivent être compris comme une des racines nièmes complexes de A. Il existe donc 3 valeurs possibles complexes pour une racine cubique et deux valeurs possibles pour une racine. Il est nécessaire d'apparier ${\displaystyle u}$ et ${\displaystyle v}$ par la condition

${\displaystyle uv=-p/3}$

Les solutions générales sont alors

${\displaystyle x_{1}=-{\frac {b}{3a}}+u+v}$

${\displaystyle x_{2}=-{\frac {b}{3a}}+ju+j^{2}v}$

${\displaystyle x_{3}=-{\frac {b}{3a}}+j^{2}u+jv}$

où ${\displaystyle j=\mathrm {e} ^{2\mathrm {i} \pi /3}=-{\frac {1}{2}}+\mathrm {i} {\frac {\sqrt {3}}{2}}}$

Pour la forme des solutions dans le cas d'une équation cubique à coefficients réels, voir Formules de Cardan

Expression finale des solutions

Finalement, les trois racines, qui peuvent dans certains cas être égales, sont :

${\displaystyle {\begin{cases}x_{1}=-{\frac {b}{3a}}-{\sqrt[{3}]{{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}-{\sqrt[{3}]{{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}\\x_{2}=-{\frac {b}{3a}}-\mathrm {j} {\sqrt[{3}]{{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}-\mathrm {j} ^{2}{\sqrt[{3}]{{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}\\x_{3}=-{\frac {b}{3a}}-\mathrm {j} ^{2}{\sqrt[{3}]{{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}-\mathrm {j} {\sqrt[{3}]{{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}\end{cases}}}$ avec ${\displaystyle {\begin{cases}p={\frac {3ac-b^{2}}{3a^{2}}}\\q={\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}\\\mathrm {j} =\mathrm {e} ^{\mathrm {i} {\frac {2\pi }{3}}}{\text{ avec }}k\in \{0;1;2\}\end{cases}}}$

Soit :

${\displaystyle {\begin{cases}x_{1}=-{\frac {b}{3a}}-{\frac {1}{3a}}&{\sqrt[{3}]{{\frac {1}{2}}\left[2b^{3}-9abc+27a^{2}d+{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}\right]}}-{\frac {1}{3a}}&{\sqrt[{3}]{{\frac {1}{2}}\left[2b^{3}-9abc+27a^{2}d-{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}\right]}}\\x_{2}=-{\frac {b}{3a}}+{\frac {1+\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{{\frac {1}{2}}\left[2b^{3}-9abc+27a^{2}d+{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}\right]}}+{\frac {1-\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{{\frac {1}{2}}\left[2b^{3}-9abc+27a^{2}d-{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}\right]}}\\x_{3}=-{\frac {b}{3a}}+{\frac {1-\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{{\frac {1}{2}}\left[2b^{3}-9abc+27a^{2}d+{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}\right]}}+{\frac {1+\mathrm {i} {\sqrt {3}}}{6a}}&{\sqrt[{3}]{{\frac {1}{2}}\left[2b^{3}-9abc+27a^{2}d-{\sqrt {\left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}}}\right]}}\end{cases}}}$

${\displaystyle \left(2b^{3}-9abc+27a^{2}d\right)^{2}-4\left(b^{2}-3ac\right)^{3}=0\Rightarrow {\begin{cases}3ac-b^{2}\neq 0\Rightarrow x_{1}=x_{2}={\frac {9ad-bc}{2b^{2}-6ac}}{\text{ et }}x_{3}={\frac {4abc-9a^{2}d-b^{3}}{ab^{2}-3a^{2}c}}\\3ac-b^{2}=0\Rightarrow x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}}\end{cases}}}$

 

Factorisation

Si l'équation cubique ax^3 + bx^2 + cx + d = 0 a des coefficients entiers et une racine rationnelle, elle peut être trouvée à l'aide du test de racine rationnelle. Ce test peut également être utilisé pour une équation à coefficients rationnels : par multiplication par le plus petit dénominateur commun des coefficients, on obtient une équation à coefficients entiers qui a exactement les mêmes racines.

Trouver une racine permet de trouver les deux autres racines en factorisant puis en résolvant une équation quadratique, ce qui permet d'écrire toutes les racines sans utiliser de racines cubiques : si r est une racine de l'équation cubique, alors nous pouvons mettre en facteur x − r, par exemple en utilisant une division polynomiale, pour obtenir

${\displaystyle ax^{3}+bx^{2}+cx+d=\left(x-r\right)\left(ax^{2}+(b+ar)x+c+br+ar^{2}\right)}$.

Par conséquent, si nous connaissons une racine, nous pouvons trouver les deux autres en utilisant la formule quadratique pour trouver les racines de ax^2 + (b + ar)x + c + br + ar^2, ce qui donne :

${\displaystyle {\frac {-b-ra\pm {\sqrt {b^{2}-4ac-2abr-3a^{2}r^{2}}}}{2a}}}$

pour les deux autres racines.

Cela est particulièrement utile si les coefficients et les trois racines sont réelles, cas où la solution algébrique générale exprime inutilement les racines réelles en termes d'entités complexes[44].

Méthodes géométriques

Solution d'Omar Khayyam

Solution géométrique d'Omar Khayyam d'une équation cubique, pour le cas m = 2, n = 16, donnant la racine 2. Le fait que la ligne verticale croise l'axe x au centre du cercle est spécifique à cet exemple.

Comme représenté ci-contre, pour résoudre l'équation du troisième degré x^3 + m^2x = n où n > 0, Omar Khayyam a construit la parabole y = x^2/m, le cercle de diamètre le segment [0, n/m^2] sur l'axe des x, et la droite verticale passant par le point au-dessus de l'axe des x où le cercle et la parabole se croisent. La solution est donnée par la longueur du segment de droite horizontal qui joint l'origine à l'intersection de la droite verticale et de l'axe des x.

Une preuve simple et moderne de la méthode est la suivante : en multipliant l'équation par x et en regroupant les termes, nous obtenons

${\displaystyle {\frac {x^{4}}{m^{2}}}=x\left({\frac {n}{m^{2}}}-x\right)}$.

Le membre de gauche est la valeur de y^2 sur la parabole. L'équation du cercle étant y^2 + x(x − n/m^2) = 0, le membre de droite est la valeur de y^2 sur le cercle.

Solution par trisection de l'angle

Une équation cubique à coefficients réels peut être résolue géométriquement en utilisant la règle, le compas et la trisection de l'angle, si et seulement si l'équation admet trois solutions réelles[45].

Algébriquement, on montre que l'équation initiale peut se mettre sous la forme réduite ${\displaystyle 4z^{3}-3z=w}$ par une transformation lineaire sur ${\displaystyle x}$. Cette forme réduite correspond terme à terme à l'identitié trigonométrique ${\displaystyle 4\cos ^{3}(\theta )-3\cos(\theta )=\cos(3\theta )}$. Connaissant ${\displaystyle w}$, on tire ${\displaystyle 3\theta }$ et les trois valeurs de ${\displaystyle \theta }$ par périodicité.

Applications

Les équations cubiques apparaissent dans divers contextes.

L'aire d'un heptagone régulier peut être exprimée en termes des racines d'une équation cubique. En outre, le rapport des rayons des cercles inscrit et circonscrit du triangle heptagonal est l'une des solutions d'une équation cubique.

Étant donné le cosinus (ou toute autre fonction trigonométrique) d'un angle quelconque, le cosinus d'un tiers de cet angle est l'une des racines d'une équation cubique.

Les valeurs propres d'une matrice 3 × 3 sont les racines d'un polynôme cubique, qui est le polynôme caractéristique de la matrice.

En chimie analytique, l'équation de Charlot, qui peut être utilisée pour trouver le pH des solutions tampons, peut être résolue en utilisant une équation cubique.

En génie chimique et thermodynamique, les équations d'état cubiques sont utilisées pour modéliser le comportement des substances de PVT (pression, volume, température).

Les équations cinématiques impliquant l'évolution des taux d'accélération sont cubiques.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Cubic function » (voir la liste des auteurs).

1. (en) Jens Høyrup, « The Babylonian Cellar Text BM 85200 + VAT 6599 Retranslation and Analysis », dans Amphora: Festschrift for Hans Wussing on the Occasion of his 65th Birthday, Birkhäuser, 1992 (ISBN 978-3-0348-8599-7, DOI 10.1007/978-3-0348-8599-7_16), p. 315-358.
2. (en) Kangshen Shen, John N. Crossley (en) et Anthony Wah-Cheung Lun, The Nine Chapters on the Mathematical Art : Companion & Commentary, Oxford University Press, 1999 (ISBN 978-0-19-853936-0, lire en ligne), p. 177.
3. (en) B. L. van der Waerden, Geometry and Algebra of Ancient Civilizations, Springer, 1983 (lire en ligne), chap. 4.
4. (en) Roger Cooke, The History of Mathematics : A Brief Course, Wiley, 2012, 648 p. (ISBN 978-1-118-46029-0, lire en ligne), p. 63.
5. (en) Karen Rea Nemet-Nejat, Daily Life in Ancient Mesopotamia, GPG, 1998, 346 p. (ISBN 978-0-313-29497-6, lire en ligne), p. 306.
6. (en) Roger Cooke, Classical Algebra : Its Nature, Origins, and Uses, Wiley, 2008, 224 p. (ISBN 978-0-470-27797-3, lire en ligne), p. 64.
7. Selon (en) Lucye Guilbeau, « The history of the solution of the cubic equation », Mathematics News Letter, vol. 5, n^o 4,‎ 1930, p. 8-12 (DOI 10.2307/3027812, JSTOR 3027812) : « the Egyptians considered the solution impossible, but the Greeks came nearer to a solution ».
8. Guilbeau 1930, p. 8-9.
9. (en) T. L. Heath, The Works of Archimedes, Cambridge University Press, 1897 (lire en ligne).
10. (en) Thomas L. Heath, Diophantus of Alexandria : A Study in the History of Greek Algebra, Martino Pub, 2009, 396 p. (ISBN 978-1-57898-754-2, lire en ligne), p. 87-91.
11. (en) Yoshio Mikami, The Development of Mathematics in China and Japan, Chelsea Publishing Company, 1974, 2^e éd. (1^re éd. 1913) (ISBN 978-0-8284-0149-4), chap. 8 (« Wang Hsiao-Tung and Cubic Equations »), p. 53-56.
12. (en) « A paper of Omar Khayyam », Scripta Math., vol. 26,‎ 1963, p. 323-337.
13. Selon (en) John J. O'Connor et Edmund F. Robertson, « Omar Khayyam », sur MacTutor, université de St Andrews : « This problem in turn led Khayyam to solve the cubic equation x^3 + 200x = 20x^2 + 2000 and he found a positive root of this cubic by considering the intersection of a rectangular hyperbola and a circle. ».
14. Selon O'Connor et Robertson, « Omar Khayyam » , op. cit. : « Khayyam himself seems to have been the first to conceive a general theory of cubic equations ».
15. Selon Guilbeau 1930, p. 9 : « Omar Al Hay of Chorassan, about 1079 AD did most to elevate to a method the solution of the algebraic equations by intersecting conics ».
16. (en) Bibhutibhusan Datta (en) et Avadhesh Narayan Singh (de), History of Hindu Mathematics: A Source Book (en), vol. 2 : Algebra, 1938 (lire en ligne), « Equation of Higher Degree », p. 76.
17. (en) John J. O'Connor et Edmund F. Robertson, « Sharaf al-Din al-Muzaffar al-Tusi », sur MacTutor, université de St Andrews..
18. (en) J. L. Berggren, « Innovation and tradition in Sharaf al-Dīn al-Ṭūsī's Muʿādalāt », JAOS, vol. 110, n^o 2,‎ 1990, p. 304-309 (JSTOR 604533).
19. (en) John J. O'Connor et Edmund F. Robertson, « Leonardo Pisano Fibonacci », sur MacTutor, université de St Andrews..
20. Tartaglia, Hamon et Degryse 2010, p. 12.
21. Serfati 1992, p. 7.
22. (en) John J. O'Connor et Edmund F. Robertson, « History of quadratic, cubic and quartic equations », sur MacTutor, université de St Andrews..
23. Serfati 1992, p. 8.
24. Encyclopaedia Universalis, del Ferro Scipione
25. (en) M. Kline, Mathematical Thought from Ancient to Modern Times, New York, Oxford University Press, 1972 (lire en ligne), p. 263.
26. Nordgaard 1938, p. 331.
27. Nordgaard 1938, p. 332.
28. Serfati 1992, p. 9.
29. Nordgaard 1938, p. 333.
30. Serfati 1992, p. 12.
31. Serfati 1992, p. 15.
32. Serfati 1992, p. 14.
33. Denis Daumas, «Dimissis incruciationibus» ou la première apparition d'une racine carrée d'une quantité moindre que zéro, Irem de la Réunion
34. Nickalls, R. W. D. (July 2006), "Viète, Descartes and the cubic equation" (PDF), Mathematical Gazette, 90: 203–208
35. (la) L. Euler, « De formis radicum aequationum cujusque ordinis conjectatio », dans Comment. Petropol. 1732-1733 (publié en 1738), vi, p. 216-231 (E30), traduction en anglais disponible sur arXiv:0806.1927.
36. (en) David Eugene Smith, History of mathematics, vol. 2, Dover, 1958 (1^re éd. 1925) (ISBN 978-0-48620430-7), p. 464
37. Pour plus de détails, .
38. Cette égalité est mentionnée dans l'introduction de (en) Israel Gelfand, Mikhail Kapranov et Andrei Zelevinsky, Discriminants, Resultants, and Multidimensional Determinants, Springer, coll. « Modern Birkhäuser Classics », 2008 (1^re éd. 1994) (ISBN 978-0-8176-4770-4, lire en ligne), p. 1 et démontrée par exemple dans la section « Discriminant d'un polynôme de degré 3 » de la leçon « Équation du troisième degré » sur Wikiversité., liée en bas de cette page.
39. Pour une démonstration, voir par exemple la même section « Discriminant d'un polynôme de degré 3 » de la leçon « Équation du troisième degré » sur Wikiversité .
40. Amine Marrakchi, « Résolution des équations de degré 3 et 4 », sur Images des mathématiques, 30 janvier 2014.
41. Pour voir le chapitre « Résolutions trigonométriques » de la leçon sur Wikiversité, suivre le lien en bas de cette page.
42. (en) J. Plante, « Cubic Equations from an Analytic Point of View », Amer. Math. Monthly, vol. 125, n^o 9,‎ 2018, p. 845-849 (DOI 10.1080/00029890.2018.1507207).
43. (en) W. H. Press, S. A. Teukolsky, W. T. Vetterling et B. P. Flannery, Numerical Recipes: The Art of Scientific Computing, Cambridge University Press, 2007, 3^e éd., 1235 p. (ISBN 978-0-521-88068-8, lire en ligne), p. 228
44. (en) Sara Confalonieri, « The casus irreducibilis in Cardano's Ars Magna and De Regula Aliza », Arch. Hist. Exact Sci., vol. 69, n^o 3,‎ 2015 (DOI 10.1007/s00407-015-0149-9).
45. (en) Andrew M. Gleason, « Angle trisection, the heptagon, and the triskaidecagon », Amer. Math. Monthly, vol. 95, n^o 3,‎ 1988, p. 185-194 (DOI 10.1080/00029890.1988.11971989), Thm. 1.

Voir aussi

Articles connexes

• Équation quartique
• Équation quintique
• Fonction cubique
• Méthode de Newton
• Zéros complexes d'équations réelles

Liens externes

• (en) John J. O'Connor et Edmund F. Robertson, « History of quadratic, cubic and quartic equations », sur MacTutor, université de St Andrews.
• Gérard Villemin, « Équations du troisième degré », sur Nombres - Curiosités, théorie et usages
• (en) « Background of Quadratic Equations », sur mathforcollege.com

Bibliographie

• Michel Serfati, « Le secret et la règle », Séminaire de Philosophie et Mathématiques, n^o 6,‎ 1992, p. 1-39 (lire en ligne, consulté le 6 octobre 2018)
• Niccolo Tartaglia, Gérard Hamon et Lucette Degryse, Questions et inventions diverses, livre IX : L'invention de la résolution des équations du troisième degré, Paris, Hermann, coll. « Histoire des sciences », 2010, 251 p. (ISBN 978-2-7056-7034-4, présentation en ligne)
• (en) Martin A. Nordgaard, « Sidelights on the Cardan-Tartaglia controversy », National Mathematics Magazine, vol. 12, n^o 7,‎ avril 1938, p. 327-346 (lire en ligne)
• (en) William S. Anglin et Joachim Lambek, The Heritage of Thales, Springer, 1995 (lire en ligne), « 24 et 25 »
• (en) T. Dence, « Cubics, chaos and Newton's method », The Mathematical Gazette, vol. 78, n^o 492,‎ 1997, p. 347-348 (DOI 10.2307/3619617)
• (en) R. Dunnett, « Newton-Raphson and the cubic », The Mathematical Gazette, vol. 78, n^o 483,‎ 1994, p. 347-348 (DOI 10.2307/3620218)
• (en) Douglas W. Mitchell, « Solving cubics by solving triangles », The Mathematical Gazette, vol. 91, n^o 522,‎ 2007, p. 514-516
• (en) Douglas W. Mitchell, « Powers of φ as roots of cubics », The Mathematical Gazette, vol. 93, n^o 528,‎ 2009, p. 481-482