INTEGRAL DEFINIDA.

Sea

y = f ( x ) una funcin continua en un intervalo [ a, b] . f ( x) > 0

Nota.- para simplificar la demostracin se considera positiva, en todo punto del intervalo.

Se divide el intervalo a, b en n subintervalos (no necesariamente de la misma amplitud) por los puntos

x0 = a, x1 , x 2 ,...x n 1, x n = b
As se dispone de los intervalos cerrados.

[ x0 , x1 ], [ x1 , x2 ],..., [ xn1 , xn ]
De amplitudes respectivas

h1 = x1 x 0, h2 = x 2 x1 ,..., hn = x n x n 1

Ahora bien como la funcin es continua en todo el intervalo a, b , lo es tambin en cada uno de los subintervalos, por lo que en cada uno de ellos alcanza un mnimo absoluto, m1 , m 2 ,..., m n y un mximo absoluto,

M 1 , M 2 ,..., M n .
Trazando paralelas al eje OY por cada punto y paralelas al eje OX por los mnimos absolutos, mi, se obtiene n rectngulos, denominados rectngulos interiores. La suma de sus reas es.

S I = h1 m1 + h2 m 2 + ... + hn m n = hk m k
k =1

(1)

De forma similar, trazando paralelas al eje OX por los mximos absolutos, Mi, se obtienen n rectngulos, llamados rectngulos exteriores. La suma de sus reas es

S E = h1 M 1 + h2 M 2 + ... + hn M n = hk M k
k =1

(2)

Consecuencia inmediata de las figuras, es SI

SE

Ahora bien, si se consideran otros nuevos puntos en el intervalo

[ a, b]

se

tendran otros subintervalos y otros valores de algunas de las sumas de las reas de los rectngulos interiores y exteriores, SI y SE. Se repite el proceso eligiendo los puntos cada vez ms prximos entre s. As se formaran dos sucesiones de nmeros reales, las de: - La suma de las reas de los rectngulos interiores:
S I , S I , S I ,..., y la

- La suma de las reas de los tringulos exteriores:

S E , S E , S E ,...,

Simbolizando por m y M al mnimo y mximo absoluto de respectivamente, se tiene, en cada tipo de subdivisin.

f ( x ) en [ a, b] ,

m m1 M 1 M ; m m2 M 2 M ;...; m mn M n M De donde