Teorema fundamental del cálculo

El teorema fundamental del cálculo consiste (intuitivamente) en la afirmación de que la derivación e integración de una función son operaciones inversas.​ Esto significa que toda función acotada e integrable (siendo continua o discontinua en un número finito de puntos) verifica que la derivada de su integral es igual a ella misma. Este teorema es central en la rama de las matemáticas denominada análisis matemático o cálculo infinitesimal.

El teorema fue fundamental porque hasta entonces el cálculo aproximado de áreas -integrales- en el que se venía trabajando desde Arquímedes, era una rama de la matemática que se seguía por separado del cálculo diferencial que se venía desarrollando por Isaac Newton, Isaac Barrow y Gottfried Leibniz en el siglo XVIII, y dio lugar a conceptos como el de las derivadas. Las integrales eran investigadas como formas de estudiar áreas y volúmenes, hasta que en ese punto de la historia ambas ramas convergieron, al demostrarse que el estudio del «área bajo una función» estaba íntimamente vinculado al cálculo diferencial, resultando la integración la operación inversa a la derivación.

Una consecuencia directa de este teorema es la regla de Barrow,​ denominada en ocasiones segundo teorema fundamental del cálculo, y que permite calcular la integral de una función utilizando la integral indefinida de la función al ser integrada.

Historia

El teorema fundamental del cálculo se refiere a la diferenciación e integración, demostrando que estas dos operaciones son esencialmente inversas la una de la otra. Antes del descubrimiento de este teorema, no se reconoció que estas dos operaciones estaban relacionadas. Los antiguos matemáticos griegos sabían cómo calcular el área a través de los infinitesimales, una operación que ahora llamaríamos integración. Los orígenes de la diferenciación son también anteriores al teorema fundamental del cálculo en cientos de años; por ejemplo, en el siglo XIV las nociones de continuidad de funciones y de movimiento eran estudiadas por los calculadores de Oxford y otros estudiosos. La relevancia histórica del teorema fundamental del cálculo no es la capacidad de calcular estas operaciones, sino la constatación de que estas dos operaciones distintas en apariencia (cálculo de áreas geométricas y cálculo de velocidades) estaban finalmente en estrecha relación.

La primera declaración publicada y prueba de una versión restringida del teorema fundamental fue hecha por James Gregory (1638–1675).​ Isaac Barrow (1630–1677) demostró una versión más generalizada del teorema,​ mientras que el estudiante de Barrow, Isaac Newton (1642–1727), completó el desarrollo de la teoría matemática concernida. Gottfried Leibniz (1646–1716) sistematizó el conocimiento en un cálculo de las cantidades infinitesimales e introdujo la notación utilizada en la actualidad.

Intuición geométrica

El área rayada en rojo puede ser calculada como $h$ veces $f(x)$, o, si se conociera la función $A(x)$, como $A(x+h)-A(x)$. Estos valores son aproximadamente iguales, especialmente para valores pequeños de $h$.

Supóngase que se tiene una función continua $y=f(x)$ cuya representación gráfica es una curva. Entonces, para cada valor de $x$ tiene sentido de manera intuitiva pensar que existe una función $A(x)$ que representa el área bajo la curva entre $0$ y $x$ aún sin conocer su expresión.

Supóngase ahora que se quiere calcular el área bajo la curva entre $x$ y $x+h$. Se podría hacer hallando el área entre $0$ y $x+h$ y luego restando el área entre $0$ y $x$. En resumen, el área sería $A(x+h)-A(x)$.

Otra manera de estimar esta misma área es multiplicar $h$ por $f(x)$ para hallar el área de un rectángulo que coincide aproximadamente con la «loncha». Nótese que la aproximación al área buscada es más precisa cuanto más pequeño sea el valor de $h$.

Por lo tanto, se puede decir que $A(x+h)-A(x)$ es aproximadamente igual a $f(x)\cdot h$, y que la precisión de esta aproximación mejora al disminuir el valor de $h$. En otras palabras, $f(x)\cdot h\approx A(x+h)-A(x)$, convirtiéndose esta aproximación en igualdad cuando $h$ tiende a 0 como límite.

Dividiendo los dos lados de la ecuación por $h$ se obtiene

$f(x)\approx {\frac {A(x+h)-A(x)}{h}}$

Cuando $h$ tiende a $0$, se observa que el miembro derecho de la ecuación es sencillamente la derivada $A'(x)$ de la función $A(x)$ y que el miembro izquierdo se queda en $f(x)$ al ya no estar $h$ presente.

