LEÇON TROISIÈME

FONCTIONS DERIVEES DES PUISSANCES. DÉVELOPPEMENT D UNE PUISSANCE QUELCONQUE d'uN BINÔME.

Puisque toute fonction dérivée du premier ordre f\oc) n'est autre chose que le coefficient de «dans le développement de la fonction primitive/(a:), après la substitution de.r + t à la place de x, il s'ensuit que la recherche de la fonction dérivée d'une puissance quelconque x"' se réduit à trouver le terme affecté de i dans le développement de la puissance (.r + /)'" suivant les puissances de i.

Lorsque l'exposant m est un nombre quelconque entier ou fractionnaire, positif ou négatif, on démontre facilement, par les premières opérations de l'Algèbre, que les deux premiers termes de la puissance 7W du binôme ^--i-i sont ^"'+ma;'"~'i; ainsi, lorsque /(j;) = a;'" ou = Aa;'", A étant un coefficient quelconque, on aura

f'[x) = mA^"'-',

m étant un nombre quelconque rationnel.

Comme tout nombre irrationnel peut être renfermé entre des limites rationnelles aussi resserrées que l'on veut, on en pourrait conclure tout de suite la vérité du résultat précédent pour une valeur quelconque irrationnelle de m, puisqu'on peut, en resserrant les limites, diminuer l'erreur à volonté. Mais, comme il est plutôt question ici de la forme même de la fonction dérivée que de sa valeur absolue dans chaque cas particulier, nous croyons, pour ne rien laisser à désirer sur

cette proposition fondamentale, devoir en donner une démonstration aussi générale que rigoureuse.

Puisque

par les règles de l'Algèbre, si l'on fait pour abréger — =o), il s'agira

