X. Si les ternies d' une série
vont constamment en décroissant à partir du premier, cette série est convergente ou divergente en même temps que la série
(2 ) «1 -I- a Ua 4- «' "a^+ «^ "a' + . . . + rt''"' «,j'.-i + a" U a" + - . . ,
quel que soit le nombre entier désigné par a, et les multiplicateurs et indices i, a, a-, a'^, . . ., a'\ . . ., formant une progression par quotient dont le premier terme est i et la raison a.
Supposons la série (i) convergente et considérons le terme général «"«a" de la série (2). Puisque les termes de la série (i) vont en décroissant, la somme des termes successifs de celte série
</„"-.+! + «a"-'+2 + «a"-'+3 + • • • + «a" De C. — Cours. III. 2i
ALGEBRE SUPERIEURE.
est plus grande que le dernier terme ««" répété autant de fois qu'il y a de termes dans la suite considérée. Or, de «a"-'-^, à lia", il y a un nombre de termes égal à
On peut donc poser, en multipliant de part et d'autre par a,
et, a fortiori, puisque a — i est un nombre entier,
En faisant successivement, dans cette inégalité, n :^ 2, 3, ...,«, . . ., on a, en écrivant d'abord les deux identités
«1= "1, aiia^=aua,
a- lla^<a{Ua+i -^- Ua+2 + «a+3 -+-...-}- «aO» «^ «/«3 < a ( î/«2^i -i- «a=+2 + «aV3 + . . ■ + «f aO.
Si l'on ajoute toutes ces relations membre à membre, il vient évidemment, puisque les indices se suivent sans interruption dans les seconds membres,
«1 -H alla -r- a- lia' + <^^ "a' -^ ■■.-{- Cl'^ U a" -T- • • •
Comme la série (i), dont tous les termes, en dehors de «,, figurent dans le second membre de l'inégalité obtenue, à partii' de Uai est supposée convergente, ce second membre ne peut pas croître indéfiniment. Il en est donc de même, a fortiori,. de la série (2), qui se trouve reproduite tout entière dans le premier membre, et cette série (2) est convergente (369). . Supposons, au contraire, la série (i) divergente. Puisque les termes de cette série vont en décroissant, la somme
est plus petite que le premier terme i/a- l'épété autant de fois qu'il y a de termes dans la suite considérée. Or, de ««" î»
«a"+'-i) il y a un nombre do termes égal à
On peut donc poser
En faisant successivement, dans cette inégalité, n -= i, 2, 3, . . . , n, . . ., on a
{a — l)a lia > Ua + «a+l + «a+2 4" • • • + ««=-1, (a — l)rt- «a= > Ua^- + «a^+1 + "«'+2 + • • • + «a'-i, (« — l)«3«^î> Ua^ + ««3^1 4- ;/^^3^, +. = .+ «<a'i, • ■ >
(a — 1 )«"««'.> «/«"+ «a"+iH- «a"H-2 + - • •+ ''a"+'-],
En ajoutant toutes ces inégalités membre à membre, il vient évidemment, puisque les termes des seconds membres se suivent sans lacunes,
(a — i){aUa-\- a"- Ua-.-\- câ Ua,^-\- . . . + «" lla''-\- . . .)
> «a + Hu+l + «aH-2 + f'a+3 + • • • + ««"+■-! + . . . .
Comme la série (i), dont tous les termes, à partir de ««, figurent dans le second membre de l'inégalité obtenue est divergente, ce second membre croît indéfiniment et sans limite. Il en est donc de même,«/'o/-^/o/'/, du premier membre, et, comme a — i est un nombre fixe, le second facteur de ce premier membre, qui représente la série (2), moins le premier terme «1, croît lui-même sans limite. La série (2) est donc divergente (309).
En supposant successivement la série (i) convergente et di vergente, nous avons épuisé les cas possibles. Les réciproques sont donc vraies {Géom., iO). Ainsi, les séries (i) et (2) sont toujours, ensemble, convergentes ou divergentes.
Applications des théorèmes IX et X.
