Méthode de Cardan

La méthode de Cardan, proposée par Jérôme Cardan dans son ouvrage Ars Magna publié en 1545, est une méthode permettant de résoudre les équations polynomiales du troisième degré. Cependant, Cardan se serait approprié la méthode en la volant délibérément à Niccolò Fontana dit Tartaglia (« Le Bègue »)[1].

Cette méthode permet d'obtenir des formules, appelées formules de Cardan, donnant en fonction de p et q les solutions de l'équation :

z 3 + p z + q = 0 {\displaystyle z^{3}+pz+q=0} .

Elle permet de prouver que les équations de degré 3 sont résolubles par radicaux. Seules les équations de degré 1, 2, 3, 4 sont résolubles par radicaux dans tous les cas, c’est-à-dire que seules ces équations possèdent des méthodes générales de résolutions donnant les solutions en fonction des coefficients du polynôme en utilisant seulement les quatre opérations habituelles sur les nombres rationnels, et l'extraction des racines n-ièmes.

Page de titre de l'Ars Magna de Cardan.

Formules de Cardan

Théorème — Les solutions complexes z k   ( 0 ≤ k ≤ 2 ) {\displaystyle z_{k}\ \left(0\leq k\leq 2\right)} de l'équation du troisième degré z 3 + p z + q = 0 {\displaystyle z^{3}+pz+q=0} , où les coefficients p et q sont réels, sont données par

z k = u k + v k {\displaystyle z_{k}=u_{k}+v_{k}}

avec

u k = j k   1 2 ( − q + − Δ 27 ) 3 {\displaystyle u_{k}=\mathrm {j} ^{k}~{\sqrt[{3}]{{\frac {1}{2}}\left(-q+{\sqrt {\frac {-\Delta }{27}}}\right)}}}

et 3 uk vk = –p, d'où[2]

v k = j − k   1 2 ( − q − − Δ 27 ) 3 {\displaystyle v_{k}=\mathrm {j} ^{-k}~{\sqrt[{3}]{{\frac {1}{2}}\left(-q-{\sqrt {\frac {-\Delta }{27}}}\right)}}}

où Δ = –(4 p3 + 27 q2) est le discriminant de l'équation et où j = e 2 i π / 3 = − 1 + i 3 2 {\displaystyle \mathrm {j} =\mathrm {e} ^{2\mathrm {i} \pi /3}={\frac {-1+\mathrm {i} {\sqrt {3}}}{2}}} .

  • Si Δ > 0, alors il y a trois solutions réelles distinctes.
  • Si Δ = 0, alors une solution est multiple et toutes sont réelles.
  • Si Δ < 0, alors une solution est réelle et les deux autres sont complexes conjuguées.

Remarque 1 : en posant p = 3p', q = 2q' et Δ = 4×27 Δ', on obtient

Δ ′ = − ( q ′ 2 + p ′ 3 ) , u k = j k − q ′ + − Δ ′ 3 , v k = j − k − q ′ − − Δ ′ 3 . {\displaystyle \Delta ^{\prime }=-\left(q^{\prime 2}+p^{\prime 3}\right),u_{k}=\mathrm {j} ^{k}{\sqrt[{3}]{-q^{\prime }+{\sqrt {-\Delta ^{\prime }}}}},v_{k}=\mathrm {j} ^{-k}{\sqrt[{3}]{-q^{\prime }-{\sqrt {-\Delta ^{\prime }}}}}.}

Si l'on part de l'équation générale a x 3 + b x 2 + c x + d = 0 {\displaystyle ax^{3}+bx^{2}+cx+d=0} , a ≠ 0, on se ramène à la forme réduite en posant :

x = z − b 3 a , p = − b 2 3 a 2 + c a et q = b 27 a ( 2 b 2 a 2 − 9 c a ) + d a {\displaystyle x=z-{\frac {b}{3a}},\qquad p=-{\frac {b^{2}}{3a^{2}}}+{\frac {c}{a}}\qquad {\text{et}}\qquad q={\frac {b}{27a}}\left({\frac {2b^{2}}{a^{2}}}-{\frac {9c}{a}}\right)+{\frac {d}{a}}} .

La démonstration des formules est donnée ci-dessous dans le paragraphe « Principe de la méthode », mais détaillons d'abord leurs conséquences selon le signe de Δ.

Remarque 2 : une méthode plus simple, la substitution de Viète, aboutit aux mêmes formules que celle de Cardan.

