CHAPITRE Yl

DE LA MESURE DES AIRES ET DE LA LONGUEUR DES ARCS DANS LES COURBES PLANES. DE LA MESURE DES SOLIDITÉS ET DE CELLE DES SURFACES DES CONOÏDES. PRINCIPE GÉNÉRAL DE LA SOLUTION ANALYTIQUE DE CES QUESTIONS.

27. Je viens maintenant à la détermination des aires des courbes, qu'on appelle communément quadrature des courbes. Considérons, en général, la courbe représentée par l'équation

y étant l'ordonnée rectangulaire correspondante à l'abscisse x, dont elle est une fonction donnée. L'espace terminé par cette courbe, par l'axe des abscisses et par une ordonnée quelconque y sera donc aussi déterminé par une fonction de la même abscisse x, que nous désignerons parF(.r). Supposons que a? devienne a? -i- ; ; cette fonction deviendra V[x-\-i), et il est clair que Y{x -\- i) — Y{x) sera alors la portion de l'espace correspondante à la partie i de l'axe et terminée par les deux ordonnées f{x) et/{x-hi) répondantes aux abscisses x eix~\-i. Or, quelle que soit la courbe proposée, il est aisé de se convaincre, même sans figure, que, si les ordonnées vont en augmentant ou en diminuant depuis /(.r) jusqu'à /(.r+i), l'espace dont il s'agit sera, dans le premier cas, plus grand que l'espace rectangulaire if{^) ^t moindre que l'espace rectangulaire if[x-\-i), et, dans le second cas, plus grand que ce dernier et moindre que le premier. Donc il sera toujours nécessairement renfermé entre ces limites if[x) et «/(^h- /'), lesquelles seront, par conséquent, les limites de la quantité Y[x + i) — Y{x) qui doit représenter ce même espace.

Développons les ronctions/(j7 + /) et F(j^ ■ + ?") suivant notre formule (n" 40, l'*" Partie), et arrêtons-nous au premier terme pour la première et aux deux premiers pour la seconde; on aura

fl^x 4- /■] =f[x) + if'[x -\-j )

F(.r + /) =F(ar) + /F'(.r) + ^lv"[x-^j),

OÙ j est une quantité indéterminée qui peut n'être pas la même ponr les deux fonctions, mais qui doit toujours être renfermée entre les limites o et /. Il faudra donc que la fonction F{^) soit telle que la quantité iF'(a7) H — ¥"{x+j) soit renfermée entre les limites i/{-v) el

if{Ji') + i-f'{x->rj), quelle que soit la valeur de i, et par conséquent en prenant i aussi petit qu'on voudra. Or, l'intervalle entre les deux limites étant i^/'{^-^j), la différence de la quantité dont il s'agit et de l'une des limites, savoir

devra être moindre que i'f\x-\-j), abstraction faite des signes de ces ([uantités. 3Iaisil est aisé de prouver que cette condition ne peut avoir lieu pour une valeur de i aussi petite qu'on voudra, à moins que le terme affecté de i ne disparaisse ; car autrement on pourra toujours prendre Ttel que la première quantité soit plus grande que la seconde,

puisqu'il suffira que i soit plus petit que ,., ^ ■, /y,,, . , •/ '^" aura donc nécessairement

et cette condition suffira pour la détermination de la fonction F(a;), puisque l'on voit qu'elle ne sera autre chose que la fonction primitive de/(^).

Donc, en général, la fonction prime de la fonction qui exprime l'aire d'une courbe par l'abscisse est la fonction qui représente l'or-

donnée de cotte courbe, et, réciproquement, la fonction qui exprime l'aire ne peut être que la fonction primitive de celle qui exprime l'ordonnée. Ainsi, l'équation d'une courbe étant donnée, pour avoir l'expression de l'aire, c'est-à-dire la quadrature de la courbe, il n'y aura qu'à chcrcber la fonction primitive de colle qui représente l'ordonnée, et l'on pourra ajouter à cette fonction primitive une constante arbitraire (n" 49, I"^ Partie), qu'on déterminera par la condition que l'expression de l'aire devienne nulle au point où l'on voudra la faire commencer.

Nous avons supposé, dans l'analyse précédente, que les ordonnées allaient en augmentant ou en diminuant depuis/(a) jusqu'à/(a; + «'): cette condition n'aurait pas lieu s'il y avait entre ces deux ordonnées un maximum ou un minimum; mais, comme on peut prendre l'intervalle i aussi petit que l'on veut, il est clair qu'on pourra toujours faire tomber la seconde ordonnée /{oc -h i) en deçà du maximum ou du minimum, et que, par conséquent, la conclusion que nous en avons tirée demeurera toujours la même.

Si la fonction /{oc) exprimait l'aire de la section d'un solide faite perpendiculairement à l'abscisse oc, on prouverait de la même manière que la solidité serait exprimée par la fonction primitive de/(.z:). Car, désignant par ¥{oc) la solidité, la différence Y{oc h- î) — F{x) exprimerait la portion du solide comprise entre les deux sections /(a; + ï) et /{•Tc), et cette portion serait nécessairement intermédiaire entre les deux solides prismatiques i/{oc) et i/{oc -+- i), en prenant la quantité i aussi petite qu'on voudrait; d'où l'on conclurait, comme ci-dessus,

FV)=/(^-)-

Ainsi, en faisant tourner une courbe autour de l'axe des x, on a un conoïde dont la section perpendiculaire à l'axe et répondante à l'ab-

scisse X est un cercle du ravon y et dont l'aire est '-^^y où - est la cir-

conférence du cercle dont le rayon =i. Or, par la nature de la courbe, on ■dy—/{x); donc l'aire de la section sera ^~L/(^')J'' ^'^ 1^ solidité

