THÉORÈME DE TAYLOR

Démonstration de Taylor.

272. Le théorème de Taylor permet de développer une fonction quelconque d'une variable en série ordonnée suivant les puissances de cette variable ou de l'accroissement qu'on lui attribue à partir d'une valeur arbitrairement fixée. La généralité de la formule est restreinte, il est vrai, par des conditions de convergence qui sont indispensables et que cependant les géomètres n'ont étudiées que longtemps après la découverte du théorème. Cette condition essentielle, à laquelle Taylor n'avait aucun égard, rend inacceptable pour nous la démonstration qui l'a conduit à sa mémorable découverte, et que nous commencerons cependant par faire connaître.

Soit (f (x) une fonction de la variable x\ changeons-y successivement x en x h- A#, x -h 2 Aie, x-\- 3Aa?,..., x -f- nàx, et considérons la suite

que nous écrirons, pour abréger, Posons, comme nous l'avons fait (134),

y. — y = Ar» r> — r> = Ar«« • • • > .n — y»-. = \r«-> ,

\ri — a y = A'y, *y* — Ay, = A3y, , . . . , a y„ , — a y,4, = a* y,», , A'y — Aay = a3 y, A\r« — ^2j. = Asy , . . . , A5jn, — à\r*-i = *\r.-> .

A"*"1 y, — An~~' y* = A" y\

yn peut s'exprimer, comme on sait, en fonction dey, Ay, A-y,..., A" y, et Ton a identiquement

i r«=y H- /îAr-+- — Aar-H — ^ ' a3v-k . .-+- a»/.

Cette formule est bien facile à vérifier quand on suppose n = i9 n = 3,..., et Ton

peut prouver tres-aisément que si elle est vraie pour une valeur de n, elle Test, par cela même, pour la valeur immédiatement supérieure. Cela posé, si dans l'identité (i) on suppose nbx = h, et que Ton remplace n par

* la valeur « — * y„ deviendra ç(a? -+- /*), et Ton aura

., .A>- h.(h — àx) y y , /i.{/i — àx)[lt — *àx)A*v ,

' ,v ' J àx i.a ûr 1.2.3 ±xA

et si, laissant A constant, on fait croître n indéfiniment, Aa; devient infiniment petit, et l'équation, dont le second membre se prolonge alors indéfiniment, devient

Cette démonstration n'est pas rigoureuse, et c'est pour cela que nous nous bornons à en indiquer rapidement le principe : lorsqu'on suppose, en effet, que n augmente indéfiniment, il existe toujours dans le second membre" de l'équation (2) un nombre de plus en plus grand de termes qui n'ont pas pour limites les termes correspondants de l'équation (3). Le terme général est, en effet,

// . [h — Ajf ) ( h — 1 àx). . . [h — ( p -- r)A.rj W y