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)=∫0 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.