Dedicado a nuestras enamoradas.

Porque ustedes conmueven

constantemente nuestros corazones,
y ponen fuego en nuestros espritus,
eso integra nuestro corazn. Los
amamos mucho.
E




INTRODUCCIN
Un teorema es una proposicin que para ser evidente necesita demostracin,
consta de dos partes hiptesis y tesis. La importancia de las demostraciones de
frmulas, teoremas y leyes matemticas radica en la justificacin lgica y
razonable para que el razonamiento matemtico se evidente.
Particularmente en las integrales definidas, los teoremas sustentados en esta
monografa son el sustento matemtico para la resolucin de problemas y
aplicaciones de clculo. Para tal construccin se ha recurrido a fuentes
secundarias como libros y clases magistrales del docente.
Para el alumno demostrar los teoremas es de buena ayuda, pues le da razones
justificadas el porqu de las frmulas matemticas.
Todos los teoremas en demostracin estn probados con el refuerzo de otros
teoremas principalmente de derivacin, para su mejor entendimiento se acompaa
con ejemplos sencillos que justifican su aplicacin.

TEOREMA 1.
Como:
lim
muxxo
(E

)x

n
=1
= _(x)Jx
b
u
(1)
Demostremos que:
_k(x)Jx
b
u
= k _(x)Jx
b
u

Veamos:
_k(x)Jx
b
u
= lim
muxxo
k(E

)x

n
=1

Por definicin de lmites tenemos:
lim
muxxo
k(E

)x

n
=1
= k lim
muxxo
(E

)x

(2)
n
=1

Luego reemplazando (1) en (2) tenemos:
k lim
muxxo
(E

)x

n
=1
= k _(x)Jx
b
u

Por lo tanto concluimos que:
_k(x)Jx
b
u
= k _(x)Jx
b
u


Propiedad 2. La integral definida de la suma algebraica de varias
funciones es igual a la suma algebraica de las integrales de los
sumandos. Por ejemplo en el caso de dos sumandos:
Sco:,g[o,b] R ,g ocotoJos
Entonces se cumple que:
_( +g)(x)Jx
b
u
=_(x)Jx + _g(x)Jx
b
u
b
u


Demostracin:
_( +g)(x)Jx
b
u
= lim
mxx0
[(o) +g(o)
n
=1
]xi

_( +g)(x)Jx
b
u
= lim
mxx0
[ (o)xi +g(o)
n
=1
xi]
n
=1


_( +g)(x)Jx
b
u
= lim
mxx0
[ (o)xi + lim
mxx0
g(o)
n
=1
]xi
n
=1
]
Por lo tanto:
_( +g)(x)Jx
b
u
=_(x)Jx + _g(x)Jx
b
u
b
u



Teorema 3.
TEOREMA (III): Si en el segmento [a,b], donde a<b, las funciones f(x) y g(x)
satisfacen a la condicin f(x) g(x), entonces:
_ (x)dx _ g(x)dx
h
a
h
a

Demostracin:
g(x)Jx
b
u
(x)Jxo = [g(x) +(x)]
n
=1
b
u

=lim
|p|0
[g(o) (o)]
n
=1
Ax
Aqu, cada diferencia g(o) f(o)0, Ax 0. Por consiguiente, cada sumando de
la suma no es negativo, igual que no es negativa la suma ni su lmite, es decir,
[g(x) (x)]Jx 0
b
u


g(x)Jx (x)Jx
b
u
0
b
u

De donde se deduce la desigualdad (III).
Si f(x)>0 y g(x)>0, la figura da una ilustracin geomtrica de esta propiedad.
Puesto que g(x) f(x), el rea del trapecio curvilneo aABb no es mayor que el
rea del trapecio curvilneo aABb.








Teorema 4.





Teorema 5.
Si la funcin fes continua en el intervalo cerrado [a, b], entonces existe un
nmero c en [a, b] tal que
(x)Jx =(c)(b o)
b
u

DEMOSTRACIN
Como f es continua en [a, b], por el teorema del valor extremo, f tiene un valor
mximo relativo y un valor mnimo relativo en [a, b]. Sea m el valor mnimo que
ocurre en x =x
m
As, (x
m
) =m ; o x
m
b ..()
Sea M el valor mximo relativo que ocurre en x =x
M
. Entonces
(x
M
) =M; o x
M
b .. ( )
Por tanto
m (x) H poro toJo x cn [o,b]
Por el teorema 4
m(b o) (x)Jx
b
u
H(b o)
Al dividir entre (b o) y observando que (b o) es positivo, puesto que b >o, se
obtiene
m
](x)dx
b
c
(b-u)
H
Pero de () y ( ) m =(x
m
) y H =(x
M
); por lo que se tiene
(x
m
)
](x)dx
b
c
(b-u)
(x
M
)
De esta ltima desigualdad y del teorema del valor intermedio existe un nmero c
en un intervalo cerrado que contiene a x
m
y x
M
tal que
(c) =
](x)dx
b
c
(b-u)
(x)Jx
b
u
=(c)(b o) ; o c b
El valor de c en el teorema del valor medio para integrales no es necesariamente
nico. El teorema no proporciona un mtodo para obtener c, pero afirma que un
valor de c existe, y este hecho se utiliza para demostrar otros teoremas. En
algunos casos particulares se puede determinar el valor de c garantizado por el
teorema, como se muestra en el ejemplo siguiente.
Ejemplo de aplicacin. Si(x) =x
2
, se pide determinar el valor de c con una
aproximacin de centsimas tal que
(x)Jx
3
1
=(c)(31)
Solucin se calcula
_ x
2
Jx
3
1
=
x
3
3
_
3
1
=_
3
3
3

