DERIVADAS AVANZADAS: TEOREMA DE ROLLE, VALOR MEDIO Y REGLA DE L'HÔPITAL

Mientras que la definición de la derivada se centra en lo que ocurre en un punto microscópico (un instante exacto), los teoremas del cálculo diferencial establecen un puente extraordinario: nos permiten deducir el comportamiento global de una función en todo un intervalo basándonos únicamente en sus derivadas.

A continuación, se presenta la investigación analítica sobre los tres teoremas más trascendentales del cálculo diferencial.

1. El Teorema de Rolle

Concepto Fundamental:

El matemático francés Michel Rolle formuló un principio geométrico elemental pero poderoso: si una curva suave comienza y termina exactamente a la misma altura, obligatoriamente tuvo que haber dejado de subir y empezado a bajar (o viceversa) en algún punto intermedio. En ese punto de inflexión, la pendiente es perfectamente horizontal.

Enunciado Matemático Formal:

Sea $f$ una función que satisface tres hipótesis estrictas:

1. $f$ es continua en el intervalo cerrado $[a, b]$.
2. $f$ es derivable en el intervalo abierto $(a, b)$.
3. Los valores en los extremos son iguales: $f(a) = f(b)$.

Entonces, el Teorema de Rolle garantiza que existe al menos un número $c$ en el intervalo $(a, b)$ tal que:

$$ f'(c) = 0 $$

Demostración Analítica (Aplicación):

Dada la función cinemática de un proyectil $f(t) = -4.9t^2 + 19.6t$, que representa su altura.

Evaluamos en $t = 0$ y $t = 4$:

• $f(0) = 0$
• $f(4) = -4.9(16) + 19.6(4) = -78.4 + 78.4 = 0$

Como $f(0) = f(4)$, el Teorema de Rolle afirma que debe existir un instante $c$ entre 0 y 4 donde la velocidad (derivada) sea cero.

Derivamos: $f'(t) = -9.8t + 19.6$.

Igualamos a cero para encontrar $c$:

$$ -9.8c + 19.6 = 0 \implies c = 2 $$

Efectivamente, en $t = 2$ segundos (el punto más alto de la trayectoria parabólica), la pendiente es cero.

2. El Teorema del Valor Medio (Mean Value Theorem - MVT)

Concepto Fundamental:

El Teorema del Valor Medio (atribuido a Joseph-Louis Lagrange) es la generalización suprema del Teorema de Rolle. Físicamente establece que, en cualquier viaje, la velocidad instantánea debe ser igual a la velocidad promedio en al menos un instante exacto. (Si conduces 100 km en 1 hora, tu velocidad promedio es 100 km/h. El MVT demuestra que en algún segundo exacto de ese viaje, tu velocímetro marcó exactamente 100 km/h).

Enunciado Matemático Formal:

Sea $f$ una función continua en el intervalo cerrado $[a, b]$ y derivable en el abierto $(a, b)$.

Entonces, existe al menos un punto $c$ en $(a, b)$ tal que la derivada en $c$ es igual a la pendiente de la recta secante que une los extremos $(a, f(a))$ y $(b, f(b))$:

$$ f'(c) = \frac{f(b) - f(a)}{b - a} $$

(Nota: Si $f(a) = f(b)$, la pendiente de la secante es cero, y el MVT colapsa exactamente en el Teorema de Rolle).

Demostración Analítica:

El Teorema del Valor Medio se demuestra construyendo una nueva función $h(x)$ que representa la diferencia vertical entre la curva $f(x)$ y la recta secante que conecta sus extremos.

La ecuación de la recta secante es $y = f(a) + m_{sec}(x - a)$, donde $m_{sec} = \frac{f(b) - f(a)}{b - a}$.

Definimos:

$$ h(x) = f(x) - \left[ f(a) + m_{sec}(x - a) \right] $$

Evaluando en los extremos: $h(a) = 0$ y $h(b) = 0$.

Como $h(a) = h(b) = 0$, podemos aplicar el Teorema de Rolle a esta nueva función $h(x)$. Debe existir un $c$ tal que $h'(c) = 0$.

Derivando $h(x)$:

$$ h'(x) = f'(x) - m_{sec} $$

Al igualar $h'(c) = 0$:

$$ f'(c) - m_{sec} = 0 \implies f'(c) = m_{sec} = \frac{f(b) - f(a)}{b - a} $$

(Queda demostrado formalmente que la tangente en $c$ es paralela a la secante general).

3. Regla de L'Hôpital

Concepto Fundamental:

A menudo, al intentar evaluar el límite de una fracción matemática, nos encontramos con un muro algebraico donde tanto el numerador como el denominador tienden a cero ($\frac{0}{0}$) o tienden a infinito ($\frac{\infty}{\infty}$). Estas se conocen como Formas Indeterminadas.

El matemático Guillaume de L'Hôpital (utilizando el trabajo de Johann Bernoulli) demostró que el límite de una fracción indeterminada es dictado por la "velocidad" a la que el numerador y el denominador se acercan a sus destinos. Las derivadas son, por definición, las medidas de esas velocidades.

Enunciado Matemático Formal:

Supongamos que $f$ y $g$ son derivables y que $g'(x) \neq 0$ en un intervalo abierto que contiene a $a$.

Si el límite $\lim_{x \to a} \frac{f(x)}{g(x)}$ produce la forma indeterminada $\frac{0}{0}$ o $\frac{\pm \infty}{\pm \infty}$, entonces:

$$ \lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)} $$

(Siempre que el límite del lado derecho exista o sea $\pm \infty$).

Advertencia Crucial: La Regla de L'Hôpital NO utiliza la Regla del Cociente. Se debe derivar el numerador por separado y el denominador por separado.

Demostración Analítica (El límite trigonométrico fundamental):

Evaluar el límite central del cálculo trigonométrico: $\lim_{x \to 0} \frac{\sin(x)}{x}$

1. Evaluación directa:
2. Sustituyendo $x=0$, obtenemos $\frac{\sin(0)}{0} = \frac{0}{0}$. Es una forma indeterminada válida para L'Hôpital.
3. Aplicación de la Regla:
4. Derivamos el numerador: $\frac{d}{dx}[\sin(x)] = \cos(x)$
5. Derivamos el denominador: $\frac{d}{dx}[x] = 1$
6. Nuevo límite:
7. Sustituimos las derivadas en la fracción:
8. $$ \lim_{x \to 0} \frac{\cos(x)}{1} $$
9. Evaluación final:
10. $$ \frac{\cos(0)}{1} = \frac{1}{1} = 1 $$

El límite es exactamente 1. La Regla de L'Hôpital resolvió analíticamente en dos pasos un límite cuya demostración geométrica clásica requiere teoremas de compresión (Squeeze Theorem) y trigonometría compleja.