Méthode de Descartes

La méthode de Descartes dite par coefficients indéterminés permet de résoudre les équations du second, mais aussi et surtout du quatrième degré.

René Descartes utilise pour ceci la factorisation des polynômes de degré Modèle:Mvar sous la forme $a(x-x_1)(x-x_2)\cdots (x-x_n)$ avec $x_1,\dots ,x_n$ les n racines réelles ou complexes (voir Théorème de d'Alembert-Gauss) qu'il est alors l'un des premiers mathématiciens à maîtriser.

Équation du second degré

Pour résoudre

$a{x}^2+bx+c=0$,

on part des deux relations entre coefficients et racines :

$x_1+x_2=-\frac{b}{a}$ ;

$x_1{x}_2=\frac{c}{a}$.

La première relation équivaut à

$x_1=-\frac{b}{2a}+p\text{et}{x}_2=-\frac{b}{2a}-p$,

où Modèle:Mvar est un paramètre déterminé par la seconde relation.

Cette astuce est très courante : lorsqu'on connaît la somme C de deux nombres A et B, on peut toujours écrire A comme la somme de la moitié de C et d'une certaine quantité p ; B, pour maintenir l'égalité A + B = C, vaudra forcément la moitié de C moins p.

On arrive alors à

$(-\frac{b}{2a}+p)(-\frac{b}{2a}-p)=\frac{c}{a}$,

et l'on en déduit Modèle:Math, puis les deux racines.

Équation de degré 4

Dans son ouvrage La Géométrie (1637), Descartes applique cette méthode pour résoudre les équations du quatrième degré :

On ramène d'abord l'équation (en divisant par le coefficient dominant puis en translatant la variable de façon à éliminer le terme de degré 3) à une équation de la forme

$z^4+p{z}^2+qz+r=0$.

On supposera que cette équation n'est pas bicarrée, c'est-à-dire que Modèle:Math.

Le but étant de n'avoir plus qu'à résoudre deux équations du second degré pour trouver les quatre racines, on cherche ensuite à décomposer le polynôme $X^4+p{X}^2+qX+r$ en un produit de deux polynômes unitaires du second degré, dont il va falloir déterminer les coefficients. On pose donc a priori

$(X^2+aX+b)(X^2+a^{\prime }X+c)=X^4+p{X}^2+qX+r$,

ce qui équivaut, en développant et en identifiant les coefficients, à :

$\{\begin{array}{ccc}{a}^{\prime }+a& =0& \\ c+a{a}^{\prime }+b& =p\\ ac+b{a}^{\prime }& =q\\ bc& =r,\end{array}$

ou encore à

$\{\begin{array}{cc}{a}^{\prime }& =-a\\ c+b& =p+a^2\\ c-b& =q/a\\ bc& =r\end{array}$

donc à

$\{\begin{array}{c}{a}^{\prime }=-a\\ c=\frac{p+a^2+q/a}{2}\\ b=\frac{p+a^2-q/a}{2}\\ (p+a^2-q/a)(p+a^2+q/a)=4r.\end{array}$

La quatrième équation se réécrit :

$(p+a^2{)}^2-\frac{q^2}{a^2}=4r$,

ou encore :

$\{\begin{array}{c}{a}^2=A\\ (A+p{)}^{2}A-4rA=q^2.\end{array}$

On trouve une solution Modèle:Math de la dernière équation — dite Modèle:Lien — par l'une des méthodes standard, puis on choisit pour Modèle:Mvar l'une des deux racines carrées de Modèle:Math, et l'on en déduit Modèle:Mvar, Modèle:Mvar et Modèle:Mvar par les équations précédentes.

Les deux équations obtenues :

$z^2+az+\frac{p+a^2-q/a}{2}=0\text{ou}{z}^2-az+\frac{p+a^2+q/a}{2}=0\text{avec}{a}^2=A_0$,

sont identiques à celles de Ferrari (1540) :

$z^2+az+y_0-\frac{q}{2a}=0\text{ou}{z}^2-az+y_0+\frac{q}{2a}=0\text{avec}{a}^2=2y_0-p$,

car le changement de paramètre $A=2y-p$ transforme la cubique résolvante de Descartes en celle de Ferrari, $4(y^2-r)(2y-p)=q^2$.

La résolvante de Descartes, et l'expression des quatre solutions en fonction d'une racine de cette résolvante, sont identiques à celles de la méthode de Lagrange (1770).

Pour des exemples, voir la leçon sur Wikiversité (lien ci-dessous) et ses exercices.

Voir aussi

• Méthode de Laguerre
• Méthode du cercle de séparation