L'équation

donne, en supposant x réel et prenint les logarithmes arithmétiques,

. x — ho^y.

Donc, si LogjK tend vers + oc, il en sera de même de y, qui croîtra plus rapidement qu'une puissance quelconque de

Logy. Donc, réciproquement, si y tend vers +00, Logy tendra vers -H oo, mais moins rapidement qu'une puissance quelconque de y.

Posons

d'où

Log/=:— Logz.

Si y tend vers -f- 00, ^ tendra vers o et Log^ tendra vers — oc,

mais moins rapidement qu'une puissance quelconque de ->

prise avec le signe — .

Donc, pour ^ infiniment petit ( ou infiniment grand), Log.r sera un infiniment grand négatif (ou positif), mais dont l'ordre est inférieur à tout nombre positif fixe. Il ne saurait donc être question de lui assigner une valeur principale de la forme Aœ^. C'est un infini d'une espèce particulière et irréductible à ceux que nous avons considérés jusqu'ici.

278. Soit maintenant w = A^^-f- Bx? -f-. . . + R une fonction quelconque développable suivant les puissances de X. Proposons-nous de développer \ogu.

On aura évidemment

logM = a log^ -h logA -h log ( I 4-

Le dernier terme de cette expression sera développable au moyen de la formule qui donne log(i -h^). Mais le terme alog^ par lequel commence le développement de log;^ sera irréductible avec ceux qui le suivent.

279. Les divers développements que nous avons obtenus, étant limités à un certain nombre de termes, donneront toujours une valeur approcbée de la fonction qu'on développe lorsque :r sera suffisamment petit (ou suffisamment grand si les puissances de x vont en décroissant).

En les prolongeant Indéfiniment, on obtiendra des séries

infinies. Si ces séries sont divergentes, elles n'ont aucun sens. Mais Gauchj a signalé ce fait remarquable que, même en étant convergentes, elles peuvent ne pas être égales à la fonction qui leur donne naissance.

Considérons, en effet, la fonction f{x) = e ^. Ses dérivées successives sont des sommes de termes de la forme

—-e ^. Cela se voit immédiatement sur la dérivée première,

et l'on vérifie non moins facilement que la dérivée d'un semblable terme se compose de deux termes de cette forme. Ces dérivées s'annulent toutes pour .r = o, car, en posant

— = z. on aura

quantité dont la limite est nulle pour :c = o, d'où j = ce. La série de Maclaurin

prolongée indéfiniment, sera donc convergente, tous ses termes étant nuls. Mais elle est égale à zéro et non -dfi^x).

Il est donc nécessaire, pour reconnaître si une fonction est développable en série infinie par la formule de Maclaurin, d'étudier le reste R,/ et de s'assurer qu'il tend vers zéro quand n augmente indéfiniment. C'est ainsi que nous avons procédé pour développer (i -f- x)"^^ ^^^{^ + ^)^

280. Soit f{x) une fonction qui devienne indéterminée pour une valeur particulière a de la variable. On nomme vraie valeur de cette fonction pour ^ = a la limite vers laquelle tend /(a-\-h) lorsque h tend vers zéro. Cette vraie valeur peut être finie, infinie ou indéterminée. Si elle est déterminée, elle se trouvera en cliercliant la valeur principale du développement de /(a + h) suivant les puissances croissantes de h.

Soit, par exemple, f{oc) = j^ — -, cp et à s'annulant, pour

jc = rt, mais étant développables par la série de Tajlor; on aura

Soient respectivement 'fP{ci) et '^^ (a) les premiers termes qui ne s'annulent pas dans les deux suites

>•(«), 9'(a), ... et ^{a), ^'{a), .... La vraie valeur sera la limite de

T-ll 11 • ^ • P • • ^ ' I ' ?''(«) •

hlle sera nnJle si yo >> </, intime si p <C q, égale a j— — - si

281. Si /(^) devenait indéterminée pour x = cc, on développeraity(:r) suivant les puissances décroissantes de :r ; et la vraie valeur serait nulle, finie ou infinie, suivant que l'ordre du premier terme du développement serait négatif, nul ou positif.