Regla de l'Hôpital
# Regla de l'Hôpital

En matemáticas, más específicamente en el cálculo diferencial, la regla de l'Hôpital o regla de l'Hôpital-Bernoulli es una regla que usa derivadas para ayudar a evaluar límites de funciones que estén en forma indeterminada.

Esta regla recibe su nombre en honor al matemático francés del siglo XVII Guillaume François Antoine, marqués de l'Hôpital (1661 - 1704), quien dio a conocer la regla en su obra Analyse des infiniment petits pour l'intelligence des lignes courbes (1696), el primer texto que se ha escrito sobre cálculo diferencial, aunque actualmente se sabe que la regla se debe a Johann Bernoulli, que fue quien la desarrolló y demostró. La explicación es que ambos habían entrado en un curioso arreglo de negocios por medio del cual el marqués de L'Hopital compró los derechos de los descubrimientos matemáticos de Bernoulli.

## Enunciado

La regla de L'Hôpital es una consecuencia del Teorema del valor medio de Cauchy que se da solo en el caso de las indeterminaciones del tipo ${\frac {0}{0}}$ o ${\frac {\infty }{\infty }}$.

* Sean f y g dos funciones continuas definidas en el intervalo [a,b], derivables en (a,b) y sea c perteneciente a (a,b) tal que f(c)=g(c)=0 y g'(x)≠0 si x≠c.
* Si existe el límite L de f '/g' en c, entonces existe el límite de f/g (en c) y es igual a L. Por lo tanto,
* $\lim _{x\to c}{f(x) \over g(x)}=\lim _{x\to c}{f'(x) \over g'(x)}=L$
* Guillaume de l'Hôpital

### Demostración

El siguiente argumento se puede tomar como una «demostración» de la regla de L'Hôpital, aunque en realidad, una demostración rigurosa requiere de argumentos de tipo $\varepsilon$-$\delta$ más delicados.

* Como $g(c)=0$ y $g'(x)\neq 0$ si $x\neq c$, se tiene que $g(x)\neq 0$ si $x\neq c$ como consecuencia del Teorema de Rolle.
* Dado que f(c)=g(c)=0, aplicando el Teorema del Valor Medio de Cauchy, para todo x en (a,b), con x distinto de c, existe $t_x$ en el intervalo de extremos a y b, tal que el cociente f(x)/g(x) se puede escribir de la siguiente manera:

   ${\cfrac {f(x)}{g(x)}}={\cfrac {f(x)-f(c)}{g(x)-g(c)}}={\cfrac {f'(t_{x})}{g'(t_{x})}}$
* Cuando x tiende hacia c, igualando los valores de las igualdades de arriba, $t_x$ también tiende hacia c, así que:

   $\lim _{x\to c}{\cfrac {f(x)}{g(x)}}=\lim _{x\to c}{\cfrac {f'(t_{x})}{g'(t_{x})}}=L$

Nota: el último paso al límite, aunque es cierto, requeriría una justificación más rigurosa.

## Ejemplos

La regla de l'Hôpital se aplica para salvar indeterminaciones que resultan de reemplazar el valor numérico al llevar al límite las funciones dadas. La regla dice que se deriva el numerador y el denominador por separado; es decir: sean las funciones originales f(x)/g(x), al aplicar la regla se obtendrá: f'(x)/g'(x).

