vitesse acquise à chaque instant par un corps animé d'un mouvement varié suivant une loi quelconque, on considérera le mouvement comme uniforme pendant la durée d'un élément infiniment petit du temps t, et on formera ainsi immédiatement l'équation différentielle de=vdt, v désignant la vitesse acquise quand le corps a parcouru l'espace e, et de là il sera facile de conclure, par de simples procédés analytiques invariables, la formule qui donnerait la vitesse dans chaque mouvement particulier, d'après la relation correspondante entre le temps et l'espace; ou, réciproquement, quelle serait cette relation si le mode de variation de la vitesse était supposé connu, soit par rapport à l'espace, soit par rapport au temps.
Enfin, pour indiquer une autre nature de questions, c'est par une marche semblable que, dans l'étude des phénomènes thermologiques, comme l'a si heureusement conçue M. Fourier, on peut former très-simplement, ainsi que nous le verrons plus tard, l'équation différentielle générale qui exprime la répartition variable de la chaleur dans un corps quelconque à quelques influences qu'on le suppose soumis, d'après la seule relation, fort aisée à obtenir, qui représente la distribution uniforme de la chaleur dans un parallélipipède rectangle, en considérant géométriquement tout autre corps comme décomposé en élémens infiniment petits d'une telle forme, et thermologiquement le flux de chaleur comme constant pendant un temps infiniment petit. Dès-lors, toutes les questions que peut présenter la thermologie abstraite se trouveront réduites, comme pour la géométrie et la mécanique, à de pures difficultés d'analyse, qui consisteront toujours dans l'élimination des différentielles introduites comme auxiliaires pour faciliter l'établissement des équations.
Des exemples de nature aussi diverse sont plus que suffisans pour faire nettement comprendre en général l'immense portée de la conception fondamentale de l'analyse transcendante, telle que Leïbnitz l'a formée, et qui constitue sans aucun doute la plus haute pensée à laquelle l'esprit humain se soit jamais élevé jusqu'à présent.
On voit que cette conception était indispensable pour achever de fonder la science mathématique, en permettant d'établir d'une manière large et féconde, la relation du concret à l'abstrait. Sous ce rapport, elle doit être envisagée comme le complément nécessaire de la grande idée-mère de Descartes, sur la représentation analytique générale des phénomènes naturels, idée qui n'a commencé à être dignement appréciée et convenablement exploitée que depuis la formation de l'analyse infinitésimale, sans laquelle elle ne pouvait encore produire, même en géométrie, de résultats très-importans[11].
[Note 11: Il est bien remarquable, en effet, que des hommes tels que Pascal, aient fait aussi peu d'attention à la conception fondamentale de Descartes, sans pressentir nullement la révolution générale qu'elle était nécessairement destinée à produire dans le système entier de la science mathématique. Cela est venu de ce que, sans le secours de l'analyse transcendante, cette admirable méthode ne pouvait réellement encore conduire à des résultats essentiels, qui ne pussent être obtenus presqu'aussi bien par la méthode géométrique des anciens. Les esprits mêmes les plus éminens ont toujours bien moins apprécié jusqu'ici les méthodes générales par leur simple caractère philosophique, que par les connaissances effectives qu'elles pouvaient procurer immédiatement.]
Quoique j'aie cru devoir, dans les considérations précédentes, insister particulièrement sur l'admirable facilité que présente par sa nature l'analyse transcendante pour la recherche des lois mathématiques de tous les phénomènes, je ne dois pas négliger de faire ressortir une seconde propriété fondamentale, peut-être aussi importante que la première, et qui ne lui est pas moins inhérente: je veux parler de l'extrême généralité des formules différentielles, qui expriment en une seule équation chaque phénomène déterminé, quelque variés que puissent être les sujets dans lesquels on le considère. Ainsi, sous le point de vue de l'analyse infinitésimale, on voit, dans les exemples qui précèdent, une seule équation différentielle donner les tangentes à toutes les courbes, une autre leurs rectifications, une troisième leurs quadratures; et de même, une formule invariable exprimer la loi mathématique de tout mouvement varié; enfin une équation unique représenter constamment la répartition de la chaleur dans un corps et pour un cas quelconques.
Cette généralité si éminemment remarquable, et qui est pour les géomètres la base des considérations les plus élevées, est une heureuse conséquence nécessaire et presqu'immédiate de l'esprit même de l'analyse transcendante, surtout dans la conception de Leïbnitz. Elle résulte de ce que, en substituant aux élémens infiniment petits des grandeurs considérées, d'autres infinitésimales plus simples, qui seules entrent dans les équations différentielles, ces infinitésimales se trouvent, par leur nature, être constamment les mêmes pour chaque classe totale de questions, quels que soient les objets divers du phénomène étudié.
Ainsi, par exemple, toute courbe, quelle qu'elle soit, étant toujours décomposée en élémens rectilignes, on conçoit _à priori_ que la relation entre ces élémens uniformes doit nécessairement être la même pour un même phénomène géométrique quelconque, quoique l'équation finie correspondante à cette loi différentielle doive varier d'une courbe à une autre. Il en est évidemment de même dans tout autre cas quelconque.
L'analyse infinitésimale n'a donc pas seulement fourni un procédé général pour former indirectement des équations qu'il eût été impossible de découvrir d'une manière directe; elle a permis en outre de considérer, pour l'étude mathématique des phénomènes naturels, un ordre nouveau de lois plus générales et néanmoins offrant une signification claire et précise à tout esprit habitué à leur interprétation. Ces lois sont constamment les mêmes pour chaque phénomène, dans quelques objets qu'on l'étudie, et ne changent qu'en passant d'un phénomène à un autre; d'où l'on a pu d'ailleurs, en comparant ces variations, s'élever quelquefois, par une vue encore plus générale, à des rapprochemens positifs entre diverses classes de phénomènes tout-à-fait divers, d'après les analogies présentées par les expressions différentielles de leurs lois mathématiques. Dans l'étude philosophique de la mathématique concrète, je m'attacherai à faire exactement apprécier cette seconde propriété caractéristique de l'analyse transcendante, non moins admirable que la première, et en vertu de laquelle le système entier d'une science immense, comme la géométrie ou la mécanique, a pu se trouver condensé en un petit nombre de formules analytiques, d'où l'esprit humain peut déduire, par des règles certaines et invariables, la solution de tous les problèmes particuliers.
Pour terminer l'exposition générale de la conception de Leïbnitz, il me reste maintenant à considérer en elle-même la démonstration du procédé logique auquel elle conduit, ce qui constitue malheureusement la partie la plus imparfaite de cette belle méthode.
Dans les premiers temps de l'analyse infinitésimale, les géomètres les plus célèbres, tels que les deux illustres frères Jean et Jacques Bernouilli attachèrent, avec raison, bien plus d'importance à étendre, en la développant, l'immortelle découverte de Leïbnitz, et à en multiplier les applications, qu'à établir rigoureusement les bases logiques sur lesquelles reposaient les procédés de ce nouveau calcul[12]. Ils se contentèrent pendant long-temps de répondre par la solution inespérée des problèmes les plus difficiles à l'opposition prononcée de la plupart des géomètres du second ordre contre les principes de la nouvelle analyse, persuadés sans doute, contrairement aux habitudes ordinaires, que, dans la science mathématique bien plus que dans aucune autre, on peut accueillir avec hardiesse les nouveaux moyens, même quand leur rationnalité est imparfaite, pourvu qu'ils soient féconds, puisque, les vérifications étant bien plus faciles et plus multipliées, l'erreur ne saurait demeurer long-temps inaperçue.
Néanmoins, après le premier élan, il était impossible d'en rester là; et il fallait revenir nécessairement sur les fondemens mêmes de l'analyse leïbnitzienne pour constater généralement l'exactitude rigoureuse des procédés employés, malgré les infractions apparentes qu'on s'y permettait aux règles ordinaires du raisonnement. Leïbnitz, pressé de répondre, avait lui-même présenté une explication tout-à-fait erronée, en disant qu'il traitait les infiniment petits comme des _incomparables_, et qu'il les négligeait vis-à-vis des quantités finies _comme des grains de sable par rapport à la mer_, considération qui eût complétement dénaturé son analyse, en la réduisant à n'être plus qu'un simple calcul d'approximation, qui, sous ce rapport, serait radicalement vicieux, puisqu'il serait impossible de prévoir, en thèse générale, à quel point les opérations successives peuvent grossir ces erreurs premières, dont l'accroissement pourrait même évidemment devenir ainsi quelconque. Leïbnitz n'avait donc entrevu que d'une manière extrêmement confuse les véritables fondemens rationnels de l'analyse qu'il avait créée. Ses premiers successeurs se bornèrent d'abord à en vérifier l'exactitude par la conformité de ses résultats, dans certains usages particuliers, avec ceux que fournissait l'algèbre ordinaire ou la géométrie des anciens, en reproduisant, autant qu'ils le pouvaient, d'après les anciennes méthodes, les solutions de quelques problèmes, une fois qu'elles avaient été obtenues par la méthode nouvelle, seule capable primitivement de les faire découvrir. Quand cette grande question a été considérée d'une manière plus générale, les géomètres, au lieu d'aborder directement la difficulté, ont préféré l'éluder en quelque sorte, comme l'ont fait Euler et d'Alembert, par exemple, en démontrant abstraitement la conformité nécessaire et constante de la conception de Leïbnitz, envisagée dans tous ses usages quelconques, avec d'autres conceptions fondamentales de l'analyse transcendante, celle de Newton surtout, dont l'exactitude était à l'abri de toute objection. Une telle vérification générale est sans doute strictement suffisante pour dissiper toute incertitude sur l'emploi légitime de l'analyse leïbnitzienne. Mais la méthode infinitésimale est tellement importante, elle présente encore, dans presque toutes les applications, une telle supériorité effective sur les autres conceptions générales successivement proposées, qu'il y aurait véritablement imperfection dans le caractère philosophique de la science à ne pouvoir la justifier en elle-même, et à la fonder logiquement sur des considérations d'un autre ordre, qu'on cesserait ensuite d'employer efficacement. Il était donc d'une importance réelle d'établir directement et d'une manière générale la rationnalité nécessaire de la méthode infinitésimale. Après diverses tentatives plus ou moins imparfaites pour y parvenir, les travaux philosophiques de Lagrange ayant fortement reporté, vers la fin du siècle dernier, l'attention des géomètres sur la théorie générale de l'analyse infinitésimale, un géomètre très-recommandable, Carnot, présenta enfin la véritable explication logique directe de la méthode de Leïbnitz, en la montrant comme fondée sur le principe de la compensation nécessaire des erreurs, ce qui est vraisemblablement, en effet, la manifestation précise et lumineuse de ce que Leïbnitz avait vaguement et confusément aperçu, en concevant les bases rationnelles de son analyse.
Carnot a rendu ainsi à la science un service essentiel[13], et dont l'importance me semble n'être pas encore suffisamment appréciée, quoique, comme nous le verrons à la fin de cette leçon, tout cet échafaudage logique de la méthode infinitésimale proprement dite ne soit susceptible très-vraisemblablement que d'une existence provisoire, en tant que radicalement vicieux par sa nature. Je n'en crois pas moins, cependant, devoir considérer ici, afin de compléter cette importante exposition, le raisonnement général proposé par Carnot, pour légitimer directement l'analyse de Leïbnitz. Voici en quoi il consiste essentiellement.
[Note 12: On ne peut contempler, sans un profond intérêt, le naïf enthousiasme de l'illustre Huyghens, au sujet de cette admirable création, quoique son âge avancé ne lui permît point d'en faire lui-même aucun usage important, et qu'il se fût déjà élevé sans ce puissant secours à des découvertes capitales. _Je vois avec surprise et avec admiration_, écrivait-il, en 1692, au marquis de L'Hôpital, _l'étendue et la fécondité de cet art; de quelque côté que je tourne la vue, j'en aperçois de nouveaux usages; enfin, j'y conçois un progrès et une spéculation infinis._] [Note 13: Voyez l'ouvrage remarquable qu'il a publié sous le titre de _Réflexions sur la Métaphysique du calcul infinitésimal_, et dans lequel on trouve d'ailleurs une exposition claire et utile, quoique trop peu approfondie, de tous les divers points de vue sous lesquels a été conçu le système général du calcul des fonctions indirectes.]
Lorsqu'on établit l'équation différentielle d'un phénomène, on substitue aux élémens immédiats des diverses quantités considérées, d'autres infinitésimales plus simples qui en diffèrent infiniment peu par rapport à eux, et cette substitution constitue le principal artifice de la méthode de Leïbnitz, qui, sans cela, n'offrirait aucune facilité réelle pour la formation des équations. Carnot regarde une telle hypothèse comme produisant véritablement une erreur dans l'équation ainsi obtenue, et que, pour cette raison, il appelle _imparfaite_; seulement, il est clair que cette erreur ne peut être qu'infiniment petite. Or, d'un autre côté, tous les procédés analytiques, soit de différentiation, soit d'intégration, qu'on applique à ces équations différentielles pour s'élever aux équations finies en éliminant toutes les infinitésimales introduites comme auxiliaires, produisent aussi constamment, par leur nature, ainsi qu'il est aisé de le voir, d'autres erreurs analogues, en sorte qu'il a pu s'opérer une exacte compensation, et que les équations définitives peuvent, suivant l'expression de Carnot, être devenues _parfaites_. Carnot considère comme un symptôme certain et invariable de l'établissement effectif de cette compensation nécessaire, l'élimination complète des diverses quantités infiniment petites, qui est constamment, en effet, le but définitif de toutes les opérations de l'analyse transcendante. Car, si on n'a jamais commis d'autres infractions aux règles générales du raisonnement que celles ainsi exigées par la nature même de la méthode infinitésimale, les erreurs infiniment petites produites de cette manière n'ayant jamais pu engendrer que des erreurs infiniment petites dans toutes les équations, les relations sont nécessairement d'une exactitude rigoureuse aussitôt qu'elles n'ont plus lieu qu'entre des quantités finies, puisqu'il ne saurait évidemment exister alors que des erreurs finies, tandis qu'il n'a pu en survenir aucune de ce genre. Tout ce raisonnement général est fondé sur la notion des quantités infinitésimales, conçues comme indéfiniment décroissantes, lorsque celles dont elles dérivent sont envisagées comme fixes.
Ainsi, pour éclaircir cette exposition abstraite par un seul exemple, reprenons la question des tangentes, qui est la plus facile à analyser complétement. On regardera l'équation t=/frac{dy}{dx} obtenue ci-dessus comme affectée d'une erreur infiniment petite, puisqu'elle ne serait tout-à-fait rigoureuse que pour la sécante. Maintenant, on achèvera la solution en cherchant, d'après l'équation de chaque courbe, le rapport entre les différentielles des coordonnées. Si cette équation est, je Dans cette formule, on devra négliger le terme dx^2 comme infiniment petit du second ordre. Dès lors la combinaison des deux équations entièrement les infinitésimales, le résultat fini t = 2ax sera nécessairement rigoureux par l'effet de la compensation exacte des deux erreurs commises puisqu'il ne pourrait, par sa nature, être affecté d'une erreur infiniment petite, la seule néanmoins qu'il pût y avoir, d'après l'esprit des procédés qui ont été suivis.
Il serait aisé de reproduire uniformément le même raisonnement par rapport à toutes les autres applications générales de l'analyse de Leïbnitz.
Cette ingénieuse théorie est sans doute plus subtile que solide, quand on cherche à l'approfondir. Mais elle n'a cependant en réalité d'autre vice logique radical que celui de la méthode infinitésimale elle-même, dont elle est, ce me semble, le développement naturel et l'explication générale, en sorte qu'elle doit être adoptée aussi long-temps qu'on jugera convenable d'employer directement cette méthode.
Je passe maintenant à l'exposition générale des deux autres conceptions fondamentales de l'analyse transcendante, en me bornant pour chacune à l'idée principale, le caractère philosophique de cette analyse ayant été, du reste, suffisamment déterminé ci-dessus, d'après la conception de Leïbnitz, à laquelle j'ai dû spécialement m'attacher, parce qu'elle permet de le saisir plus aisément dans son ensemble, et de le décrire avec plus de rapidité.
Newton a présenté successivement, sous plusieurs formes différentes, sa manière propre de concevoir l'analyse transcendante. Celle qui est aujourd'hui le plus communément adoptée, du moins parmi les géomètres du continent, a été désignée par Newton, tantôt sous le nom de _méthode des premières et dernières raisons_, tantôt sous celui de _méthode des limites_, qu'on emploie plus fréquemment.
Sous ce point de vue, l'esprit général de l'analyse transcendante consiste à introduire comme auxiliaires, à la place des quantités primitives ou concurremment avec elles, pour faciliter l'établissement des équations, les limites des rapports des accroissemens simultanés de ces quantités, ou, en d'autres termes, les dernières raisons de ces accroissemens, limites ou dernières raisons qu'on peut aisément montrer comme ayant une valeur déterminée et finie. Un calcul spécial, qui est l'équivalent du calcul infinitésimal, est ensuite destiné à s'élever de ces équations entre ces limites aux équations correspondantes entre les quantités primitives elles-mêmes.
La faculté que présente une telle analyse pour exprimer plus aisément les lois mathématiques des phénomènes tient, en général, à ce que le calcul portant, non sur les accroissemens mêmes des quantités proposées, mais sur les limites des rapports de ces accroissemens, on pourra toujours substituer à chaque accroissement toute autre grandeur plus simple à considérer, pourvu que leur dernière raison soit la raison d'égalité, ou, en d'autres termes, que la limite de leur rapport soit l'unité. Il est clair, en effet, que le calcul des limites ne saurait être nullement affecté de cette substitution. En partant de ce principe, on retrouve à peu près l'équivalent des facilités offertes par l'analyse de Leïbnitz, qui sont seulement conçues alors sous un autre point de vue. Ainsi, les courbes seront envisagées comme les limites d'une suite de polygones rectilignes, les mouvemens variés comme les limites d'un ensemble de mouvemens uniformes de plus en plus rapprochés, etc.
Qu'on veuille, par exemple, déterminer la direction de la tangente à une courbe; on la regardera comme la limite vers laquelle tendrait une sécante, qui tournerait autour du point donné, de manière que son second point d'intersection se rapprochât indéfiniment du premier. En nommant /Delta y et /Delta x les différences des coordonnées des deux points, on aurait, à chaque instant, pour la tangente trigonométrique de l'angle que fait la sécante avec l'axe des abcisses, t=/frac{/Delta y}{/Delta x}; d'où, en prenant les limites, on déduira, relativement à la tangente elle-même, cette formule générale d'analyse transcendante /[t = L/frac{/Delta y}{/Delta x};[14]/] d'après laquelle le calcul des fonctions indirectes enseignera, dans chaque cas particulier, quand l'équation de la courbe sera donnée, à déduire la relation entre t et x, en éliminant les quantités auxiliaires introduites. Si, pour achever la solution, on suppose que y = ax^2 soit l'équation de la courbe proposée, clair que la limite vers laquelle tend le second membre, à mesure que /Delta x diminue, est 2ax. On trouvera donc par cette méthode, t=2ax, comme nous l'avions obtenu ci-dessus pour le même cas, d'après l'analyse de Leïbnitz.
[Note 14: J'emploie la caractéristique L pour désigner la limite.]
Pareillement, quand on cherche la rectification d'une courbe, il faut substituer à l'accroissement de l'arc s, la corde de cet accroissement, qui est évidemment avec lui dans une relation telle, que la limite de leur rapport est l'unité, et alors on trouve, en suivant d'ailleurs la même marche qu'avec la méthode de Leïbnitz, cette équation générale des /left(L/frac{/Delta z}{/Delta x}/right)^2,/] selon que la courbe est plane ou à double courbure. Il faudra maintenant, pour chaque courbe particulière, passer de cette équation à celle entre l'arc et l'abcisse, ce qui dépend du calcul transcendant proprement dit.
On reprendrait avec la même facilité, d'après la méthode des limites, toutes les autres questions générales, dont la solution a été indiquée ci-dessus, suivant la méthode infinitésimale.
Telle est, essentiellement, la conception que Newton s'était formée, pour l'analyse transcendante, ou, plus exactement, celle que Maclaurin et d'Alembert ont présentée comme la base la plus rationnelle de cette analyse, en cherchant à fixer et à coordonner les idées de Newton à ce sujet.
Je dois, néanmoins, avant de procéder à l'exposition de la conception de Lagrange, signaler ici une autre forme distincte sous laquelle Newton a présenté cette même méthode, et qui mérite de fixer particulièrement notre attention, tant par son ingénieuse clarté dans quelques cas, que comme ayant fourni la notation la mieux appropriée à cette manière d'envisager l'analyse transcendante, et enfin, comme étant encore aujourd'hui la forme spéciale du calcul des fonctions indirectes communément adoptée par les géomètres anglais. Je veux parler du calcul des _fluxions_ et des _fluentes_, fondé sur la notion générale des _vitesses_.
Pour en faire concevoir l'idée-mère avec plus de facilité, considérons toute courbe comme engendrée par un point animé d'un mouvement varié suivant une loi quelconque. Les diverses quantités que la courbe peut offrir, l'abcisse, l'ordonnée, l'arc, l'aire, etc., seront envisagées comme simultanément produites par degrés successifs pendant ce mouvement. La _vitesse_ avec laquelle chacune aura été décrite sera dite la _fluxion_ de cette quantité, qui, en sens inverse, en serait nommée la _fluente_. Dès lors, l'analyse transcendante consistera, dans cette conception, à former immédiatement les équations entre les fluxions des quantités proposées pour en déduire ensuite, par un calcul spécial, les équations entre les fluentes elles-mêmes. Ce que je viens d'énoncer relativement aux courbes peut d'ailleurs évidemment se transporter à des grandeurs quelconques, envisagées, à l'aide d'une image convenable, comme produites par le mouvement les unes des autres.
Il est aisé de comprendre l'identité générale et nécessaire de cette méthode avec celle des limites, compliquée de l'idée étrangère du mouvement. En effet, reprenant le cas de la courbe, si l'on suppose, comme on peut évidemment toujours le faire, que le mouvement du point décrivant est uniforme suivant une certaine direction, par exemple, dans le sens de l'abcisse, alors la fluxion de l'abcisse sera constante, comme l'élément du temps. Pour toutes les autres quantités engendrées, le mouvement ne pourrait être conçu comme uniforme que pendant un temps infiniment petit. Cela posé, la vitesse étant généralement, d'après sa notion mécanique, le rapport de chaque espace au temps employé à le parcourir, et ce temps étant ici proportionnel à l'accroissement de l'abcisse, il s'ensuit que la fluxion de l'ordonnée, de l'arc, de l'aire, etc., ne sont véritablement autre chose, en faisant disparaître la considération intermédiaire du temps, que les dernières raisons des accroissemens de ces diverses quantités comparés à celui de l'abcisse.
Cette méthode des fluxions et des fluentes n'est donc en réalité qu'une manière de se représenter, d'après une comparaison mécanique, la méthode des premières et dernières raisons, qui seule est réductible en calcul.
Elle comporte donc nécessairement les mêmes avantages généraux dans les diverses applications principales de l'analyse transcendante, sans que nous ayons besoin de le constater spécialement.
Je considère enfin la conception de Lagrange.
Elle consiste, dans son admirable simplicité, à se représenter l'analyse transcendante comme un grand artifice algébrique, d'après lequel, pour faciliter l'établissement des équations, on introduit, au lieu de fonctions primitives ou avec elles, leurs fonctions _dérivées_, c'est-à-dire, suivant la définition de Lagrange, le coëfficient du premier terme de l'accroissement de chaque fonction, ordonné selon les puissances ascendantes de l'accroissement de sa variable. Le calcul des fonctions indirectes proprement dit, est toujours destiné, ainsi que dans les conceptions de Leïbnitz et de Newton, à éliminer ces _dérivées_ employées comme auxiliaires, pour déduire de leurs relations les équations correspondantes entre les grandeurs primitives.
L'analyse transcendante n'est alors autre chose qu'une simple extension très-considérable de l'analyse ordinaire. C'était déjà depuis long-temps un procédé familier aux géomètres, que d'introduire, dans les considérations analytiques, au lieu des grandeurs mêmes qu'ils avaient à étudier, leurs diverses puissances, ou leurs logarithmes, ou leurs sinus, etc., afin de simplifier les équations, et même de les obtenir plus aisément. La _dérivation_ successive est un artifice général de la même nature, qui présente seulement beaucoup plus d'étendue, et procure, en conséquence, pour ce but commun, des ressources bien plus importantes.
Mais, quoiqu'on conçoive sans doute _à priori_ que la considération auxiliaire de ces dérivées, _peut_ faciliter l'établissement des équations, il n'est pas aisé d'expliquer pourquoi cela _doit_ être nécessairement d'après le mode de dérivation adopté plutôt que suivant toute autre transformation. Tel est le côté faible de la grande pensée de Lagrange. On n'est point, en effet, réellement parvenu jusqu'ici à saisir en général d'une manière abstraite, et sans rentrer dans les autres conceptions de l'analyse transcendante, les avantages précis que doit constamment présenter, par sa nature, cette analyse ainsi conçue, pour la recherche des lois mathématiques des phénomènes. Il est seulement possible de les constater, en considérant séparément chaque question principale, et cette vérification devient même pénible, quand on choisit une question compliquée.
Pour indiquer sommairement comment cette manière de concevoir l'analyse transcendante peut s'adapter effectivement à la solution des problèmes mathématiques, je me bornerai à reprendre sous ce point de vue le problème le plus simple de tous ceux ci-dessus examinés, celui des tangentes.
Au lieu de concevoir la tangente comme le prolongement de l'élément infiniment petit de la courbe, suivant la notion de Leïbnitz; ou comme la limite des sécantes, suivant les idées de Newton; Lagrange la considère d'après ce simple caractère géométrique, analogue aux définitions des anciens, d'être une droite telle qu'entre elle et la courbe il ne peut passer, par le point de contact, aucune autre droite.
Dès lors, pour en déterminer la direction, il faut chercher l'expression générale de sa distance à la courbe, dans un sens quelconque, dans celui de l'ordonnée, par exemple, en un second point distinct du premier, et disposer de la constante arbitraire relative à l'inclinaison de la droite, qui entrera nécessairement dans cette expression, de manière à diminuer cet écartement le plus possible. Or, cette distance étant évidemment égale à la différence des deux ordonnées de la courbe et de la droite qui correspondent à une même nouvelle abcisse x+h, sera etc.},/] où t désigne, comme ci-dessus, la tangente trigonométrique inconnue de l'angle que fait avec l'axe des (x), la droite cherchée, et f'(x), la fonction dérivée de l'ordonnée f(x). Cela posé, il est aisé de voir qu'en disposant de t de façon à annuler le premier terme de la formule précédente, on aura rendu l'intervalle des deux lignes le plus petit possible, tellement que toute autre droite pour laquelle t n'aurait point la valeur ainsi déterminée, s'écarterait nécessairement davantage de la courbe proposée. On a donc, pour la direction de la tangente cherchée, l'expression générale t=f'(x); résultat exactement équivalent à ceux que fournissent la méthode infinitésimale, et la méthode des limites. Il restera maintenant, dans chaque courbe particulière, à trouver f'(x), ce qui est une pure question d'analyse, tout-à-fait identique avec celles que prescrivent alors les autres méthodes.
Après avoir suffisamment considéré dans leur ensemble les principales conceptions générales successivement produites jusqu'ici pour l'analyse transcendante, je ne dois pas m'arrêter à l'examen de quelques autres théories proposées, telles que le _calcul des évanouissans_ d'Euler, qui ne sont réellement que des modifications plus ou moins importantes, et d'ailleurs inusitées, des méthodes précédentes. Il me reste maintenant, afin de compléter cet ensemble de considérations, à établir la comparaison et l'appréciation de ces trois méthodes fondamentales. Je dois préalablement constater d'une manière générale, leur conformité parfaite et nécessaire.
Il est d'abord évident, par ce qui précède, qu'à considérer ces trois méthodes quant à leur destination effective, indépendamment des idées préliminaires, elles consistent toutes en un même artifice logique général, que j'ai caractérisé dans la quatrième leçon, savoir: l'introduction d'un certain système des grandeurs auxiliaires, uniformément corrélatives à celles qui sont l'objet propre de la question, et qu'on leur substitue expressément pour faciliter l'expression analytique des lois mathématiques des phénomènes, quoiqu'elles doivent finalement être éliminées, à l'aide d'un calcul spécial. C'est ce qui m'a déterminé à définir régulièrement l'analyse transcendante _le calcul des fonctions indirectes_, afin de marquer son vrai caractère philosophique, en écartant toute discussion sur la manière la plus convenable de la concevoir et de l'appliquer. L'effet général de cette analyse, quelle que soit la méthode employée, est donc de faire rentrer beaucoup plus promptement chaque question mathématique dans le domaine du _calcul_, et de diminuer ainsi considérablement la difficulté capitale que présente ordinairement le passage du concret à l'abstrait. Quoiqu'on fasse, on ne peut espérer que le calcul s'empare jamais de chaque question de philosophie naturelle, géométrique, ou mécanique, ou thermologique, etc., immédiatement à sa naissance, ce qui serait évidemment contradictoire. Il y aura constamment dans tout problème, un certain travail préliminaire à effectuer sans que le calcul puisse être d'aucun secours, et qui ne saurait être, par sa nature, assujéti à des règles abstraites et invariables; c'est celui qui a pour objet propre l'établissement des _équations_, qui sont le point de départ indispensable de toutes les recherches analytiques. Mais cette élaboration préalable a été singulièrement simplifiée par la création de l'analyse transcendante, qui a ainsi hâté l'époque où la solution comporte l'application uniforme et précise de procédés généraux et abstraits; en réduisant, dans chaque cas, ce travail spécial à la recherche des équations entre les grandeurs auxiliaires, d'où le calcul conduit ensuite aux équations directement relatives aux grandeurs proposées, qu'il fallait, avant cette admirable conception, établir immédiatement. Que ces équations indirectes soient des équations _différentielles_, suivant la pensée de Leïbnitz; ou des équations _aux limites_, conformément aux idées de Newton; ou enfin des équations _dérivées_, d'après la théorie de Lagrange; le procédé général est évidemment toujours le même.
Mais la coïncidence de ces trois méthodes principales ne se borne pas à l'effet commun qu'elles produisent; elle existe, en outre, dans la manière même de l'obtenir. En effet, non-seulement toutes trois considèrent, à la place des grandeurs primitives, certaines grandeurs auxiliaires; de plus, les quantités ainsi introduites subsidiairement, sont exactement identiques dans les trois méthodes, qui ne diffèrent, par conséquent, que par la manière de les envisager. C'est ce qu'on peut aisément constater, en prenant pour terme général de comparaison une quelconque des trois conceptions, celle de Lagrange surtout, la plus propre à servir de type, comme étant la plus dégagée de considérations étrangères. N'est-il pas évident, par la seule définition des _fonctions dérivées_, qu'elles ne sont autre chose que ce que Leïbnitz appelle les _coëfficiens différentiels_, ou les rapports de la différentielle de chaque fonction à celle de la variable correspondante, puisque, en déterminant la première différentielle, on devra, par la nature même de la méthode infinitésimale, se borner à prendre le seul terme de l'accroissement de la fonction qui contient la première puissance de l'accroissement infiniment petit de la variable? De même, la fonction dérivée n'est elle pas aussi par sa nature, la _limite_ nécessaire vers laquelle tend le rapport entre l'accroissement de la fonction primitive et celui de sa variable, à mesure que ce dernier diminue indéfiniment, puisqu'elle exprime évidemment ce que devient ce rapport, en supposant nul l'accroissement de la variable. Ce qu'on désigne par /frac{dy}{dx} dans la méthode de Leïbnitz, ce qu'on devrait noter L /frac{/Delta y}{/Delta x} dans celle de Newton, et ce que Lagrange a indiqué par f'(x), est toujours une même fonction, envisagée sous trois points de vue différens; les considérations de Leïbnitz et de Newton, consistant proprement à faire connaître deux propriétés générales nécessaires de la fonction dérivée. L'analyse transcendante, examinée abstraitement, et