Demostrar el teorema fundamental del cálculo

Publicado el 24 noviembre, 2020 por Rodrigo Ricardo

El teorema fundamental del cálculo

Cualquier teorema llamado “el teorema fundamental” tiene que ser bastante importante. De hecho, este es el teorema que vincula el cálculo derivado con el cálculo integral. Este teorema tiene dos partes. En esta lección, mostramos cómo probar cada una de las dos partes.

Primera parte: una función y su derivada

Una función es continua si no faltan puntos cuando graficamos la función. Si f es continua en [ a , b ], entonces la función F definida por:

F (x) = int_a ^ x_f (t) _dt, a & lt; = x & lt; = b

  • es continuo en [ a , b ]
  • se puede diferenciar en [ a , b ]
  • F ′ ( x ) = f ( x )


f es continuo
f_is_continuous

Echemos un vistazo más de cerca a esta función, F ( x ):

F (x) = int_a ^ x_f (t) dt_ & lt; _ = x & lt; _ = b

En el lado derecho tenemos el área bajo la curva, f ( t ), entre a y x :


F (x) es el área bajo la curva de a a x
F (x) _es_el_área_bajo_la_curva_desde_a_x

Podemos tomar la derivada de F ( x ) usando la definición de la derivada:

F_prime (x) = lim_delta_x-to-0_F (x + delta_x) -F (x) _todos_divididos_por_delta_x

Usando nuestra definición de F ( x ):

= lim_delta_x-to-0_int_a ^ x + delta_x + f (t) dt-int_a ^ x_f (t) dt_all_divided_by_delta_x

La primera integral:


El área de a a x + delta x
El_área_desde_a_to_x + delta_x

La segunda integral es el área desde a hasta x . Por lo tanto, si restamos la segunda integral de la primera, obtenemos la zona de x a x + Δ x :

int_x ^ x + delta_x_f (t) dt

Por tanto, la derivada de F ( x ) es:

F_prime (x) = lim_delta_x_to_0_1_over_delta_x_int_x ^ x + delta_x_f (t) dt

Hay un valor, c , entre x = a y x = b . Si tenemos f ( c ) multiplicado por Δ x , entonces esta área es la misma que la integral de f ( t ) desde x hasta x + Δ x :


Para algunos c, el área del rectángulo es igual al área bajo la curva
Para_algunos_c, _el_área_del_rectángulo_equiva_el_área_bajo_la_curva

Otra forma de decir esto es:

f (c) delta_x = int_x ^ x + delta_x_f (t) dt

Dividiendo ambos lados por Δ x :

f (c) = (1 / delta_x) int_x ^ x + delta_x_f (t) dt

Comparando esto con nuestra definición de la derivada de F ( x ):

F_prime (x) = lim_delta_x-to-0_f (c)

Pero cuando Δ x va a 0, c va al punto de la izquierda en este intervalo, que es x . Por tanto, F ′ ( x ) = f ( x ).

Esto prueba la primera parte del teorema fundamental del cálculo porque dice que cualquier función continua tiene una anti-derivada. Si diferencia la anti-derivada de una función, obtiene la función. Diferenciar F ( x ) da f ( x ). Por tanto, la anti-derivada de f ( x ) es F ( x ).

Segunda parte: evaluar una integral definida usando la anti-derivada

La segunda parte del teorema fundamental del cálculo dice que si f es continua en el intervalo de a a b , entonces

int_a ^ b_f (t) dt = F (b) -F (a)

donde F es cualquier anti-derivado de f .

Comenzamos esta parte de la demostración definiendo una función g ( x ):

g (x) = int_a ^ x_f (t) dt

De la primera parte del teorema, sabemos g ′ ( x ) = f ( x ). Ahora, definimos otra función h ( x ):

h (x) = g (x) -F (x)

Diferenciando ambos lados:

h_prime_ (x) = f_prime_ (x) -F_prime_ (x)

Pero g ′ ( x ) = f ( x ) y F ′ ( x ) = f ( x ).

Por lo tanto, h ′ ( x ) = 0. Esto significa que h ( x ) es constante en [ a , b ].

En particular, h ( b ) = h ( a ). Usando la definición de h ( x ) y reemplazando x con by luego con a :

g (b) -F (b) = g (a) -F (a)

Escribiendo g ( b ) como sujeto:

g (b) = g (a) + F (b) -F (a)

Regrese a nuestra definición de g ( x ). En esta definición, usamos una integral de f ( t ) desde a hasta x . Ahora podemos escribir:

int_a ^ b_f (t) dt = int_a ^ a_f (t) dt + F (b) -F (a)

La integral del lado derecho de a a a es igual a 0. Por lo tanto,

int_a ^ b_f (t) dt = F (b) -F (a)

Esto es exactamente lo que queríamos demostrar en la segunda parte del teorema. Entonces, hemos terminado.

Resumen de la lección

Una función es continua si no faltan puntos cuando graficamos la función. Si diferencia la anti-derivada de una función, obtiene la función. La primera parte del teorema fundamental del cálculo dice que una función continua tendrá una anti-derivada y, además, esta anti-derivada es continua. La segunda parte del teorema fundamental del cálculo dice que la integral de una función f ( t ) de a a b es igual a la anti-derivada de f ( t ) evaluada en b menos la anti-derivada de f ( t ) evaluada en b .

Articulos relacionados