Teorema Fundamental del cálculo:

Dada una función f integrable sobre el intervalo [a,b], definimos F sobre [a,b] por

con fijo. El teorema dice que si f es continua en

, entonces F es derivable en c y F'(c) = f(c).

Demostración:

Lema importante

Sea f integrable sobre [a,b] y

Entonces

Demostración

Hipótesis:

Sea .
Sea f función integrable sobre el intervalo [a,b] y continua en c.

Sea F una función sobre [a,b] definida así: con

Tesis:

F'(c)=f(c)

Por definición se tiene que .

Sea h>0. Entonces .

Se define mh y Mh como:

Aplicando el 'lema' se observa que

 .

Por lo tanto,

Sea h < 0. Sean

,
.

Aplicando el 'lema' se observa que

Como

entonces

Puesto que h < 0, se tiene que

Y como f es continua en c se tiene que

y esto lleva a que