NOTE VII.
SUR LA MÉTHODE DE FONTAINE, POUR LA RÉSOLUTION DES ÉQUATIONS.
Comme on ne fait point usage de cette méthode, qui est d’ailleurs peu connue, je pourrais me dispenser d’en parler ici ; mais le nom de l’Auteur et la manière dont il l’a annoncée m’engagent à en donner une idée abrégée et à examiner les principes sur lesquels elle est fondée. Je la donne, dit-il, pour l’analyse en entier que l’on cherche si inutilement depuis l’origine de l’Algèbre. (Voir les Mémoires de l’Académie des Sciences pour l’année 1747, p. 665.)
1. Cette méthode a deux parties. Dans la première, l’Auteur considère les équations comme composées de facteurs simples, réels ou imaginaires de la forme
et contenant un certain nombre de quantités réelles positives et inégales,
Il parcourt toutes les combinaisons possibles des différents facteurs qu’on peut former de cette manière, et il cherche, pour chaque système de facteurs, dans les coefficients de l’équation, les conditions qui sont propres à ce système et qui peuvent le distinguer de tous les autres. Il forme ainsi des Tables qui contiennent tous les différents systèmes de facteurs et les conditions qui leur appartiennent, de manière qu’une équation quelconque étant proposée, dont les coefficients sont donnés en nombres, on puisse tout de suite reconnaître quel est le système de facteurs dont elle peut être composée. Ainsi l’on saura sur-le-champ combien elle a de racines réelles inégales ou égales, positives ou négatives, et combien elle en a d’imaginaires, avec la forme de chacune des imaginaires.
2. Pour donner une idée plus nette de ce que je viens de dire à ceux qui ne sont pas à portée de consulter le Recueil des Mémoires de Fontaine, je vais rapporter ici la Table des équations du second degré, avec un précis de la méthode par laquelle l’Auteur l’a construite ; ensuite je ferai quelques remarques sur cette méthode.
Dans les formules suivantes, les lettres
et
désignent des nombres ou des quantités quelconques positives, et l’on suppose que
est toujours une quantité plus grande que
.
![{\displaystyle x^{2}+mx+n=\left\{{\begin{aligned}&(x+a)(x+a)\ldots \ldots \ldots \ldots \ldots \ldots \ldots ..m^{2}-4n=0\\&\left(x+a+a{\sqrt {-1}}\right)\left(x+a-a{\sqrt {-1}}\right)\ldots .\,m^{2}-2n=0\\&(x+a)(x+b)..\ldots \ldots \ldots \ldots \ldots \ldots \ldots \,m^{2}-4n>0\\&\left(x+a+b{\sqrt {-1}}\right)\left(x+a-b{\sqrt {-1}}\right)\ldots \left\{{\begin{aligned}&m^{2}-4n<0\\&m^{2}-2n>0\end{aligned}}\right.\\&\left(x+b+a{\sqrt {-1}}\right)\left(x+b-a{\sqrt {-1}}\right)\ldots ..m^{2}-2n<0,\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f16d17da7fbc90e7e3ff1a7adbcbd419afee77)
![{\displaystyle x^{2}+mx-n=\quad (x+a)(x-b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26600efbcb1c1d46f0298ca837aa22c292d4f2ac)
![{\displaystyle x^{2}-mx+n=\left\{{\begin{aligned}&(x-a)(x-a)\ldots \ldots \ldots \ldots \ldots \ldots \ldots ..m^{2}-4n=0\\&\left(x-a+a{\sqrt {-1}}\right)\left(x-a-a{\sqrt {-1}}\right)\ldots .\ m^{2}-2n=0\\&(x-a)(x-b)\ldots \ldots \ldots \ldots \ldots \ldots \ldots ..m^{2}-4n>0\\&\left(x-a+b{\sqrt {-1}}\right)\left(x-a-b{\sqrt {-1}}\right)\ldots \left\{{\begin{aligned}&m^{2}-4n<0\\&m^{2}-2n>0\end{aligned}}\right.\\&\left(x-b+a{\sqrt {-1}}\right)\left(x-b-a{\sqrt {-1}}\right)\ldots ..m^{2}-2n<0,\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b8f4f017af3907deca10aa106a50757e08616f7)
![{\displaystyle x^{2}-mx-n\,=\quad (x-a)(x+b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9eceebedfbc35963ad5db81fbc2dbc2a0e6a2a1)
![{\displaystyle x^{2}+n\qquad \ \ \ =\quad \left(x+a{\sqrt {-1}}\right)\left(x-a{\sqrt {-1}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dc23c3d1e4fc6039706870b17301bdaa7d9f523)
![{\displaystyle x^{2}-n\qquad \ \ \ =\quad (x+a)(x-a).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d2f9ddb40aab8cef9ab10205ae5853475bbe4f7)
On voit d’abord dans cette Table toutes les combinaisons possibles des différents facteurs, qui ne peuvent être ici que
![{\displaystyle x\pm a,\quad x\pm b,\quad {\text{ou}}\quad x\pm a\pm a{\sqrt {-1}},\quad x\pm a\pm b{\sqrt {-1}},\quad {\text{et}}\quad x\pm b\pm a{\sqrt {-1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc8f1510e431a73061961877b3f1173ebe99fbcd)
Pour savoir à quelle forme d’équations chaque combinaison pouvait se rapporter, on a développé les produits et on les a comparés aux équations, en faisant attention que la quantité
doit être plus grande que
Jusque-là la méthode n’a de difficulté que la longueur du calcul, et tout l’art consiste à trouver les caractères ou conditions propres à chaque combinaison.
Ces conditions sont de deux sortes les unes sont données par des équations déterminées, comme
![{\displaystyle m^{2}-4n=0\quad {\text{ou}}\quad m^{2}-2n=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b0ec29aa4c82ca4902ecf0afe0605cbbff4f79a)
ce sont celles qui ont lieu lorsqu’on suppose que la quantité
devient nulle ou devient égale à
Elles ne sont pas difficiles à trouver, car, comme ces suppositions détruisent une des deux indéterminées
en faisant la comparaison des termes résultant du produit des facteurs avec ceux de l’équation, on a une équation de plus qu’il n’y a d’indéterminées, de sorte que, par l’élimination, on parvient nécessairement à une équation de condition ; c’est ainsi que les facteurs égaux
donnent la condition
![{\displaystyle m^{2}-4n=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d3e986a2cd94ef7836af7dcbd3fe1288427d28a)
et que les facteurs
donnent
![{\displaystyle m^{2}-2n=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26102fdcbfc579837f23b5d0658f0b5e3d5a73b7)
Les autres conditions dérivent de celles-ci, en changeant le signe d’égalité dans celui de majorité ou de minorité. Elles résultent de cette considération que, si une fonction des coefficients
et
est nulle lorsque
ou
elle sera plus grande ou plus petite que zéro lorsque
sera plus grand que
ou
plus grand que zéro.
Ainsi, comme le système
peut résulter de celui-ci
![{\displaystyle (x+a)(x+b),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71602ebfcfbc168374dbe27e05eb3ebd24e43294)
en faisant
ou de celui-ci
![{\displaystyle \left(x+a+b{\sqrt {-1}}\right)\left(x+a-b{\sqrt {-1}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f690c77d42b68d689d0acb0b1bc7f12709a6fa2)
en faisant
la fonction
qui est nulle pour ce système-
là, ne le sera plus dans ces deux-ci et l’on trouve que cette fonction est positive pour le système
![{\displaystyle (x+a)(x+b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82ee715b24487df23e1568e75e466f3af89a0008)
et négative pour le système
L’Auteur suppose comme un principe général que la fonction qui est nulle dans le cas de la coïncidence de deux systèmes sera toujours plus grande que zéro dans l’un et moindre que zéro dans l’autre, et il détermine par un exemple particulier celui des systèmes où elle est positive et celui où elle est négative ; mais cette proposition ne peut pas être admise sans démonstration, et il y a même de fortes raisons de douter qu’elle soit vraie en général.
Dans les cas dont il s’agit, on en peut prouver la vérité, car le système
étant développé, donne
![{\displaystyle x^{2}+(a+b)x+ab\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c36760b3576f1859e308f46acc59fb6081524c3d)
donc
et par conséquent
![{\displaystyle m^{2}-4n=(a-b)^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f6f968b76cb2f8af3f6f41b83a55a1024fa019a)
quantité toujours positive. De même, le système
![{\displaystyle \left(x+a+b{\sqrt {-1}}\right)\left(x+a-b{\sqrt {-1}}\right)=x^{2}+2ax+a^{2}+b^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cebc0e1ce93a987f5caa7de43fa6c50c7801e9d)
donne
et
![{\displaystyle m^{2}-4n=-4b^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a15e35fba4606d257674b7b2420cdd58e30f54a1)
quantité toujours négative. On peut démontrer de la même manière les autres conditions pour les différents systèmes des équations du second degré.
3. L’Auteur a appliqué les mêmes principes et la même méthode aux équations du troisième et du quatrième degré, et il a donné pour ces degrés des Tables semblables à celle que nous venons de rapporter. (Voir le Recueil de ses Mémoires, imprimé en 1764.)
L’étendue de ces Tables augmente en proportion du nombre des combinaisons des différents facteurs, et la recherche des conditions propres a chaque combinaison ou système devient d’autant plus difficile, qu’il arrive souvent que les conditions qui résultent de l’légalité de quelques-unes des quantités
, qui sont censées former une série décroissante, ont lieu pour plus d’un système à la fois, et qu’il est alors nécessaire de trouver des conditions pour distinguer ces mêmes systèmes entre eux.
L’Auteur ne donne aucune règle générale sur cet objet ; il se contente d’essayer successivement les fonctions les plus simples des coefficients
de l’équation, jusqu’à ce qu’il en trouve une qui soit nulle dans le cas commun à deux systèmes, et qui soit plus grande que zéro dans l’un et plus petite que zéro dans l’autre.
C’est ainsi, par exemple, que, ayant trouvé pour l’équation
![{\displaystyle x^{3}+mx^{2}+nx+p=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08f92f15681e25b6c79d3c95da4b82f086d92f8b)
que les deux systèmes
![{\displaystyle (x+a)(x+b)(x+b)\quad {\text{et}}\quad (x+a)(x+a)(x+b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5392573ec24cb13d29842a3a7b044aa7502332d6)
ont la même équation de condition
![{\displaystyle 4\left(m^{2}-3n\right)\left(-3mp+n^{2}\right)-(mn-9p)^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bd68a39d11c1b89f4028c9d862160ba8ee9a392)
il cherche une fonction de la forme
![{\displaystyle \mathrm {A} m^{2}+\mathrm {B} n,\quad {\text{ou}}\quad \mathrm {A} m^{3}+\mathrm {B} mn+\mathrm {C} p,\quad {\text{ou}}\quad \ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/061b7082871491dbd729322255a42b64098b155e)
telle qu’elle soit
dans le cas commun de
et qu’elle soit
pour le premier système et
pour le second ; il trouve celle-ci
![{\displaystyle 2m^{2}-9mn+27p,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80eff03abccaffacbe224bdcb327aa2c5ea63195)
qui satisfait à ces deux conditions.
Quoique l’Auteur soit parvenu à trouver ces fonctions pour tous les cas des équations du troisième et du quatrième degré, on peut douter qu’il soit possible de les trouver en général dans les équations des degrés supérieurs ; du moins il n’est pas démontré qu’il existe toujours nécessairement des fonctions qui aient ces propriétés ; ainsi la théorie peut être aussi en défaut de ce côté.
4. Au reste, on peut trouver directement les conditions précédentes, car, si l’on suppose que l’équation
![{\displaystyle x^{3}+mx^{2}+nx+p=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08f92f15681e25b6c79d3c95da4b82f086d92f8b)
ait un facteur double
il n’y aura qu’à diviser le polynôme
par
on trouvera le quotient
et le reste
![{\displaystyle \left(n-\alpha ^{2}-2m\alpha +4\alpha ^{2}\right)x+p+2\alpha ^{3}-m\alpha ^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd5dd9a5d042d811b3f74e858dc0af5e47140599)
alors il faudra faire séparément
![{\displaystyle {\begin{aligned}3\alpha ^{2}-2m\alpha +n=&0,\\2\alpha ^{3}-m\alpha ^{2}+p=&0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6b1631bc21364c7a22afb7d1a4a7f7b8b867be1)
d’où l’on tire
![{\displaystyle \alpha ={\frac {mn-9p}{2m^{2}-6n}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43d267e72702b0fbf699298e466249496a4b5d4f)
Cette valeur, substituée dans la première équation, donne
![{\displaystyle (mn-9p)^{2}+4\left(m^{2}-3n\right)\left(3mp-n^{2}\right)=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e547c2b8d0489e03f39f450a60695546595896a)
ce qui est la condition commune aux deux systèmes.
Maintenant, comme le quotient
forme le facteur inégal de l’équation, on fera
![{\displaystyle {\begin{array}{llll}\alpha =b,&m-2\alpha =a,&\mathrm {pour\ le\ syst{\grave {e}}me} ,&(x+a)(x+b)(x+b),\\\alpha =a,&m-2\alpha =b,&\mathrm {pour\ le\ syst{\grave {e}}me} ,&(x+a)(x+a)(x+b)\,;\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51f52cbb9e296583be99abcaeb296915a8dfe407)
donc, puisque par l’hypothèse
on aura
![{\displaystyle {\begin{array}{llll}m-2\alpha >\alpha ,&{\text{ou}}&m-3\alpha >0&\mathrm {pour\ le\ premier\ syst{\grave {e}}me} ,\\&&m-3\alpha <0&\mathrm {pour\ le\ second\ syst{\grave {e}}me} .\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3d490b0a20da319dc99174a0746bd73b53771cb)
Mais, en substituant la valeur de
![{\displaystyle \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
, on a
![{\displaystyle m-3\alpha ={\frac {2m^{3}-9mn+27p}{m^{2}-3n}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b0ba9a2a2f48d70aca50c72f7de3f75daab39aa)
d’un autre côté, il est facile de s’assurer que, pour les deux systèmes, on a
![{\displaystyle m^{2}-3n>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/054932866ab69791a8917b8801eba89507882e7b)
car le système
donne
![{\displaystyle m=a+2b,\quad n=2ab+b^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb5323af3913881ac8056c2d8c274ea7cf71d038)
comme il résulte du développement ; donc
![{\displaystyle m^{2}-3n=a^{2}-2ab+b^{2}=(a-b)^{2}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d75310a8761e2692f0c42da5b6c3ecec5f070dc1)
et, comme pour l’autre système il n’y a qu’à changer
en
on aura de même
![{\displaystyle m^{2}-3n=(a-b)^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c215c2c49ff5195338c39366b9274d93c164da38)
Donc les conditions pour les deux systèmes seront simplement
![{\displaystyle {\begin{aligned}2m^{3}-9mn+27p>0&\quad {\text{pour le premier}},\\2m^{3}-9mn+27p<0&\quad {\text{pour le second}},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aa879536d38ee449617fb323c5764f82e0abccc)
comme Fontaine l’a trouvé.
5. Mais les conditions mêmes qui résultent de l’égalité de quelques-unes des quantités
, ne sont pas toujours particulières aux systèmes dans lesquels ces égalités ont lieu, comme Fontaine le suppose, ce qui détruit un des principaux fondements de sa théorie.
Par exemple, il trouve dans le troisième degré que, pour l’équation
![{\displaystyle x^{3}+mx^{2}-nx-p=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49a5a735c532e71bd26a81eb471780174db2cfb9)
la condition
![{\displaystyle 2m^{3}-mn-p=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a15338cf9448435e418b79ef29ad5b9f655e92cd)
est particulière au système
![{\displaystyle (x-a)\left(x+a+b{\sqrt {-1}}\right)\left(x+a-b{\sqrt {-1}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1738bc70a0b01ba077b31a3f2e79289b1b6a2c70)
et doit le distinguer de tous les autres. Mais j’ai reconnu que cette condition a lieu aussi pour tout système de la forme
![{\displaystyle (x+a)(x-b)(x+c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b19b88927b275cea7fd67f24d19d48c0ce94d8b8)
qui se rapporte à la même formule d’équation, lorsque
ce qu’on peut aussi prouver a priori.
Ainsi, si l’on a l’équation
![{\displaystyle x^{3}+2x^{2}-5x-6=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09d222d60676f099b4bf0c751613be059525aa3b)
comme elle satisfait à la condition dont il s’agit, puisque, en faisant
on a
![{\displaystyle 2.8-2.5-6=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/420369652c11b27331b288b030dc3d62b4dec880)
on pourrait conclure de la Table de la page 546 du Recueil des Mémoires de Fontaine que cette équation a trois facteurs de la forme
![{\displaystyle (x-a)\left(x+a+b{\sqrt {-1}}\right)\left(x+a-b{\sqrt {-1}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8737a6439b751f7f137f103f6dbcc0a86d37b33f)
et que par conséquent elle a deux racines imaginaires, tandis qu’elle a au contraire les trois facteurs réels
![{\displaystyle (x+3)(x-2)(x+1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12f3d8e6f15c66ea85713190815f3af37cb185e6)
On doit dire la même chose de la condition
![{\displaystyle {\begin{aligned}2^{4}.3^{4}n^{4}q&+2^{2}.3^{5}n^{3}p^{2}+2^{7}.3^{2}.5^{2}n^{2}q^{2}\\&+2^{4}.3^{2}.5.7np^{2}q-3^{3}.7p^{4}+2^{8}.5^{4}q^{3}=0,\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0586072371172dae5efc45745cb1eda654e9cdb)
que Fontaine trouve (p. 568) pour le caractère commun des deux systèmes
![{\displaystyle {\begin{aligned}&(x+a)(x-b)\left(x-b+c{\sqrt {-1}}\right)\left(x-b-c{\sqrt {-1}}\right),\\&(x+a)(x-c)\left(x-c+b{\sqrt {-1}}\right)\left(x-c-b{\sqrt {-1}}\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8452c7f510fc7f96199bfd3b5aa3b6fe94306b5)
appartenant à la formule
![{\displaystyle x^{4}-nx^{2}+px-q=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97b06e6291bca2cb400d16bfaa9e04e76f1f9615)
Cette condition n’est pas particulière à ces deux systèmes ; elle a lieu aussi dans tout système de la forme
![{\displaystyle (x+a)(x-b)(x-c)(x-d)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/795d3c449dcf5a08e1687e7728b41ef7b8eb4b10)
appartenant à la même formule d’équations (p. 552), pourvu que l’on ait
c’est ce qu’on peut trouver a priori, mais ce détail nous mènerait trop loin.
6. On peut conclure de ces observations qu’il n’est pas toujours possible de trouver les conditions qui distinguent chaque système de facteurs de tous les autres, en ne considérant dans les quantités
qui entrent dans ces facteurs d’autres rapports que ceux d’égalité ou d’inégalité, suivant la théorie de Fontaine. Mais, quand on le pourrait, le travail pour les trouver dans les degrés au-dessus du quatrième serait immense et ne serait pas même utile pour l’a résolution numérique des équations, comme nous allons le montrer en examinant la seconde partie de la méthode.
7. Dès qu’on aura trouvé, comme l’Auteur le suppose, la forme de chaque facteur de l’équation proposée, il n’y aura plus qu’à déterminer les valeurs des quantités
, qui entrent dans ces facteurs, et qu’on sait être toutes positives et inégales ; et voici comment il s’y prend. Il développe les produits des facteurs, et, les comparant à l’équation proposée, il a autant d’équations qu’il y a d’indéterminées
il élimine toutes ces quantités, hors deux qu’il se propose de déterminer il a ainsi deux équations entre ces deux quantités ; il fait la plus grande de ces quantités
et la plus petite
et, éliminant
il a une équation homogène en
et
dans laquelle il substitue
pour
et
pour
Il suppose d’abord
il a une équation en
dans laquelle il fait successivement
jusqu’à ce qu’il trouve deux résultats de signe contraire ; alors il fait
étant le plus petit des deux nombres qui ont donné des résultats de signe contraire ; donc
![{\displaystyle \alpha =\mathrm {A} ,\quad \beta =1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786708e8cabe6eaf1610f6880a662014ed95082f)
Il fait ensuite
et, dans l’équation résultante en
il cherche de même deux substitutions qui donnent des résultats de signe contraire ; nommant
le plus petit des deux nombres, il fait
donc
![{\displaystyle \alpha =\mathrm {AB} +1,\quad \beta =\mathrm {B} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/851ba307b19ce3fe31a41286fff8bac695dd75ad)
Il continue de la même manière en faisant
égal à la dernière valeur de
à l’avant-dernière,
à la dernière valeur de
et
à l’avant-dernière.
Substituant ensuite successivement ces valeurs de
et
dans l’expression rationnelle de
qui résulte des deux équations, on a celles de
et
d’autant plus exactement que les opérations sur
et
ont été poussées plus loin.
Pour en donner un exemple, je vais rapporter celui que l’on trouve dans les Mémoires de l’Académie de 1747, p. 672.
Soit l’équation
![{\displaystyle x^{2}-3x+1=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bd23bbbf116cbe3a13bcb1a468181b720349ebf)
comme elle se rapporte à la formule
en faisant
si l’on examine les conditions relatives à cette formule dans la Table donnée ci-dessus, on trouve que celle-ci
![{\displaystyle m^{2}-4n>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e0090dbfc202a24f28a9779f387e56ec211f476)
a lieu ; d’où l’on conclut que les deux facteurs sont de la forme
![{\displaystyle (x-a)(x-b).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c066df08794fa6c11d47e53db548188277a62e89)
On a donc, en développant,
et ![{\displaystyle ab=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/674582cff45c482c3887e5ea59af62086c305e5c)
Soient
on aura
donc
![{\displaystyle \mathrm {R} ={\frac {3}{\alpha +\beta }}\quad {\text{et}}\quad 9\alpha \beta =(\alpha +\beta )^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee526b0336b7c8cca09bca57895e0d6a59615ddb)
savoir
![{\displaystyle \alpha ^{2}-7\alpha \beta +\beta ^{2}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93acf387140baf82f31575d2dbf880e4c67cb883)
où l’on fera
et ![{\displaystyle \beta =z\varphi +u.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4c963d0d038b50b45462635afd0eda8431539da)
Soient :
1o
donc
substituant ces valeurs, on a
![{\displaystyle \varphi ^{2}-7\varphi +1=0\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d7fc2ab3b2f9275acb5af6a95397baada3e28f0)
faisant
jusqu’à
on a des résultats négatifs ; mais
donne le résultat
donc
donc
![{\displaystyle \alpha =6,\quad \beta =1,\quad \mathrm {R} ={\frac {3}{7}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbf2ad4d75e92f2034b44f38108d8fd964bb2d3)
2o
donc
et l’on a l’équation
![{\displaystyle 5\varphi ^{2}-5\varphi -1=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/147cd5924e2dd0bd6b7be91b6bcaa8011692df40)
Ici
donne le résultat
donne
donc
et de là
![{\displaystyle \alpha =7,\quad \beta =1,\quad \mathrm {R} ={\frac {3}{8}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbd2929c3cb23621d1c2c29eb5bd99ab5f96408b)
3o
donc
et, substituant, on a l’équation
![{\displaystyle \varphi ^{2}-5\varphi -5=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/753d88257a69d7919a7dcac9e6d2fd1fcdb97de9)
Faisant
jusqu’à
on a des résultats négatifs ; mais
donne le résultat
donc
et de là
![{\displaystyle \alpha =41,\quad \beta =6,\quad \mathrm {R} ={\frac {3}{47}},\quad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c711d9da9aee5d3dbfb4e352dd65867dd51e0404)
et ainsi de suite.
8. Telle est la méthode d’approximation que Fontaine a donnée sans démonstration dans son Mémoire de 1747 et qu’il a redonnée de même dans le Recueil de ses Mémoires. Elle suppose, comme l’on voit, que l’on peut toujours, par la substitution des nombres
au lieu de
dans les différentes équations en
trouver deux nombres qui donnent des résultats de signe différent, ce qui, par ce que nous avons démontré dans le Chapitre I (no 5 et suiv.), n’a lieu qu’autant que ces équations ont des racines positives dont la moindre différence est plus, grande que l’unité. D’après cette considération, il est facile de trouver des exemples où la méthode de Fontaine sera en défaut.
Soit, par exemple, l’équation
![{\displaystyle x^{3}+2x^{2}-23x+60=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c556a632e1b45278c93019823e923e69d31afda)
qui se rapporte à la formule
en faisant
La Table de la page 547 du Recueil des Mémoires de Fontaine donne ces trois conditions
![{\displaystyle 4\left(m^{2}+3n^{2}\right)\left(n^{2}+3mp\right)-(-mn+9p)^{2}>0,\quad mn-p<0,\quad m^{2}-n<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbb8952628e8a6744c3b8c1f120bf86197eca96f)
pour le système
![{\displaystyle (x+a)(x-b)(x-c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c7ffe9dfeeacbfc2ac5304e6714881705185cc3)
lesquelles se trouvant remplies ici, il s’ensuit que ce système est celui de l’équation proposée.
Pour trouver les trois quantités positives et inégales
, on comparera le produit des facteurs
![{\displaystyle x^{3}+(a-b-c)x^{2}+(-ab-ac+bc)x+abc}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed81799efa0b58f1bda8e94829bb929471125f1e)
avec l’équation donnée ; on aura ces trois équations
![{\displaystyle a-b-c=-2,\quad -ab-ac+bc=-23,\quad abc=60.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87da04b3c530967299f25b768a91caa598f82e61)
Éliminant
on aura
et les deux autres équations deviendront :
![{\displaystyle a^{2}-ab+b^{2}+2(a-b)=23,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/997b12dad947e53bf375d93afb77f40df9f6766b)
![{\displaystyle (a-b)ab+2ab=60\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65c73cb4f1a96f9cb7c5c1153ca692a639e45490)
et, faisant
on aura
![{\displaystyle {\begin{aligned}&\mathrm {R} ^{2}\left(\alpha ^{2}-\alpha \beta +\beta ^{2}\right)+2\mathrm {R} (\alpha -\beta )=23,\\&\mathrm {R} ^{3}(\alpha -\beta )\alpha \beta +2\mathrm {R} ^{2}\alpha \beta =60.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/435c6da475db34238e3fac55d15ec46528f17148)
Enfin, éliminant
on aura une équation homogène du sixième degré en
et
réductible à cette forme
![{\displaystyle \left[20\left(\alpha ^{2}+\beta ^{2}\right)-41\alpha \beta \right]\left[15\left(\alpha ^{2}+\beta ^{2}\right)-34\alpha \beta \right]\left[12\left(\alpha ^{2}+\beta ^{2}\right)+25\alpha \beta \right]=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e08a6a5bc4441d3b94c3be4ba40465c2c24cbb7)
Maintenant on fera, suivant Fontaine,
![{\displaystyle \alpha =x\varphi +y,\ \beta =z\varphi +u,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7ea2917cda5477d5ed5787ab5258bbe2c090469)
et l’on supposera dans la première opération
![{\displaystyle x=1,\ y=0,\ z=0,\ u=1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9578df6ebe51177eef08ce8846330e8265162c63)
ce qui donne
![{\displaystyle \alpha =\varphi ,\quad \beta =1\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/365c0c93d40eb09cd1896e58edc5a54015d48aae)
l’équation sera donc
![{\displaystyle \left[20\left(\varphi ^{2}+1\right)-41\varphi \right]\left[15\left(\varphi ^{2}+1\right)-34\varphi \right]\left[12\left(\varphi ^{2}+1\right)+25\varphi \right]=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cea98ac193b70af8b4c2b52d93b767b28759fd37)
et il faudra faire successivement
jusqu’à ce que l’on trouve deux valeurs de
qui donnent des résultats de signe contraire, ce qui n’arrivera jamais, les résultats étant toujours positifs, comme il est facile de s’en convaincre par la simple inspection de l’équation. Ainsi la méthode sera en défaut dès la première opération.
Il est aisé de voir qu’on ne peut avoir des résultats négatifs qu’en donnant à une valeur intermédiaire entre
et
Par exemple, en faisant
on trouve le résultat
mais cela est contraire à l’esprit de la méthode de Fontaine, qui suppose que
et
sont toujours des nombres entiers. D’ailleurs, si l’on voulait admettre pour des nombres fractionnaires, il serait bien plus simple d’opérer immédiatement sur l’équation proposée, en cherchant deux valeurs de l’inconnue qui donnent des résultats de signe contraire ; mais la connaissance de la forme des facteurs, qui est l’objet des Tables de Fontaine, devient inutile pour cette recherche, et la difficulté du problème demeure en son entier.
Nous remarquerons encore que, puisque dans la première opération on fait
l’équation en
sera toujours, généralement parlant, d’un degré plus haut que l’équation proposée, car, si
et
sont deux racines réelles, les racines de l’équation en
seront tous les quotients qu’on peut former en divisant une racine par l’autre ; de sorte que, si
est le degré de la proposée,
sera celui de l’équation en
laquelle sera d’ailleurs nécessairement du genre des réciproques.
Mais si,
étant une racine réelle,
était la partie réelle de deux racines imaginaires, alors
serait le quotient d’une racine divisée par la demi-somme de deux autres racines, et l’équation en
serait du degré
9. Au reste, comme l’équation en
et
que l’on trouve par le procédé de Fontaine est nécessairement une équation homogène, elle n’a, à proprement parler, qu’une seule inconnue
et la substitution de
à la place de
et de
à la place de
revient à substituer immédiatement
à la place de l’inconnue de cette équation ; or cette formule est l’expression générale des fractions convergentes qui résultent d’une fraction continue, dans laquelle
représente successivement les dénominateurs de cette fraction, et
sont les deux fractions successives qui précèdent la fraction
comme il résulte de la théorie connue des fractions continues. Ainsi il paraît que l’ontaine a cherché à exprimer le rapport entre les quantités
et
qui est le même que celui entre les quantités
et
par les fractions convergentes dépendantes des fractions continues ; mais la difficulté consiste à déterminer les valeurs de
lorsque la fraction
n’est donnée que par une équation. [Voir ci-dessus l’Article IV (no 78).]
Je me suis un peu étendu sur l’analyse de la méthode de Fontaine, parce que je ne connais jusqu’à présent que deux Auteurs qui en aient parlé, d’Alembert dans l’Encyclopédie, au mot Équation, et Condorcet dans l’Histoire de l’Académie des Sciences pour les années 1771 et 1772, et que l’un et l’autre se sont contentés de jeter des doutes sur cette méthode sans donner les moyens de l’apprécier.