Matemtica I I

Integral Definida

Men Principal
Particiones.
Definicin: Integral Definida.
Teorema (Condicin Necesaria y suficiente para existencia de

f x dx ).
b

Teorema (Condicin Suficiente para la existencia de

f x dx).
b

Propiedades Bsicas de la Integral Definida

Definicin: Media
Teorema (Primer Teorema del Valor Medio del Clculo Integral).
Teorema (Primer Teorema Fundamental del Clculo Integral).
Teorema (Regla de Barrow).
Definicin: Integral Indefinida.
Aplicaciones Geomtricas de la Integral

SUMATORIAS

corresponde a la letra griega SIGMA.

La sumatoria se utiliza para representar la

suma de varios o infinitos sumandos.

SUMATORIAS
Consideremos:

k = Lmite Inferior.
n = Lmite Superior.

SUMATORIAS
Ejemplo:

Expresar abreviadamente:

1 + 2 + 3 + 4 +5 =

SUMATORIAS
Calcular el valor de:

SUMATORIAS
Expresar abreviadamente como sumatoria:

PROPIEDADES DE LAS SUMATORIAS

Sumatoria de una constante.
El a se va a repetir n veces, es

decir, n*a

PROPIEDADES DE LAS SUMATORIAS

Sumatoria del producto de una constante

con una variable

PROPIEDADES DE LAS SUMATORIAS

Sumatoria de una suma o resta de

dos o mas sucesiones.

PROPIEDADES DE LAS SUMATORIAS

Nmeros Pares.
Encontrar la expresin que permita calcular

la suma de los primeros 20 nmeros pares.

Nmeros Pares = 2N

Calcular

Frmulas de Clculo Abreviado.

Calcular la suma de los 100 primeros nmeros

naturales.

Calcular la suma de los primeros 100 nmeros

impares.

Suma de los Nmeros Impares

Calcular la suma de los primeros 60 nmeros impares.

EJERCICIOS.

Frmula para los trminos al cuadrado.

Calcular la suma de los primeros 10 nmeros

cuadrados.

Algunas Consideraciones
Las frmulas de clculo de las sumatorias,

como es el caso de una constante, trminos al

cuadrado, etc. se deben aplicar exclusivamente
a sumatorias que parten de 1, es decir,

En General:
Nos queda lo siguiente :

Ejemplo

Telescpica
En el desarrollo de algunas sumatorias puede

ocurrir que se eliminen trminos, quedando

reducidas a una mnima expresin.
Llamaremos propiedad telescpica a las
siguientes sumatorias.

Particiones
b

xo

x1

x2

xi

xn

P
Q

a x0 x1 x 2 ... x n b

xi xi xi 1

xi 0

mi ( f , P ) Inf { f ( x) / xi 1 x xi }
M i ( f , P ) Sup{ f ( x) / xi 1 x xi }

m mi ( f , P ) M i ( f , P ) M

Suma Inferior:
n

L( f , P ) mi ( f , P )xi m1 x1 m2 x 2 ...
i 1

Suma Superior:
n

U ( f , P ) M i ( f , P )xi M 1 x1 M 2 x 2 ...
f (x)

i 1

f (x)

Propiedades:
L( f , P ) U ( f , P )
Si Q es posterior a P

L( f , P ) L( f , Q)

U ( f , P) U ( f , Q)
m(b a ) L( f , P ) L( f , Q) U ( f , Q ) U ( f , P ) M (b a)

A {L( f , P ) / p P} {L1 , L2 ,..., Li }

B {U ( f , P ) / p P} {U 1 , U 2 ,..., U i }
m(b a)

L1

L2

Li

U1
SupA

I ab SupA

S ab InfB

U2

Ui

M (b a)

InfB
b

I S f ( x)dx
b
a

b
a

Definicin: Integral Definida

Sea f : [a, b] acotada, diremos que f es integrable
sobre [a,b] si y slo si I ab ( f ) S ab ( f ).
En este caso se denota
b

I ( f ) S ( f ) f ( x)dx
b
a

b
a

y se dice que este nmero es la integral definida de f

sobre [a,b].

Teorema (Condicin Necesaria y suficiente

b
para existencia de a f x dx )
Si f est acotada sobre [a,b], entonces f es integrable
sobre ese intervalo si y slo si para todo 0 existe
una particin P de [a,b] tal que:

U ( f , P ) L( f , P )
Demostracin:
Supongamos que para cada 0 P tal que
U ( f , P ) L( f , P ) . Entonces

