Intuicin geomtrica
Supngase que se tiene una funcin continua y = f(x) y que su representacin grfica es una curva. Entonces, para cada valor de x tiene sentido de manera intuitiva pensar que existe una funcin A(x) que representa el rea bajo la curva entre 0 y x an sin conocer su expresin. Supngase ahora que se quiere calcular el rea bajo la curva entre x y x+h. Se podra hacer hallando el rea entre 0 y x+h y luego restando el rea entre 0 y x. En resumen, el rea de esta especie de "loncha" sera A(x+h) A(x).
El rea rayada en rojo puede ser calculada como h f(x), o si se conociera la funcin A(X), como A(x+h) A(x). Estos valores son aproximadamente iguales para valores pequeos de h.
Otra manera de estimar esta misma rea es multiplicar h por f(x) para hallar el rea de un rectngulo que coincide aproximadamente con la "loncha". Ntese que la aproximacin al rea buscada es ms precisa cuanto ms pequeo sea el valor de h. Por lo tanto, se puede decir que A(x+h) A(x) es aproximadamente igual a f(x) h, y que la precisin de esta aproximacin mejora al disminuir el valor de h. En otras palabras, (x)h A(x+h) A(x), convirtindose esta aproximacin en igualdad cuando h tiende a 0 como lmite. Dividiendo los dos lados de la ecuacin por h se obtiene
Cuando h tiende a 0, se observa que el miembro derecho de la ecuacin es sencillamente la derivada A(x) de la funcin A(x) y que el miembro izquierdo se queda en (x) al ya no estar h presente. Se muestra entonces de manera informal que (x) = A(x), es decir, que la derivada de la funcin de rea A(x) es en realidad la funcin (x). Dicho de otra forma, la funcin de rea A(x) es la antiderivada de la funcin original.
Teorema fundamental del clculo Lo que se ha mostrado es que, intuitivamente, calcular la derivada de una funcin y "hallar el rea" bajo su curva son operaciones "inversas", es decir el objetivo del teorema fundamental del clculo integral.
Consecuencia directa del primer teorema fundamental del clculo infinitesimal es:
Siendo f(t) una funcin integrable sobre el intervalo [a(x),b(x)] con a(x) y b(x) derivables.
Demostracin
Lema Sea '''''' integrable sobre Entonces y
Demostracin Por definicin se tiene que Sea h>0. Entonces Se define y como: , Aplicando el 'lema' se observa que . Por lo tanto, . .
Sea
. Sean , .
, entonces, . Puesto que , se tiene que . Y como es continua en c se tiene que , y esto lleva a que .
Ejemplos
Enunciado
Dada una funcin f(x) continua en el intervalo [a,b] y sea F(x) cualquier funcin primitiva de f, es decir F '(x) = f(x). Entonces
Demostracin
Sea . Tenemos por el primer teorema fundamental del clculo que: . Por lo tanto, tal que Observamos que .
Ejemplos
Referencias
APOSTOL, Clculus (http://books.google.es/books?id=Z5-JhzoChqIC&lpg=PR3&dq=Apostol, Calculus, Vol.1:&hl=es&pg=PR3#v=onepage&q&f=false) SPIVAK, Clculo Infinitesimal (http://books.google.es/books?id=mjdXY8rshREC&lpg=PP1&dq=Spivak& hl=es&pg=PP1#v=onepage&q=Spivak&f=false)
Enlaces externos
El descubrimiento del clculo integral (http://www.uam.es/personal_pdi/ciencias/barcelo/histmatem/calculo/ calculo.html) Universidad Autnoma de Madrid Interpretacin grfica del Teorema Fundamental del Clculo (http://recursos.pnte.cfnavarra.es/~msadaall/ geogebra/figuras/d7teorema.html) Manuel Sada Allo Weisstein, Eric W. Teorema fundamental del clculo (http://mathworld.wolfram.com/ FundamentalTheoremsofCalculus.html) (en ingls). MathWorld. Wolfram Research. Demostracin Euclidiana del TFC (http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument& nodeId=388&bodyId=343) James Gregory, en Convergence (http://mathdl.maa.org/convergence/1/) (en ingls) Isaac Barrow's proof of the Fundamental Theorem of Calculus (http://www.maths.uwa.edu.au/~schultz/3M3/ L18Barrow.html) (en ingls)
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/