¿Qué tan mal está? - Una "prueba" de la FTC que se me ocurrió en la escuela secundaria agitando la mano.

En cálculo de la escuela secundaria, me enseñaron por primera vez que el área bajo una curva F ( X ) entre X = a y X = b es dado por:

A = límite d X 0 a b F ( X ) d X

Entonces este límite se definió como la integral definida de F ( X ) de a a b , y me dijeron que confiara en que esto era igual a F ( b ) F ( a ) , dónde F ( X ) es la integral indefinida de F ( X ) .

Por supuesto, ahora sé que se trata de la FTC, pero en ese entonces no lo sabía, así que se me ocurrió mi propia "prueba" a través de un movimiento de manos. Lo que me gustaría saber es, ¿hasta qué punto fue esto una prueba de la FTC? ¿Qué falta?


dividir el intervalo ( a , b ) en norte regiones de ancho d X = b a norte . Entonces:

A = límite d X 0 d X i = 1 norte F ( X i )

Dejar F ( X ) = d d X F ( X ) , entonces F ( X i ) F ( X i + 1 ) F ( X i ) d X , de modo que:

A = límite d X 0 d X [ F ( X 2 ) F ( X 1 ) d X + F ( X 3 ) F ( X 2 ) d X + + F ( X norte + 1 ) F ( X norte ) d X ] = F ( X norte + 1 ) F ( X 1 )

Respuestas (2)

Lo que falta es la estimación del resto. tu reemplazas F ( X i ) por ( F ( X i + d X ) F ( X i ) ) / d X pero no escriba una estimación de la diferencia entre estos. Será la suma de todos norte estas diferencias multiplicadas por d X tienden a cero?

Su argumento puede convertirse en una prueba correcta cuando se nos permite asumir que la convergencia

límite h 0 F ( X + h ) F ( X ) h = F ( X )
es uniforme en X . Esto significa que, dado cualquier ϵ > 0 , hay un d > 0 tal que
| F ( X + h ) F ( X ) h F ( X ) | < ϵ ( a X b ,   0 < h < d )   .
Si este es el caso, tenemos
(1) F ( X ) h ϵ h F ( X + h ) F ( X ) = F ( X ) h + ϵ h ( a X b ,   0 < h < d )   .
ahora elegimos norte tan grande que h := b a norte < d y que al mismo tiempo i = 1 norte F ( X i ) h está dentro ϵ de a b F ( X )   d X . Entonces ( 1 ) implica (¡tenga en cuenta la suma telescópica!)
i = 1 norte F ( X i ) h ϵ ( b a ) F ( b ) F ( a ) i = 1 norte F ( X i ) h + ϵ ( b a )   ,
de modo que
| a b F ( X )   d X ( F ( b ) F ( a ) ) | ( 1 + b a ) ϵ   .
Como ϵ > 0 fue arbitraria la fórmula deseada sigue.