Teorema Fundamental del Cálculo

Cálculo y Matemáticas Avanzadas

El Teorema Fundamental del Cálculo vincula la diferenciación y la integración, mostrando que son operaciones inversas y ofreciendo una manera de evaluar integrales definidas.

Formula

\int_a^b f(x)\, dx = F(b) - F(a)

Definition

El Teorema Fundamental del Cálculo es el gran descubrimiento que conecta dos ideas que parecen distintas: las derivadas (tasas de cambio) y las integrales (áreas), mostrando que la integración y la diferenciación son operaciones opuestas, como la multiplicación y la división. Parte 1: si $f$ es continua en $[a,b]$, entonces $G(x) = \int_a^x f(t)\, dt$ es diferenciable y $G'(x) = f(x)$. Parte 2: si $F$ es cualquier antiderivada de $f$, entonces $\int_a^b f(x)\, dx = F(b) - F(a)$. El teorema se generaliza mucho más allá de una dimensión mediante el teorema de Stokes, $\iint_M d\omega = \int_{\partial M} \omega$, que unifica el TFC, el teorema de Green, el teorema de la divergencia y el teorema clásico de Stokes, mostrando que la derivada $d$ y el operador de frontera $\partial$ son operadores adjuntos.

Example

Para encontrar $\int_1^4 2x\, dx$, encuentra la antiderivada $F(x) = x^2$, luego resta: $F(4) - F(1) = 16 - 1 = 15$, sin necesidad de rectángulos. La Parte 1 en acción: $d/dx[\int_0^x \sin(t)\, dt] = \sin(x)$. La Parte 2 en acción: $\int_0^{\pi/2} \cos(x)\, dx = \sin(\pi/2) - \sin(0) = 1$. En una dimensión, el teorema de Stokes se reduce a $\int_a^b F'(x)\, dx = F(b) - F(a)$, el TFC mismo.

Key Insight

Este teorema es la razón por la que puedes saltarte dibujar rectángulos y simplemente usar antiderivadas, el puente entre las dos mitades del cálculo. La Parte 1 muestra que toda función continua tiene una antiderivada, aunque no puedas escribirla con funciones elementales, mientras que la Parte 2 hace que el cálculo sea práctico. El TFC es el caso unidimensional del teorema más profundo de la geometría diferencial, y cada fórmula de "integración por partes" o "cambio de variable" en cálculo multivariable se remonta a esta dualidad entre $d$ y $\partial$.