El teorema fundamental del cálculo es fundamental para el estudio del cálculo. Es el teorema que muestra la relación entre la derivada y la integral y entre la integral definida y la integral indefinida. Se divide en dos partes, el primer teorema fundamental del cálculo y el segundo teorema fundamental del cálculo.
Primera parte (relación derivada–integral)
Enunciado informal: Si f es continua en un intervalo [a,b] y definimos una función F por
F(x) = ∫ax f(t) dt,
entonces F es diferenciable en (a,b) y su derivada es F'(x) = f(x) para todo x en (a,b).
Interpretación: integrar una función desde un punto fijo hasta x y luego derivar devuelve la función original. En otras palabras, la operación de derivación “invierte” la de integración cuando la integrando es continua.
Consecuencias y casos prácticos:
- Si f es continua, la función definida por la integral acumulada F(x)=∫ax f(t) dt es continua y diferenciable, y F'(x)=f(x).
- Si el límite superior de la integral es una función g(x) en lugar de x, es decir H(x)=∫ag(x) f(t) dt, entonces por la regla de la cadena H'(x)=f(g(x))·g'(x).
- Si f presenta discontinuidades aisladas, la conclusión mantiene versiones más débiles: F es continua y derivable en los puntos donde f es continua; en teorías más avanzadas (p. ej. Lebesgue) la igualdad F'(x)=f(x) se cumple casi en todas partes.
Ejemplo: Sea G(x)=∫0x sin(t) dt. Por la primera parte del teorema, G'(x)=sin(x). Si ahora consideramos H(x)=∫0x² sin(t) dt, entonces H'(x)=sin(x²)·2x.
Segunda parte (Newton–Leibniz: cálculo de integrales definidas)
Enunciado informal: Si f es continua en [a,b] y F es cualquier antiderivada de f en [a,b] (es decir, F'(x)=f(x)), entonces
∫ab f(x) dx = F(b) − F(a).
Esta parte es la que permite calcular integrales definidas de forma práctica: basta encontrar una antiderivada (una primitiva) F y evaluar la diferencia F(b) − F(a). Por eso en cálculo elemental las tablas de integrales y técnicas de integración (sustitución, partes, fracciones parciales, etc.) son tan útiles.
Ejemplo: Calcular ∫02 3x² dx. Una antiderivada de 3x² es F(x)=x³. Entonces
∫02 3x² dx = F(2) − F(0) = 2³ − 0 = 8.
Integral indefinida y relación con antiderivadas
La integral indefinida de f se escribe ∫ f(x) dx y representa la familia de todas las antiderivadas de f. Se expresa como
∫ f(x) dx = F(x) + C,
donde F'(x)=f(x) y C es una constante arbitraria.
La segunda parte del teorema fundamental explica por qué las antiderivadas sirven para calcular integrales definidas: la integral definida entre a y b es simplemente la diferencia entre dos miembros de esa familia (evaluados en b y a), por lo que la constante se cancela.
Condiciones y generalizaciones
- Condición clásica: continuidad de f en [a,b] garantiza las afirmaciones de ambas partes.
- Generalización (Riemann): si f es integrable en el sentido de Riemann, la función F(x)=∫ax f(t) dt es continua en [a,b] y diferenciable en los puntos donde f es continua.
- Generalización (Lebesgue): si f es integrable en el sentido de Lebesgue, la función F es absolutamente continua y su derivada existe y coincide con f casi en todas partes.
Consejos prácticos para usar el teorema
- Para calcular ∫ab f(x) dx: busca una primitiva F de f y evalúa F(b)−F(a).
- Si la integral tiene un límite superior que es una función g(x), usa la regla de la cadena para derivar la integral acumulada.
- Si f no es continua en todo el intervalo, identifica los puntos problemáticos y aplica definiciones de integral impropia o considera integrabilidad en sentido Lebesgue según el contexto.
- Utiliza técnicas de integración (sustitución, partes) para encontrar antiderivadas cuando no son evidentes.
Breve nota histórica
El teorema fundamental del cálculo enlaza las ideas de Isaac Newton y Gottfried Wilhelm Leibniz sobre la relación entre derivación e integración; por eso a veces se le llama teorema de Newton–Leibniz.
En resumen, el teorema fundamental del cálculo conecta la operación de sumar (integrar) con la de medir la tasa de cambio (derivar). Gracias a él, el cálculo de áreas y acumulados se reduce a encontrar antiderivadas y evaluarlas en los extremos del intervalo.
.gif)