DU CALCUL DIFFÉRENTIEL
300. Nous avons résolu d'une manière générale le problème d'analyse quia pour objet la recherche de la limite du rapport de quantités infiniment petites , lorsque ces quantités sont les accroissements simultanés de variables liées par des équations données. Ce dernier cas est le plus ordinaire, et on y ramène en général les autres; cependant il peut en être autrement, et l'on en voit des exemples dans quelques-unes des questions géométriques que nous avons traitées: on se dirige alors suivant les circonstances.
Nous allons maintenant nous occuper du problème infinitésimal qui a pour objet la détermination des limites de sommes, et chercher si Ton peut le ramener comme le précédent à des méthodes générales de calcul.
Remarquons d'abord que dans toutes les questions de ce genre que nous avons étudiées précédemment, les quantités infiniment petites que nous avons substituées aux éléments exacts de la grandeur à évaluer présentent ce caractère commun , que leur expression analytique est le produit d'une fonction d'qne variable par Tatcroisse-
4l8 ^ LIVRE 111.
menl iufinîmenl petit que prend celle variable quaud on passe d'un élément au suivant. Commençons par reconnaitrc ce point importanl.
301. Quand nous skvons voulu déterminefr Taire d'une courbe plane, nous avons employé un premier mode de décomposition par des parallèles infiniment voisines; et au lieu des segments eux-mêmes compris entre deux parallèles consécutives , nous avons considéré les parallélogrammes intérieurs ou extérieurs, qui en diffèrent d'une quantité infiniment petite par rapport à ces segments. Pour avoir l'expression générale de ces parallélogrammes , prenons un axe des x perpendiculaire aux sécantes et un axe des y parallèle ^ l'expression de la cordejqui est le côté fini du parallélogramme rectangle est une fonction de x donnée par la nature du contour. Si on la |représeï>te par F(a"), et qu'on désigne par Ax la différence des x correspondants à deux parallèles consécutives , Taire cherchée sera la limite de la somme des valeurs que prendra F (x) Ax lorsque a: prendra successivement toutes les valeurs , à partir d'une première qui est donnée, croissant par intervalles Aor, égaux ou inégaux, mais indéfiniment décroissants, jusqu'à ce que Ton parvienne à la valeur de a?, qui termine la surface a évaluer.
Cette surface a donc pour expression analytique
lim. ^F{x)^x
dans le sens qui vient d'être développé.
Passons à un autre mode de décomposition des aires, et considérons-les comme décomposées par des droites partant d'un même point et faisant entre elles des angles infiniment petits. La question revient alors à trouver la limite d'une somme de secteurs circulaires ayant pour rayons les rayons vecteurs de la courbe, et pour angle
UKS LIMITES OK SOSfMKS. 4*9
au centre les dîflerences des valeurs successives de l'angle du rayon vecteur avec Taxe lixe.
Désignant cet angle parô, et par r le rayon vecteur qui est une fonction donnée de 0 , il s'agira de calculer la valeur de
lîm. y^- A9,ou,en représentant — par F (0) , la valeur de
on en revient donc encore au même problème d'analyse.
On reconnaîtra facilement qu'on est ramené à ce môme problème pour la cubaturc des solides, la rectification des courbes, la quadrature des surfaces courbes, et les autres limites de sommes que nous avons considérées.
Occupons-nous donc de ce problème unique d'analyse auquel nous conduisent toutes ces recherches de limites de sommes.
Soit F (x) une fonction quelconque de x contenue entre deux limites x© et X; et démontrons d'abord qu'il
existe une limite déterminée pour la somme V F {x) Ax
lorsque Ton prend successivement pour x les valeurs depuis Xo jusqu'à X, croissant par intervalles égaux ou inégaux , désignés par A x.
Il suffit pour cela de concevoir une courbe ayant pour
équation 7 = F (x) 5 ^^F [x) Ax sera la somme de rectangles intérieurs ou extérieurs que nous avons démontré avoir pour limite l'aire de la courbe entre les ordonnées correspondantes aux abscisses Xo , X. Il est donc certain
que, quel que soit F (x) , l'expression ^^ F(j:) Ax a une
limite déterminée , indépendante des grandeurs relatives des accroissements infiniment petits.
Nous représenterons cette limite de la manière suivante :
rx
4^0 LiTKE III.
et nous lui donnerons le nom Ainiêgrate de F (x) djc entre les limites Xt , X.
Identité du problème des limites de sommes ai^ec le problème inverse du calcul différentiel.
302. Remarquons maintenant que si , laissant x« constant, nous regardons X comme variable, Tint^rale , ou Faire qui la représente , sera une fonction de cette valeur extrême X , que nous remplacerons par la lettre x. Or il est facilede voir que la dérivée de cette fonction sera F (x) . Car si Ton augmente x de Ax, Taire augmentera d'une quantité dont le rapportavec le rectangle F (x) Ax a pour limite Tunité, quand Ax tend vers zéro; la limite du rapport de F accroissement de Faire ou de Fint^rale à l'accroissement de la variable. x ne sera donc pas altérée en substituant F (x) Ax à F accroissement exact de cette intégrale, et par conséquent sa dérivée sera F (x).
D'où. résulte cette proposition importante :
V intégrale j F (x) dx prise depuis une valeur con-
stante x© jusqnà une valeur indéterminée x est une fonction dont la dérii^ée, par rapport à x, est F (x)^ ou dont la différentielle est F (x) dx.
Le problème qui a pour objet la détermination des limites de sommes d'infiniment petits dont on donne la forme générale F (x) rfx, est donc renfermé dans celui qui a pour objet de remonter de la dérivée, ou de la différentielle d'une fonction , à cette fonction. Ce dernier problème est Finverse de celui du calcul dés dérivées , ou des différentielles des fonctions*, et il est prouvé par ce qui précède quil a toujours une solution^ puisqu'il renferme celle du problème des limites de sommes, dont nous avons démontré Fcxistence.
Il nous reste donc à chercher des règles générales pour remonter des dérivées aux fonctions.
303. Mais nous ferons d'abord une observation importante. Si Ton connaît une solution de cette question, c'est-à-dire une fonction ayant pour dérivée la fonction donnée, on en aura une plus générale en lui ajoutant une constante arbitraire, c'est-à-dire une quantité indépendante de la variable dont il s'agit^ car la dérivée ne sera pas changée par cette addition , puisque la dérivée d'une constante est nulle. Et il y a plus : il n'elciste pas d*autres solutions que celles que l'on obtient ainsi ^ car on ne peut ajouter à la première fonction qu'une quantité qui ne change pas la dérivée , et , par conséquent , dont la dérivée soit nulle d'elle-même. Or nous avons vu (n^ 191 ) qu'il n'y avait qu'une quantité itidépendante de la variable qui pût avoir sa dérivée nulle pour toute valeur de la variable. D*ou résulte cette importante proportion :
Lorsque Von aura trouvé une fonction particulière de X dont la dérii^ée par rapport à X sera la fonction donnée f on aura la fonction la plus générale qui satisfasse à cette même condition , en ajoutant à la première une constante arbitraire.
Cette intégrale générale s'écrit de l'une des deux manières suivantes :
I F(x)dx-hC, ou lF(x)dx,
304. Détermination de la constante. — Nous avons dit que la limite de la somme ^ F ( a:) Ax , ou l'intégrale
F {x) ctr, était une fonction de x ayant pour dérivée
F{x). Soit (f (x) une fonction pailîeulière trouvée par
4^2 LIVBE III.
un moyen quelconque, et satisfaisant à cette condition : la fonction la plus générale qui y satisfera sera , par ce qui précède ,
^(.r)-hr,
^ désignant une constante arbiiraire. Donc / F (x) dx
est compris dans l'expression générale o [x) -h c . et il ne s'agit plus que de fixer la valeur qu'il faut donner à Findéterminée c pour obtenir l'intégrale cherchée, qui est complètement déterminée. Posons donc
F(ar)f/j' = (p(jr)-hr,
et donnons à x une valeur particulière quelconque ; les deux membres devant être toujours égaux, on en déduira la valeur de c, si celle du premier membre est connue. La plus simple de toutes les valeurs Aq x k choisir est Xq qui annule évidemment le premier membre, d'après sa signification même; et il en résultera
^(d:,) -H c=r o, d'on f = — y(j?o), rt par silîte
F [x) dxz=: çf (x) — ç i^o''
Celle formule exprime que Tintégralè est l'accroissemeni que prend une fonction ^{x^ ayant pour différentielle V[x)dx^ lorsque Ton passe de la valeur x^ à la valeur x de la variable. Et c'est ce qu il est facile de reconnaître directement : en eflet, l'accroissement fini d'une fonction est égal à la somme des accroissements infiniment petits qu'elle prend successivement, quand on fait passer la variable de la première valeur à la dernière par degrés indéfiniment décroissants. Or cette somme est égale à la limite dr celle des différenli elles de la fonction, qui ne diffèrent des accroissiMnents mêmes que de quan-
Dt^S LIMITES DE SOMMES. ^li
tités infiniment petites par rapport k eux : elle est donc égale à la limite de ^ f' (■^) ^' D'où il >uit que pour connaître cette dernière , il suffit de chercher une fonction ayant pour différentielle F (x) dx^ ou pour dérivée F(j:), et de prendre raccroissement qu'elle subit lorsqu'on fait passer la variable de Xo à x. Ce qui conduit à la formule précédente.
305. Remarque. — Toutes les fois que l'on a à calcu-» 1er une grandeur, on peut ramener le -problème h la recherche d'une fonction, lors même que la grandeur serait bien déterminée, comme par exemple le volume d'une sphère dont le rayon serait un nombre particulier. Et nonseulement parce qu'on pourrait chercher l'expression générale d'une sphère dont le rayon est indéterminé , expression qui sera une fonction du rayon , dans laquelle on pourra ensuite donner à ce rayon la valeur particulière en question; mais en conservant toujours cette valeur particulièpe, on peut chercher l'expression générale d'une partie de la sphère, déterminée par un plan perpendiculaire à un certain diamètre et qui réponde à un segment arbitraire de ce diamètre : on a ainsi une fonction de ce segment variable, et on aura le volume de la sphère en supposant ce segment égal au diamètre même. Ayant ainsi ramené les problèmes à la recherche d'une fonction, si l'on ne voit pas de moyen facile de la déterminer ellemême , on peut chercher si sa dérivée serait plus facile à, connaître. S'il en est ainsi , le problème est ramené à celui dont nous nous occupons , et qui a pour objet de remonter d'une dérivée à la fonction. C'est ainsi que l'on aurait pu prendre tous les problèmes des limites de sommes que nous avons étudiés sous un autre point de vue f{ni était plus naturel, et devait se présenter le premier.
4^4 LIVBE III.
