# Annales de mathématiques pures et appliquée/Tome 09/Algèbre élémentaire, article 2
## ALGÈBRE ÉLÉMENTAIRE.
### Recherches sur les fractions continues ;

Malgré les travaux d’un grand nombre d’illustres géomètres, la théorie des fractions continues est loin encore d’être aussi avancée que son importance pourrait le faire désirer. Nous savons développer une fonction en fraction continue ; nous savons, dans quelques cas, revenir d’une fraction continue à la fonction génératrice ; nous savons aussi, dans quelques cas, reconnaître qu’une fraction continue est incommensurable ; mais personne encore n’a établi la limite précise qui sépare les fractions continues rationnelles de celles qui ne le sont pas. On ne saurait douter non plus que les fractions continues ne doivent affecter certaines formes particulières, suivant qu’elles sont racines d’équations de tel ou de tel autre degré, mais, passé le second degré, pour lequel nous savons que les racines se développent en fractions continues périodiques, nous ne connaissons plus les caractères qui distinguent les racines soumises à un pareil développement, ce qui serait pourtant d’autant plus important qu’à cette connaissance se rattacherait immédiatement la recherche des diviseurs commensurables de tous les degrés des équations numériques. Nous ne savons pas même former immédiatement la somme ou la différence de deux fractions continues, leur produit ou le quotient de leurs divisions ; et, à plus forte raison, ne savons-nous pas en assigner les puissances et les racines.
Dans cet état d’indigence où nous nous trouvons relativement à ce genre de fonctions, toute recherche qui les concerne semble devoir être accueillie avec quelque intérêt ; et c’est, en particulier, ce qui doit recommander aux yeux des géomètres le mémoire de M. Bret, à la page 37 de ce volume ; mémoire dans lequel, après avoir donné plus de généralité à des théorèmes qu’on ne démontre communément que pour les fractions continues dans lesquelles les numérateurs sont égaux à l’unité, il a donné, pour le développement des fonctions en fractions continues, une méthode qui lui est propre et qu’il a appliquée ensuite à la recherche de plusieurs résultats non moins curieux qu’ils sont élégants.
Ces résultats, au surplus, ainsi que beaucoup d’autres du même genre, avaient déjà été déduits par Lagrange de l’application des fractions continues à l’intégration par approximation des équations différentielles à deux variables. Mais, la méthode de Lagrange, comme celle de M. Bret, peut paraître longue et laborieuse ; et ni l’une ni l’autre n’ont une marche assez uniforme et régulière pour qu’il soit permis d’asseoir solidement une induction sur les résultats qu’on en obtient.
Il nous a paru qu’on pouvait parvenir simplement à ces mêmes résultats, de manière à ne laisser aucun doute sur la loi qui les régit, et qu’on pouvait en même temps établir plusieurs théorèmes curieux sur certaines classes de fractions continues ; en développant en fraction de cette sorte la série très-remarquable dont M. de Stainville s’est occupé à la page 229 du présent volume. C’est ce que nous nous proposons de montrer ici.
Soit donc la série
$1+a{\frac {z}{1}}+a(a+k){\frac {z^{2}}{1.2}}+a(a+k)(a+2k){\frac {z^{3}}{1.2.3}}+\ldots$
qu’il soit question de développer en fraction continue ; pour procéder à ce développement, nous emploîrons la méthode indiquée par Euler ; c’est-à-dire que nous poserons successivement
$1+a{\frac {z}{1}}+a(a+k){\frac {z^{2}}{1.2}}+a(a+k)(a+2k){\frac {z^{3}}{1.2.3}}$
$+a(a+k)(a+2k)(a+3k){\frac {z^{4}}{1.2.3.4}}+\ldots ={\frac {1}{1-A}},$
$A=az.$
${\frac {1+{\frac {1}{2}}(a+k){\frac {z}{1}}+{\frac {1}{3}}(a+k)(a+2k){\frac {z^{2}}{1.2}}+{\frac {1}{4}}(a+k)(a+2k)(a+3k){\frac {z^{3}}{1.2.3}}+\ldots }{1+a{\frac {z}{1}}+a(a+k){\frac {z^{2}}{1.2}}+a(a+k)(a+2k){\frac {z^{3}}{1.2.3}}+a(a+k)(a+2k)(a+3k){\frac {z^{4}}{1.2.3.4}}+\ldots }}$
$={\frac {az}{1+B}},$
$B=(a-k)z.$
${\frac {1+{\frac {2}{3}}(a+k){\frac {z}{1}}+{\frac {2}{4}}(a+k)(a+2k){\frac {z^{2}}{1.2}}+{\frac {2}{5}}(a+k)(a+2k)(a+3k){\frac {z^{3}}{1.2.3}}+\ldots }{2+{\frac {1.2}{2}}(a+k){\frac {z}{1}}+{\frac {1.2}{3}}(a+k)(a+2k){\frac {z^{2}}{1.2}}+{\frac {1.2}{4}}(a+k)(a+2k)(a+3k){\frac {z^{3}}{1.2.3}}+\ldots }}$
$={\frac {(a-k)z}{2-C}},$
$C=(a+k)z.$
${\frac {1+{\frac {2.3}{3.4}}(a+k){\frac {z}{1}}+{\frac {2.3}{4.5}}(a+2k)(a+3k){\frac {z^{2}}{1.2}}+{\frac {2.3}{5.6}}(a+2k)(a+3k)(a+4k){\frac {z^{3}}{1.2.3}}+\ldots }{3+{\frac {2.3}{3}}(a+k){\frac {z}{1}}+{\frac {2.3}{4}}(a+k)(a+2k){\frac {z^{2}}{1.2}}+{\frac {2.3}{5}}(a+k)(a+2k)(a+3k){\frac {z^{3}}{1.2.3}}+\ldots }}$
$={\frac {(a+k)z}{3+D}},$
$D=2(a-2k)z.$
${\frac {1+{\frac {3.4}{4.5}}(a+k){\frac {z}{1}}+{\frac {3.4}{5.6}}(a+2k)(a+3k){\frac {z^{2}}{1.2}}+{\frac {3.4}{6.7}}(a+2k)(a+3k)(a+4k){\frac {z^{3}}{1.2.3}}+\ldots }{4+{\frac {2.3.4}{3.4}}(a+2k){\frac {z}{1}}+{\frac {2.3.4}{4.5}}(a+2k)(a+3k){\frac {z^{2}}{1.2}}+{\frac {2.3.4}{5.6}}(a+2k)(a+3k)(a+4k){\frac {z^{3}}{1.2.3}}+\ldots }}$
$={\frac {2(a-2k)z}{4-E}},$
$E=2(a+2k)z.{\frac {1+{\frac {3.4.5}{4.5.6}}(a+3k){\frac {z}{1}}+{\frac {3.4.5}{5.6.7}}(a+3k)(a+4k){\frac {z^{2}}{1.2}}+\ldots }{5+{\frac {3.4.5}{4.5}}(a+2k){\frac {z}{1}}+{\frac {3.4.5}{5.6}}(a+2k)(a+3k){\frac {z^{2}}{1.2}}+\ldots }}={\frac {2(a+2k)z}{5+F}},$
$F=3(a-3k)z.{\frac {1+{\frac {4.5.6}{5.6.7}}(a+3k){\frac {z}{1}}+{\frac {4.5.6}{6.7.8}}(a+3k)(a+4k){\frac {z^{2}}{1.2}}+\ldots }{6+{\frac {3.4.5.6}{4.5.6}}(a+3k){\frac {z}{1}}+{\frac {3.4.5.6}{5.6.7}}(a+3k)(a+4k){\frac {z^{2}}{1.2}}+\ldots }}={\frac {3(a-3k)z}{6-G}},$
$G=3(a+3k)z.{\frac {1+{\frac {4.5.6.7}{5.6.7.8}}(a+4k){\frac {z}{1}}+{\frac {4.5.6.7}{6.7.8.9}}(a+4k)(a+5k){\frac {z^{2}}{1.2}}+\ldots }{7+{\frac {4.5.6.7}{5.6.7}}(a+3k){\frac {z}{1}}+{\frac {4.5.6.7}{6.7.8}}(a+3k)(a+4k){\frac {z^{2}}{1.2}}+\ldots }}={\frac {3(a+3k)z}{7+H}},$
Nous remarquerons qu’il n’y a point d’induction dans tout ceci, attendu que, d’une part, on peut toujours calculer le terme général soit du numérateur, soit du dénominateur de chacune de ces fractions et que de l’autre on peut prouver que, si la loi qui se manifeste pour les valeurs successives de $\mathrm {A,B,C,D,} \ldots$ se soutient jusqu’à une quelconque de ces quantités, elle aura également lieu pour celle qui la suivra immédiatement.
En représentant donc, comme l’a fait M. de Stainville, par $\operatorname {f} a$ la série proposée, nous tirerons de tout cela
$\operatorname {f} a={\cfrac {1}{1-{\cfrac {az}{1+{\cfrac {(a-k)z}{2-{\cfrac {(a+k)z}{3+{\cfrac {2(a-2k)z}{4-{\cfrac {2(a+2k)z}{5+{\cfrac {3(a-3k)z}{6-\ldots }}}}}}}}}}}}}}$
formule fondamentale pour toutes les recherches qui vont nous occuper.
1.$^o$ On a vu (pag. 235) que
$\operatorname {f} a.\operatorname {f} b=\operatorname {f} (a+b)\,;$
donc, si l’on a les deux fractions continues
${\cfrac {1}{1-{\cfrac {az}{1+{\cfrac {(a-k)z}{2-{\cfrac {(a+k)z}{3+{\cfrac {2(a-2k)z}{4-\ldots }}}}}}}}}}$
${\cfrac {1}{1-{\cfrac {bz}{1+{\cfrac {(b-k)z}{2-{\cfrac {(b+k)z}{3+{\cfrac {2(b-2k)z}{4-\ldots }}}}}}}}}}$
leur produit sera la fraction continue
${\cfrac {1}{1-{\cfrac {(a+b)z}{1+{\cfrac {((a+b-k)z}{2-{\cfrac {((a+b+k)z}{3+{\cfrac {2((a+b-2k)z}{4-{\cfrac {2((a+b+2k)z}{5+\ldots }}}}}}}}}}}}$
voilà donc du moins des fractions continues dont on sait immédiatement assigner le produit.
2.$^o$ On a vu aussi (pag. 236) que
$(\operatorname {f} a)^{m}=\operatorname {f} ma\,;$
donc, la m.me puissance de la fraction continue
${\cfrac {1}{1-{\cfrac {az}{1+{\cfrac {(a-k)z}{2-{\cfrac {(a+k)z}{3+{\cfrac {2(a-2k)z}{4-{\cfrac {2(a+2k)z}{5+\ldots }}}}}}}}}}}}$
est la fraction continue
${\cfrac {1}{1-{\cfrac {maz}{1+{\cfrac {(ma-k)z}{2-{\cfrac {(ma+k)z}{3+{\cfrac {2(ma-2k)z}{4-{\cfrac {2(ma+2k)z}{5+\ldots }}}}}}}}}}}}$
voilà donc du moins une fraction continue dont nous savons assigner immédiatement une puissance d’un degré quelconque.
3.$^o$ Nous avons vu encore (pag. 237) que
${\frac {\operatorname {f} a}{\operatorname {f} b}}=\operatorname {f} (a-b)\,;$
donc, si l’on a les deux fractions continues
${\cfrac {1}{1-{\cfrac {az}{1+{\cfrac {(a-k)z}{2-{\cfrac {(a+k)z}{3+{\cfrac {2(a-2k)z}{4-{\cfrac {2(a+2k)z}{5+\ldots }}}}}}}}}}}}$
${\cfrac {1}{1-{\cfrac {bz}{1+{\cfrac {(b-k)z}{2-{\cfrac {(b+k)z}{3+{\cfrac {2(b-2k)z}{4-{\cfrac {2(b+2k)z}{5+\ldots }}}}}}}}}}}}$
le quotient de la division de la première par la seconde sera
${\cfrac {1}{1-{\cfrac {(a-b)z}{1+{\cfrac {(a-b-k)z}{2-{\cfrac {(a-b+k)z}{3+{\cfrac {2(a-b-2k)z}{4-{\cfrac {2(a-b+2k)z}{5+\ldots }}}}}}}}}}}}$
voilà donc du moins des fractions continues que l’on sait immédiatement diviser l’une par l’autre.
4.$^o$ Nous avons vu enfin (pag. 237) que
${\sqrt[{m}]{\operatorname {f} a}}=\operatorname {f} {\cfrac {a}{m}}\,;$
donc la racine m.me de la fraction continue
${\cfrac {1}{1-{\cfrac {az}{1+{\cfrac {(a-k)z}{2-{\cfrac {(a+k)z}{3+{\cfrac {2(a-2k)z}{4-{\cfrac {2(a+2k)z}{5+\ldots }}}}}}}}}}}}$
est la fraction continue
${\cfrac {1}{1-{\cfrac {{\cfrac {a}{m}}z}{1+{\cfrac {\left({\cfrac {a}{m}}-k\right)z}{2-{\cfrac {\left({\cfrac {a}{m}}+k\right)z}{3+{\cfrac {2\left({\cfrac {a}{m}}-2k\right)z}{4-{\cfrac {2\left({\cfrac {a}{m}}+2k\right)z}{5+\ldots }}}}}}}}}}}}$
encore, en réduisant
${\cfrac {1}{1-{\cfrac {az}{m+{\cfrac {m(a-mk)z}{2m-{\cfrac {m(a+mk)z}{3m+{\cfrac {2m(a-2mk)z}{4m-{\cfrac {2m(a+2mk)z}{5m+\ldots }}}}}}}}}}}}$
voilà donc du moins une fraction continue dont nous savons assigner immédiatement une racine d’un degré quelconque.
5.$^o$ Si, dans notre série, on fait $a=1,k=-1,$ elle se réduira à $1+z\,;$ faisant donc les mêmes substitutions dans la fraction continue équivalente à sa m.me puissance ; il viendra, en changeant $z$ en $x,$
$(1+x)^{m}={\cfrac {1}{1-{\cfrac {mx}{1+{\cfrac {(m+1)x}{2-{\cfrac {(m-1)x}{3+{\cfrac {2(m+2)x}{4-{\cfrac {2(m-2)x}{5+\ldots }}}}}}}}}}}}$
de là on conclura
${\cfrac {1}{(1+x)^{m}}}=(1+x)^{-m}=1-{\cfrac {mx}{1+{\cfrac {(m+1)x}{2-{\cfrac {(m-1)x}{3+{\cfrac {2(m+2)x}{4-{\cfrac {2(m-2)x}{5+\ldots }}}}}}}}}}\,;$
ce qui, en changeant le signe de $m,$ donnera cette autre expression,
$(1+x)^{m}=1+{\cfrac {mx}{1-{\cfrac {(m-1)x}{2+{\cfrac {(m+1)x}{3-{\cfrac {2(m-2)x}{4+{\cfrac {2(m+2)x}{5-\ldots }}}}}}}}}}\,;$
6.$^o$ Si, dans notre série, on suppose simplement $k=0$ elle devient, changeant $az$ en $x$
$1+{\frac {x}{1}}+{\frac {x^{2}}{1.2}}+{\frac {x^{3}}{1.2.3}}+{\frac {x^{4}}{1.2.3.4}}+\ldots$
que l’on sait être égal à $e^{x},\ e$ étant la base des logarithmes népériens ; faisant donc la même substitution dans la fraction continue, équivalente, nous aurons
$e^{x}={\cfrac {1}{1-{\cfrac {x}{1+{\cfrac {x}{2-{\cfrac {x}{3+{\cfrac {2x}{4-{\cfrac {2x}{5+{\cfrac {3x}{6-{\cfrac {3x}{7+\ldots }}}}}}}}}}}}}}}}$
ou, en simplifiant
$e^{x}={\cfrac {1}{1-{\cfrac {x}{1+{\cfrac {x}{2-{\cfrac {x}{3+{\cfrac {x}{2-{\cfrac {x}{5+{\cfrac {x}{2-{\cfrac {x}{7+\ldots }}}}}}}}}}}}}}}}$
de là on conclut
${\cfrac {1}{e^{x}}}$
$e^{-x}=1-{\cfrac {x}{1+{\cfrac {x}{2-{\cfrac {x}{3+{\cfrac {x}{2-{\cfrac {x}{5+{\cfrac {x}{2-{\cfrac {x}{7+\ldots }}}}}}}}}}}}}}$
ce qui, en changeant le signe de $x,$ donne cette nouvelle expression
$e^{x}=1+{\cfrac {x}{1-{\cfrac {x}{2+{\cfrac {x}{3-{\cfrac {x}{2+{\cfrac {x}{5-{\cfrac {x}{2+{\cfrac {x}{7-\ldots }}}}}}}}}}}}}}$
on en conclut, en posant $x=1,$
$e={\cfrac {1}{1-{\cfrac {1}{1+{\cfrac {1}{2-{\cfrac {1}{3+{\cfrac {1}{2-{\cfrac {1}{5+{\cfrac {1}{2-{\cfrac {1}{7+\ldots }}}}}}}}}}}}}}}}$
ou bien
$e=1+{\cfrac {1}{1-{\cfrac {1}{2+{\cfrac {1}{3-{\cfrac {1}{2+{\cfrac {1}{5-{\cfrac {1}{2+{\cfrac {1}{7-\ldots }}}}}}}}}}}}}}$
résultats déjà obtenus par M. Bret, à la page 50 de ce volume ; mais dont notre procédé rend la loi beaucoup plus manifeste.
7.$^o$ On sait que
$(1+x)^{m}=1+{\frac {m\operatorname {l} (1+x)}{1}}+{\frac {m^{2}\operatorname {l} ^{2}(1+x)}{1.2}}+{\frac {m^{3}\operatorname {l} ^{3}(1+x)}{1.2.3}}+\ldots$
égalant celle valeur de $(1+x)^{m}$ au dernier des deux développemens que nous en avons obtenus ci-dessus, il viendra, en supprimant l’unité de part et d’autre et divisant ensuite par $m$
${\frac {\operatorname {l} (1+x)}{1}}+{\frac {m\operatorname {l} ^{2}(1+x)}{1.2}}+\ldots ={\cfrac {mx}{1-{\cfrac {(m-1)x}{2+{\cfrac {(m+1)x}{3-{\cfrac {2(m-2)x}{4+{\cfrac {2(m+2)x}{5-\ldots }}}}}}}}}}$
faisant enfin l’indéterminée $m=0,$ nous aurons
$\operatorname {l} (1+x)={\cfrac {x}{1+{\cfrac {x}{2-{\cfrac {x}{3+{\cfrac {4x}{4-{\cfrac {4x}{5+{\cfrac {9x}{6-{\cfrac {9x}{7+{\cfrac {16x}{8-{\cfrac {16x}{9+\ldots }}}}}}}}}}}}}}}}}}$
et par conséquent
$\operatorname {l} 2={\cfrac {1}{1-{\cfrac {1}{2+{\cfrac {1}{3-{\cfrac {4}{4+{\cfrac {4}{5-{\cfrac {9}{6+{\cfrac {9}{7-\ldots }}}}}}}}}}}}}}$
8.$^o$ Si dans notre série fondamentale et dans le développement de sa m.me puissance, on fait $k=0,\ a=-1$, on aura
$\left(1-{\frac {z}{1}}+{\frac {z^{2}}{1.2}}+{\frac {z^{3}}{1.2.3}}+{\frac {z^{4}}{1.2.3.4}}-\ldots \right)^{m}$
$={\cfrac {1}{1+{\cfrac {mz}{1-{\cfrac {mz}{2+{\cfrac {mz}{3-{\cfrac {2mz}{4+{\cfrac {2mz}{5-\ldots }}}}}}}}}}}}$
Si, au contraire, on fait, à la fois, $a=1,\ k=1$, il viendra
$\left(1-z+z^{2}-z^{3}+z^{4}-z^{5}+\ldots \right)^{m}$
$={\cfrac {1}{1+{\cfrac {mz}{1-{\cfrac {(m-1)z}{2+{\cfrac {(m+1)z}{3-{\cfrac {2(m-2)z}{4+{\cfrac {2(m+2)z}{5-\ldots }}}}}}}}}}}}$
Comme ces recherches ne présentent rien de difficile, nous croyons pouvoir nous dispenser de les pousser plus loin.
* ↑ Voyez les Mémoires de l’académie de Berlin, pour 1776, page 236 ; voyez aussi le Traité de calcul différentiel et de calcul intégral, de M. Lacroix, deuxième édition, tome II, pag. 427.