Réciproquement, lorsque f{x) est une fonction con
linue, on démontre que la dérivée /'(a?) est, en général, ellemême une fonction continue, sauf pour des valeurs toutes spéciales de la variable x, pour lesquelles elle peut devenir infinie, indéterminée ou discontinue. Ces valeurs spéciales de se correspondent à leur tour à des directions particulières de la tangente à la courbe j=/(>x-).
Nous laissons de côté cette démonstration, longue et délicate, que les faits vérifient constamment.
Théorèmes généraux.
538. I. Une quantité constante, c'est-à-dire indépendante de or, a une dérivée constamment nulle, puisque, quel que soit l'accroissement h donné à la variable x, l'accroissement correspondant k de la fonction n'existe pas.
Mais il n'est pas évident que toute fonction dont la dérivée est constamment nulle se réduise à une constante.
Pour établir cette importante réciproque, nous démontrerons d'abord le théorème suivant :
539. II. Le rapport des accroissements simultanés et finis H et K de x et de y, dans un intervalle où la fonction y =f{x) est continue etoii sa dérivée conserve des valeurs déterminées, est une moyenne entre toutes les valeurs prises par la dérivée f'{x), lorsque la variable parcourt l'étendue renfermée entre ses valeurs extrêmes x et x -\- H.
Si nous donnons à x, en restant dans l'intervalle considéré, un accroissement fini H, il en résultera pour j}^ un accroissement également fini K (458),
Nous pourrons alors faire passer la variable de sa première valeur jr à sa dernière ^' -h H par une suite d'accroissements de même signe h^, h^, A3, . . . , /2„. Les accroissements correspondants de la fonction y seront k^, k^, ks, . . ., A'„. Nous aurons donc,,
H = hi + A^ H- /?3 + . . . + /j„, K = A'i + A'.2 -h As -h . . . + k„ .
D'après un théorème connu (3V9), il en résulte
lî kl -I- h, + Aj 4- . . . + A„ ~ ^^^ \ Ai ' Ao ' A3 ' ' " ' h, et cette égalité reste vraie, quelque grand que soit n. Mais,
442 ALGEBRE SUPERIEURE.
quand n croît indéfiniment, les éléments A,, h^, h-,, . . ., h^ tendent vers zéro, et les rapports y^, —y -j^, • -, y-^ tendent
Al ^2 Aj //„
eux-mêmes, autant qu'on veut, vers les valeurs prises successivement par la dérivée f\x), pendant que x parcourt d'une manière continue l'étendue renfermée entre ^ et ^ + H. On peut donc écrire à la limite, en employant une notation expressive,
K •^+" (I) g = aioy/'(^).
oiO. III. Toute fonction dont la dérivée est constamment nulle se réduit nécessairement à une constante.
Supposons, en effet, en nous reportant au théorème que nous venons d'établir (539), que la dérivée /'(:r) soit constamment nulle dans l'étendue considérée. Tous les rapports
-T-) -r^j 7-> •• -5 -7-^' auront alors respectivement zéro pour li- A, lu A3 A^
mite. Il en sera donc de même de leur moyenne; et, comme cette moyenne est une quantité constante, elle sera rigoureusement nulle. Il résulte, par conséquent, de l'équation (i) du n° 539 que l'accroissement K de la fonction sera aussi constamment nul pour l'étendue considérée ou pour toute partie de l'intervalle proposé, c'est-à-dire que, dans cet intervalle, la fonction j=/(^) se trouvera réduite à une constante.
Graphiquement, on voit que la fonction
j = const.
est représentée par-'une droite parallèle à l'axe Ox, et que ,j
les rapports t^j t^j t^j • • -5 7-^ sont rigoureusement nuls. Al A. A3 A„
5il. Si tous les rapports -7^5 -r? t-' • • •> v- tendaient vers
Al Ao A3 A„
,,.„., , . A, Ao A3 A,, , .
l injini, leurs rapports mverses -j- ^ 'T' 7"' ' ' '' T^ tendraient
vers zéro.
D'après ce que nous avons dit des fonctions inverses (iii), il est évident que, dans ce cas, c'est la fonction x {y étant regardée comme variable indépendante) qui devient une con
stante, et qu'elle est représentée graphiquement par une droite parallèle à l'axe Oj. Les rapports -p> ~ -, -, ■■•■,—
sont alors rigoureusement nuls, et les rapports ^j -p=,
/il Ao
•> y-^ rigoureusement infinis.
"3 l^ii
542. D'après ce qu'on vient de voir (540, 541), si le lieu de l'équation/ =/(^), supposé réel et continu dans un certain intervalle, ne renferme aucune portion de droite parallèle à
l'un des axes, le rapport ~ aura nécessairement une limite
finie différente de zéro quand h tendra vers zéro, et les deux infiniment petits h et k seront du même ordre, sauf peutêtre pour certaines valeurs particulières de la variable.
Les cas exceptionnels où l'on aura lim y =z o ou lim 7- =co
h II
correspondront précisément, comme on le verra plus tard
{Géom. anal., t. V), les axes coordonnés étant rectangulaires
ou, plus généralement, rectilignes, aux points où la tangente
à la courbe qui représente j =:/( a;) se trouve parallèle à l'un
ou à l'autre axe.
543, IV. Lorsque deux fonctions /{a;), F{£c) ne dl(fèrent que par une constante, pour les valeurs de oc comprises dans un intervalle donné oii elles sont continues, leurs dérii'ées sont égales pour ces mêmes valeurs de x.
Réciproquement, si les dérivées f\x), F\x) de deux fonctions f {x), F {x) sont égales entre elles pour les valeurs de x comprises dans un intervalle donné oii elles sont continues, ces fonctions ne peuvent dijférer que par une constante pour ces mêmes valeurs de x.
Soit, en effet, d'une manière générale, o{x) la différence des deux fonctions considérées. De la relation
qui a lieu pour toute valeur de x comprise dans l'intervalle proposé, on déduit, en donnant à la variable l'accroissement h,
(2) c^(^x -{-h)z=if{x +h) — Y{x + h).
Il en résulte évidemment, en retranchant l'égalité (i) de l'égalité (2) et en divisant ensuite par h les deux membres de l'égalité résultante,
En faisant tendre maintenant /* vers zéro, on a, à la limite (o3i),
Si o{x) est une constante, on a o' {x) = o (538), et l'égalité (3) donne
Réciproquement, si l'on a /'(j:) = F'(a:), l'égalité (3)
donne
et l'on a o{x) = const. (oiO).
5ii. Remarque. — Nous terminerons ces généralités par une remarque qui n'est pas sans intérêt :
Si la dérivée de la fonction y z=^f[x) est continue dans un certain intervalle comme la fonction elle-même, le signe qu'on donne à l'accroissement h de la variable à partir d'une valeur de x comprise dans V intervalle et telle que x -\- h el X — h y soient aussi renfermées n'influe pas sur la valeur que prend f {x) pour la valeur attribuée à x.
Donnons à h une valeur positive et soit
lim|=/'(^).
Soit, maintenant, k^ l'accroissement pris par la fonction y quand on donne à x l'accroissement — h. Il faut trouver la
limite de — V •
Or, si, en partant ùe x — h, on donne à la variable l'accroissement h, on retombe sur x. Comme on retombe alors aussi sur y, il faut que la valeur de la fonction qui correspond à X — h croisse en même temps de — k^. On a donc, à la fois,
lim^=/'(^)
et
lim
Wm-^ — f'ix
Mais, par hj^polhèse, la fonction dérivée restant continue dans l'intervalle considéré, /'(a; — h) el/'(x) diffèrent d'une quantité infiniment petite, si h est infiniment petit. Par suite (530), /'(^) peut être regardée aussi bien comme la
limite de — ^ que comme celle de y — Il h
Définition de la différentielle.
5i5. L'accroissement, positif ou négatif, d'une variable quelconque, indépendante ou non, est appelée la différence de cette variable; et on le désigne, en général, par la caractéristique A suivie de la lettre qui figure la variable.
Ainsi, les accroissements ou les différences des variables X, y, z, ... seront représentées par
Nous avons dit précédemment (534) que les fonctions /(^), F(j7), o{x), . . . ont, pour notations de leurs dérivées,
ou, encore,
Y)f{x), DF(.^), Do(^),
ou, d'une manière générale, y étant la fonction de x dont il s'agit,
Dj.
Cela posé, d'après la notation des différences et la définition des dérivées (oSi), on peut écrire, pour toute fonction j = /(x), et ^.x tendant vers zéro,
Par conséquent, avant d'arriver à la limite qui conduit à la dérivée, c'est-à-dire avant de supposer ^.x infiniment petit ou aussi proche de zéro qu'on voudra, on aura, en désignant par a une certaine quantité, fonction de x et de Aj?, tendant vers zéro en luème temps que A^r,
et
(2) Ar = /'(^) Ax 4- a A^.
C'est là une relation très importante et très utile.