0 S ( f ) I ( f ) U ( f , P) L( f , P)
b
a

b
a

b
b
I
(
f
)

S
De donde se sigue que a
a ( f ) , y f es integrable

sobre [a,b].

Teorema (Condicin Necesaria y suficiente

b
para existencia de a f x dx )
Recprocamente, supongamos que f es integrable sobre
[a,b]. Entonces b
b
b

I a ( f ) S a ( f ) f ( x)dx
a

Por lo tanto a f ( x)dx es el supremo del conjunto {L( f , P) | P }

y el nfimo del conjunto {U ( f , P) | P }.
Por la definicin de nfimo y supremo, para cada P1 , P2
existen particiones 0 tales que

a f ( x)dx L( f , P1 ) 2
y
b

U ( f , P2 ) f ( x)dx
a
2
b

P/ nfimos
P/ supremos

Teorema (Condicin Necesaria y suficiente

b
para existencia de a f x dx )
Sumando estas desigualdades, obtenemos
U ( f , P2 ) L( f , P1 )
Sea P P1 P2 , entonces P es un refinamiento tanto de P 1
como de P2. Por lo tanto,

U ( f , P) L( f , P) U ( f , P2 ) L( f , P1 ) .

Teorema (Condicin suficiente para existencia

b
de f x dx )
a

Si f : [a, b] es continua, entonces f es integrable

sobre [a,b].
Demostracin:
La continuidad f continua sobre [a,b] implica que f es
uniformemente continua sobre [a,b], y f acotada sobre
[a,b], por lo tanto f tiene un mximo y mnimo sobre cada
intervalo de [a,b].
Para cada particin P de [a,b] existen l i , u i [ xi 1 , xi ] tales
que mi ( f , P) f (li ) y mi ( f , P) f (u i ) .

Teorema (Condicin suficiente para existencia

b
de f x dx )
a

Tenemos entonces

U ( f , P ) L( f , P ) [ M i ( f , P ) mi ( f , P )]( xi xi 1 )
i 1
n

[ f (u i ) f (l i )]( xi xi 1 )
i 1

La continuidad uniforme de f sobre [a,b] implica que para

cada 0 0 tal que si x, y [a, b] y | x y |
se tiene

| f ( x) f ( y ) |
ba
Por lo tanto | P | implica
U ( f , P ) L( f , P )

( xi xi 1 )
ba

Por el teorema (Condicin necesaria y suficiente para la

b
existencia de a f x dx ) entonces, se sigue que f es integrable.-

Propiedades Bsicas de la Integral Definida

A continuacin enunciamos una serie de propiedades
bsicas de la integral definida.
b

cdx c(b a)
a

Si f y g son integrables en [a,b], entonces f + g es

integrable en [a,b] y
b

[ f ( x) g ( x)]dx a
a

f ( x)dx a g ( x)dx

Si f y g son integrables en [a,b], y f(x) g(x) para todo x [a, b]

Entonces

f ( x)dx g ( x)dx
a

Propiedades Bsicas de la Integral Definida

Si f es integrable en [a,b], entonces | f | es integrable en

[a,b] y
b
b

| f ( x)dx | f ( x)dx
a

Si f es integrable en el intervalo J y si a, b J con a<b

entonces

f ( x)dx f ( x)dx
a

Si f es integrable en [a,b] y c una constante, entonces cf

es integrable en [a,b] y
b

cf ( x)dx c

f ( x)dx

Definicin de Media

u1 u 2 ... u n , la media
Dado un conjunto de n nmeros
_
o promedio aritmtico u
de ellos est dado por
u1 u 2 ... u n 1 n
u
uk
n
n k 1
_

La integral definida nos permite extender este concepto a

los valores de una funcin sobre un intervalo.

Definicin de Media
Definicin:
Si f es integrable en un intervalo [a,b], la media de f sobre
[a,b] se define como
1 b
( f )
f ( x)dx

a
ba
Esta media tiene la siguiente interpretacin geomtrica: si

f ( x)dx

Es el rea bajo la grfica de la funcin f, como

b

( f )(b a ) f ( x)dx
a

Definicin de Media
Esto quiere decir que ( f ) es la altura de un rectngulo
con base b-a cuya rea es

f ( x)dx

El Teorema siguiente establece un resultado relacionado

con la media de una funcin continua.

