1

1.4 TEOREMAS FUNDAMENTALES DEL CLCULO

Estos teoremas relacionan los conceptos de derivada de una funcin con el
de integral definida y nos dan elementos para calcular integrales definidas.

Primer teorema fundamental. Sea f una funcin continua en un
intervalo I, I a y G definida como sigue

= =
x
a
x
a
dt t f f x G ) ( ) (
Para I x , entonces G es derivable sobre I y f G = == = sobre I.
Demostracin. Sea I h x h I x +
0 0
que tal , 0 , .
(1)

+ + +
= + = = +
h x
x
h x
a
a
x
x
a
h x
a
dt t f dt t f dt t f dt t f dt t f x G h x G
0
0
0
0
0 0
) ( ) ( ) ( ) ( ) ( ) ( ) (
0 0


(2) ) (
) ( ) )( (
) (
1
0
0 0 0 0
0
0
0
x f
h
h x f
h
x h x x f
dt x f
h
h x
x
= =
+
=

+

Sustituimos en la siguiente expresin
(3) ( )

+ + +
= =
+
h x
x
h x
x
h x
x
dt x f t f
h
dt x f
h
dt t f
h
x f
h
x G h x G
0
0
0
0
0
0
) ( ) (
1
) (
1
) (
1
) (
) ( ) (
0 0 0
0 0
,
Luego, como f es continua en x
0
, para cada 0 > existe 0 >
Tal que si f t Dom y <
0
0 x t entonces < ) ( ) ( 0
0
x f t f
Tomando < h y < < h x t
0
entonces < ) ( ) (
0
x f t f
Por las propiedades 6 y 5 de integrales,

( ) h dt dt x f t f dt x f t f
h x
x
h x
x
h x
x
= <

+ + +
0
0
0
0
0
0
) ( ) ( ) ( ) (
0 0
usando (3) y esta ltima
expresin tenemos
( )

= < =
+

+
h
h
dt x f t f
h
x f
h
x G h x G
h x
x
0
0
) ( ) (
1
) (
) ( ) (
0 0
0 0

Por lo tanto ) (
) ( ) (
) (
0
0 0
0
0 lim
x f
h
x G h x G
x G
h
=
+
=

para toda I x
0
.

Ejemplo. Sea x x f 2 3 ) ( + ++ + = == = en | | 5 , 1 y 4 = == = a .

X
Y
4
x
) 11 , 4 (
) 2 3 , ( x x +
2
Se puede una expresin explcita de la regla de correspondencia para ) ( x G
28 3 ) 7 )( 4 (
2
) 2 14 )( 4 (
2
) 2 3 11 )( 4 (
2
) (
trapecio del rea ) ( ) (
2
4
+ ++ + = == = + ++ + = == =
+ ++ +
= == =
+ ++ + + ++ +
= == =
+ ++ +
= == = = == = = == =

x x x x
x x x x
b B h
dt t f x G
x


Se satisface ) ( 3 2 ) ( x f x x G = + =
Qu sucede si x es menor que 4 = == = a

2
) (
trapecio del rea ) ( ) ( ) (
4
4
b B h
dt t f dt t f x G
x
x
+ ++ +
= == = = == = = == = = == =

porque 4 < << < x
28 3 ) 7 )( 4 (
2
) 2 14 )( 4 (
2
) 2 3 11 )( 4 (
) (
2
+ ++ + = == = + ++ + = == =
+ ++ +
= == =
+ ++ + + ++ +
= == = x x x x
x x x x
x G
Obtenemos la misma expresin anterior.

Qu sucede si cambiamos el valor de 4 = == = a por 2 = == = a

10 3 ) 5 )( 2 (
2
) 2 10 )( 2 (
2
) 2 3 7 )( 2 (
2
) (
trapecio del rea ) ( ) (
2
2
+ ++ + = == = + ++ + = == =
+ ++ +
= == =
+ ++ + + ++ +
= == =
+ ++ +
= == = = == = = == =

x x x x
x x x x
b B h
dt t f x G
x

Tambin se satisface ) ( 3 2 ) ( x f x x G = == = + ++ + = == = , la diferencia de las dos
expresiones para ) ( x G es el valor de la constante.

Hacemos hincapi en las condiciones de la afirmacin del Primer Teorema
Fundamental: si

= == = = == =
x
a
x
a
dt t f f x G ) ( ) ( , entonces ) ( ) ( x f x G = == =
X
Y
2
x
) 7 , 2 (
) 2 3 , ( x x +
X
Y
4
x
) 11 , 4 (
) 2 3 , ( x x +
3
- La funcin f del integrando es continua,
- La funcin f depende de una variable diferente a la del extremo
superior de la integral
- El extremo inferior de la integral es una constante en el intervalo de
continuidad
- la variable de la cual depende G aparece en el extremo superior de
la integral.

Para aplicarlo en forma correcta al derivar expresiones como las siguientes:
i)
x
x G
t
dt
x G
x
1
) ( ) (
1
= == = = == =


ii)
x
x
t
e x G dt e x G = == = = == =


) ( ) (
2

iii) 0 ) ( ) (
9
2
= == = = == =

x G dt t x G observe que la variable x no aparece
en la expresin del lado derecho que define a G .
iv) senx x G sentdt sentdt x G
x
x
= == = = == = = == =

) ( ) (
0
0
se cambio el orden de
los lmites de integracin para adecuarlo al P.T.F.C.
v) ) (cos
1
1
) (
1
1
) (
2
1
2
x
x sen
x G dt
t
x G
senx
+ ++ +
= == =
+ ++ +
= == =


se aplico la regla de
la cadena puesto que la variable x tiene la composicin de
primero aplicarle seno y despus ponerla en el extremo superior
de la integral.
vi)