de trouver le coefficient de oj dans le développement de (i +oj)"', quel qu*j soit l'exposant m. Or, quel que puisse être ce coefficient, comme il doit être indépendant de oj, il est clair qu'il ne peut être qu'une fonction de m, puisque l'expression (i +co)'" ne contient que les deux indéterminées w et m. On pourra donc le représenter en général par Y{m), la caractéristique F désignant une fonction déterminée, mais inconnue. Ainsi, comme en faisant w nul, la quantité (i +(o)'" devi<MU i"'r= I, on aura

On aura donc aussi, pour un autre exposant quelconque n,

(i4-w)" = i-!-mF( /«)+....

Multipliant ensemble ces deux équations, on aura

(IH- W )'"+« =: I + OJ [ F ( /» ) + F ( /l)] +

Car la théorie des puissances repose uniquement sur ce principe que a"'a" = a"'^", quelles que soient les quantités a, m, n, et l'on peut même dire que c'est dans ce principe que consiste l'essence des puissances, lorsque les exposants ne peuvent être exprimés par des nombres. Ainsi F(m)-f- F(n) sera le coefficient de w dans le développement de la puissance (i + w)'"^". Mais ce coefficient doit être représenté pai- ¥[m-\-n), puisque la fonction (i + co)'" devient (i-hoj)'"^", en y substituant m-\- n pour m. Donc il faudra que la fonction désignée par la caractéristique F soit telle que l'on ait

Y{ni -\- n] ^=F [ m) H- F ( « ), m et n étant des quantités quelconques.

Pour trouver d'une manière générale la forme de la fonction d'après cette condition, je supposerai que la quantité m soit changée en /n 4- i, et que la quantité n le soit en « — /, i étant quelconque; alors la fonction Y [m + n) demeurera la même, et les fonctions F(m), F{/i) deviendront

donc l'équation précédente donnei'a

F(w)+F(«)=:F(/n + 0 + F(" — 0- Or, par le développement, la fonction

Ffm ^i]

devient

comme on l'a vu plus haut; et la fonction F(n — i) deviendra de même, en prenant i négativement,

F(,i)tF'(/i)4--F"(n)----;

donc l'équation précédente se réduira à celle-ci

laquelle devant avoir lieu quelle que soit la valeur de «, on aura nécessairement

F'(m)-FVO=o, F"(w]+F"(n) = o, ....

La première de ces conditions donne

d'où l'on conclut d'abord que la valeur de la fonction F(/w) doit être indépendante de la variable m, puisqu'elle demeure la même en changeant la valeur de cette variable, et qu'ainsi cette valeur doit être constante relativement à la même variable.

On aura donc

a étant une constante; et cette valeur de Y' {m) satisfera aux autres conditions, puisqu'on aura

et de même

Tout se réduit donc à trouver la valeur de la fonction primitive F(mj,

d'après la fonction dérivée

Or il est facile de voir que Y [m) ne peut être que de la forme am ■+- ù, h étant une constante arbitraire; car on peut se convaincre qu'il n'y a que cette expression qui puisse donner a pour sa fonction dérivée.

On peut d'ailleurs le démontrer directement comme il suit : puisqu'on a en général

F(/« + i) ^ F(m) + iF'[m]-h - F"(m) +■ • • ,

on aura, dans le cas présent,

F'(m)r=a, F"(7«)=o, F"'(m) = o, ..., ¥{m -j- i) =.F[m] -\- ai,

et, comme i peut être une quantité quelconque, si l'on fait i= ~ m, alors la quantité m -+- i deviendra zéro; donc la valeur de F(/w + /) sera indépendante de m; elle sera par conséquent égale à une constante b.

On aura ainsi

6 = F(m) — am,

d'où

Substituant cette valeur de ¥{m), on aura en général (i-t- w)™=n- [am + 6)co H-. . ., quelle que soit la valeur de m, a ei b étant des constantes indépen-

2h LEÇONS SUR LE CALCUL

(lantes de m, dont la valeur doit se déterminer par la considération de quelques cas particuliers.

Pour cela, on fera d'abord m = o, et l'on aura

l =: l -\- boi -h . . ..

donc b = 0. On fera ensuite m=^ i , et l'on aura

i + w^i-h rtoj + ...; donc a = i.

D'où l'on conclura enfin

Donc, puisque co étant = - , on aura

A{x -h i]'" = Aa:"' + A/« J7'« ^< «■ + ...,

quel que soit le nombre m, de sorte que la fonction dérivée de Ax'" sera de Amx"'~\ comme nous l'avons trouvée d'abord pour le cas de m rationnel.

La démonstration précédente ne laisse rien à désirer pour la rigueur et la généralité. Elle ne dépend que des fonctions dérivées de la forme la plus simple, et fournit, dès le commencement, un exemple remar- (juable de leur usage dans l'Analyse.

On peut donc établir pour règle générale que la fonction dérivée d' une puissance quelconque d'une imriable est égale à la puissance d'un degré moindre d'une unité de la même variable, multipliée par l'exposant de la puissance donnée.

De là et de la loi du développement des fonctions résulte une démonstration aussi simple que générale, et peut-être la seule rigoureuse qu'on ail encore donnée de la formule du binôme pour un exposant quelconque.

En effet, puisqu'on vient de trouver que

donne

on aura de même, en prenant la fonction dérivée de cette dernière

(juantité,

F"{.v] — 7n[m — ijAx'"-^

et, par la même raison, on aura, en prenant de nouveau la fonction dérivée,

F"'(.r) = »i[m — i][m — 2) Aj;'"-»,

et ainsi de suite.

Donc, puisqu'on a trouvé, en général,

f[x+ i] =f[x] + if'[œ] + -f"[x) + /"'(^) +. . . ,

on aura, pour le cas de/(a?)--a;"', la série

niim — i) ., niini — i](ni — 2]

Lr + i]"' — x"^+ nix"'-' i -{ ^^ -x"'-^ i'^-', ^ '-^ -x'"^^û+....

Si l'on divise toute l'équation par.r'", et qu'on y mette ensuite i à la place de - > on aura

Cette formule résulte de la précédente en y faisant a; = i ; mais il n'aurait pas été rigoureux de l'en déduire de cette manière, puisqu'on a déjà remarqué que le développement de la fonction /(j: + i) en puissances entières de «peut cesser d'être exact dans des cas particuliers de la valeur de jc.

Si maintenant on multiplie l'équation précédente par a'", et qu'on y substitue ensuite Z> à la place de ai, on aura

[a + b]'"— a'« M- ma'"" ' b -\ ^ a'"-- 6'- -f- . . . ,

quelques valeurs qu'on attribue aux quantités a, b, m.

La méthode, que nous avons employée plus haut pour trouver direc- X. 4

temenl la fonction primitive d'une quantité constante, peut être appliquée à d'autres cas. En effet, si dans la formule générale

f[.r + /) ^f[x) + if'[x] 4-^/"(^) +. . . on fait

la fonction /(.r + /) deviendra indépendante de ^, et sera par conséquent égale à une constante h, laquelle sera proprement la valeur de f{oc) lorsque a7 = o. On aura donc ainsi

b^f{x)-xf'[.x]+-^f"{x)-...,

d'où l'on tire

f[œ]^b-^xf'[x]--^f"[x]-^....

Si maintenant/'(^') = a, on aura

f{x] := b -\- ax.

Si /'(a) = ajc, on aura

donc

„ , , ax- , ax-

f(x]^^b~h ax^ = 6h

^\/'{a;) = ax-, on aura

/"[x) = 2ax, f"[x]=2a, /"'[x]=o, /^x] = o,

donc

., , , „ ax^ , ax^

/(x]=z b-h ax^— ax^-i 5— — b -\ 5-:

et ainsi de suite.

En général, si/'(^) = ax", on aura, en prenant les fonctions dérivées,

/"[x] = naxt~^, /"'{x)z=n{n — i]ax"-^, ...;

donc, substituant ces valeurs,

,., , , ^ r n n[n — i ) nia — i ) [ /^ —

Or on a, par le développement,

donc

Il ni n — I ,

et, par conséquent.

/^ nln — i ) n (n — • i ] ( /* — i