Teorema (Valor Medio

del Clculo Integral)
Sea f : [a, b] continua. Entonces existe un nmero c (a, b)
tal que
.
f (c ) ( f )
Demostracin:
Como f es continua existen x1 , x 2 [a, b]
tales que f ( x1 ) f ( x) f ( x2 ) para todo x [a, b] . Integrando
entre a y b tenemos que

y dividiendo por

(b - a)

f ( x1 )(b a )

f ( x)dx f ( x 2 )(b a)

b f ( x ) dx
f ( x1 )(b a )
f ( x 2 )(b a )

a (b a )
(b a )
(b a )

Teorema (Valor Medio

del Clculo Integral)
b
1
f ( x1 )
f ( x)dx f ( x2 )

a
(b a )

Ahora por el teorema de los valores intermedios, existe un

valor c entre x1 y x2 tal que
b
1
f (c )
f ( x)dx

a
(b a )

Lo que demuestra el teorema anterior.

( f )

x1

x2

Teorema (Teorema fundamental

del Clculo Integral)
Sea f : [a, b] continua y sea G : [a, b] definida por
x

G ( x) f (t )dt . Entonces G es derivable en (a,b) y

a

G ' ( xo ) f ( x o ) Para todo x ( a, b)

Demostracin:
Sea xo ( a, b) y h 0 tal que xo h (a, b) . Queremos ver
que G ' ( xo ) f ( xo ) por un lado
G ( x o h) G ( x o )

xo h

xo

f (t )dt f (t )dt
a

xo

xo h

xo

f (t )dt

xo h

xo

f (t )dt

xo

f (t )dt f (t )dt
a

Teorema (Teorema fundamental

del Clculo Integral)
Usando esto ltimo tenemos que
1
G ( x o h) G ( x o )

lim
lim
h o h
h o
h

xo h

xo

f (t )dt
xo

xo h

Y aplicando el teorema del valor medio del clculo integral

del ltimo lmite podemos escribir
1
G ( x o h) G ( x o )
lim
lim f (c)h
h o
h o h
h
Donde
c xo

est entre xo y xo h , y como f es continua y

Cuando h 0 tenemos

Teorema (Primer teorema fundamental

del Clculo Integral)
1
G ( x o h) G ( x o )
lim
lim f (c)h
h o
h o h
h
lim f (c)
ho

f ( xo )
Esto es, G ' ( xo ) f ( xo ) lo que completa la demostracin.

Teorema (Regla de Barrow)

Sea f continua en un intervalo [a,b]. Si F es derivable en
[a,b] y si F ' ( x) f ( x) para todo x [ a, b] , entonces

f ( x)dx F (b) F (a )

Demostracin:
Como F es primitiva de f, entonces

F(x)=f(x)
Sea G funcin integral
a
G (a ) f 0
a

G ( x) f (t )dt
a

Por el primer Teorema fundamental G=f sobre [a,b]. Por

lo tanto G=F sobre [a,b], lo que indica que G y F difieren
en una constante, esto es,

Teorema (Regla de Barrow)

x

Como

G ( x) f (t )dt F ( x) c
a

G (a) 0

G (a) 0 F (a ) c , de donde c F (a ) , por lo tanto

f ( x)dx F (b) F (a )

Definicin: Integral Indefinida

Si F es una funcin primitiva de f, se llama integral
indefinida de f a la expresin:

f ( x)dx F ( x) c
donde, f es la funcin integrando, f ( x ) dx es el elemento
de integracin y es el smbolo integral.
Como la expresin

f ( x)dx F ( x) c

no determina un nico

resultado, da lugar a dos distintas interpretaciones:

f ( x)dx F ( x) c es una primitiva arbitraria de f.

f ( x ) dx F ( x ) c es el conjunto formado por todas las primitivas

de f.

Aplicaciones Geomtricas de la
Integral
Longitud de una curva
y f (x )

1 [ f ' ( x)]2 dx

rea entre dos curvas

y g (x)
y f (x)

A f ( x)dx g ( x)dx
b

A ( f ( x) g ( x))dx
a

f g

Aplicaciones Geomtricas de la
Integral
rea de sup. de revolucin
y f (x )

A 2 f ( x) 1 [ f ' ( x)]2 dx
a

Volumen de slidos de revolucin

b

rea de un crculo de radio r

V [ f ( x)]2 dx
a

x2 y2 r 2

y2 r 2 x2

y r 2 x2

f ( x) r 2 x 2