Si Δ est négatif

L'équation possède alors une solution réelle et deux complexes. On pose

u = − q + − Δ 27 2 3 et v = − q − − Δ 27 2 3 , soit encore u = − q ′ + − Δ ′ 3 et v = − q ′ − − Δ ′ 3 {\displaystyle u={\sqrt[{3}]{\frac {-q+{\sqrt {\frac {-\Delta }{27}}}}{2}}}\quad {\mbox{et}}\quad v={\sqrt[{3}]{\frac {-q-{\sqrt {\frac {-\Delta }{27}}}}{2}}},\qquad {\mbox{soit encore}}\qquad u={\sqrt[{3}]{-q'+{\sqrt {-\Delta '}}}}\quad {\mbox{et}}\quad v={\sqrt[{3}]{-q'-{\sqrt {-\Delta '}}}}} .

La seule solution réelle est alors z0 = u + v. Il existe également deux solutions complexes conjuguées l'une de l'autre :

{ z 1 = j u + j ¯ v z 2 = j 2 u + j 2 ¯ v o u ` j = − 1 2 + i 3 2 = e i 2 π 3 et j 2 = − 1 2 − i 3 2 = e i 4 π 3 {\displaystyle {\begin{cases}z_{1}=\mathrm {j} u+{\overline {\mathrm {j} }}v\\z_{2}=\mathrm {j} ^{2}u+{\overline {\mathrm {j} ^{2}}}v\end{cases}}\qquad \mathrm {o{\grave {u}}} \qquad \mathrm {j} =-{\frac {1}{2}}+\mathrm {i} {\frac {\sqrt {3}}{2}}=\mathrm {e} ^{\mathrm {i} {\frac {2\pi }{3}}}\qquad {\text{et}}\qquad \mathrm {j} ^{2}=-{\frac {1}{2}}-\mathrm {i} {\frac {\sqrt {3}}{2}}=\mathrm {e} ^{\mathrm {i} {\frac {4\pi }{3}}}} .

Si Δ est nul

Si p = q = 0, l'équation possède 0 comme solution triple.

Dans le cas contraire, p et q sont tous deux non nuls. L'équation possède alors deux solutions réelles, une simple et une double :

{ z 0 = 2 − q 2 3 = 3 q p z 1 = z 2 = − − q 2 3 = − 3 q 2 p {\displaystyle {\begin{cases}z_{0}=2{\sqrt[{3}]{\frac {-q}{2}}}={\frac {3q}{p}}\\z_{1}=z_{2}=-{\sqrt[{3}]{\frac {-q}{2}}}={\frac {-3q}{2p}}\end{cases}}}

Si Δ est positif

L'équation possède alors trois solutions réelles. Toutefois, il est nécessaire de faire une incursion dans les complexes pour toutes les trouver (voir le § « Remarque historique »). Les solutions sont les sommes de deux complexes conjugués jku et j k u ¯ {\displaystyle {\overline {\mathrm {j} ^{k}u}}} où u = − q + i Δ 27 2 3 {\displaystyle u={\sqrt[{3}]{\frac {-q+\mathrm {i} {\sqrt {\frac {\Delta }{27}}}}{2}}}} et k ∈ { 0 , 1 , 2 } {\displaystyle k\in \{0,1,2\}} , soit l'ensemble suivant :

{ z 0 = u + u ¯ z 1 = j u + j u ¯ z 2 = j 2 u + j 2 u ¯ {\displaystyle {\begin{cases}z_{0}=u+{\overline {u}}\\z_{1}=\mathrm {j} u+{\overline {\mathrm {j} u}}\\z_{2}=\mathrm {j} ^{2}u+{\overline {\mathrm {j} ^{2}u}}\end{cases}}}

La forme réelle des solutions est obtenue en écrivant jku sous la forme trigonométrique, ce qui donne[3] :

z k = 2 − p 3 cos ⁡ ( 1 3 arccos ⁡ ( 3 q 2 p 3 − p ) + 2 k π 3 )  avec  k ∈ { 0 , 1 , 2 } {\displaystyle z_{k}=2{\sqrt {\frac {-p}{3}}}\cos {\left({\frac {1}{3}}\arccos {\left({\frac {3q}{2p}}{\sqrt {\frac {3}{-p}}}\right)}+{\frac {2k\pi }{3}}\right)}\qquad {\mbox{ avec }}\qquad k\in \{0,1,2\}} .

Principe de la méthode

Considérons l'équation générale du troisième degré suivante : ax3 + bx2 + cx + d = 0.

En posant

x = z − b 3 a {\displaystyle x=z-{\frac {b}{3a}}} ,

on se ramène à une équation de la forme[4]

z 3 + p z + q = 0 {\displaystyle z^{3}+pz+q=0} .

On va maintenant poser z = u + v avec u et v complexes, de façon à avoir deux inconnues au lieu d'une et se donner ainsi la possibilité de poser ultérieurement une condition sur u et v permettant de simplifier le problème. L'équation z3 + pz + q = 0 devient ainsi

( u + v ) 3 + p ( u + v ) + q = 0 {\displaystyle (u+v)^{3}+p(u+v)+q=0} .

Cette équation se transforme sous la forme suivante :

u 3 + v 3 + 3 u v 2 + 3 v u 2 + p ( u + v ) + q = 0 {\displaystyle u^{3}+v^{3}+3uv^{2}+3vu^{2}+p(u+v)+q=0}
u 3 + v 3 + ( 3 u v + p ) ( u + v ) + q = 0 {\displaystyle u^{3}+v^{3}+(3uv+p)(u+v)+q=0} .

La condition de simplification annoncée sera alors 3uv + p = 0. Ce qui nous donne d'une part u3 + v3 + q = 0 et d'autre part uv = – p/3, qui, en élevant les deux membres à la puissance 3 donne u3v3 = – p3/27.

Nous obtenons finalement le système somme-produit des deux inconnues u3 et v3 suivant :

{ u 3 + v 3 = − q u 3 v 3 = − p 3 27 . {\displaystyle {\begin{cases}u^{3}+v^{3}&=-q\\u^{3}v^{3}&=-{\frac {p^{3}}{27}}.\end{cases}}}

Les inconnues u3 et v3 étant deux complexes dont on connaît la somme et le produit, ils sont donc les solutions de l'équation du second degré :

X 2 + q X − p 3 27 = 0 {\displaystyle X^{2}+qX-{\frac {p^{3}}{27}}=0} .

Le discriminant de cette équation du second degré est δ = q 2 − 4 × 1 × − p 3 27 = q 2 + 4 27 p 3 {\displaystyle \delta =q^{2}-4\times 1\times {\frac {-p^{3}}{27}}=q^{2}+{\frac {4}{27}}p^{3}} et les racines sont

{ u 3 = − q + δ 2  et  v 3 = − q − δ 2  si  δ  est positif u 3 = − q + i − δ 2  et  v 3 = − q − i − δ 2  si  δ  est négatif u 3 = v 3 = − q 2  si  δ  est nul. {\displaystyle {\begin{cases}u^{3}={\frac {-q+{\sqrt {\delta }}}{2}}{\text{ et }}v^{3}={\frac {-q-{\sqrt {\delta }}}{2}}&{\text{ si }}\delta {\text{ est positif}}\\u^{3}={\frac {-q+\mathrm {i} {\sqrt {-\delta }}}{2}}{\text{ et }}v^{3}={\frac {-q-\mathrm {i} {\sqrt {-\delta }}}{2}}&{\text{ si }}\delta {\text{ est négatif}}\\u^{3}=v^{3}={\frac {-q}{2}}&{\text{ si }}\delta {\text{ est nul.}}\end{cases}}}

On notera que le discriminant Δ de l'équation du troisième degré z3 + pz + q = 0 est lié au discriminant δ ci-dessus par la relation Δ = –27δ.

Il suffit alors d'associer les trois racines cubiques de u3 et v3 deux par deux de façon à obtenir trois couples (u,v) tels que uv = – p/3, puis de reporter les trois couples de valeurs trouvés pour u et v dans l'expression z = u + v. On obtient dans tous les cas en fonction du discriminant Δ la solution figurant dans l'encadré ci-dessus.

Enfin, on revient au premier changement de variable x = z – b/3a pour avoir les trois racines de l'équation du troisième degré posée au départ. On peut noter que ce type de méthode met en évidence qu'il est parfois nécessaire de travailler dans un corps de nombres plus vaste que celui contenant les variables du problème pour trouver la solution : ici malgré le fait que les entrées (les coefficients) sont réelles, il faut passer par les complexes pour trouver toutes les solutions réelles. Cependant, comme on l'a vu plus haut, il est également possible de rester dans les réels, en acceptant d'utiliser les fonctions trigonométriques (ce qui était déjà connu des algébristes italiens) ; l'explication de l'efficacité de cette deuxième méthode ne sera donnée que par Euler.

Exemples

De nombreux exemples sont disponibles dans les manuels et sur le web.

Voir aussi : Exercices résolus sur la méthode de Cardan, sur la Wikiversité.

Généralisation à un corps quelconque

Généralisation : Formules de Cardan sur un corps commutatif quelconque[5] — Les solutions z k   ( 0 ≤ k ≤ 2 ) {\displaystyle z_{k}\ \left(0\leq k\leq 2\right)} de l'équation du troisième degré z3 + pz + q = 0, où les coefficients p et q appartiennent à un corps commutatif K de caractéristique différente de 2 et de 3, sont données dans une clôture algébrique K de K par les mêmes formules que ci-dessus[6], où j est une racine cubique primitive de l'unité. On choisit les deux racines cubiques de façon que leur produit soit égal à -p/3. Ces trois solutions sont distinctes si, et seulement si Δ ≠ 0 et pour qu'elles appartiennent toutes trois à K, il est nécessaire que Δ soit le carré d'un élément de K.

Démonstration

La démonstration des formules de Cardan, dans le cas général considéré ici, est identique à celle donnée ci-dessus dans le paragraphe « Principe de la méthode ». Soit z i {\displaystyle z_{i}} ( 0 ≤ i ≤ 2 ) {\displaystyle \left(0\leq i\leq 2\right)} les trois racines (non nécessairement distinctes) de l'équation. Le discriminant est donné par

Δ = ∏ 0 ≤ i < k ≤ 2 ( z i − z k ) 2 {\displaystyle \Delta =\prod \limits _{0\leq i<k\leq 2}\left(z_{i}-z_{k}\right)^{2}} .

Par conséquent, si les trois racines appartiennent à K, Δ est un carré dans K. Il est clair que les trois racines sont distinctes si, et seulement si Δ ≠ 0.

Exemple :

Dans le corps fini ℤ/13ℤ, pour résoudre l'équation z3 + 2z + 6 = 0, on calcule successivement –Δ = 3 = 42, puis –q + 4/2 = –1, d'où u0 = –1 et v0 = –p/(3u0) = 5 (car dans ℤ/13ℤ, 3 × 5 = 2 donc 2/3 = 5). Avec j = 3 et j2 = –4, les trois solutions sont donc z0 = –1 + 5 = 4, z1 = 3×(–1) – 4×5 = 3 et z2 = –4×(–1) + 3×5 = 6.

Remarque historique

La méthode fut découverte en premier lieu en 1515 par le mathématicien italien Scipione del Ferro, et gardée secrète par celui-ci[7]. Le mathématicien italien Tartaglia en avait connaissance vers 1535[8]. À cette époque, les mathématiciens se lançaient des défis pour résoudre des équations du troisième degré et Tartaglia les résolvait toutes. Intrigué, Cardan lui demanda s'il avait trouvé une méthode. Après s'être fait prier et avoir reçu l'assurance que Cardan ne la dévoilerait à personne, Tartaglia la lui confia[1]. Cardan la publia en 1545, en la généralisant à des cas où il était nécessaire d'introduire des racines carrées de nombres négatifs. Il est donc le premier à avoir utilisé des nombres complexes, non sans appréhension[9].

On appelle désormais souvent ces formules les formules de Tartaglia-Cardan.

L'utilisation des formules de Cardan nécessite parfois l'utilisation de nombres complexes, même pour trouver des solutions réelles. En fait, les nombres imaginaires sont précisément nés à cette occasion.

Dans l'exemple z3 = 15z + 4 ou bien z3 – 15z – 4 = 0, on a p = –15 et q = –4, donc : u3v3 = 153/27 = 125 et u3 + v3 = 4 donc u3 et v3 sont racines de l'équation X2 – 4X + 125 = 0, dont les racines n'« existent » pas. Pourtant, il y a bien une solution z à l'équation initiale : c'est z = 4. C'est Raphaël Bombelli qui surmontera cette difficulté en proposant pour la première fois un calcul sur les nombres imaginaires. La résolution formelle de l'équation X2 – 4X + 125 = 0 donne pour racines u 3 = 2 + − 121 = 2 + 11 − 1 {\displaystyle u^{3}=2+{\sqrt {-121}}=2+11{\sqrt {-1}}} et v 3 = 2 − − 121 = 2 − 11 − 1 {\displaystyle v^{3}=2-{\sqrt {-121}}=2-11{\sqrt {-1}}} , or Bombelli s'aperçoit que le cube de 2 + − 1 {\displaystyle 2+{\sqrt {-1}}} vaut 2 + − 121 {\displaystyle 2+{\sqrt {-121}}} et que le cube de 2 − − 1 {\displaystyle 2-{\sqrt {-1}}} vaut 2 − − 121 {\displaystyle 2-{\sqrt {-121}}} . Il en déduit que u = 2 + − 1 {\displaystyle u=2+{\sqrt {-1}}} et que v = 2 − − 1 {\displaystyle v=2-{\sqrt {-1}}} et il trouve bien finalement comme solution z = u + v = 4.

Les nombres imaginaires sont nés.

Une méthode a été développée par Ludovico Ferrari (en 1545)[10], puis généralisée par Bombelli (en 1572)[11] pour la résolution par radicaux de l'équation générale du quatrième degré (équation quartique). Comme on le sait, la résolution par radicaux n'est plus possible pour l'équation générale de degré supérieur ou égal à 5 (théorème d'Abel-Ruffini).

Notes et références

  1. ↑ a et b (en) John J. O'Connor et Edmund F. Robertson, « Quadratic, cubic and quartic equations », sur MacTutor, université de St Andrews.
  2. ↑ H. Weber « Formule de Cardan modifiée par Cayley », Nouvelles annales de mathématiques, 3e série, tome 14 (1895), p. 347-349.
  3. ↑ (en) David A. Cox, Galois Theory, John Wiley & Sons, , 2e éd. (lire en ligne), p. 18-19.
  4. ↑ Pour plus de détails, suivre le lien en bas de page vers la leçon sur Wikiversité.
  5. ↑ (en) Saunders Mac Lane et Garrett Birkhoff, Algebra, AMS, , 3e éd. (1re éd. 1967), 626 p. (ISBN 978-0-8218-1646-2, lire en ligne), § XIII.1. La restriction sur la caractéristique du corps est due au fait qu'il y a des divisions par 2 et par 3. On notera que dans le cas classique K = R {\displaystyle K=\mathbb {R} } , le résultat est un peu plus précis.
  6. ↑ On peut, comme plus haut, poser p = 3p', q = 2q', etc.
  7. ↑ A. Dahan-Dalmedico et J. Peiffer, Routes et dédales, coll. « Études vivantes », [détail des éditions], p. 98.
  8. ↑ On ne sait pas clairement si la découverte de del Ferro est parvenue, par un cheminement complexe, jusqu'à Tartaglia, ou si celui-ci a réinventé la méthode.
  9. ↑ (en) B. L. van der Waerden, A History of Algebra, Springer, (ISBN 3-642-51601-7).
  10. ↑ Nicolas Bourbaki, Éléments d'histoire des mathématiques [détail des éditions], « Polynômes et corps commutatifs ».
  11. ↑ Jean Itard, « Équations algébriques », Encyclopædia Universalis.

Voir aussi

Sur les autres projets Wikimedia :

  • Méthode de Cardan, sur Wikiversity

Articles connexes

Liens externes

  • Une nouvelle méthode de résolution des équations du 3e degré, récompensée par une mention spéciale (à ne pas confondre avec le prix lui-même) lors du Prix Fermat junior 1995
  • Résolution des équations algébriques de degré 3 et 4 sur le site du bicentenaire de la naissance d'Évariste Galois.
  • (en) « Cardano formula », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne)
  • Conférence de Xavier Buff à Math Park, Xavier Buff fait une conférence à l'institut Henri Poincaré pour les lycéens dans le cadre de math park en où il explique la méthode de Cardan appliquée à x3-3x+1=0 et étudie une fractale.

Bibliographie

  • (en) I. J. Zucker, « The cubic equation – a new look at the irreducible case », The Mathematical Gazette, vol. 92, no 524,‎ , p. 264-268 (DOI 10.2307/27821778, lire en ligne)
  • (en) Edgar Rechtschaffen, « Real roots of cubics: Explicit formula for quasi-solutions », The Mathematical Gazette, vol. 92, no 524,‎ , p. 268–276 (JSTOR 27821779)
  • icône décorative Portail de l’algèbre