Se muestra entonces de manera informal que $f(x)=A'(x)$, es decir, que la derivada de la función de área $A(x)$ es en realidad la función $f(x)$. Dicho de otra forma, la función de área $A(x)$ es la antiderivada de la función original.

Lo que se ha mostrado es que, intuitivamente, calcular la derivada de una función y «hallar el área» bajo su curva son operaciones «inversas», es decir, el objetivo del teorema fundamental del cálculo integral.

Primer teorema fundamental del cálculo

Teorema

Sea $f$ una función integrable en el intervalo $[a,b],$ definimos $F$ en $[a,b]$ como

$F(x)=\int _{a}^{x}f(t)dt$

si $f$ es continua en $c\in (a,b)$, entonces $F$ es diferenciable en $c$ y

$F'(c)=f(c)$

Lema

Sea $f$ integrable sobre $[a,b]$ y $m\leq f(x)\leq M\quad \forall \;x\in [a,b]$ entonces

$m(b-a)\leq {\int _{a}^{b}f(t)dt}\leq M(b-a)$

Demostración

Está claro que

$m(b-a)\leq L(f,P)\leq U(f,P)\leq M(b-a)$

para toda partición $P$. Puesto que

$\int _{a}^{b}f(t)dt=\sup {L(f,P)}=\inf {U(f,P)}$

la desigualdad se sigue inmediatamente.

Demostración 1

Por definición se tiene que

$F'(c)={\lim _{h\rightarrow 0}{\frac {F(c+h)-F(c)}{h}}}$

Sea $h>0$ entonces

$F(c+h)-F(c)={\int _{c}^{c+h}f(t)dt}$

Se definen $m_{h}$ y $M_{h}$ como:

${\begin{aligned}m_{h}&=\inf\{f(x)|c\leq x\leq c+h\}\\M_{h}&=\sup\{f(x)|c\leq x\leq c+h\}\end{aligned}}$

Aplicando el lema se observa que:

$m_{h}\cdot h\leq {\int _{c}^{c+h}f(t)dt}\leq M_{h}\cdot h$

Por lo tanto,

$m_{h}\leq {\frac {F(c+h)-F(c)}{h}}\leq M_{h}$

Sean $h<0$ y

${\begin{aligned}{m}_{h}^{*}&=\inf\{f(x)|c+h\leq x\leq c\}\\{M}_{h}^{*}&=\sup\{f(x)|c+h\leq x\leq c\}\end{aligned}}$

Aplicando el lema se observa que

${m}_{h}^{*}\cdot (-h)\leq {\int _{c+h}^{c}f(t)dt}\leq {M}_{h}^{*}\cdot (-h)$

Como

$F(c+h)-F(c)={\int _{c}^{c+h}f(t)dt}=-{\int _{c+h}^{c}f(t)dt}$

entonces

${M}_{h}^{*}\cdot h\leq F(c+h)-F(c)\leq {m}_{h}^{*}\cdot h$

Puesto que $h<0$, se tiene que

${m}_{h}^{*}\leq {\frac {F(c+h)-F(c)}{h}}\leq {M}_{h}^{*}$

Y como $f$ es continua en $c$ se tiene que

$\lim _{h\rightarrow 0}m_{h}=\lim _{h\rightarrow 0}M_{h}=\lim _{h\rightarrow 0}{m}_{h}^{*}=\lim _{h\rightarrow 0}{M}_{h}^{*}=f(c)$

y esto lleva a que

$F'(c)={\lim _{h\rightarrow 0}{\frac {F(c+h)-F(c)}{h}}}=f(c)$

Demostración 2

Otra demostración del teorema fundamental del cálculo

Cogiendo un intervalo cerrado $[a,x]$ sobre $[a,b]$, ya que $f(t)$ es continua en $[a,b]$, también lo será en $[a,x]$. Según el teorema del valor medio para integrales se cumple que: $\exists \xi \in [a,x]:\quad f(\xi )={\frac {1}{x-a}}\int _{a}^{x}f(t)dt$ Haciendo el intervalo muy pequeño de tal manera que $x\longrightarrow \ a$ y debido a esa tendencia se tiene también que $\xi \longrightarrow \ a$ Por lo que en los límites se llega a: $\lim _{\xi \to a}f(\xi )=\lim _{x\to a}{\frac {\int _{a}^{x}f(t)dt}{x-a}}$ Sabemos que : $\int _{a}^{a}f(t)dt=0$ Entonces la ecuación se la puede escribir como : $\lim _{\xi \to a}f(\xi )=\lim _{x\to a}{\frac {\int _{a}^{x}f(t)dt-\int _{a}^{a}f(t)dt}{x-a}}$ Dado que $F(x)=\int _{a}^{x}f(t)dt$ , entonces $F(a)=\int _{a}^{a}f(t)dt$ $\lim _{\xi \to a}f(\xi )=\lim _{x\to a}{\frac {F(x)-F(a)}{x-a}}$ Y debido a que $f(t)$ es continua en a, entonces $\lim _{\xi \to a}f(\xi )=f(a)$ $f(a)=\lim _{x\to a}{\frac {F(x)-F(a)}{x-a}}$ Vista la ecuación de otra manera: $f(x)|_{x=a}={\frac {dF(x)}{dx}}|_{x=a}$ Por lo tanto ${\frac {dF(x)}{dx}}=f(x)$ o también ${\frac {d}{dx}}\int _{a}^{x}f(t)dt=f(x)$ Y en consecuencia $\forall c\in (a,b):\quad {\frac {d}{dx}}\int _{a}^{x}f(t)dt\ |_{x=c}=f(c)$ Con ello se demuestra el primer teorema fundamental del cálculo.