### Aplicación sencilla

    $\lim _{x\to 0}{\frac {\operatorname {sen}(x)}{x}}={\cfrac {0}{0}}$
    $\lim _{x\to 0}{\frac {\operatorname {sen}(x)}{x}}\quad \xrightarrow {\mathrm {l'H{\hat {o}}pital} } \quad \lim _{x\to 0}{\frac {\cos(x)}{1}}$
    $={\frac {1}{1}}=1$

### Aplicación consecutiva

Mientras la función sea n veces continua y derivable, la regla puede aplicarse n veces:

    $\lim _{x\to 0}{\frac {e^{x}-e^{-x}-2x}{x-\operatorname {sen}(x)}}$
    ${\xrightarrow {\mathrm {l'H{\hat {o}}pital} }}\quad \lim _{x\to 0}{\frac {e^{x}-(-e^{-x})-2}{1-\cos(x)}}$
    $\xrightarrow {\mathrm {l'H{\hat {o}}pital} } \quad \lim _{x\to 0}{\frac {e^{x}-e^{-x}}{\operatorname {sen}(x)}}$
    ${\xrightarrow {\mathrm {l'H{\hat {o}}pital} }}\quad \lim _{x\to 0}{\frac {e^{x}-(-e^{-x})}{\cos(x)}}={\frac {e^{0}+e^{-0}}{\cos(0)}}={\frac {1+1}{1}}=2$

## Adaptaciones algebraicas

Dada la utilidad de la regla, resulta práctico transformar otros tipos de indeterminaciones al tipo ${\begin{matrix}{\frac {0}{0}}\end{matrix}}$ mediante transformaciones algebraicas:

### Cocientes incompatibles

Las indeterminaciones de tipo ${\begin{matrix}{\frac {\infty }{\infty }}\end{matrix}}$ se pueden transformar mediante la doble inversión de los cocientes:

    $\lim _{x\to \infty }{\cfrac {x^{4}}{x}}=\lim _{x\to \infty }{\cfrac {\cfrac {1}{x}}{\cfrac {1}{x^{4}}}}$

De esta forma se puede demostrar que las indeterminaciones de tipo ${\begin{matrix}{\frac {\infty }{\infty }}\end{matrix}}$ también se pueden resolver por medio de la aplicación de la regla de L'Hôpital de forma directa, sin aplicación de la doble inversión.

### Indeterminaciones no cocientes

A veces algunos límites indeterminados que no se presentan como cocientes pueden ser resueltos con esta regla, recurriendo a transformaciones previas que lleven a un cociente del tipo ${\cfrac {0}{0}}$ o ${\cfrac {\infty }{\infty }}$.

* Tipo $0\cdot \infty$

    Se trata de hacer una transformación como $0\cdot \infty ={\cfrac {0}{\cfrac {1}{\infty }}}={\cfrac {0}{0}}$ o $0\cdot \infty ={\cfrac {\infty }{\cfrac {1}{0}}}={\cfrac {\infty }{\infty }}$

El más clásico:

    $\lim _{x\to 0}x\cdot \log(x)=\lim _{x\to 0}{\cfrac {\log(x)}{\cfrac {1}{x}}}\quad {\xrightarrow {\mathrm {l'H{\hat {o}}pital} }}\quad \lim _{x\to 0}{\cfrac {\cfrac {1}{x}}{\cfrac {-1}{x^{2}}}}=\lim _{x\to 0}(-x)=0$
* Tipo $\infty -\infty$

    $\lim _{x\to \infty }x-{\sqrt {x^{2}-x}}=$
    $=\lim _{x\to \infty }{\cfrac {\left(x+{\sqrt {x^{2}-x}}\right)\left(x-{\sqrt {x^{2}-x}}\right)}{x+{\sqrt {x^{2}-x}}}}=\lim _{x\to \infty }{\cfrac {x^{2}-(x^{2}-x)}{x+{\sqrt {x^{2}-x}}}}=\lim _{x\to \infty }{\cfrac {x}{x+{\sqrt {x^{2}-x}}}}$
    $=\lim _{x\to \infty }{\cfrac {\overbrace {x} ^{\infty }}{\underbrace {x+{\sqrt {x^{2}-x}}} _{\infty }}}={\cfrac {\infty }{\infty }}$
    $\lim _{x\to \infty }{\cfrac {x}{x+{\sqrt {x^{2}-x}}}}\quad {\xrightarrow {\mathrm {l'H{\hat {o}}pital} }}\quad \lim _{x\to \infty }{\cfrac {(x)'}{(x+{\sqrt {x^{2}-x}})'}}=$
    $=\lim _{x\to \infty }{\cfrac {1}{1+{\cfrac {2x-1}{2{\sqrt {x^{2}-x}}}}}}={\cfrac {1}{1+1}}={\cfrac {1}{2}}$

## Generalizaciones

* La regla de L'Hôpital vale para límites laterales, límites en el infinito y límites infinitos.
* La regla de L'Hôpital se puede extender a funciones escalares de n variables que sean diferenciables. Dadas dos funciones diferenciables f y g tales que f(c) = g(c) = 0, se tiene:

   $\lim _{\mathbf {x} \to \mathbf {c} }{\frac {f(\mathbf {x} )}{g(\mathbf {x} )}}=\lim _{\mathbf {x} \to \mathbf {c} }{\frac {\nabla f(\mathbf {x} )\cdot (\mathbf {x-c} )}{\nabla g(\mathbf {x} )\cdot (\mathbf {x-c} )}}=\lim _{\mathbf {x} \to \mathbf {c} }{\frac {\|\nabla f(\mathbf {x} )\|}{\|\nabla g(\mathbf {x} )\|}}\left({\frac {\cos \theta _{f}}{\cos \theta _{g}}}\right)$
    $\nabla f\nabla g$, representan los gradientes de ambas funciones escalares.
    $\mathbf {a} \cdot \mathbf {b}$, representa el producto escalar de dos vectores.
    $\|\cdot \|$, representa la norma de un vector.
    $\theta _{f}$, es el ángulo formado por el gradiente de f y el vector $\mathbf {x-c}$.
    $\theta _{g}$, es el ángulo formado por el gradiente de g y el vector $\mathbf {x-c}$.
