Calculons d'abord l'intégrale

fli"^»'

,(M) . Itt,

Sa valeur est évidemment

ît* cl u.

-^^(Mi + M2 + M3 + ... + M„)xî + i

c'est à- dire égale à ainsi

On aura de même

f - — 9?„+„'(/<) M*rfM = |q*~ (A = 0, l,2,3,...,2w + 2n' — 2)

et , par suite ,

f [ç'n(M) — 9'« + n'(M)]M*dM = 0 (A; = 0, 1 , 2, 3, . . ., 2 w — 2).

D'après un raisonnement bien connu, dû à Legendre, on en conclut que la fonction

doit changer de signe au moins 2w — 1 fois. Or, <pn(u) et g?„+n'(u) sont des fonctions croissantes l'une et l'autre, puis q>„{u) est constant dans chacun des intervalles

(a>i , X^l , (X2 , X^ , . . . , (Xn — 1 , Xn).

Dans chacun de ces intervalles, qpn(u) — Ç'n+n'lw) peut changer de signe une fois au plus. Ensuite, il peut y avoir un changement de signe pour les points de discontinuité x-^x^, ...,Xn, cela donne au plus n changements de signe; en tout on en a ainsi 2n — 1 au plus. Mais, à cause de i

ç'n(O) =(pn-i.n' (0) =0,

gp„(oo)=9)„+„'(oo)= — .

on reconnaît immédiatement qu'il ne peut pas y avoir d'autres changements de signe. Donc, effectivement, il doit y avoir un changement de signe dans chaque intervalle

(Xi , X^) , . • • ( (Xn — 1 > ^n) >

et un changement de signe pour

u = Xk (A = 1 , 2 , . . . , «).

Pour une valeur u:=Xk, il faut donc que l'on ait

<Pn{Xk)<(Pn + n'{Xk)<<Pn(Xk),

et même dans le cas où la fonction q)n + n'{u) aurait aussi une discontinuité pour u = Xk (ce qui peut arriver exceptionnellement lorsque les équations

ont des racines communes) , on aurait

q>n{Xk)< q'n+n'(Xk) < 9n + n'(Xk) < q>n(Xk)-

Remarquons ensuite que, puisque

doit changer de signe dans l'intervalle {xk, Xk + ï) ^^ q^^ 9n{u) est constant dans cet intervalle, (p„^„'{u) doit effectivement croître dans cet intervalle. Or, cette fonction ne croît que par sauts brusques , les points de discontinuité étant les racines de

On en conclut que, dans l'intervalle {Xk,Xk + i), il doit y avoir au moins une racine de cette équation.

On retrouve ainsi une proposition que nous avons déjà obtenue d'une façon plus complète (voir n" 5).

43. Pour démontrer maintenant l'inégalité (3), plaçons-nous dans l'hypothèse contraire; supposons qu'on ait

on pourra trouver un nombre positif s tel que

Cela étant, d'après les propriétés des limites d'indétermination , nous savons qu'il existe une infinité d'indices croissants

tels que q)„ (a) pour w = Vk est toujours > y (a) — e. Et il existera aussi une seconde suite d'indices croissants

tels que cpn (6) pour w = v^ est toujours < x (^) + *•

Je dis maintenant que, pour « =: v^ et aussi pour n = v'^, l'équation

ne pourra jamais avoir une racine comprise entre a et 6. En effet, supposons que pour n = Vk cette équation ait une racine c comprise entre a et 6. Alors la fonction ?'„(«) aura encore une discontinuité pour u = c, et , puisque cpn (a) est déjà supérieur à ip (a) — e, on aura

Vn (c) > V (a) — « Or, dans la suite

+ fpn (C) >y)(a) — e.

Vl, V2 , . . . , Vft , . . , ,

nous pourrons toujours trouver un nombre r^=n' supérieur à n^^v/t. Dès lors , on devrait avoir

<PfiiC)<(pn'{C)<(pn{.C).

Mais c'est là évidemment une absurdité , car

'Pn{c)^<Pn'(b)<x(b) + e, tandis que

9n (C) > V (a) — « > Z (6) + «• Il est ainsi prouvé que l'équation

ne peut avoir aucune racine entre a et 6 lorsque n=:vk, et l'on verra de la même façon que cela est vrai encore pour n = v^.

Puisque donc, pour une infinité de valeurs n=:vie, l'équation

Q2«(— 2) = 0 n'admet aucune racine entre a et 6, nous savons (voir n°^ 35, 36) que la fonction F (s) admet un développement

convergent pour a < | z | < 6, et la valeur de c i est la limite de <p„(c), c étant un nombre fixe entre a et 6, n parcourant les valeurs

Vl, "2, »'3

Mais on peut appliquer le même raisonnement en faisant parcourir à n les valeurs

et puisque, dans les deux cas, la fonction F (s) est la même, on devrait avoir

c i = lim 9? (c) = lim <p (c).

Or cela est une absurdité évidente , car tous les nombres cp (c) surpassant %p(a) — e et tous les nombres q> , (c) sont inférieurs à

Z (*) + «< V (a) — «• La contradiction qui se manifeste ici montre que l'hypothèse d'où on l'a déduite , et qui consistait à admettre que

V (a) > Z (ft) ) doit être rejetée. L'inégalité (3) se trouve démontrée.

44. Ce point important établi , nous pourrons introduire une fonction qui joue le rôle principal dans notre théorème fondamental. Posons

il résulte immédiatement des inégalités (1), (2), que c'est là une fonction croissante; on a d'ailleurs $(0) = 0, et la fonction ne peut pas

croître au delà de — comme y)(u) tt ;f (m). Il est clair que

$ (M + «) ^ ;^ (M + e) ^ V» (W), donc

De même

Ainsi, lorsqu'on a v^(m) >;k(m), $ (m) est discontinue et la mesure de la discontinuité n'est pas moindre que y (m) — x (")> mais elle peut être plus grande. Aussi $ (m) peut être discontinue même en des points pour lesquels ip{u) = x (m). Mais , * (m) étant une fonction croissante , nous savons qu'elle a des points de continuité dans tout intervalle.

Or, si l'on a

on conclut v(m) = z(M) = lim9)n(«) pour w^oo. Donc, dans tout intervalle , il y a des points u tels que (p„ («) tend vers une limite finie pour n = 30 .

Voici maintenant une propriété de la fonction <I> {u) qui nous sera très utile. Considérons la fonction ç'n(M); elle est discontinue pour u = Xk et pour w' > w on a

<Pn (Xk) < q>n' {Xh) < (Pn {Xk).

Il s'ensuit évidemment que yj{xk} et x{Xk), les limites d'indétermination des qT„' (xk) pour n' = oo , sont aussi comprises entre <pn (Xk) et

+ q>n{xk): donc

-t- 9?» {Xk) ^ $ (a;*) ^ <Pn {xk).