Consecuencias

Corolario

Si $f$ es continua en $[a,b]$ y $f=g'$ para alguna función $g$ entonces

$\int _{a}^{b}f(t)dt=g(b)-g(a)$

Demostración

Sea

$F(x)=\int _{a}^{x}f(t)dt$

entonces $F'=f=g'$ en $[a,b]$, por lo que $\exists \;c\in \mathbb {R}$ tal que

$F=g+c$

Nótese que

$0=F(a)=g(a)+c$

de donde se sigue que $c=-g(a)$; así

$F(x)=g(x)-g(a)$

En particular cuando $x=b$ entonces

$\int _{a}^{b}f(t)dt=F(b)=g(b)-g(a)$

En ocasiones a este corolario se le llega a denominar como el «segundo teorema fundamental del cálculo».

Si utilizamos la regla de la cadena obtenemos como consecuencia directa del primer teorema fundamental del cálculo

${\dfrac {\mathop {} \!\mathrm {d} }{\mathop {} \!\mathrm {d} x}}{\int _{a(x)}^{b(x)}f(t)\mathop {} \!\mathrm {d} t}=f(b(x))\cdot b^{\prime }(x)-f(a(x))\cdot a^{\prime }(x)$

siendo ${\textstyle f(t)}$ una función continua sobre el intervalo $\left[a(x),b(x)\right]$ donde $a(x)$ y $b(x)$ son funciones diferenciables.

Ejemplos

Ejemplo 1

Si

$F(x)=\int _{0}^{x}t^{2}dt$

entonces

$F'(x)=x^{2}$

Ejemplo 2

Si

$H(x)=\int _{0}^{e^{3x}}\operatorname {sen}(t)dt$

entonces