+ ++ + = == = + ++ + = == = = == =
x
a
x
a
x
a
a
x
x
x
tdt tdt tdt tdt x G tdt x G ln ln ln ln ) ( ln ) (
Como en los dos extremos de la integral aparece la variable x , se
separa en un punto ) , 0 ( a donde t ln es continua, luego
( (( ( ) )) ) x
x
x x G ln
2
1
ln ) ( + ++ + | || |

| || |

\ \\ \
| || |
= == =
vii)


= == = = == =
2 /
2 /
2 /
2 /
) (

arcsentdt x xarcsentdt x G la variable x es constante en

la integral cuyo integrando depende de t



= == =
2 /
2 /
) (

arcsentdt x G
viii)

= == = = == =
x x
arcsentdt x xarcsentdt x G
0 0
) ( como x es constante en el
integrando se aplica la regla para la derivada de una
multiplicacin de funciones
4
xarcsenx arcsentdt x G
x
+ ++ + = == =

0
) (
ix)
| || |
| || |

| || |


\ \\ \
| || |
| || |
| || |

| || |


\ \\ \
| || |
= == =

x y
dy tdt sen sen x G
0 0
2
cos ) ( es una composicin, por la regla de
la cadena derivamos la funcin seno y lo aplicamos al argumento
| || |
| || |

| || |


\ \\ \
| || |
| || |
| || |

| || |


\ \\ \
| || |

x y
dy tdt sen
0 0
2
cos , y se multiplica por la derivada del
argumento, la cual se obtiene aplicando el P.T.F.C.

| || |
| || |

| || |


\ \\ \
| || |
| || |
| || |

| || |


\ \\ \
| || |
| || |
| || |

| || |


\ \\ \
| || |
= == =

x x y
tdt sen dy tdt sen x G
0
2
0 0
2
cos cos cos ) (


Definicin. Sea ) (x f una funcin, una antiderivada o una primitiva o
una integral indefinida para f es una funcin ) (x F que satisface
) ( ) ( x f x F = == = .

Primitivas bsicas

+ = k cx cdx

+ = c x xdx tan sec

2

+
+
=
+
c
n
x
dx x
n
n
1
1

+ = c x xdx cot csc

2

+ = c x
x
dx
ln

+ = c x xdx x sec tan sec

+ = c e dx e
x x

+ = c x xdx x csc cot csc

+ = c x senxdx cos

+ =

c arcsenx
x
dx
2
1

+ = c senx xdx cos

+ =
+
c x
x
dx
arctan
1
2

+ =

c x arc
x x
dx
sec
1
2


Segundo teorema fundamental. Sea f una funcin continua en un
intervalo I , y F una funcin derivable sobre I , tal que f F = == = ,
entonces para cualesquiera I b a , ,

= == = = == =
b
a
b
a
a F b F f F ) ( ) ( .
Demostracin. Sea

= == =
x
a
f x G ) ( por el primer teorema fundamental f G = == =
sobre I, entonces existe una constante c tal que c F G + ++ + = == = y
c x F f x G
x
a
+ ++ + = == = = == =

) ( ) (
5
Como 0 ) ( = a G entonces ) (a F c = == = , por lo tanto
) ( ) ( ) ( a F b F f b G
b
a
= == = = == =

.

Ejemplo. Calcule 1 ) 0 ( ) 2 / ( cos
2 /
0
= == = = == =

sen sen xdx

Teorema del valor medio para integrales. Sea f continua sobre | | b a, ,
entonces existe un nmero c en ) , ( b a tal que


= == =
b
a
f
a b
c f
1
) ( .
Es decir ) ( ) ( c f a b f
b
a
= == =

.
Demostracin. Sea

=
x
a
f x G ) ( para | | b a x ,
Por el primer teorema fundamental G es derivable sobre | | b a, y f G = == = ,
por teorema del valor medio para derivadas, existe c en ) , ( b a tal que
a b
a G b G
c G


= == =
) ( ) (
) ( ,
Como ) ( ) ( c f c G = == = , 0 ) ( = == = a G y

= == =
b
a
f b G ) ( , entonces
| || |
| || |

| || |


\ \\ \
| || |

= == =

b
a
f
a b
c f
1
) ( .

Ejemplo. x x x f 2 3 ) (
2
= == = en el intervalo | || | | || | 4 , 1 . Encontrar c que satisfaga
el T.V.M. para integrales.
Calculamos | || | 48 ) 1 1 ( 16 64 ) 2 3 (
4
1
2 3
4
1
2
= == = = == = = == =

x x dx x x
3 = == = a b , y sustituimos en la expresin
| || |
| || |

| || |


\ \\ \
| || |

= == =

b
a
f
a b
c f
1
) (
16 48
3
1
2 3
2
= == = = == = c c
3
8
, 2 ) 2 )( 8 3 ( 0 16 2 3
2
= == = = == = + ++ + = == = = == = c c c c c c
| || | | || | 4 , 1
3
8
= == = c satisface el teorema.

Ejemplo.
2
2
4 4
) (
x
x
x f
+ ++ +
= == = en el intervalo | || | | || | 3 , 1 . Encontrar c que satisfaga el
T.V.M. para integrales.
6
Calculamos
3
32
) 4 4 (
3
4
12
4
4
4
4
4 4
3
1
3
1
2
3
1
2
2
= == = = == =
( (( (

( (( (
= == = + ++ + = == =
+ ++ +

x
x dx
x
dx
x
x

2 = == = a b , y sustituimos en la expresin
| || |
| || |

| || |


\ \\ \
| || |

= == =

b
a
f
a b
c f
1
) (
3
16
3
32
2
1 4 4
2
2
= == = | || |

| || |

\ \\ \
| || |
= == =
+ ++ +
c
c

3 3 12 4 16 12 12
2 2 2 2
= == = = == = = == = = == = + ++ + c c c c c

| || | | || | 3 , 1 3 = == = c satisface el teorema.