II. — iriTÉGRALES DÉFINIES. — NOTIONS GÉOMÉTRIQUES. l

nombres M/ sont plus grands que m ; ces sommes S ont donc une limite inférieure I. De même, les sommes s^ qui sont toutes plus petites que M(6 — a), ont une limile supérieure T. Nous allons montrer que I' est au plus égal à l. Il suffit évidemment pour cela de montrer qu^étant donnés deux modes de subdivision quelconques de rintervalle (a, 6), auxquels correspondent respectivement les sommes S et 5, S' et 5', on a 5 -< S', s' <^ S.

Supposons d'abord qu'on subdivise chacun des intervalles (a, x^)^ (X|, X2), ... en intervalles plus petits par de nouveaux points de division et soit

la nouvelle suite obtenue; le nouveau mode de subdivision est dit consécutif ^\x premier. Désignons par S et o- les sommes analogues à S et à 5 relatives à cette nouvelle division de (a, b) et comparons S et 2], 5 et a-. Comparons, par exemple, les portions des deux sommes S et S qui proviennent de l'intervalle (a, x^). Soient M', et m\ les limites Ae f[x) dans l'intervalle (fl, J^O, M^ et m'j les limites dans l'intervalle {y^ > ^^2)? . . . , M)^ et /n]^ les limites dans l'intervalle {yk^\ , X\ ). La portion de S qui provient de (a, x^) est donc égale à

et, comme les nombres M,, M^, . . . , M]^ ne peuvent dépasser M|, il est clair que la somme précédente est au plus égale à M, (^1 — a) ; de même, la portion de 2 qui provient de Tintervalle (^<, X2) est au plus égale à M2(j^2 — «^rf), et ainsi de suite. En ajoutant toutes ces inégalités, on trouve S^S, et l'on verrait de même que l'on a o'^5.

Considérons maintenant deux modes de subdivision tout à fait quelconques, auxquels correspondent les sommes S et 5, S' et 5'. En superposant les points de division des deux subdivisions précédentes, on obtient un troisième mode de subdivision qui peut être considéré comme consécutif à chacun des premiers. Soient S et 0- les sommes relatives à cette division auxiliaire. D'après ce que nous venons de voir, on a les inégalités

SIS, Q^s, 2<S', <j>5';

l66 CHAPITRE IV. — INTÉGRALES DÉFINIES.

comme S est supérieur à o-, on en conclu l que l'on a5'<; S, 5 < S'. Toutes les sommes S étant supérieures aux sommes 5, la limite I ne peut être inférieure à la limite F; donc on a I^F.

7:2. Fonctions intégrables. — Une fonction finie dans un intervalle (a, b) est dite intégrable dans cet intervalle, si les deux sommes S et 5 tendent vers une limite commune lorsque le nombre des intervalles partiels augmente indéfiniment, de façon que chacun de ces intervalles partiels tende vers zéro.

Pour qu!une fonction soit intégrable dans un intervalle

(a, 6), il faut et il suffit qu'à tout nombre positif t on puisse

faire correspondre un autre nombre positif r\ tel que S — s soit

inférieur à e, lorsque tous les intervalles partiels sont moindres

que 7^.

La condition est nécessaire. Si S et 5 ont une limite commune I, on peut trouver un nombre tj assez petit pour que |S — I|

et 1^ — l| soient inférieurs à - lorsque tous les intervalles partiels

sont moindres que r,. On aura a fortiori S — s <^e, La condition est suffisante. On peut écrire, en effet,

aucun des nombres S — I, I — I', F — 5 ne peut être négatif; pour que leur somme soit inférieure à e, il faut que chacun d'eux soit moindre que e. Or I — F est un nombre fixe, positif ou nul. e un nombre positif arbitraire; il faut donc que l'on ait F=L II faut de plus que l'on ait S — I <; e, I — ^ < e, lorsque tous les intervalles partiels sont moindres que Ti, ce qui revient à dire que les sommes S et 5 ont une limite commune L

La fonction /(a:) est dite alors intégrable dans Fintervalle (a, 6); la limite I s'appelle une intégrale définie et se représente par le symbole

1=/ f^^)dx.

qui rappelle son origine, et qui se lit somme de a à 6 àQj[x)dx, D'après sa définition même, I est toujours comprise entre les deux sommes S et 5, correspondant à un mode quelconque de subdivi-