F{x) du conoïde sera donnée par la fonction prime

28. Le problème de la quadrature des courbes est, comme l'on voit, le problème le plus simple de l'analyse inverse des fonctions, puisqu'il ne consiste qu'à trouver la fonction primitive d'une fonction donnée. Nous avons indiqué dans la première Partie (chap. VIII) les moyens par lesquels on peut faciliter cette recberche; nous ajouterons ici une observation essentielle.

Comme il est souvent avantageux de substituer d'autres variables à la place de celle qui entre dans la fonction, pour simplifier ou décomposer cette fonction en d'autres plus simples, il ne faudra pas oublier alors de multiplier la fonction dont il s'agit par la fonction prime de sa variable. En effet, nommant u l'aire de la courbe dont/ est l'ordonnée, et regardant y et u comme fonctions de a:", nous venons de voir que l'on a u'=y; mais, si l'on suppose x fonction d'une autre variable, et qu'on désigne par x' et u' les fonctions primes de a? et m prises relativement

n' à cette nouvelle variable, il faudra substituer — à la place de u' (n° 50,

I"^ Partie), ce qui donnera u'=yx'; et ainsi des autres formules semblables.

Au reste, comme, suivant le Calcul difTérentiel , u' est équivalent à y- ?

l'équation u'=y donne

du =z y (Ix,

et, intégrant,

formule connue pour la quadrature des courbes.

29. Après le problème de la quadrature des courbes, se présente naturellement celui de leur rectification, c'est-à-dire de la détermination de la longueur même de la courbe.

Nous partirons, pour la solution de ce problème, du principe d'Archimëde, adopté par tous les géomètres anciens et modernes, suivant IX. 3i

2i2 THEORIE DES FONCTIONS.

lequel, deux lignes courbes ou composées de droites ayant leurs concavités tournées du même côté et les mêmes extrémités, celle qui renferme l'autre est la plus longue, d'où il suit qu'un arc de courbe tout concave du même côté est plus grand (}ue sa corde et en même temps moindre que la somme des deux tangentes menées aux deux extrémités de l'arc et comprises entre ces extrémités et leur point d'intersection. De là on peut tirer cette autre conséquence que la longueur du même arc se trouvera comprise entre celles des deux tangentes menées à ses deux extrémités et terminées aux deux ordonnées qui répondent à ses extrémités, prolongées, s'il le faut, au delà de la courbe.

En effet, ayant mené la corde qui joindra les deux extrémités de l'arc, il est aisé de voir que l'une des deux tangentes rencontrera les ordonnées parallèles sous un angle plus aigu que la corde et que l'autre les rencontrera sous un angle moins aigu, et que, par conséquent, la corde sera moindre que la première de ces tangentes et plus longue (jue la seconde; donc celle-ci sera, à plus forte raison, moindre que l'arc de la courbe. De plus, si l'on considère les deux triangles opposés au sommet et formés par l'intersection des deux tangentes, il est visible que les deux parties de la première tangente seront respectivement plus longues que celles de la seconde, parce que les côtés formés par ces parties-là se trouvent opposés à des angles plus grands que les côtés formés par celles-ci. Donc la première tangente entière sera plus longue que la somme des deux portions de tangentes comprises entre leur point d'intersection et les extrémités de l'arc. Donc elle sera aussi plus longue que l'arc.

Cela posé, /(a?) étant l'ordonnée qui répond à l'abscisse x,f'{x) sera (n°7) la tangente de l'angle sous lequel la tangente de la courbe à l'extrémité de cette ordonnée est inclinée à l'axe des abscisses; par conséquent, if'{oc) sera la partie de rordonnée/(^ + i), prolongée s'il est nécessaire, comprise entre la tangente et une parallèle à l'axe menée par l'extrémité de l'ordonnée /(^); donc

V/^-^[^•/'(x;p = ^VI + t/(^)?

sera la partie de cette tani^ente comprise entre les deux ordonnées, éloignées l'une de l'autre de l'intervalle /. De la même manière, on aura/\,r -\- i) pour la tangente de l'angle sous lequel la tangente de la courbe à l'extrémité de rordonnée/(ir 4 i) est inclinée à l'axe, et l'on trouvera

pour la partie de cette tangente comprise entre les mêmes ordonnées Soit, pour plus de simplicité,

on aura / o [x] et i o{a: + i) pour les deux tangentes menées aux deux extrémités de l'arc de la courbe compris entre les ordonnées /(a;) et f[x-{-i) et terminées à ces mêmes ordonnées; donc la longueur de cet arc devra être renfermée entre les deux quantités <<p(^) et i(^{x -\- i), en donnant à « une valeur aussi petite qu'on voudra. Donc, si <î>(a?) est la fonction de a; qui exprime l'arc de la courbe, il faudra que la quantité (t>(a; + /) — '^{x), expression de l'arc compris entre les ordonnées f{x) el/{x -\- i), soit comprise entre ces deux-ci, i(!^{x) et i 'û{x -+- i), quelque petit que soit /, d'où, par un raisonnement semblable à celui du n" 27, on conclura

Donc, pour avoir la longueur indéfinie de la courbe, il faudra chercher la fonction primitive de la fonction cp(.r), ou \/i + [/'{oc)]'- , et, comme on peut ajouter une constante arbitraire à la fonction primitive, il faudra déterminer cette constante de manière que l'expression de l'arc s'évanouisse au point où l'on voudra le faire commencer.

Donc, si l'on nomme s l'arc de la courbe dont les coordonnées sont.r et j, on aura, en regardant j et s comme fonctions de x, à cause de f[x) = y,f'{x)=y, l'équation

et, si X eiy étaient données en fonction d'une autre variable, comme /, alors, en désignant par œ', y', s' les fonctions primes relativement à

cette variable, il faudrait substituer — et — à la place de y' et s'

(n° 28), ce qui donnerait cette équation

entre les coordonnées et l'arc.

Suivant le Calcul différentiel, les fonctions dérivées *' ctj' seraient

exprimées par -j- et -p » et 1 équation

deviendrait

ds = \/dx- -+- dy-, formule connue des rectifications.

30. Si l'on imagine que la courbe proposée, tournant autour de l'axe des abscisses, engendre un conoïde, il est visible que les deux ordonnées/(a;) etf{cc + î) décriront en même temps deux cercles dont ces coordonnées seront les rayons, que l'arc de la courbe compris entre ces deux coordonnées décrira une zone conoïdique, et que les deux tangentes menées aux extrémités de cet arc décriront des zones coniques.

Mais, quoique l'une de ces deux tangentes soit toujours plus grande et l'autre plus petite que la longueur de l'arc, comme nous venons de le démontrer, néanmoins, comme elles tombent toutes les deux du même côté de l'arc, il est possible que les zones coniques qu'elles décrivent soient à la fois plus grandes ou plus petites que la zone conoïdique décrite par l'arc. Pour éviter cet inconvénient, il n'y a qu'à transporter parallèlement à elle-même la seconde tangente, qui répond à l'extrémité de rordonnéey'(ic -h i), de manière que le point où cette tangente est terminée parla première ordonnée/(a?) tombe à l'extrémité de cette ordonnée et devienne sécante de la courbe. Alors cette sécante et la tangente au même point tomberont l'une d'un côté et l'autre de l'autre côté de l'arc, et même la plus longue tombera tou-

SECONDE PARTIE. — CUAPITIIE VJ. 2Vo

jours en dehors et la plus courte en dedans d(^ l'arc, comme il est facile de s'en convaincre par la construction , de sorte que la zone conoidique décrite par l'arc se trouvera nécessairement renfermée entre les zones coniques décrites par la tangente i'^{jc-) et par la sécante

Or on sait, par la Géométrie, que la surface convexe d'un cône tronqué est égale à son côté multiplié par la demi-somme des circonférences des deux bases. Donc, si l'on désigne par - la circonférence du cercle dont le rayon =i, la surface de la zone conique décrite par la tangente ï'p(.r)sera

[/(^)-H^/'(^)]Tr,

puisque les rayons des deux bases sont run/(a;) et l'autre /(x) h- if'{x), et la surface de l'autre zone décrite par la tangente ou sécante i<p(.r+/) sera

car il est facile de voir que les rayons des bases de ce tronc de cône seront/(a;) et/{x) -+- i/'{-x -+- i).

Si donc on désigne par ^){x) la fonction de l'abscisse x qui exprime la surface du conoïde, il est clair que la zone conoïde sera exprimée par la différence <I>(^ -h ?') — (I>(a;) et que cette différence devra être renfermée entre les deux quantités

en donnant à i une valeur quelconque aussi petite qu'on voudia, d'où l'on pourra conclure, par un raisonnement analogue à celui du n" 27, que cette condition ne pourra avoir lieu, à moins que l'on n'ait

iP'{x) = T.0[x)f[x) =. T.f[x) V . + U'[^)V'

Donc on aura la surface du conoïde proposé en prenant la fonction pri-

-2i6 THEORIE DES FONCTIONS,

mitivc (le la fonction

7r/(jr)v/r-r[/'(^)J- ou TT/v/i+j"-

31. En général, supposons que l'on cherche la fonction ¥{x) par cette condition que la différence F(a;-i-/) — ¥{oo) doive être renfermée entre les deux quantités i/{a;, i) et i'^{cc, i),/et ç dénotant des fonctions données de a? et « telles qu'en faisant /= o on aïi/{x) = (!f{x), cl que cette condition doive avoir lieu en donnant à i une valeur quelconque aussi petite qu'on voudra.

En employant notre théorème, on réduira la fonction ¥{a; + i) à

et les fonctions/(a7, i), 'i^{x, i) à

f{x] +if{x,j], (f{x) + io'[x,j),

la quantité y étant indéterminée, mais comprise entre les limites o el /, et pouvant être différente dans les différentes fonctions; les fonctions dérivées marquées par F', F" se rapportent à la variable x, et les fonctions dérivées marquées par/', 9' se rapportent à la variable /. Donc, puisqu'on suppose /(a; ) = 9(37), la condition dont il s'agit se

réduira à faire en sorte- que la quantité i¥'{a:)^ — F"{x-hj) soit comprise entre les deux quantités i/{x-) -{-i'/'{oc, J) et i/[x)-\-i- (s^'{x,j), quelque petite que puisse être la valeur de i. Donc il faudra que la différence

ne soit jamais plus grande que la différence

mais, tant que le terme multiplié par la première puissance de / ne sera pas nul, on pourra toujours prendre i assez petit pour que la première quantité devienne plus grande que la seconde, car il suffira pour cela

de prendre i moindre que la quantité - — • -^ . ;. > — ^^• abstraction

SECONDE PARTIE. - CHAPITRE VI. i'iT

faite du signe de cette quantité. Donc la condition proposée emporte nécessairement celle-ci,

F'(^) — f{x] = o, el par conséquenl F'(.r) =:f\x),

c'est-à-dire que la fonction cherchée F(ic) devra être la fonction primitive de/{cc), et, pour avoir la valeur complète de F{oc), il faudra y ajoiitei' une constante arbitraire, que l'on déterminera par les conditions de la question.