1
3
3
_ =8.666.
Por tanto se desea obtener c tal que (c)(2) =8.667
Esto es c
2
=4.333
c =2.08
c =2.08 se descarta -2.08 porque no pertenece al intervalo [1, 3] y se tiene
(x)Jx
3
1
=(2.08)(3 1)
El valor (c) dado por el teorema del valor medio para integrales se denomina
valor promedio(o valor medio) de en el intervalo [a,b]. es una generalizacin de
la media aritmtica de un conjunto finito de nmeros. Es decir, si {(x
1
), (x
2
),.,
(x
n
) } es un conjunto de n nmeros, entonces la media aritmtica de estos
nmeros est dada por
](x
i
)
n
i=1
n

Teorema 6.
Sea f:[a,b] y c [a,b] entonces se cumple:
A).
_ (x)dx =_ (x)dx +
c
a
_ (x)dx
h
c
h
a

Demostracin: Supongamos al principio que a < c < b, y formamos la suma
integral para la funcin f(x) en el segmento [a,b].






Puesto que el limite de la suma integral no depende del modo de dividir el
segmento [a,b] en partes iguales, lo dividimos en gegmentos pequeos de tal
manera que c sea el punto de divisin. Descompongamos luego la suma: la
suma integral ,
b
u
que corresponde al gegmento [a,b] en dos sumas: una ,
c
u
que
corresponde al segmento [a,c] y la otra ,
b
c
que es correspondiente al segmento
[c.b].
Entonces:
()
b
u
Ax =()
c
u
Ax +()
b
c
Ax
Tomando lmites (en la ltima ecuacin) para mx x0 obtenemos la correccin
a).
Si a <b <c, en virtud de lo demostrado podemos escribir:
_ (x)Jx =_ (x)Jx +
c
u
_ (x)Jx
b
c
b
u


_ (x)Jx =_ (x)Jx
c
u
_ (x)Jx
b
c
b
u

Pero, de acuerdo con la frmula (IV) tenemos:
_ (x)Jx =
c
b
_ (x)Jx
b
c

Por esto:
_ (x)Jx =_ (x)Jx +
c
u
_ (x)Jx
b
c
b
u

De modo analgico se puede mostrar en cualquiera otraposicion de los puntos
a.b.c:
De la figura geomtrica el teorema (VI) para el caso en que f(x)>0, y a<c <b: el
rea del trapecio aABb es igual a la suma de las reas de los trapecios aACc y
cCBb.

B). Si a=b, y f est definida en x=a:
_ (x)dx =
a
a

Demostracin:
El intervalo [a,a] contiene un solo punto x=a, de modo que cualquier particin p de
[a,a] tiene la forma p={x=a, x=a}
De modo que el conjunto de las imgenes {f(x) /x [a,a]}={f(a) }consiste de un
solo punto f(a) el cual coincidir con su supremo y si nfimo.
m(f,p) =inf {f(x)/x [a,a] }=f(a)
M(f,p) =sup{f(x)/x [a,a] }=f(a)
L (f,p) = m(f,p)xi
1
=1

=m(f,p)(x-x)=f(a)(a-a)=0
U (f,p) = m(f,p)xi
1
=1

=M(f,p)(x-x)=f(a)(a-a)=0
_ =sup_
I(,p)
p
pt_ =sup{0}=0
u
-u

_ =inf _
I(,p)
p
pt_ =inf{0}=0
-u
u

Entonces,

_ =
u
u
_ =0
u
-u

C). (x)dx =
h
-a
(x)dx
a
h


Demostracin: si b >a es inmediato aplicando

_ (x) =(c)(b o)
u
b

Donde a<c<b





CO N CLU SI O N ES
Se han probado la validez de los teoremas con justificaciones necesarias. Esto
refuerza la comprensin del estudiante universitario en el estudio de clculo integral
particularmente en integrales definidas. El estudiante se apoyar en estos teoremas
para la resolucin y planteamiento de soluciones viables de aplicaciones de
integrales.

BI BLI O GRAFA
Leithold Louis Oxford university Press 7 ed. El Clculo .
Walter Rudin 3ed. Principios de Anlisis Matemtico .