Supóngase que f es continua en [a,b].

x
1-Si g ( x)   f (t )dt , entonces g ' ( x)  f ( x)
a

b
2- 
a
f ( x)dx  F (b)  F (a) , donde F es cualquier

antiderivada de f, es decir F '  f

 Vamos a dar una justificación del teorema fundamental del
cálculo,
no es una demostración.

Observe la siguiente figura:

3
f ( x)dx   f ( xi* )( xi  xi 1 )
b
a
1
 Ahora, se aproxima la función f(x) por la derivada de una de
sus primitivas, F(x), se tiene:

F ( xi* )  F ( xi 1 ) F ( xi )  F ( xi 1 )
f ( x )  lim
*

xi  xi 1 xi  xi 1
i
xi1  xi

Se sustituye en la sumatoria,
3

 i )( xi  xi 1 )
b
 desplegándola:
 *
f ( x ) dx f ( x
a
1

f ( x1* )( x1  x0 )  f ( x2* )( x2  x1 )  f ( x3* )( x3  x2 ) 

F ( x1 ) F ( x2 )  F ( x1 ) F ( x3 )  F ( x2 )
( x1  x0 )  ( x2  x1 )  ( x3  x2 ) 
x1  x0 x2  x1 x3  x2
Simplificando:

F ( x1 )  F ( x0 )  F ( x2 )  F ( x1 )  F ( x3 )  F ( x2 ) 

 F ( x0 )  F ( x3 )  F (b)  F (a)

De donde obtenemos:

b
a
f ( x)dx  F (b)  F (a)

El teorema comprueba que la derivación e integración

son procesos inversos.