${\begin{aligned}H'(x)&=\operatorname {sen} \left(e^{3x}\right)e^{3x}\cdot 3\\&=3e^{3x}\operatorname {sen} \left(e^{3x}\right)\end{aligned}}$

Ejemplo 3

Si

$G(x)=\int _{0}^{x^{2}}{\text{arcsen}}(t)dt$

entonces

${\begin{aligned}G'(x)&={\text{arcsen}}(x^{2})\cdot 2x\\&=2x\;{\text{arcsen}}(x^{2})\end{aligned}}$

Ejemplo 4

Si

$J(x)=\int _{0}^{\int _{a}^{x}{\frac {1}{(1+\operatorname {sen} ^{2}t)}}dt}{\frac {1}{(1+\operatorname {sen} ^{2}t)}}dt$

entonces

$J'(x)={\frac {1}{\left(1+\operatorname {sen} ^{2}(\int _{a}^{x}{\frac {1}{(1+\operatorname {sen} ^{2}t)}}dt)\right)}}\,\cdot \,{\frac {1}{(1+\operatorname {sen} ^{2}x)}}$

Segundo teorema fundamental del cálculo

El segundo teorema fundamental del cálculo integral (o regla de Newton-Leibniz, o también regla de Barrow, en honor al matemático inglés Isaac Barrow, profesor de Isaac Newton) es una propiedad de las funciones continuas que permite calcular fácilmente el valor de la integral definida a partir de cualquiera de las primitivas de la función.

Teorema

Sea $f$ una función integrable en el intervalo $[a,b]$ y $f=g'$ para alguna función $g$ entonces

$\int _{a}^{b}f(x)dx=g(b)-g(a)$

Demostración

Sea ${\mathcal {P}}=\{t_{0}<\cdots <t_{n}\}$ partición cualquiera del intervalo $[a,b]$, por el teorema del valor medio $\exists \;x_{i}\in [t_{i-1},t_{i}]$ tal que

${\begin{aligned}g(t_{i})-g(t_{i-1})&=g'(x_{i})(t_{i}-t_{i-1})\\&=f(x_{i})(t_{i}-t_{i-1})\end{aligned}}$

Si

${\begin{aligned}m_{i}&=\inf\{f(x):t_{i-1}\leq x\leq t_{i}\}\\M_{i}&=\sup\{f(x):t_{i-1}\leq x\leq t_{i}\}\end{aligned}}$.

entonces

$m_{i}(t_{i}-t_{i-1})\leq f(x_{i})(t_{i}-t_{i-1})\leq M_{i}(t_{i}-t_{i-1})$

es decir

$m_{i}(t_{i}-t_{i-1})\leq g(t_{i})-g(t_{i-1})\leq M_{i}(t_{i}-t_{i-1})$

Sumando estas ecuaciones para $i=1,2,\dots ,n$ se obtiene

$\sum _{i=1}^{n}m_{i}(t_{i}-t_{i-1})\leq g(b)-g(a)\leq \sum _{i=1}^{n}M_{i}(t_{i}-t_{i-1})$

de manera que

${\mathcal {L}}(f,{\mathcal {P}})\leq g(b)-g(a)\leq {\mathcal {U}}(f,{\mathcal {P}})$

para toda partición de ${\mathcal {P}}$, por lo tanto

$\int _{a}^{b}{f(t)}\,dt=g(b)-g(a)$

Ejemplos

Considérese la integral

$\int _{0}^{\pi }\cos(x)dx$

Se tiene que $F(x)=\operatorname {sen}(x)$ pues $F'(x)=f(x)=\cos(x)$ por lo que

${\begin{aligned}\int _{0}^{\pi }\cos(x)dx&=\operatorname {sen}(x){\bigg |}_{0}^{\pi }\\&=\operatorname {sen}(\pi )-\operatorname {sen}(0)\\&=0\end{aligned}}$

Considérese la integral

$\int _{1}^{e}{\frac {dx}{x}}$

Se tiene que $F(x)=\ln(x)$ pues $F'(x)=f(x)=1/x$ por lo que

${\begin{aligned}\int _{1}^{e}{\frac {dx}{x}}&=\ln(x){\bigg |}_{1}^{e}\\&=\ln(e)-\ln(1)\\&=1\end{aligned}}$

Como se puede integrar inmediatamente.

Véase también

• Métodos de integración
• Regla de Leibniz
• Integral de Riemann

Referencias

• APOSTOL, Cálculus
• SPIVAK, Cálculo Infinitesimal

Bibliografía adicional

• Apostol, Tom M. (1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra (en inglés) (2nd edición), New York: John Wiley & Sons, ISBN 978-0-471-00005-1, (requiere registro) .
• Bartle, Robert (2001), A Modern Theory of Integration (en inglés), AMS, ISBN 0-8218-0845-1 .
• Leithold, L. (1996), The calculus of a single variable (en inglés) (6th edición), New York: HarperCollins College Publishers .
• Rudin, Walter (1987), Real and Complex Analysis (en inglés) (third edición), New York: McGraw-Hill Book Co., ISBN 0-07-054234-1 .
• Courant, Richard; John, Fritz (1965), Introduction to Calculus and Analysis (en inglés), Springer .
• Larson, Ron; Edwards, Bruce H.; Heyd, David E. (2002), Calculus of a single variable (en inglés) (7th edición), Boston: Houghton Mifflin Company, ISBN 978-0-618-14916-2 .
• Antoni Malet, Studies on James Gregorie (1638-1675) (PhD Thesis, Princeton, 1989).(en inglés)
• Hernández Rodríguez, O. A.; Lopez Fernández, J. M. . "Teaching the Fundamental Theorem of Calculus: A Historical Reflection", Loci: Convergence (MAA), January 2012. (en inglés)
• Stewart, J. (2003), «Fundamental Theorem of Calculus», Calculus: early transcendentals (en inglés), Belmont, California: Thomson/Brooks/Cole .
• Turnbull, H. W., ed. (1939), The James Gregory Tercentenary Memorial Volume (en inglés), London .

Enlaces externos

• El descubrimiento del cálculo integral – Universidad Autónoma de Madrid
• Interpretación gráfica del Teorema Fundamental del Cálculo – Manuel Sada Allo
• Weisstein, Eric W. «Teorema fundamental del cálculo». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Demostración Euclidiana del TFC – James Gregory, en Convergence (en inglés)
• Isaac Barrow's proof of the Fundamental Theorem of Calculus (en inglés)

• Datos: Q1217677
• Multimedia: Fundamental theorem of calculus / Q1217677