# Annales de mathématiques pures et appliquées/Tome 15/Géométrie des courbes et surfaces, article 1
## GÉOMÉTRIE TRANSCENDANTE.
### Considérations nouvelles sur la nature des courbes logarithmiques et exponentielles ;

1. Tous les géomètres tombent d’accord que, construire géométriquement une équation à deux variables, c’est trouver tous les points d’un plan dont les coordonnées, mises à la place de ces variables, satisfont à l’équation proposée. Notre but principal, dans l’essai que l’on va lire, est de faire voir qu’après avoir ainsi posé le principe abstrait, on l’a souvent perdu de vue dans ses applications, et qu’en particulier les courbes dont les équations renferment des fonctions logarithmiques et exponentielles, outre les branches qu’on leur connaît, en ont encore d’autres, d’une nature fort singulière, qui semblent avoir été absolument méconnues jusqu’ici. Nous aurons soin de tirer, chemin faisant, des résultats auxquels nous serons parvenus, toutes les diverses conséquences qui pourront intéresser la philosophie de la science, et notamment celles qui en résultent relativement à la nature des logarithmes des nombres négatifs.
2. Mais, avant d’entrer en matière, rappelons brièvement et complétons des notions connues, sur lesquelles ensuite nous aurons principalement besoin de nous appuyer.
Soit représentée par $A$ la valeur arithmétique absolue de $a^{\frac {m}{n}}$ où $m$ et $n$ sont deux nombres entiers premiers entre eux, et $a$ un nombre quelconque, positif ou négatif. Il est connu que $a^{\frac {m}{n}}$ a $n$ valeurs différentes que l’on obtient en multipliant $A$ par $(+1)^{\frac {m}{n}}$ ou par $(-1)^{\frac {m}{n}},$ suivant que $a$ est positif ou négatif.
3. Supposons, en premier lieu ${\frac {m}{n}}>0,\ a$ pouvant d’ailleurs être positif ou négatif. Si d’abord on le suppose positif, on obtiendra les $n$ valeurs de $(a)^{\frac {m}{n}}$ en multipliant $A$ par $(+1)^{\frac {m}{n}}$ dont on aura toutes les valeurs possibles en mettant successivement pour $k$ les valeurs $0,1,2,3,\ldots n-1$ dans la formule
$\operatorname {Cos} .{\frac {2mk\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {2mk\pi }{n}}\,;$
ce qui donnera, en ne prenant que les restes de division de $mk$ par $n,$
$\operatorname {Cos} .0+{\sqrt {-1}}\operatorname {Sin} .0=1,$
$\operatorname {Cos} .{\frac {2\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {2\pi }{n}},$
$\operatorname {Cos} .{\frac {4\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {4\pi }{n}},$
$\operatorname {Cos} .{\frac {2(n-1)\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {2(n-1)\pi }{n}}.$
Si $n$ est impair $(+1)^{\frac {m}{n}}$ n’aura que la seule valeur réelle $+1\,;$ ce qui donnera pour $a^{\frac {m}{n}}$ la seule valeur réelle $+A\,;$ mais, si $n$ est un nombre pair, on aura en outre la valeur intermédiaire
$\operatorname {Cos} .\varpi +{\sqrt {-1}}\operatorname {Sin} .\varpi =-1,$
de sorte que $a^{\frac {m}{n}}$ aura une seconde valeur réelle $-A.$
4. Si présentement $a$ est négatif, les $n$ valeurs de $a^{\frac {m}{n}}$ s’obtiendront, comme nous l’avons dit, en multipliant $A$ successivement par les $n$ valeurs de $(-1)^{\frac {m}{n}},$ qu’on obtiendra, à leur tour, en mettant successivement pour $k$ les valeurs $0,1,2,3,\ldots n-1$ dans la formule
$\operatorname {Cos} .{\frac {(2k+1)m\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {(2k+1)m\pi }{n}}.$
si $m$ est un nombre pair, $n$ sera nécessairement impair, et on aura, comme ci-dessus, la seule valeur réelle $+1\,;$ ce qui donnera aussi pour $a^{\frac {m}{n}}$ la seule valeur réelle $+A.$
Mais, si $m$ est impair, en ne tenant compte que des restes de division de $(2k+1)m$ par $n,$ on aura cette série de valeurs
$\operatorname {Cos} .{\frac {\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {\pi }{n}},$
$\operatorname {Cos} .{\frac {3\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {3\pi }{n}},$
$\operatorname {Cos} .{\frac {5\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {5\pi }{n}},$
$\operatorname {Cos} .{\frac {(2n-1)\pi }{n}}+{\sqrt {-1}}\operatorname {Sin} .{\frac {(2n-1)\pi }{n}},$
Si alors $n$ est un nombre pair, toutes ces valeurs, et par suite toutes celles de $a^{\frac {m}{n}}$ seront imaginaires ; mais si, au contraire, $n$ est impair, on rencontrera une valeur intermédiaire
$\operatorname {Cos} .\varpi +{\sqrt {-1}}\operatorname {Sin} .\varpi =-1,$
et $a^{\frac {m}{n}}$ aura alors une valeur réelle $-A.$
5. Si l’on supposait ${\frac {m}{n}}$ négatif, $a^{\frac {m}{n}}$ reviendrait à ${\frac {1}{a^{\frac {m}{n}}}},$ dans lequel ${\frac {m}{n}}$ serait supposé positif, et en désignant par $A$ sa valeur arithmétique absolue, on en conclurait toutes ses valeurs en la multipliant par ${\frac {1}{(+1)^{\frac {m}{n}}}}$ ou ${\frac {1}{(-1)^{\frac {m}{n}}}},$ suivant le signe de $a\,;$ or,
${\frac {1}{(\pm 1)^{\frac {m}{n}}}}={\frac {(+1)^{\frac {m}{n}}}{(\pm 1)^{\frac {m}{n}}}}=\left({\frac {+1}{\pm 1}}\right)^{\frac {m}{n}}=(\pm 1)^{\frac {m}{n}}\,;$
d’où l’on voit que nous retomberions de nouveau sur toutes les conséquences que nous a donnée la supposition de ${\frac {m}{n}}>0.$
En faisant $m=2m'$ ou $2m'+1$ suivant que $m$ est pair ou imppair, et faisant aussi, dans les mêmes circonstances, $n=2n'$ ou $2n'+1,$ nous pourrons résumer tout ce qui précède ainsi qu’il suit : $a^{\frac {m}{n}},$ quel que soit le signe de ${\frac {m}{n}},$ donne pour
$a>0\mathrm {\ et\ } \left\{{\begin{aligned}&{\frac {m}{n}}={\frac {2m'+1}{2n'}}\,\mathrm {deux\ valeurs\ r{\acute {e}}elles\ de\ signes\ contraires\ } \pm A,\\&\left.{\begin{aligned}&{\frac {m}{n}}={\frac {2m'+1}{2n'+1}}\\&{\frac {m}{n}}={\frac {2m'}{2n'+1}}\\\end{aligned}}\right\}\mathrm {une\ seule\ valeur\ r{\acute {e}}elle\ positive} \ldots +A,\\\end{aligned}}\right.$
$a<0\mathrm {\ et\ } \left\{{\begin{aligned}&{\frac {m}{n}}={\frac {2m'+1}{2n'}}\mathrm {\ aucune\ valeur\ r{\acute {e}}elle,} \\&{\frac {m}{n}}={\frac {2m'+1}{2n'+1}}\mathrm {\ une\ seule\ valeur\ r{\acute {e}}elle\ n{\acute {e}}gative} \ldots -A,\\&{\frac {m}{n}}={\frac {2m'}{2n'+1}}\mathrm {\ une\ seule\ valeur\ r{\acute {e}}elle\ positive} \ldots +A.\\\end{aligned}}\right.$
6. Ces principes posés, entrons en matière. Convenons de représenter constamment par $\mathrm {O}$ l’origine des coordonnées, que nous supposerons rectangulaires, en plaçant les lettres $\mathrm {X}$ et $\mathrm {Y}$ sur les axes des $x$ et des $y,$ dans le sens positif, et les lettres $\mathrm {X',Y'}$ sur les mêmes axes, dans le sens négatif ; de manière que l’angle $\mathrm {XOY}$ soit celui des coordonnées positives.
Proposons-nous d’abord de construire la logarithmique donnée par l’équation
$y=a^{x},$
dans laquelle nous supposons $a$ un nombre positif. Pour suivre plus aisément le cours de la courbe, partageons l’unité linéaire à laquelle les abscisses sont rapportées en $4q+2$ parties égales, $q$ étant supposé un très-grand nombre entier, et faisons croître $x,$ depuis $0,$ par degrés égaux à ${\frac {1}{4q+2}},$ de telle sorte que ses valeurs consécutives soient les termes de cette progression
${\frac {1}{4q+2}},{\frac {2}{4q+2}},{\frac {3}{4q+2}},\ldots {\frac {4p}{4q+2}},{\frac {4p+1}{4q+2}},{\frac {4p+2}{4q+2}},{\frac {4p+3}{4q+2}},\ldots ,$
$p$ étant aussi un nombre entier. On voit que les termes de rangs impairs sont tous de la forme ${\frac {2m'+1}{2n'}},$ et donne par conséquent (5) pour $y$ deux valeurs réelles, ne différant l’une de l’autre que par le signe, tandis que ceux de rangs pairs, alternativement de la forme ${\frac {2m'+1}{2n'+1}}$ et de la forme ${\frac {2m'}{2n'+1}},$ donnent constamment pour $y$ une seule valeur positive. Si nous remarquons d’ailleurs que rien ne limite la grandeur de $q,$ ni conséquemment la petitesse de la différence ${\frac {1}{4q+2}}$ des valeurs consécutives de $x,$ laquelle mesure en même temps la distance entre les ordonnées, nous en conclurons que la courbe a, du côté des $y$ positives, une branche continue, dans le sens vulgaire de ce mot, et du côté des $y$ négatives une seconde branche, symétrique à la première, par rapport à l’axe des $x\,;$ mais cette seconde branche n’est pas continue comme la première ; elle n’est composée que de points indéfiniment rapprochés, à la vérité, et tels que, quelque petite que soit la distance finie entre deux d’entre eux, on en pourra toujours trouver tant d’intermédiaires qu’on voudra ; mais tels aussi qu’entre ces deux mêmes points on pourra concevoir tant d’ordonnées négatives qu’on voudra qui n’en rencontreront aucun ; et telle sera, en particulier, la partie négative de l’axe des $y,$ puisqu’en posant $x=0,$ on a simplement $y=1.$ Ces sortes de branches de courbes étant nouvelles, et essentiellement différentes des branches considérées jusqu’ici, nous sommes forcés de les désigner par une dénomination inusitée, et en conséquence nous dirons que ce sont des branches pointillées, et nous les représenterons par une suite de points très-rapprochés les uns des autres, comme on le voit (fig. 1). On sent fort bien d’ailleurs qu’une telle représentation est très-imparfaite, attendu que la discontinuité de ces branches ne saurait être perceptible à l’œil. Si donc on voulait représenter la courbe telle qu’elle paraît aux yeux, il faudrait simplement supposer qu’elle a pour équation $\pm y=a^{x}.$
La figure suppose qu’on a $a>1\,;$ mais, si l’on avait $a<1,$ on pourrait mettre l’équation sous la forme
$y=({\frac {1}{a}})^{-x}=a'^{-x},$
où on aurait $a'>1|$ il ne s’agirait donc simplement que de changer le sens des $x,$ sans en changer la direction.
7. Si nous exécutons la même construction pour le cas où, dans l’équation
$y=a^{x},$
la constante $a$ est négative, comme alors les valeurs consécutives de $x$ seront alternativement des quatre formes
${\frac {2m'+1}{2n'}},\quad {\frac {2m'+1}{2n'+1}},\quad {\frac {2m'+1}{2n'}},\quad {\frac {2m'}{2n'+1}},$
il s’ensuit (5) que les ordonnées consécutives seront aussi, alternativement, imaginaires, réelles négatives, imaginaires et réelles positives. La courbe n’aura donc point alors de branche continue, mais deux branches symétriques par rapport à l’axe des $x,$ composées l’une et l’autre de points isolés, mais tellement disposés qu’à un point de chacune des branches correspondra toujours une ordonnée imaginaire de l’autre. En particulier, il y aura un point sur l’axe des $y,$ du côté positif de l’origine, tandis qu’il n’y en aura pas de son côté négatif. Les points de chaque branche seront donc deux fois plus éloignés les uns des autres, dans le sens des $x$ que ceux de la branche pointillée du cas précédent. Voilà donc une seconde sorte de branches discontinues qu’il faut distinguer de la première sorte. Nous appellerons les branches discontinues de cette seconde sorte des branches ponctuées ; et nous en figurerons le cours par des points plus apparens et plus distans entre eux, comme on le voit (fig. 2). On sent fort bien d’ailleurs qu’en rigueur tout se passe encore ici pour les yeux comme si l’on avait construit l’équation $\pm y=a^{x}.$
8. Il importe de bien distinguer les points dont se composent les branches pointillées ou ponctuées des courbes de ce qu’on nomme en géométrie points conjugués. Il n’existe en effet pour ces derniers ni tangentes, ni normales, ni cercles osculateurs, ni développées ; tandis que les branches pointillées et ponctuées jouissent, à cet égard, dans tous les points réels de leur cours, des propriétés dont les branches continues jouissent dans toute leur étendue, et se trouvent ainsi soumises à toutes les conséquences de la loi de continuité. Il est facile de s’en convaincre, pour les branches pointillées, en considérant que, par des différentiations successives, on tire de l’équation $y=e^{x}$
${\frac {\operatorname {d} y}{\operatorname {d} x}}=e^{x},\qquad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=e^{x},\qquad {\frac {\operatorname {d} ^{3}y}{\operatorname {d} x^{3}}}=e^{x},\ldots$
d’où l’on voit que les valeurs réelles négatives de $y$ donnent aussi lieu à des valeurs réelles négatives de ${\frac {\operatorname {d} y}{\operatorname {d} x}},{\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}},\ldots ,$ égales, au signe près, pour chaque valeur de $x,$ à celles des mêmes fonctions correspondant aux valeurs positives de $y.$ Nous aurons au surplus l’occasion de revenir plus amplement sur ce sujet dans le cours du présent mémoire.
Nous observerons encore qu’en général, ni sur les branches pointillées, ni sur les branches ponctuées, les points ne se trouvent également espacés ; ce qui résulte évidemment de ce que leurs ordonnées sont équidistantes. L’élément d’une telle branche est donc d’autant moins dense, s’il est permis de s’exprimer ainsi, qu’il fait un angle plus aigu avec l’axe des $y.$
9. Les principes que nous venons d’exposer sont applicables, avec les modifications convenables, à toutes les courbes dont les équations contiennent des termes à exposans variables. Soit, par exemple, la chaînette. On sait que les tensions des divers élémens de la courbe sont représentées par les perpendiculaires abaissées de chacun de ces élémens sur une certaine droite horizontale située dans son plan, ou plutôt par les poids des portions d’une ligne de même pesanteur spécifique que le fil pesant suspendu, respectivement égales à ces perpendiculaires. On sait de plus qu’en prenant cette droite horizontale pour axe des $x$ et l’axe même de la chaînette pour axe des $y,$ les $y$ positives étant comptées de bas en haut, et en prenant pour unité la distance du point le plus bas de la courbe à l’origine, son équation est
$y={\frac {1}{2}}\left(e^{+x}+e^{-x}\right)\,;$
ce qui fait voir que chacune de ses ordonnées est la somme des ordonnées de deux logarithmiques qui auraient respectivement pour équations
$y=e^{+x},\qquad y=e^{-x}.$
Or, chacune de ces logarithmiques a deux branches, l’une continue et l’autre pointillée. Faisant donc, tour à tour, entre chaque branche de l’une et les deux branches de l’autre les quatre seules combinaisons possibles, il en résultera quatre branches également représentées par l’équation de la chaînette, dont une seule continue et les trois autres pointillées (fig. 3). L’une de celles-ci est symétrique de la branche continue, par rapport à l’axe des $x\,;$ les deux autres, asymptotes des deux premières, se croisent perpendiculairement à l’origine où leurs tangentes divisent en deux parties égales les quatre angles des coordonnées. Chacune des branches pointillées pourrait d’ailleurs, à son tour, devenir continue, si l’on changeait le signe de l’un ou de l’autre des deux termes $e^{x}$ et $e^{-x},$ ou les signes de l’un et de l’autre à la fois ; de sorte que tout doit réellement se passer pour les yeux comme si l’on avait construit la quadruple équation
$2y=\pm e^{+x}\pm e^{-x}.$
L’équation plus générale
$y={\frac {1}{2}}\left\{(+a)^{x}+(+a)^{-x}\right\},$
donne des résultats analogues. Mais chacune de ces deux-ci
$y={\frac {1}{2}}\left\{(-a)^{x}+(-a)^{-x}\right\},\qquad$
$y={\frac {1}{2}}\left\{(-a)^{x}+(-a)^{-x}\right\},\qquad$
ne donne que deux branches ponctuées, sans aucune branche pointillée ni continue.
10. La théorie ordinaire des points singuliers, telle que M. Poisson l’a exposée dans le XIV.e cahier du Journal de l’école polytechnique, n’est point, en général, applicable aux courbes transcendantes, excepté dans ce qui a rapport aux limites de la courbe, pour lesquelles on a ${\frac {\operatorname {d} y}{\operatorname {d} x}}=0$ ou ${\frac {\operatorname {d} y}{\operatorname {d} x}}=\infty ,$ et aux points d’inflexion qui font changer le signe du rayon de courbure et donnent par conséquent ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=0$ ou ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=\infty .$ En effet, cette théorie suppose, pour ce qui est relatif aux points multiples, aux points de rebroussement, etc., que l’équation est débarrassée de radicaux ; ce qui fait prendre au coefficient différentiel du premier ordre, en ces sortes de points, la forme indéterminée ${\frac {0}{0}}\,;$ or, les fonctions transcendantes qui, par la différentiation passent dans les coefficiens différentiels, sont en général susceptibles de plusieurs valeurs, et doivent par conséquent être assimilées aux radicaux. Il peut donc exister des points multiples pour lesquels le coefficient différentiel ne prenne pas la forme ${\frac {0}{0}}.$
Pour en donner un exemple bien simple, considérons deux logarithmiques ayant respectivement pour équations
$y-1-e^{x}=0,\qquad y+1-e^{x}=0\,;$
et multiplions ces deux équations membre à membre, il en résultera l’équation unique
$y^{2}-2e^{x}y+e^{2x}-1=0,$
représentant à la fois les deux courbes (fig. 6). Or, la branche pointillée de la première et la branche continue de la seconde passant toutes deux par l’origine, il en résulte un espèce de point multiple qui pourtant n’est point manifesté par le coefficient différentiel ; car, en différenciant et divisant par $y-e^{x},$ on a simplement ${\frac {\operatorname {d} y}{\operatorname {d} x}}=e^{x},$ fonction qui ne saurait prendre la forme ${\frac {0}{0}}.$ On pourrait objecter, à la vérité, que la branche pointillée qui passe à l’origine n’y est pas réellement coupée, puisque ce point se trouve sur un espace vide ; mais on détruirait facilement cette objection en donnant une autre disposition aux deux courbes. En prenant, par exemple, celles dont les équations sont respectivement
$y-a-e^{x}=0,\qquad y-e^{x}=0,$
on verrait que les conséquences sont exactement les mêmes ; et, comme $a$ est quelconque, il existe une infinité de manières de le déterminer qui feront tomber l’intersection sur un point réel.
N’ayant pas le dessein de présenter ici une théorie complète des courbes exponentielles ; mais seulement de donner une idée de la manière dont elles doivent être discutées d’après la considération du nombre de leurs branches, de la nature de chacune d’elles, du sens de sa courbure et des valeurs que peuvent prendre les coefficiens différentiels des deux premiers ordres ; nous nous bornerons à quelques exemples des plus simples.
11. Occupons-nous, en premier lieu, de la courbe donnée par l’équation
$y=a^{\frac {1}{x}},$
dans laquelle nous supposerons d’abord $a$ positif et $>1.$ Pour une valeur positive très-petite de $x\,;$ la valeur de $y$ est très-grande et devient même infinie lorsque $x=+\infty .$ À mesure que $x$ augmente, $y$ diminue ; elle devient égale à $a$ lorsque $x=1,$ et finit par devenir égale à $1,$ lorsque $x=\infty \,;$ La courbe a donc un cours continu dans l’angle $\mathrm {XOY}$ (fig. 7) ; et elle a pour asymptotes d’une part l’axe des $y$ et d’une autre une parallèle menée à l’axe des $x$ à une distance $1$ de l’origine. Mais, indépendamment des valeurs positives de $y,$ on conçoit (6) qu’en donnant à ${\frac {1}{x}}$ des valeurs convenables, on trouvera pour $y,$ des valeurs négatives ne différant que par le signe des valeurs positives correspondantes, d’où résultera une branche pointillée symétrique à la branche continue, par rapport à l’axe des $x.$
Quant aux valeurs négatives de $x,$ les plus petites donneront d’abord de très-petites valeurs positives de $y,$ et $x=-0$ donnera $y=0.$ À mesure que $x$ croîtra négativement, $y$ croîtra positivement et deviendra ${\frac {1}{a}},$ lorsqu’on aura $x=-1.$ Mais $y$ ne pourra croître indéfiniment, et tendra sans cesse vers la limite $+1,$ qu’elle atteindra enfin lorsqu’on aura $r=-\infty .$ Voilà donc une autre branche continue de la courbe, partant de l’origine et s’étendant indéfiniment dans l’angle $\mathrm {YOX'}$ de manière à avoir pour asymptote commune avec l’autre la parallèle à l’axe des $x$ dont il a déjà été question ci-dessus. Il est clair d’ailleurs (6) qu’en choisissant convenablement les valeurs négatives de $x,$ nous trouverons dans l’angle $\mathrm {X'OY'}$ une branche pointillée symétrique à celle-là, par rapport à l’axe des $x.$
La valeur $x=0$ donne, comme on a pu le remarquer, deux valeurs de $y,$ l’une nulle et l’autre infinie. Cela tient à ce que zéro est la limite commune des quantités positives et des quantités négatives, d’où résulte $y=a^{\pm {\frac {1}{0}}}=a^{\mp \infty }.$ Les deux branches continues peuvent, à la rigueur, être considérées comme se faisant suite l’une à l’autre, puisqu’elles proviennent d’une série continue de valeurs de $x$ comprises entre l’infini positif et l’infini négatif, ou comme formant une seule branche qui se serait déchirée à l’origine des coordonnées. Il en est de même des deux branches pointillées. Cette espèce de points singuliers, qu’on ne rencontre pas dans les courbes algébriques, mériterait peut-être un nom particulier.
En différentiant deux fois l’équation proposée, on trouve
${\frac {\operatorname {d} y}{\operatorname {d} x}}=-{\frac {y}{x^{2}}}\operatorname {l} a,\qquad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=(1+2x){\frac {y}{x^{4}}}\operatorname {l} a\,;$
la caractéristique $\operatorname {l}$ désignant des logarithmes Népériens. Le coefficient différentiel ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ devient nul quand $x=\pm \infty ,$ ainsi que cela doit être, puisque les quatre branches ont deux asymptotes communes, parallèles à l’axe des $y.$ Lorsque $x=0,$ il en résulte, comme on l’a vu, deux valeurs de $y,$ l’une égale à $\pm \infty$ et l’autre nulle. La première donne ${\frac {\operatorname {d} y}{\operatorname {d} x}}=\infty ,$ ainsi que cela doit être, puisque l’axe des $y$ est asymptote commune de deux branches ; quant à la seconde, elle donne ${\frac {\operatorname {d} y}{\operatorname {d} x}}={\frac {0}{0}}.$ Pour déterminer la véritable valeur de cette dx expression, observons que, d’après l’équation primitive de la courbe, ${\frac {1}{x}}={\frac {\operatorname {l} y}{\operatorname {l} a}},$ d’où ${\frac {\operatorname {d} y}{\operatorname {d} x}}=-{\frac {y(\operatorname {l} y)^{2}}{\operatorname {l} a}},$ fonction qui, comme on le sait, devient nulle lorsque $y=0.$ Ainsi les deux branches qui concourent à l’origine ont en ce point l’axe des $x$ pour tangente commune. Il y a donc là une sorte de point de rebroussement, formé de deux branches de nature différente.
Examinons présentement la fonction ${\frac {\operatorname {d} y}{\operatorname {d} x}},$ en y supposant simplement $y$ positive, ce qui suffit, puisque tout est symétrique par rapport à l’axe des $x.$ On voit que le signe de cette fonction ne dépendra que de celui du facteur $1+2x.$ Or, il sera positif pour toutes les valeurs positives de $x,$ d’où il suit que la branche située à droite de l’axe des $y$ a constamment sa convexité tournée vers l’axe des $x.$ Il en sera de même pour l’autre branche tant qu’on aura $x$ négatif $<{\frac {1}{2}}\,;$ mais à la limite $x=-{\frac {1}{2}},$ la fonction ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}$ s’évanouit, et elle change de signe au-delà. Il y a donc une inflexion en ce point, pour lequel on a $y={\frac {1}{a^{2}}}$ et ${\frac {\operatorname {d} y}{\operatorname {d} x}}=-{\frac {4\operatorname {l} a}{a^{2}}}.$
Si l’on suppose $a>0$ mais $<1$ en mettant l’équation sous la forme
$y=\left({\frac {1}{a}}\right)^{\frac {1}{-x}}=a'^{\frac {1}{-x}},$
$a'$ sera $>1,$ et il n’y aura plus d’autre différence avec le cas précédent que dans le changement de sens des $x.$ Quant au cas où l’on supposerait $a$ négatif, il conduirait à quatre branches de courbes ponctuées, mais dont le cours serait d’ailleurs le même que celui des branches continues et pointillées que nous venons de discuter.
12. Considérons actuellement la courbe dont l’équation est
$y=x^{x}.$
En faisant $x=0$ on a $y=1,$ et il en est de même lorsqu’on fait, $x=1\,;$ mais si, par exemple, on fait, $x={\frac {1}{2}},$ on a $y={\frac {1}{2}}{\sqrt {2}}<1\,;$ et comme d’ailleurs, passé $x=1,$ y croît indéfiniment avec $x$ et devient infinie avec cette abscisse, il s’ensuit qu’une branche continue de la courbe partant de l’axe des $y,$ à une distance $1$ de l’origine, après être descendue vers l’axe des $x$ (fig. 8) se relève ensuite, pour s’en écarter indéfiniment. Il est clair d’ailleurs que des valeurs de $x$ choisies d’une manière convenable donneront naissance à une branche pointillée, symétrique avec la branche continue, par rapport à l’axe des $x.$
Si l’on suppose ensuite $x$ négatif, certaines valeurs ne donneront pour $y$ que des valeurs imaginaires, tandis que d’autres donneront, pour cette ordonnée, des valeurs réelles alternativement positives et négatives, lesquelles croîtront de $x=0$ à $x=-1,$ et iront ensuite en décroissant indéfiniment. La branche continue et la branche pointillée se prolongent donc l’une et l’autre en deux branches ponctuées, symétriques comme elles, par rapport à l’axe des $x,$ et ayant cet axe pour asymptote commune.
Cet exemple et le précédent sembleraient annoncer qu’il est permis d’étendre aux courbes transcendantes un principe qu’on avait cru jusqu’ici n’être applicable qu’aux seules courbes algébriques, savoir, qu’une branche de courbe ne saurait s’arrêter brusquement, mais doit nécessairement se réunir à une autre branche de courbe. Nous en rencontrerons d’autres exemples encore.
À cause de la symétrie que présente la courbe que nous discutons, par rapport à l’axe des $x$ nous ne considérerons simplement, dans ce qui va suivre, que ce qui se passe dans la région des $y$ positives.
Si l’on prend les différentielles première et seconde des deux membres de l’équation proposée, on trouve
$y=x^{x},\quad {\frac {\operatorname {d} y}{\operatorname {d} x}}=y\operatorname {l} .ex,\quad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=y\left\{\left(\operatorname {l} .ex\right)^{2}+{\frac {1}{x}}\right\}.$
Les deux coefficiens différentiels paraissant devenir imaginaires pour toutes les valeurs négatives de $x,$ ne sembleraient pas propres à discuter le cours des branches ponctuées ; mais on peut remarquer que la branche ponctuée située du côté des $y$ positives deviendrait continue, sans changer de forme, si l’on prenait pour son équation $y=(-x)^{x},$ d’où
${\frac {\operatorname {d} y}{\operatorname {d} x}}=y\operatorname {l} (-ex),\qquad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=y\left\{\left[\operatorname {l} (-ex)\right]^{2}+{\frac {1}{x}}\right\}\,;$
fonctions de même forme que les précédentes et qui sont réelles précisément lorsque les premières sont imaginaires. Il en résulte, que les premières formules peuvent être employées à la discussion des branches ponctuées, pourvu que l’on convienne de prendre les logarithmes des valeurs négatives de $x$ comme si ces valeurs étaient positives. Cette observation est d’ailleurs parfaitement d’accord avec ce que nous avons déjà dit (6) qu’au lieu de l’équation $y=as^{x},$ on pouvait, dans la discussion, employer l’équation $\pm y=a^{x},$ quel que fût $x\,;$ ce qui revient évidemment à considérer $x$ comme étant à la fois le logarithme de $+y$ et celui de $-y,$ pour la base $a.$ C’est, au surplus, un point sur lequel nous reviendrons plus loin.
Cela posé, la valeur de ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ devient nulle, 1.$^o$ quand $y=0,$ ainsi que cela doit être, puisqu’alors $x=\infty$ et que la branche ponctuée a $\mathrm {OX'}$ pour asymptote. Elle devient encore nulle, 2.$^o$ lorsqu’on a $\operatorname {l} .ex=0,$ d’où $x=\pm {\frac {1}{e}}$ et ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=\pm ey,$ ce qui indique un minimum pour la branche continue et un maximum pour la branche ponctuée qui en est le prolongement. La même fonction ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ devient infinie lorsqu’on a $x=0$ d’où $y=\pm 1,$ ce qui indique que l’une et l’autre branches à leur origine commune sur l’axe des $y$ ont cet axe pour tangente. Si l’on a $x=\pm 1$ d’où $y=1,$ la fonction ${\frac {\operatorname {d} y}{\operatorname {d} x}}=1,$ c’est-à-dire qu’en ces points la tangente à la courbe fait un angle demi-droit avec les axes des coordonnées. Enfin ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ devenant infinie lorsqu’on a, à la fois, $x=\infty$ et $y=\infty ,$ il s’ensuit qu’à mesure que $x$ et $y$ augmentent positivement, la branche continue tend sans cesse à devenir perpendiculaire à l’axe des $x.$
Quant à la fonction ${\frac {\operatorname {d} y}{\operatorname {d} x}},$ elle est positive pour toutes les valeurs négatives de $x$ numériquement plus grande que l’unité ; ce qui indique que la branche ponctuée tourne sa convexité vers l’axe des $x$ depuis $x=-\infty$ jusqu’à $x=-1\,;$ elle devient nulle au point pour lequel on a $x=-1$ et $y=-1,$ ce qui indique une inflexion en ce point. Elle est en effet négative depuis $x=-1$ jusqu’à $x=0,$ ce qui montre que, dans cet intervalle, c’est la concavité de la courbe qui est tournée vers l’axe des $x.$ Elle devient infinie pour $x=0,$ ce qui annonce un nouveau point d’inflexion sur l’axe des $y,$ à l’endroit où la branche ponctuée devient continue. Enfin, elle devient de nouveau et demeure positive pour toutes les valeurs positives de $x\,;$ ce qui fait voir que la branche continue est partout convexe vers l’axe des $x.$
13. Examinons encore la courbe dont l’équation est
$y=x^{\frac {1}{x}}.$
On prouvera encore ici, comme dans le cas précèdent, que la courbe doit avoir quatre branches, savoir ; une branche continue (fig. 9) dans l’angle des coordonnées positives, partant de l’origine, se prolongeant à l’infini et ayant une asymptote parallèle à l’axe des $x,$ distante de cet axe d’une quantité égale à l’unité ; ensuite une branche pointillée symétrique à celle-là, par rapport à l’axe des $x\,;$ enfin deux branches ponctuées, symétriques l’une à l’autre par rapport à l’axe des $x,$ situées dans la région des $x$ négatifs, ayant d’une part l’axe des $y$ pour asymptote commune, et ayant aussi d’une autre part pour asymptotes les prolongemens des asymptotes des deux premières branches. À raison donc de la symétrie, il nous suffira de considérer ce qui se passe dans la région des $y$ positives.
D’abord, en faisant $x=+0,$ on a $y=0^{+\infty }=0\,;$ c’est-à-dire que la branche continue commence à l’origine des coordonnées. Cette branche passe ensuite par les deux points $(x=-1,\ y=1)$ et $(x=e,\ y=e^{\frac {1}{e}})\,;$ et, lorsqu’on fait $x=\infty ,$ on a $y=\infty ^{0},$ c’est-à-dire $y=1\,;$ car $\operatorname {l} .x^{\frac {1}{x}}$ ou ${\frac {\operatorname {l} x}{x}}$ a pour limite $0\,;$ d’où il suit que $x^{\frac {1}{x}}$ doit avoir pour limite l’unité. Cela indique l’asymptote parallèle à l’axe des $x$ que nous avons annoncée ci-dessus.
Si nous faisons $x=-0$ nous aurons $y=0^{-\infty }=\infty .$ La branche ponctuée a donc pour asymptote l’axe des $y\,;$ elle passe ensuite par les points $(x=-1,\ y=1)$ et $\left(x=-e,\ y=e^{-{\frac {1}{e}}}\right),$ et donne, comme la branche continue, $y=1$ quand $x=-\infty \,;$ ce qui annonce que l’asymptote de la branche continue lui est commune avec elle.
En prenant les différentielles successives des logarithmes des deux membres de l’équation, on obtient
${\frac {\operatorname {d} y}{\operatorname {d} x}}={\frac {y}{x^{2}}}\operatorname {l} {\frac {e}{x}},\qquad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}={\frac {y}{x^{4}}}\left\{\left(\operatorname {l} {\frac {e}{x}}\right)^{2}-x\operatorname {l} {\frac {e^{3}}{x^{2}}}\right\}\,;$
fonctions qui doivent être employées pour toutes les valeurs positives et négatives de $x,$ de la manière qui a été expliquée ci-dessus (12).
Cela posé, la fonction ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ prend la forme ${\frac {0}{0}}\operatorname {l} \infty$ pour $(x=0,y=0)$ et la forme ${\frac {\infty }{0}}\operatorname {l} \infty$ pour $(x=0,y=s\infty ).$ Ce dernier résultat, évidemment infini, indique que l’axe des $y$ est asymptote de la branche ponctuée, à laquelle il correspond, comme on le savait déjà. Quant au premier, pour avoir sa véritable valeur, remarquons qu’en général la fonction ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ peut être mise sous la forme ${\frac {y\left(\operatorname {l} y\right)^{2}}{\left(\operatorname {l} x\right)^{2}}}\operatorname {l} {\frac {e}{x}},$ et que $\operatorname {l} {\frac {e}{x}}=\operatorname {l} e-\operatorname {l} x,$ qui, à la limite, se réduit à $-\operatorname {l} x\,;$ d’où résulte, à cette même limite, ${\frac {\operatorname {d} y}{\operatorname {d} x}}=-y\left(\operatorname {l} y\right)^{2}.{\frac {1}{\operatorname {l} x}}.$ Or, quand $y=0,$ on a $y\left(\operatorname {l} \right)^{2}=0$ et $\operatorname {l} x=\infty \,;$ donc ${\frac {\operatorname {d} y}{\operatorname {d} x}}=0\,;$ ainsi la branche continue touche l’axe des $x$ à l’origine. Ce point offre donc analogue à celui que nous avons rencontré (fig. 7) et présente en outre, comme nous l’avons déjà remarqué (fig. 8), la circonstance d’un changement de nature de la courbe.
Pour $x=1,$ on trouve ${\frac {\operatorname {d} y}{\operatorname {d} x}}=1,$ c’est-à-dire qu’en cet endroit la tangente fait des angles demi-droits avec les deux axes, et passe en outre par l’origine, puisque $y=1.$ Si l’on fait $x=e,$ on a ${\frac {\operatorname {d} y}{\operatorname {d} x}}=0,$ ce qui indique un maximum, comme on le vérifiera par la discussion de la fonction ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}.$ Enfin, si l’on fait $x=\infty ,$ d’où $y=1,$ on a ${\frac {\operatorname {d} y}{\operatorname {d} x}}=0,$ comme cela doit être, à cause de l’asymptote.
Considérons présentement les valeurs de ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}$ qui répondent aux diverses valeurs positives de $x,$ en nous bornant toujours à la branche continue ou à $y$ positive. Ces valeurs dépendent essentiellement de celles du facteur $\left(\operatorname {l} {\frac {e}{x}}\right)^{2}-x\operatorname {l} {\frac {e^{3}}{x^{2}}}\,;$ or, si l’on donne à $x$ cette série de valeurs
$x=1,\qquad e^{-1},\qquad e^{-2},\qquad e^{-3},\ldots e^{-m},$
$0.$
Il en résultera
$\left(\operatorname {l} {\frac {e}{x}}\right)^{2}=1,\qquad 2^{2},\qquad 3^{2},\qquad 4^{2},\ldots (m+1)^{2}\,;$
$+\infty .$
$-x\operatorname {l} .{\frac {e^{3}}{x^{2}}}=-3,-5e^{-1},-7e^{-2},-9e^{-3},\ldots -(2m+3)e^{-m}\,;$
$0.$
Les deux séries de valeurs devant être ajoutées terme à terme, il est facile d’en conclure que le facteur dont il est question sera positif depuis $x=0$ jusqu’à $x=e^{-1},$ et que, par conséquent, la courbe sera convexe vers l’axe des $x$ entre ces deux limites. Le même facteur devenant négatif entre $x=e^{-1}$ et $x=1,$ la courbe éprouvera une inflexion et deviendra concave vers l’axe des $x.$ On pourrait même, en resserrant davantage les valeurs de $x,$ déterminer la position de ce point d’inflexion d’une manière indéfiniment approchée, et prouver qu’il est unique entre ces mêmes limites.
Donnons encore à $x$ les valeurs suivantes
$x=1,\qquad e,\qquad e^{2},\qquad e^{3},\qquad e^{4},\ldots e^{m}\,;$
$+\infty .$
Il en résultera
$\left(\operatorname {l} {\frac {e}{x}}\right)^{2}=1,\qquad 0,\qquad 2^{2},\qquad 3^{2},\ldots (m-1)^{2}\,;$
$+\infty .$
$-x\operatorname {l} .{\frac {e^{3}}{x^{2}}}=-3,-e,+e^{2},+3e^{3},+5e^{4},\ldots +(2m-3)e^{m}\,;$
$+\infty .$
D’où on pourra conclure que la branche continue tourne encore sa concavité vers l’axe des $x$ depuis $x=1$ jusqu’à $x=e,$ mais qu’elle éprouve, entre $x=e$ et $x=e^{2},$ une seconde inflexion, dont il serait facile d’assigner le lieu d’une manière plus précise ; après quoi elle redevient convexe vers l’axe des $x,$ pour tout le reste de son cours.
Occupons-»nous présentement de la branche ponctuée, à laquelle répondent les valeurs négatives de $x.$ D’abord, en posant $x=-0,$ d’où $y=\infty ,$ on a ${\frac {\operatorname {d} y}{\operatorname {d} x}}=\infty ,$ comme cela doit être, puisque l’axe des $y$ est asymptote de cette branche. Si l’on fait $x=-1$ d’où $y=-1$ qu’on pourra changer en $+1,$ à raison de la symétrie, on aura ${\frac {\operatorname {d} y}{\operatorname {d} x}}=\pm 1\,;$ ce qui montre qu’en cet endroit la tangente fait un angle demi-droit avec les axes. À $x=-e$ répond ${\frac {\operatorname {d} y}{\operatorname {d} x}}=0,$ ce qui dénote un minimum. Enfin, en faisant $x=-\infty ,$ on a ${\frac {\operatorname {d} y}{\operatorname {d} x}}=0,$ ainsi que cela doit être, à cause de l’asymptote parallèle à l’axe des $x.$
Quant aux valeurs de la fonction ${\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}$ qui répondent à la branche ponctuée, en donnant à $x,$ au signe près, les mêmes séries de valeurs que ci-dessus, le terme $\left(\operatorname {l} {\frac {e}{x}}\right)^{2}$ conservera sa valeur et son signe, mais le terme $-x\operatorname {l} {\frac {e^{3}}{x^{2}}}$ changera de signe sans changer de valeur absolue. Il faudra donc retrancher terme à terme les séries obtenues, au lieu de les ajouter ; et l’on reconnaîtra ainsi facilement que la branche ponctuée, convexe vers l’axe des $x$ depuis $x=0$ jusqu’à $x=-1,$ demeure encore telle jusqu’à $x=-e\,;$ mais qu’entre $x=-e$ et $x=-e^{2}$ elle a un point d’inflexion au-delà duquel elle demeure dans tout son cours concave vers l’axe des $x.$
14. Nous avons remarqué dans ce qui précède (12, 13) que, pour déduire de l’analise toutes les circonstances du cours des branches pointillées et ponctuées des courbes exponentielles, on était obligé de regarder comme réels les logarithmes des nombres négatifs. Or, on peut se demander naturellement si ces logarithmes sont en effet réels, ou si, en les supposant tels, on ne se livre pas à une hypothèse erronée. Ce qui a été dit au commencement de ce mémoire nous paraît offrir à cette question une réponse satisfaisante. Si, en effet, on appelle logarithme d’un nombre l’exposant de la puissance à laquelle il faut élever la base du système pour avoir ce nombre ; et si l’on convient réciproquement de regarder tout nombre ainsi obtenu comme ayant cet exposant pour logarithme, on se trouvera contraint (2, 3, 4, 5) d’admettre comme incontestables les propositions suivantes :
I. Dans tout système dont la base est positive, tout nombre positif a un logarithme réel. Quant aux nombres négatifs, ils se partagent en deux séries telles que chacun de ceux de l’une d’elles a un logarithme réel, le même qu’il aurait s’il était positif ; tandis que ceux de l’autre série ont tous des logarithmes imaginaires.
II. Dans tout système dont la base est négative, il y a une moitié des nombres qui, avec quelque signe qu’on les prenne, ne sauraient avoir de logarithmes réels. L’autre moitié se partage encore en deux séries telles que ceux de l’une d’elles ont des logarithmes réels, lorsqu’on les prend positivement ; et n’en ont pas quand on les prend négativement ; tandis qu’au contraire ceux de l’autre série ont des logarithmes réels, lorsqu’on les prend négativement, et n’en ont pas quand on les prend positivement.
III. Deux nombres de la même classe sont indéfiniment peu différens ; sans que pourtant on puisse dire qu’il y a continuité ; puisqu’il existe entre eux un nombre de l’autre classe.
Ces propositions sont représentées graphiquement par les figures 1 et 2, dans lesquelles les ordonnées représentent les nombres et les abscisses leurs logarithmes.
L’obligation de circonscrire ce mémoire dans de justes bornes ne nous permet pas de nous occuper de la recherche des formules qui donnent tous les logarithmes d’un même nombre, tous les nombres correspondant à un même logarithme, les logarithmes des nombres imaginaires, les logarithmes des nombres, dans un système à base imaginaire, etc. ; mais ce sont des objets sur lesquels nous pourrons revenir dans une autre occasion ; et nous nous bornerons, pour le présent, à quelques développemens propres à mieux faire sentir encore l’exactitude des propositions que nous venons d’établir.
15. Nous ferons d’abord observer qu’on aurait tort de croire que la vérité ou la fausseté de ces propositions soit subordonnée à la définition qu’on voudra donner des logarithmes ; et qu’une définition différente de celle de laquelle nous sommes partis, pût conduire à des conséquences différentes. Les mêmes conséquences se reproduisent encore, en effet, lorsque l’on veut, d’une manière plus élémentaire, considérer les logarithmes, comme les termes d’une progression par différences correspondant respectivement à ceux d’une progression par quotient, considérés comme nombres correspondans. Pour le prouver, désignons par à la base que, pour fixer les idées, nous supposerons positive et plus grande que l’unité, et formons le tableau des deux progressions fondamentales
$\qquad \ \ \ 0,\ldots a^{-m},\ldots a^{-3},a^{-2},a^{-1},1,a,a^{2},a^{3},\ldots a^{m},\ldots +\infty ,$
$-\infty ,\ldots -m,\ldots -3,-2,\ -1,0,1,\ 2,\ 3,\ldots \ \ m,\ldots +\infty .$
Pour en déduire les logarithmes de tous les nombres, on suppose que l’on insère un nombre indéfini $i$ de moyen par quotiens entre les termes consécutifs de la première progression et un pareil nombre de moyens par différences entre leurs correspondais dans la seconde. Or, en représentant respectivement par $q$ et $d$ le quotient et la différence qui détermineront ces deux sortes de moyens, on aura
$q=a^{\frac {1}{i+1}},\qquad d={\frac {1}{i+1}}\,;$
or, si $i$ est un nombre pair, il en résultera pour $q$ une seule valeur réelle positive, tandis que, si au contraire ce nombre est impair, on aura pour $q$ deux valeurs réelles, ne différant l’une de l’autre que par le signe. Si ensuite on suppose $a$ négatif, les valeurs paires de $i$ donneront pour $q$ une seule valeur réelle négative et ses valeurs impaires des valeurs imaginaires, ce qui entraîne de nouveau les conséquences énoncées ci-dessus (14).
16. En admettant, comme on ne saurait guère s’y refuser, l’existence des deux classes de nombres que nous avons signalées (14), comment concilier la loi de continuité, telle qu’on l’entend ordinairement, avec la différence qui existe entre deux nombres consécutifs de la même classe, différence plus petite que toute quantité assignable, et qui pourtant ne saurait être nulle ? et que devient ce théorème universellement admis dans la théorie des limites : deux grandeurs sont égales quand on peut prouver que leur différence est moindre que toute quantité assignable ? que devient également la loi de continuité, s’il existe des courbes telles qu’entre deux ordonnées réelles, aussi rapprochées qu’on le voudra, on puisse en trouver non seulement une infinité d’autres tout aussi réelles, mais en outre une infinité d’autres imaginaires ? L’examen de toutes ces questions nous entraînerait dans des discussions métaphysiques qu’il n’appartient pas à notre sujet d’aborder. Nous nous bornons à exposer des faits analitiques et géométriques qui nous paraissent incontestables, en abandonnant à de plus habiles le soin d’en déduire les conséquences.
17. Nous ne saurions toutefois dissimuler que certaines considérations sembleraient, au premier abord, indiquer la nécessité de considérer comme réels, sans aucune distinction, et respectivement égaux à ceux des nombres positifs, les logarithmes de tous les nombres négatifs. Par exemple, l’équation $y=a^{x},$ en y supposant $a$ négatif, représente bien incontestablement une courbe à deux branches ponctuées, quelle que soit d’ailleurs la valeur numérique absolue de $a.$ Or, on tire de cette équation
${\frac {\operatorname {d} y}{\operatorname {d} x}}=a^{x}.\operatorname {l} a,\qquad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}=a^{x}.\left(\operatorname {l} a\right)^{2},\ldots$
Si donc la valeur de $a$ est de telle nature que son logarithme soit réel, la tangente, le cercle osculateur, la développée, l’aire de la courbe, etc., seront réels, comme si la courbe était continue. Mais, si la valeur de $a$ ne lui permet pas d’admettre un logarithme réel, faudra-t-il en conclure que la tangente, le cercle osculateur, la développée, etc., n’existent pas ? c’est ce qu’il paraît difficile d’admettre, puisque les deux courbes sont identiquement de même nature, et que leur existence est indépendante de la théorie des logarithmes. Il semblerait donc que, quel que soit $a,$ son logarithme doit être réputé réel. On ne serait pas fondé d’ailleurs à se retrancher sur la nature de la courbe, et à dire que les branches continues doivent seules avoir des tangentes réelles, des cercles osculateurs, etc. ; car, si $a$ était positif, ${\frac {\operatorname {d} y}{\operatorname {d} x}},{\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}},\ldots$ seraient réels, et par conséquent la branche continue et la branche pointillée qui composent alors la courbe, seraient, sous ce rapport, exactement dans le même cas, comme nous l’avons déjà observé (8).
Les séries logarithmiques semblent conduire aux mêmes conséquences. Soit un nombre positif $z,$ arbitrairement partagé en deux autres $x$ et $y,$ nous aurons
$\operatorname {l} z=\operatorname {l} (x+y)=\operatorname {l} x+\operatorname {l} \left(1+{\frac {y}{x}}\right)=\operatorname {l} x+{\frac {1}{1}}{\frac {y}{x}}+{\frac {1}{2}}{\frac {y^{2}}{x^{2}}}+{\frac {1}{3}}{\frac {y^{3}}{x^{3}}}+{\frac {1}{4}}{\frac {y^{4}}{x^{4}}}+\ldots$
Si ensuite nous changeons le signe de $z,$ nous aurons
$\operatorname {l} (-z)=\operatorname {l} (-x-y)=\operatorname {l} (-x)+\operatorname {l} \left(1+{\frac {y}{x}}\right)$
$=\operatorname {l} (-x)+{\frac {1}{1}}{\frac {y}{x}}+{\frac {1}{2}}{\frac {y^{2}}{x^{2}}}+{\frac {1}{3}}{\frac {y^{3}}{x^{3}}}+{\frac {1}{4}}{\frac {y^{4}}{x^{4}}}+\ldots$
On voit que les deux développemens ne différent uniquement que par les termes $\operatorname {l} x$ et $\operatorname {l} (-x).$ Or, on peut toujours prendre les deux nombres $x$ et $y$ de telle sorte que la série soit convergente et qu’en même temps $x$ soit tel que $\operatorname {l} (-x)$ soit réel ; et alors on aura nécessairement $\operatorname {l} (-z)=\operatorname {l} z,$ quel que soit $z.$
18. Quant aux considérations tirées des aires de l’hyperbole équilatère, considérations que Jean Bernouilli croyait propre à démontrer l’existence des logarithmes réels pour les nombres négatifs ; il ne nous paraît pas que l’on puisse en tirer aucune conséquence fondée pour ou contre l’opinion que cet illustre géomètre cherchait à faire prévaloir.
Pour en faire sentir la raison, nous observerons d’abord que les variables doivent être considérées comme croissant constamment de l’infini négatif à l’infini positif, c’est-à-dire que les différentielles doivent être réputées positives, quels que soient les signes des variables elles-mêmes. Le principe contraire admis par un grand nombre de géomètres distingués, qui veulent que les signes des différentielles soient les mêmes que ceux des variables elles-mêmes, principe qui n’est d’ailleurs que de pure convention, se trouve en effet entraîner avec lui des inconvéniens de plus d’un genre. Par exemple, deux valeurs identiques de ${\frac {\operatorname {d} y}{\operatorname {d} x}}$ n’indiqueraient pas une même inclinaison pour tous les points du plan de la courbe, etc.
En second lieu, soit une intégrale indéfinie, telle que
$\int \operatorname {d} x\operatorname {f} (x)=\varphi (x)+C\,;$
on doit, pour des raisons analogues, sentir la nécessité de faire croître cette intégrale dans le même sens que les $x\,;$ c’est-à-dire que, si $x=a$ et $y=b$ sont les deux limites entre lesquelles elle doit être prise, il sera nécessaire de la faire commencer à la plus petite des deux, c’est-à-dire, à celle dont la valeur approche le plus de l’infini négatif, et de la faire finir à la plus grande, ou à celle qui se trouve du côté de l’infini positif, quels que soient d’ailleurs les signes de $a$ et $b.$ Ainsi, en supposant $a<b,$ l’intégrale définie sera $\varphi (b)-\varphi (a).$
Ce principe étant admis, il en résulte que l’aire d’une courbe est toujours de même signe que l’ordonnée.
19. Cela posé, soit l’équation $x^{m}y^{n}=p^{mn},$ dans laquelle nous supposerons $m,n,p$ positifs et de plus $m$ et $n$ entiers et premiers entre eux. La courbe représentée par cette équation sera du genre des hyperboles ; et, en supposant le cas particulier de $m$ pair et $n$ impair, elle ressemblera à celle qu’on voit (fig. 10). L’aire comprise entre l’arc de cette courbe, l’axe des abscisses et les ordonnées correspondant aux deux abscisses $a$ et $b$ sera représentée par la formule
$u=\int _{a}^{b}y\operatorname {d} x=\pm c\left(b^{\frac {n-m}{n}}-a^{\frac {n-m}{n}}\right),$
en posant, pour abréger, ${\frac {np^{m}}{n-m}}=\pm c,$ suivant que $n$ est $>$ ou $<m.$
Présentement, il importe de distinguer deux cas, savoir ; celui de $m<n$ et celui de $n<m.$
Si l’on a $m<n,$ on a aussi ${\frac {np^{m}}{n-m}}=+c.$ L’origine naturelle de l’intégrale est l’origine même des coordonnées, quel que soit le signe de $x,$ c’est-à-dire que, dans l’intégrale indéfinie
$\int y\operatorname {d} x=cx^{\frac {n-m}{n}}+\mathrm {Const} .,$
en faisant la constante nulle, le terme $+cx^{\frac {n-m}{n}}$ représentera l’espace compris entre l’axe des $y,$ correspondant à $x=0,$ et l’ordonnée correspondant à l’abscisse quelconque $\pm x,$ et que de plus ce terme se présentera avec le signe $+$ ou avec le signe $-,$ suivant que $x$ sera positif ou négatif, comme il est facile de le vérifier, en prenant les intégrales $\int _{-x}^{0}$ et $\int _{0}^{+x}.$ Il en résulte que, si l’on prend l’intégrale entre deux limites positives $x=+a$ et $x=+b,$ ou entre deux limites négatives $x=-a',\ y=-b',$ cette intégrale représentera toujours la différence entre les espaces $\mathrm {YOQB}$ et $\mathrm {YOPA}$ ou entre les espaces $\mathrm {YOP'A'}$ et $\mathrm {YOQ'B'} .$ Si l’on voulait avoir l’aire comprise entre une limite négative $x=-a'$ et une limite positive $x=+b',$ il faudrait, d’après la règle connue, à raison de la valeur $y=\infty$ correspondant à $x=0,$ faire deux intégrations, pour obtenir séparément $\int _{-a'}^{0}$ et $\int _{0}^{+b},$ et ajouter ensemble les résultats. On obtiendrait ainsi
$\int _{-a'}^{+b}y\operatorname {d} x=c\left\{0^{\frac {n-m}{n}}-(-a')^{\frac {n-m}{n}}\right\}+c\left\{b^{\frac {n-m}{n}}-0^{\frac {n-m}{n}}\right\}$
$=c\left(b^{\frac {n-m}{n}}+a'^{\frac {n-m}{n}}\right)\,;$
d’où l’on voit (et c’est sur quoi nous désirons principalement fixer l’attention) qu’on aurait pu obtenir directement ce résultat par une seule intégration, prise depuis $x=-a'$ jusqu’à $x=+b,$ sans avoir égard au passage de $y$ par l’infini ; ce qui tient à la circonstance déjà indiquée que l’origine naturelle de l’intégrale se trouve au point zéro, quel que soit le signe de l’abscisse $x\,;$ les deux termes de cette intégrale représentant alors respectivement les espaces $\mathrm {YOQB}$ et $\mathrm {YOP'A'.}$
Lorsqu’au contraire on a $n<m$ et par suite ${\frac {np^{m}}{n-m}}=-c,$ l’origine naturelle de l’intégrale ne se trouve plus à l’origine des coordonnées ; elle est située sur l’axe des $x,$ à l’infini négatif pour les abscisses négatives et à l’infini positif pour les abscisses positives, comme il est facile de le voir, en cherchant les conditions nécessaires pour que la constante soit nulle. Il résulte de là que l’intégrale
$\int _{+a}^{+b}y\operatorname {d} x=-c\left(b^{\frac {n-m}{n}}-a^{\frac {n-m}{n}}\right)=c\left(a^{\frac {n-m}{n}}-b^{\frac {n-m}{n}}\right)$
représente la différence des espaces $\mathrm {APX}$ et $\mathrm {BQX,}$ et que l’intégrale
$\int _{-a'}^{-b'}y\operatorname {d} x=-c\left\{(-b')^{\frac {n-m}{n}}-(-a')^{\frac {n-m}{n}}\right\}=c\left(b'^{\frac {n-m}{n}}-a'^{\frac {n-m}{n}}\right)$
représente la différence des espaces $\mathrm {B'Q'X'}$ et $\mathrm {A'P'X'} .$ Il n’est donc plus possible alors d’obtenir l’intégrale $\int _{-a'}^{+b}$ par une seule intégration. On trouve, en effet, en se rapelant qu’on a $n<m,$
$\int _{-a'}^{+b}y\operatorname {d} x=\int _{-a'}^{0}y\operatorname {d} x+\int _{0}^{+b}y\operatorname {d} x=c\left(0^{\frac {n-m}{n}}-a'^{\frac {n-m}{n}}\right)$
$+c\left(0^{\frac {n-m}{n}}-b^{\frac {n-m}{n}}\right)=c\left(\infty -a'^{\frac {n-m}{n}}+\infty -b^{\frac {n-m}{n}}\right)$
ou encore
$\int _{-a'}^{+b}y\operatorname {d} x=\mathrm {YOX'-A'P'X'+YOX-BQX} ,$
intégrale qui se réduirait à $-\mathrm {A'P'X'-BQX} ,$ si l’on n’avait fait qu’une intégration.
Ce qui précède suppose que $m$ est pair et $n$ impair. Si l’on avait au contraire $m$ impair et $n$ pair les deux branches de la courbe se trouvant alors situées d’un même côté de l’axe des $y,$ il y aurait à considérer, pour chaque abscisse, des aires correspondant aux deux branches de courbes, ce qui sortirait du sujet qui nous occupe. Mais, dans le cas de $m$ et $n$ tous deux impairs et inégaux, les mêmes observations se représenteraient ; il arriverait seulement que la branche analogue à $\mathrm {B'A'X'}$ (fig. 10) serait située dans l’angle $\mathrm {X'OY'}$ (fig. 11) ; que toutes les aires qui s’y rapporteraient seraient négatives, et que conséquemment une intégrale prise entre une limite négative et une limite positive ne se composerait plus, comme précédemment, de la somme, mais de la différence arithmétique des aires partielles.
Il demeure donc suffisamment établi, par ce qui précède, que l’on ne peut obtenir une intégrale entre deux limites données par une seule intégration que dans le cas où l’origine naturelle de cette intégrale est la même pour les deux limites données.
20. Bien que dans le cas où $m=n,$ dont nous n’avons pas parlé, l’intégrale soit une transcendante, ce principe lui est également applicable, si l’on pose alors $p=1\,;$ en extrayant la racine du degré $m$ des deux membres, l’équation se réduira à $xy=1,$ et représentera (fig. 11) l’hyperbole équilatère du second degré, pour laquelle on aura
$u=\int y\operatorname {d} x=\int {\frac {\operatorname {d} x}{x}}\operatorname {l} x+\operatorname {l} c.$
Ici l’origine naturelle de l’intégrale est, pour le abscisses positives, au point pour lequel $x=1,$ puisqu’en supposant nulle la constante $\operatorname {l} c,$ il faut faire $x=1$ pour avoir $\operatorname {l} x=0.$ Entre les limites $x=+a$ et $x=+b,$ cette intégrale devient
$\int _{+a}^{+b}y\operatorname {d} x=\operatorname {l} b-\operatorname {l} a=\operatorname {l} {\frac {b}{a}}\,;$
elle représente donc le logarithme du rapport des abscisses ; et elle est positive, parce qu’on a $b>a.$ Pour les abscisses négatives, l’origine n’est plus au même point ; elle se trouve au point pour lequel on a $x=-1.$ En effet, on peut mettre $u$ sous la forme $\operatorname {l} .cx=\operatorname {l} .(-c)(-x),$ puis en posant $c=-c',\ x=-x',$ sous la forme $\operatorname {l} .c'x'=\operatorname {l} x'+\operatorname {l} c'.$ Alors $x'$ représente la valeur absolue de l’abscisse ; et l’on voit qu’en supposant $\operatorname {l} c'=0,$ il faudra avoir $x'=1$ poux que l’intégrale s’évanouisse. Entre les limites $x=-a'$ et $x=-b'$ ou $x'=-a'$ et $x'=b',$ elle devient
$\int _{-a'}^{-b'}y\operatorname {d} x=\operatorname {l} b'-\operatorname {l} a'=\operatorname {l} {\frac {b'}{a'}}.$
Elle représente encore le logarithme du rapport des abscisses ; mais elle est négative, parce qu’on a $b'<a'.Les$ aires positives de la branche $\mathrm {AB}$ représentent donc les logarithmes de tous les nombres positifs plus grands que $1,$ et les aires négatives de la branche $\mathrm {A'B'}$ les logarithmes de tous les nombres positifs plus petits que $1.$ À l’égard des logarithmes des nombres négatifs, on les obtiendrait, à la vérité, en intégrant d’un seul coup entre deux limites telles que $x=-a'$ et $x=+b,$ ce qui donnerait $\operatorname {l} b-\operatorname {l} (-a')=$$\operatorname {l} \left(-{\frac {b}{a'}}\right)\,;$ le résultat serait la différence de deux aires partielles, l’une positive et l’autre négative ; et il aurait la même valeur que si les deux limites eussent été de même signe ; mais il paraît résulter de ce que nous avons dit ci-dessus qu’on ne saurait se permettre d’intégrer de cette manière.
À cause de ${\frac {\operatorname {d} x}{x}}={\frac {-\operatorname {d} x}{-x}},$ ce qui permet de poser $u=\operatorname {l} (-x)+\operatorname {l} c$ aussi bien que $u=\operatorname {l} x+\operatorname {l} c,$ on pourrait encore s’imaginer qu’on obtiendrait les logarithmes des nombres négatifs en mettant l’intégrale générale sous cette nouvelle forme ; mais il est facile de se convaincre du contraire, en remarquant que l’intégrale définie, prise entre deux limites du même signe $a$ et $b,$ devient alors $\operatorname {l} (-b)-\operatorname {l} (-a)=\operatorname {l} {\frac {-b}{-a}}=\operatorname {l} {\frac {b}{a}}\,;$ ce qui reproduit exactement les mêmes résultats et conduit aux mêmes conséquences.
21. Quoi qu’il en soit, les considérations développées sous le n.$^o$ 17 nous paraissent reposer sur des inductions trop vagues pour infirmer les propositions énoncées dans le n.$^o$ 14. Il serait tout aussi naturel, et sans doute plus exact, d’une part, d’en conclure que les courbes ponctuées n’ont proprement ni tangentes ni cercle osculateur (ce qui n’a point lieu pour les courbes pointillées) ; et quant au développement que nous avons donné de $\operatorname {l} (-z),$ ce développement reposant sur l’hypothèse d’une continuité qui n’existe plus, il ne nous paraît pas qu’on en puisse déduire aucune conséquence bien rigoureuse. Les objections que l’on pourrait tirer de ces diverses considérations, objections que nous n’avons pas cru devoir dissimuler, nous semblent donc devoir laisser dans toute leur force les principes posés n.$^o$ 14 qui nous paraissent d’ailleurs sans réplique, sur-tout si on les appuie de ce qui a été dit dans le n.$^o$ 15.
22. Il est nécessaire de conclure de ces mêmes principes que les courbes dont les équations renferment des fonctions logarithmiques sont également susceptibles d’avoir des branches pointillées ou ponctuées. Telle est, en particulier, la courbe dont l’équation est $y=\operatorname {l} x.$ Cette courbe, en effet, en supposant qu’on prend $a$ pour base, devient identique avec celle dont l’équation est $y=a^{x},$ (fig. 1 et 2) en y prenant $x$ pour $y,$ et réciproquement.
Soit encore la courbe ayant pour équation $y={\frac {x}{\operatorname {l} x}},;$ les logarithmes étant Népériens, on aura
${\frac {\operatorname {d} y}{\operatorname {d} x}}={\frac {\operatorname {l} {\frac {x}{e}}}{\left(\operatorname {l} x\right)^{2}}},\qquad {\frac {\operatorname {d} ^{2}y}{\operatorname {d} x^{2}}}={\frac {\operatorname {l} {\frac {e^{2}}{x}}}{x\left(\operatorname {l} x\right)^{3}}}.$
En employant le même mode de discussion que ci-dessus (11, 12, 13), on reconnaîtra que la courbe (fig. 12) a, 1.$^o$ une branche continue partant de l’origine et s’étendant indéfiniment dans l’angle $\mathrm {XOY'} ,$ entre l’axe des $y$ et une parallèle à cet axe qui lui sert d’asymptote et dont la distance à l’origine est égale à $+1\,;$ 2.$^o$ une autre branche continue, située dans l’angle $\mathrm {XOY,}$ ayant la même asymptote en sens inverse d’une part, convexe vers l’axe des $x$ depuis cette asymptote jusqu’au point d’inflexion $\left(x=e^{2},\ y={\frac {1}{2}}.e^{3}\right)$ où elle fait avec l’axe des $x$ un angle dont la tangente tabulaire est ${\frac {1}{4}},$ après avoir été parallèle au même axe au point $(x=e,y=e)\,;$ devenant au-delà du point d’inflexion concave vers cet axe, et lui redevenant parallèle pour le point $(x=\infty ,\ y=\infty )\,;$ 3.$^o$ une branche pointillée, prolongement de la première branche continue, dans l’angle $\mathrm {X'OY,}$ symétrique, par rapport à l’axe des $x,$ de celle qui lui serait symétrique par rapport à l’axe des $y\,;$ 4.$^o$ enfin une autre branche pointillée dans l’angle $\mathrm {X'OY',}$ également symétrique par rapport à l’axe des $x$ d’une branche qui serait symétrique, par rapport à l’axe des $y,$ à la seconde branche continue.
Les résultats ne changeraient pas de nature quand bien même on supposerait une toute autre base logarithmique, pourvu qu’elle fût positive ; et, si elle était négative, les branches se changeraient en quatre branches ponctuées.
23. Dans les applications de la théorie des logarithmes au calcul des expressions numériques ou algébriques, on peut traiter de la même manière tous les nombres, tant positifs que négatifs ; et l’on doit prendre les logarithmes de ces derniers comme s’ils étaient positifs.
Pour le démontrer, il faut distinguer deux cas. Ou les logarithmes ne sont employés que comme un moyen abrégé de trouver la valeur numérique d’une expression donnée, ou bien l’emploi des logarithmes est indispensable pour parvenir à la valeur numérique d’une inconnue.
Supposons d’abord qu’on se trouve dans le premier de ces deux cas ; il résulte évidemment de ce que nous avons dit (14) que, si le nombre dont il s’agit est de ceux dont les logarithmes sont imaginaires, il suffira de l’augmenter ou de le diminuer d’une quantité indéfiniment petite, et conséquemment bien inférieure à la limite d’approximation qu’on peut se promettre du calcul par logarithmes, pour lui faire acquérir un logarithme réel positif ou négatif. Lorsqu’ensuite on sera parvenu à la fin du calcul, si le logarithme final est du genre de ceux auxquels il ne répond aucun nombre réel, il suffira également de l’augmenter ou de le diminuer d’une quantité bien inférieure à celles qu’on se permet de négliger dans ce mode de calcul, pour le faire répondre à deux nombres réels ne différant l’un de l’autre que par le signe. On n’aura donc plus d’embarras que sur le choix du signe du résultat, lequel devra être déterminé à l’avance, conformément à la nature des données et des opérations qu’on aura eu à leur faire subir. Si, par exemple, il s’agit d’un produit de facteurs, on prendra pour le nombre répondant au logarithme final le signe $+$ ou le signe $-,$ suivant que le nombre des facteurs négatifs sera pair ou impair. S’il s’agit d’une puissance, on se réglera sur le signe de la racine et la nature de l’exposant qui pourront souvent conduire à rejeter comme faux le résultat obtenu. C’est, par exemple, ce qui arriverait, si l’on avait à calculer par logarithmes $(-9)^{\frac {1}{2}}\,;$ le résultat $\pm 3$ devrait être rejeté comme faux, à cause de la nature imaginaire de l’expression proposée.
Dans le cas où l’emploi des logarithmes est nécessaire pour obtenir la valeur de l’inconnue, on peut encore prendre les logarithmes des nombres négatifs comme si ces nombres étaient positifs sauf ensuite à vérifier le résultat obtenu, qui souvent peut être fautif. Soient, par exemple, les équations
$27^{x}=3,\qquad 9^{x}=-3,$
on en tirera
$x\operatorname {l} 27=13\qquad x\operatorname {l} 9=\operatorname {l} (-3)\,;$
d’où
$x={\frac {\operatorname {l} 3}{\operatorname {l} 27}}={\frac {1}{3}},\qquad x={\frac {\operatorname {l} (-3)}{\operatorname {l} 9}}={\frac {1}{2}}\,;$
et en effet
$27^{\frac {1}{3}}=3,\qquad 9^{\frac {1}{2}}=\pm 3.$
Mais, si l’on avait
$8^{x}=-2\qquad$
$\qquad x\operatorname {l} 8=\operatorname {l} (-2),$
on en tirerait
$x={\frac {\operatorname {l} (-2)}{\operatorname {l} 8}}={\frac {\operatorname {l} 2}{\operatorname {l} 8}}={\frac {1}{2}},$
résultat faux, puisque
$8^{\frac {1}{3}}=+2$
$-2.$
Le nombre cherché dans le dernier cas est donc imaginaire.
24. Il n’a été question, dans tout ce qui précède, que de courbes rapportées à des coordonnées rectangulaires. Les mêmes considérations s’appliqueraient également à d’autres systèmes de coordonnées, si les équations des courbes qui y seraient rapportées contenaient des fonctions transcendantes des variables. Telles est, en particulier, l’équation polaire $r=a^{t}$ de la spirale logarithmique, dans laquelle $a$ représente un nombre constant, $t$ l’angle que fait le rayon vecteur partant du pôle avec une droite fixe menée arbitrairement par ce même point, et $r$ ce rayon vecteur. Si, en effet, on suppose d’abord $a$ positif, les variables $t$ et $r$ se trouveront exactement dans le même cas que $x$ et $y$ dans le n.$^o$ 6. Il en résultera donc pour $r$ une série continue de valeurs positives et une série discontinue de valeurs négatives. Or, les valeurs positives du rayon vecteur doivent être comptées du pôle vers l’extrémité de l’arc de cercle sur lequel se comptent les distances angulaires, tandis que ses valeurs négatives doivent être prises en sens contraire ; donc la spirale (fig. 13) aura une branche continue et une branche pointillée dont les spires s’envelopperont mutuellement. Mais, si la constante $a$ était négative, ces deux branches se trouveraient remplacées par deux branches ponctuées de même forme.
25. Des considérations analogues à celles qui viennent de nous occuper à l’égard des courbes planes sont évidemment applicables aux surfaces courbes qui peuvent être tantôt continues et tantôt discontinues, et qui, dans ce dernier cas, peuvent être formées tantôt de courbes continues ne se succédant pas consécutivement et tantôt de courbes pointillées ou ponctuées, et qui peuvent avoir aussi des nappes de ces différentes sortes à la fois. Ce que nous avons dit jusqu’ici fait assez comprendre comment on doit se conduire, dans la discussion de ces sortes de surfaces ; et, pour cette raison, nous croyons superflu de nous y arrêter. Les mêmes considérations pourraient également être appliquées aux courbes à double courbure.
26. Nous terminerons par observer que les courbes dont les équations renferment des fonctions circulaires des variables ont été jusqu’ici tout aussi incomplètement construites que celles qui viennent de nous occuper ; ce qui tient, comme on peut déjà l’entrevoir, à ce que dans leur construction on a négligé d’avoir égard aux différens arcs auxquels répond, en général, une même ligne trigonométrique. Nous nous proposons de traiter ce sujet dans un autre mémoire où nous ferons connaître, en particulier, quelques propriétés de la cycloïde qui, dépendant de la multiplicité de ses branches, n’avaient pu encore être remarquées.
* ↑ Pour rendre manifeste la vérité de ces dernières assertions, remarquons d’abord que $x=-{\frac {1}{e}}$ fait prendre au facteur $\left(\operatorname {l} .ex\right)^{2}+{\frac {1}{x}}$ la valeur $-e,$ et que, si l’on donne à $x$ une série de valeurs de la forme $x=-{\frac {1}{e}},\quad -{\frac {1}{e^{\frac {1}{2}}}},\quad -{\frac {1}{e^{\frac {1}{3}}}},\quad -{\frac {1}{e^{\frac {1}{4}}}},\ldots -{\frac {1}{e^{\frac {1}{m}}}},$ ayant pour limite $-1\,;$ il en résultera pour les deux termes $\left(\operatorname {l} .ex\right)^{2}$ et ${\frac {1}{x}},$ les deux séries de valeurs suivantes $\left(\operatorname {l} .ex\right)^{2}=0,\ \left({\frac {1}{2}}\right)^{2},\ \left({\frac {2}{3}}\right)^{2},\ \left({\frac {3}{4}}\right)^{2},\ldots \left({\frac {m-1}{m}}\right)^{2},$ ayant pour limite $+1$; ${\frac {1}{x}}=-e,\quad -e^{\frac {1}{2}},\quad -e^{\frac {1}{3}},\quad -e^{\frac {1}{4}},\ldots -e^{\frac {1}{m}},$ ayant pour limite $-1.$ Et que si, au contraire, on donne à $x$ les valeurs suivantes $x=-{\frac {1}{e}},\quad -{\frac {1}{e^{2}}},\quad -{\frac {1}{e^{3}}},\quad -{\frac {1}{e^{4}}},\ldots -{\frac {1}{e^{m}}},$ ayant pour limite $0\,;$ on aura d’abord $\left(\operatorname {l} .ex\right)^{2}=0,\quad 1,\quad 2^{2},\quad 3^{2},\ldots \left(m-1\right)^{2},$ ayant pour limite $+\infty \,;$ série dans laquelle le rapport de deux termes consécutifs a pour limite l’unité ; et ensuite ${\frac {1}{x}}=-e,\quad -e^{2},\quad -e^{3},\quad -e^{4},\ldots -e^{m},$ ayant pour limite $-\infty \,;$ série dans laquelle le rapport de deux termes consécutifs est $e.$ Il résulte de là que le signe de toute l’expression $\left(\operatorname {l} .ex\right)^{2}+{\frac {1}{x}}$ ne dépend jamais que de celui du terme ${\frac {1}{x}},$ et que la limite de la même expression qui correspond à $x=0$ est aussi celle du terme ${\frac {1}{x}}.$