← Índice de temas
Módulo II · Funciones derivables · Tema 2.3

Límites y derivación: la regla de L'Hôpital

Cómo usar las derivadas para calcular límites que, a primera vista, «no se pueden hacer» ($\tfrac00$, $\tfrac\infty\infty$, $0\cdot\infty$, $\infty-\infty$, $1^\infty$, $0^0$, $\infty^0$), cuándo se puede usar la regla y cuándo no.

Libro oficial: Cálculo para Ingenieros, §2.3 (pp. 81-85)Complementos: Stewart §4.4 (pp. 301-307), Larson §8.7 (pp. 557-563)Ejercicios: E Ej. 2.24–2.33 (pp. 66-72)⏱ ~4 h de estudio
U oficial S Stewart L Larson E ejercicios X exámenes P propio — pasa el ratón (o toca) por cada etiqueta para ver libro y página; en pantallas anchas aparecen en el margen derecho.

0Antes de empezar U pp.81-82

La idea del tema en una frase

Definimos la derivada como un límite. Ahora se da la vuelta: la derivada ayuda a calcular límites. Cuando un cociente $\dfrac{f(x)}{g(x)}$ «se atasca» porque arriba y abajo tienden a $0$ (o a $\infty$), a veces basta mirar el cociente de las velocidades de cambio $\dfrac{f'(x)}{g'(x)}$. Además, con unos pocos trucos algebraicos, otras formas de atasco (productos, restas, potencias) se convierten en un cociente y entran en la misma máquina.

U p.81

Qué necesitas saber ya

Mapa del tema

ApartadoQué contieneDónde está
1 Indeterminacionespor qué $\tfrac00$ «no se sabe» y por qué la regla tiene sentidoS p.301-302
2 La reglaenunciado completo, condiciones, usos correctos e incorrectosU p.82-83 · S p.302-305 · L p.558-560
3 $0\cdot\infty$ y $\infty-\infty$cómo convertirlos en un cocienteU p.83-84 · S p.305-306 · L p.560, 563
4 Potencias$1^\infty$, $0^0$, $\infty^0$ y el número $e$U p.84-85 · S p.306-307 · L p.561-562
5 SucesionesL'Hôpital para $\lim_n a_n$ (Prop. 2.3)U p.85
6 Tabla-decisión«qué indeterminación tengo → qué hago»síntesis propia
7 Errores típicoslos siete fallos más frecuentesU · S · L · E
8 EjerciciosE 2.24–2.33 y 4 ejemplos propios, con recetaE pp.66-72

Qué se pide en los ejercicios

Los diez ejercicios de E son cálculo de límites: siempre hay que (1) reconocer el tipo de indeterminación sustituyendo, (2) transformarlo a $\tfrac00$ o $\tfrac\infty\infty$ si hace falta, (3) comprobar las condiciones de la regla, (4) derivar y calcular el nuevo límite (simplificando antes de sustituir) y (5) deshacer la transformación (por ejemplo, $e^{L}$). Uno es tipo test (2.29) y otro de sucesiones (2.33). E pp.66-72

Lo que U no dice del todo (y aquí se completa)

1) La hipótesis «si existe $\lim_{x\to a}\frac{f'}{g'}$» no aparece escrita en el enunciado de la regla de U (p. 82): véase el aviso «Sobre el enunciado de U» en el apartado 2.

2) U solo cita explícitamente $\infty^0$ y $1^\infty$; el tipo $0^0$ y la lista de formas no indeterminadas están en S y L. 3) U razona con «supongamos que $\lim_{x\to a}f^g=l$ y tomemos $\ln l$» (Ej. 2.12), lo cual da por hecho que el límite existe y es positivo; aquí usamos la forma $e^{g\ln f}$, que no supone nada.

U pp.82, 84 S p.302 L p.558

1Indeterminaciones: cuando «sustituir» no basta S pp.301-302

Idea intuitiva: una lucha entre arriba y abajo

En $\lim_{x\to a}\frac{f}{g}$ con $f\to0$ y $g\to0$, el numerador quiere hacer la fracción pequeña y el denominador quiere hacerla grande. Todo depende de quién se acerca más rápido a $0$. Con $\tfrac\infty\infty$ pasa lo mismo: Stewart lo describe como «una lucha entre numerador y denominador»: si gana el numerador el límite es $\infty$, si gana el denominador es $0$, y si empatan sale un número. Por eso «$\tfrac00$» no vale ni $0$, ni $1$, ni $\infty$: depende de las funciones.

S p.302
Tres límites, misma «forma» $\tfrac00$, tres respuestas distintas

Para $x\to0$: $\ \dfrac{3x}{x}\to3$, $\quad\dfrac{x^2}{x}=x\to0$, $\quad\dfrac{x}{x^2}=\dfrac1x\to+\infty$ (por la derecha). En los tres, numerador y denominador tienden a $0$. El símbolo $\tfrac00$ no es un número: es la etiqueta de una situación en la que hay que trabajar más.

P
Formas indeterminadas

Se llaman indeterminadas las situaciones en que, al sustituir el valor al que tiende la variable, aparece uno de los símbolos $$\frac00,\quad\frac{\infty}{\infty},\quad 0\cdot\infty,\quad \infty-\infty,\quad 1^{\infty},\quad 0^{0},\quad \infty^{0},$$ porque no determinan el valor (ni siquiera la existencia) del límite: hace falta un estudio adicional. Las dos primeras son las únicas a las que se aplica directamente la regla de L'Hôpital; las demás se transforman en ellas (apartados 3 y 4).

S pp.301-306 L pp.557-563

Por qué la regla tiene sentido (idea geométrica)

Si $f$ y $g$ son derivables y ambas valen $0$ en $a$, cerca de $a$ cada una se parece a su recta tangente: $f(x)\approx f'(a)(x-a)$ y $g(x)\approx g'(a)(x-a)$. Entonces $$\frac{f(x)}{g(x)}\approx\frac{f'(a)(x-a)}{g'(a)(x-a)}=\frac{f'(a)}{g'(a)}.$$ El factor $(x-a)$, que producía el «$0$ del atasco», se cancela y queda el cociente de pendientes. Esto es un argumento de plausibilidad (Stewart lo demuestra así solo para $f,g$ con derivada continua y $g'(a)\neq0$); la demostración general usa el teorema del valor medio de Cauchy. S pp.302-303 L p.558

m₁ m₂ a f g Ambas valen 0 en a y, cerca de a, son casi rectas: f ≈ m₁(x − a), g ≈ m₂(x − a) ⇒ f/g ≈ m₁/m₂ = f′(a)/g′(a)
Figura 1. Las rectas discontinuas son las tangentes en $a$, de pendientes $m_1=f'(a)$ y $m_2=g'(a)$. Cerca de $a$ cada función se confunde con su tangente; el cociente de funciones se parece al cociente de pendientes.

2La regla de L'Hôpital U pp.82-83

Regla de L'Hôpital (enunciado completo)

Sean $f,g$ funciones definidas y derivables en un entorno de $a$ (salvo quizá en $a$ mismo) y tales que $g'(x)\neq0$ cerca de $a$ (esto no excluye que $g'(a)=0$). Supongamos que $$\lim_{x\to a}f(x)=\lim_{x\to a}g(x)=0\qquad\text{o bien}\qquad \lim_{x\to a}f(x)=\pm\infty\ \text{ y }\ \lim_{x\to a}g(x)=\pm\infty ,$$ y que existe el límite del cociente de derivadas, $\displaystyle\lim_{x\to a}\frac{f'(x)}{g'(x)}=\ell\in\overline{\mathbb R}$ (es decir, $\ell$ es un número real, $+\infty$ o $-\infty$). Entonces $$\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}=\ell .$$ La regla sigue valiendo si se cambia «$x\to a$» por $x\to a^+$, $x\to a^-$, $x\to+\infty$ o $x\to-\infty$. (Si $a=+\infty$, «cerca de $a$» significa en un intervalo $(M,+\infty)$; si $a=-\infty$, en $(-\infty,M)$.)

U p.82 S pp.302-303 L p.558
Sobre el enunciado de U

U escribe la conclusión como «$\lim_{x\to a}\frac fg=\lim_{x\to a}\frac{f'}{g'}=\ell$» sin exigir explícitamente que este último límite exista; leído literalmente, parece afirmar que siempre existe. No es así: es una hipótesis, «si $\lim_{x\to a}\frac{f'}{g'}$ existe (o es $\pm\infty$)», como escriben S (p. 302: «si existe el límite del lado derecho») y L (Teorema 8.4, p. 558: «siempre que exista el límite por la derecha»). Larson lo subraya: «en realidad no sabe que el primer límite es igual al segundo hasta que se haya demostrado que existe el segundo». Y si $\lim_{x\to a}\frac{f'}{g'}$ no existe, la regla no dice nada (el límite original puede existir o no).

L p.559 S p.302 U p.82

Lista de comprobación antes de derivar

1 · ¿Es una indeterminación $\tfrac00$ o $\tfrac\infty\infty$? Sustituye (o calcula los límites de $f$ y de $g$ por separado). Si no lo es, no se puede usar la regla (ejemplo abajo).
2 · ¿$f$ y $g$ son derivables y $g'\neq0$ cerca de $a$? (puede fallar en el propio $a$.) Casi siempre se comprueba de un vistazo con la tabla de derivadas.
3 · ¿Existe $\lim_{x\to a}\frac{f'}{g'}$? Se ve después de derivar. Si es de nuevo $\tfrac00$ o $\tfrac\infty\infty$ y sigue cumpliendo (2), se puede aplicar la regla otra vez. Si no existe o «da vueltas», busca otro método.

Al derivar, se deriva el numerador y el denominador por separado; no se usa la regla del cociente. S p.303 L p.558

Ejemplo 1 (U Ej. 2.8): $\lim_{x\to0}\dfrac{\operatorname{sen}x}{x}$
  1. Tipo. Numerador y denominador tienden a $0$: $\tfrac00$.
  2. Condiciones. $\operatorname{sen}x$ y $x$ son derivables en todo $\mathbb R$ y $(x)'=1\neq0$.
  3. Derivamos. $\displaystyle\lim_{x\to0}\frac{\cos x}{1}=1$. Como este límite existe, el original vale $1$.

Ojo, matiz lógico: para derivar $\operatorname{sen}$ ya se usó que $\lim_{x\to0}\frac{\operatorname{sen}x}{x}=1$; así que este ejemplo sirve para practicar la regla, no para demostrar ese límite (sería un razonamiento circular).

U pp.82-83
Ejemplo 2 (U Ej. 2.9): aplicación reiterada, $\lim_{x\to+\infty}\dfrac{1+e^{x^2}}{x^3}$
  1. Tipo. $\tfrac\infty\infty$. Derivadas fáciles, $(x^3)'=3x^2\neq0$ para $x>0$.
  2. $\displaystyle\lim_{x\to\infty}\frac{1+e^{x^2}}{x^3}=\lim_{x\to\infty}\frac{2xe^{x^2}}{3x^2}=\lim_{x\to\infty}\frac{2e^{x^2}}{3x}$ (tras simplificar una $x$). Sigue siendo $\tfrac\infty\infty$ y cumple las condiciones.
  3. Otra vez: $\displaystyle\lim_{x\to\infty}\frac{2e^{x^2}}{3x}=\lim_{x\to\infty}\frac{4xe^{x^2}}{3}=+\infty$.
  4. Como el último límite existe (es $+\infty$), todos los anteriores valen $+\infty$ (se sube por la cadena de igualdades).
U p.83 L p.560
Truco de examen: simplifica antes de volver a derivar

Tras derivar, casi siempre se puede simplificar el cociente $\frac{f'}{g'}$ (cancelar un factor $x$, aplicar $\frac{\operatorname{sen}x}{x}\to1$, etc.). Muchas veces el factor que causaba el atasco desaparece y ya no hace falta derivar otra vez. Stewart lo hace en su Ejemplo 3 ($\frac{\ln x}{\sqrt[3]x}$) y en el Ejemplo 4.

S p.304
Error típico 1: aplicar la regla sin que haya indeterminación

Ejemplo de Stewart: $\displaystyle\lim_{x\to\pi^-}\frac{\operatorname{sen}x}{1-\cos x}$ (Stewart lo plantea con $x\to\pi$). El numerador tiende a $0$, pero el denominador tiende a $1-\cos\pi=2\neq0$: no es $\tfrac00$. Si «se aplica la regla» se obtiene $\frac{\cos x}{\operatorname{sen}x}\to-\infty$ (numerador $\to-1$, denominador $\to0^+$), ¡y es falso: el límite vale $0$! Lo correcto: como el denominador no se anula, se sustituye: $\frac{\operatorname{sen}\pi}{1-\cos\pi}=\frac02=0$. Larson da otro: $\lim_{x\to0}\frac{e^x}{x}$ no es indeterminado (arriba $\to1$, abajo $\to0$; el límite no existe como número: da $\pm\infty$ según el lado), y «aplicar la regla» daría el valor falso $1$.

S pp.304-305 L p.563
Error típico 2: creer que si $\lim_{x\to a} f'/g'$ no existe, el límite original tampoco

Contraejemplo: $\displaystyle\lim_{x\to+\infty}\frac{x+\operatorname{sen}x}{x}$. Es $\tfrac\infty\infty$ y $g'(x)=1\neq0$, pero $\frac{f'}{g'}=1+\cos x$ no tiene límite en $+\infty$ (oscila entre $0$ y $2$). La regla no dice nada; y sin embargo, directamente, $\frac{x+\operatorname{sen}x}{x}=1+\frac{\operatorname{sen}x}{x}\to1$ (cero por acotada). No es lo que ocurre en E 2.27, resuelto más abajo: allí $\lim_{x\to a}\frac{f'}{g'}$ sí existe (vale $1$), pero derivar no ayuda a calcularlo porque la expresión da vueltas.

P
Quién gana: $\ln x\ \ll\ x^p\ \ll\ a^x$

La regla demuestra una «escalera» que conviene memorizar (para $x\to+\infty$, $p>0$, $a>1$):

$\ln x\ \ll\ x^{p}\ \ll\ a^{x}$

donde $u\ll v$ significa $\frac uv\to0$: el logaritmo crece más despacio que cualquier potencia, y toda potencia crece más despacio que cualquier exponencial de base mayor que $1$.

Por qué. Logaritmo frente a potencia: $\displaystyle\lim_{x\to\infty}\frac{\ln x}{x^p}=\lim_{x\to\infty}\frac{1/x}{p\,x^{p-1}}=\lim_{x\to\infty}\frac{1}{p\,x^{p}}=0$ (regla, tipo $\tfrac\infty\infty$, $p>0$). Potencia frente a exponencial: para $p$ real, si $n\ge p$ es un entero y $x\ge1$, entonces $0\le x^p\le x^n$, luego $0\le\frac{x^p}{a^x}\le\frac{x^n}{a^x}\to0$ por E 2.32. Ejemplos en S Ej. 2-3.

S pp.303-304 P

3Productos y restas: $0\cdot\infty$ y $\infty-\infty$ U pp.83-84

Idea intuitiva

La regla solo entiende cocientes. Si tenemos un producto o una resta, el truco es fabricar un cociente sin cambiar el valor de la expresión. Como U escribe: «la regla no cita las indeterminaciones $\pm\infty\cdot0$, pero recordando esto podremos atacarlas».

U p.84

$0\cdot\infty$: pasar un factor «al otro lado»

Receta $0\cdot\infty$

Si $f\to0$ y $g\to\pm\infty$, entonces $$f\cdot g=\frac{f}{1/g}\qquad\text{(tipo }\tfrac00\text{)}\qquad\text{o bien}\qquad f\cdot g=\frac{g}{1/f}\qquad\text{(tipo }\tfrac\infty\infty\text{)}.$$ Se elige la versión cuyo denominador es más fácil de derivar; casi siempre conviene pasar al denominador la potencia ($x^k$), no el logaritmo.

U p.84 S p.305 L pp.560-561
Ejemplo 3 (U Ej. 2.11): $\lim_{x\to\frac\pi2^-}\left(x-\frac\pi2\right)\operatorname{tg}x$
  1. Tipo. $x-\frac\pi2\to0$ y $\operatorname{tg}x\to+\infty$ (por la izquierda): $0\cdot\infty$.
  2. Cociente. $\left(x-\frac\pi2\right)\operatorname{tg}x=\dfrac{x-\frac\pi2}{1/\operatorname{tg}x}$, de tipo $\tfrac00$ (y $1/\operatorname{tg}x=\frac{\cos x}{\operatorname{sen}x}$).
  3. Derivamos. Derivada del numerador: $1$; derivada del denominador $\left(\frac{\cos x}{\operatorname{sen}x}\right)'=-\frac1{\operatorname{sen}^2x}$. El cociente es $-\operatorname{sen}^2x\to-1$.
  4. Resultado: $-1$.
U p.84
Error típico 3: «cero por lo que sea vale cero»

$0\cdot\infty$ es indeterminado. Con $x\to0^+$: $x\cdot\frac1x=1$, $\ x\cdot\frac2x=2$, $\ x\cdot\frac1{x^2}=\frac1x\to+\infty$, $\ x^2\cdot\frac1x=x\to0$. Larson pone cuatro ejemplos así, con cuatro respuestas distintas.

L p.560

$\infty-\infty$: hacer la resta

Receta $\infty-\infty$

Si $f\to+\infty$ y $g\to+\infty$ (o restas de infinitos del mismo signo), opera la resta hasta obtener un solo cociente: poniendo denominador común, racionalizando o sacando factor común. Normalmente sale $\tfrac00$ o $\tfrac\infty\infty$. (Si son infinitos de signos opuestos, $\infty+\infty=\infty$ no es indeterminado.)

U p.83 S pp.305-306
Ejemplo 4 (U Ej. 2.10): $\lim_{x\to0^+}\left(\dfrac1x-\dfrac1{\operatorname{sen}x}\right)$
  1. Tipo. Ambos sumandos $\to+\infty$: $\infty-\infty$.
  2. Resta: $\dfrac1x-\dfrac1{\operatorname{sen}x}=\dfrac{\operatorname{sen}x-x}{x\operatorname{sen}x}$, de tipo $\tfrac00$. La derivada del denominador, $\operatorname{sen}x+x\cos x$, no se anula cerca de $0$ (por la derecha).
  3. $\displaystyle\lim_{x\to0^+}\frac{\cos x-1}{\operatorname{sen}x+x\cos x}$ es de nuevo $\tfrac00$. Derivamos otra vez: $\displaystyle\lim_{x\to0^+}\frac{-\operatorname{sen}x}{2\cos x-x\operatorname{sen}x}=\frac{0}{2}=0$.
  4. Resultado: $0$.
U pp.83-84 S p.306 L p.563

4Potencias: $1^\infty$, $0^0$, $\infty^0$ U pp.84-85

Idea intuitiva

Una potencia $f(x)^{g(x)}$ es difícil porque la variable está en la base y en el exponente. La salida es bajar el exponente con logaritmos: $f^g=e^{g\ln f}$. Así el problema pasa al exponente $g\ln f$, que es un producto ($0\cdot\infty$) y ya sabemos manejarlo.

Receta para $1^\infty$, $0^0$ y $\infty^0$
  1. Escribe, para base positiva, $\ f(x)^{g(x)}=e^{\,g(x)\ln f(x)}$.
  2. Calcula $L=\displaystyle\lim_{x\to a} g(x)\ln f(x)$; es de tipo $0\cdot\infty$. Pásalo a cociente (apartado 3) y aplica L'Hôpital.
  3. Deshaz el logaritmo: $\displaystyle\lim_{x\to a} f^g=e^{L}$ (con $e^{+\infty}=+\infty$ y $e^{-\infty}=0$), porque $\exp$ es continua.

Este camino no necesita «suponer que el límite existe» (como hace U en su Ej. 2.12, con $\ln l$): basta que exista $L$.

U pp.84-85 S pp.306-307 L pp.561-562
Error típico 4: olvidar deshacer el logaritmo

Tras calcular $L$, el límite pedido es $e^{L}$, no $L$. U lo avisa expresamente: «un error típico es olvidar que aplicamos logaritmos y dar como valor del límite $0$ en lugar de $1$». (Con $x^{1/x}$, $L=0$ y el límite es $e^0=1$.)

U p.85
Ejemplo 5 (U Ej. 2.12): $\lim_{x\to+\infty}x^{1/x}$ (tipo $\infty^0$)
  1. Base $\to+\infty$, exponente $\to0$: $\infty^0$.
  2. $x^{1/x}=e^{\frac{\ln x}{x}}$ para $x>0$.
  3. $L=\displaystyle\lim_{x\to+\infty}\frac{\ln x}{x}$ es $\tfrac\infty\infty$; por L'Hôpital, $=\lim_{x\to+\infty}\frac{1/x}{1}=0$.
  4. Resultado: $e^{0}=1$.
U p.84
Ejemplo 6 (S Ej. 9): $\lim_{x\to0^+}x^{x}$ (tipo $0^0$)

Es indeterminado: $0^x=0$ para $x>0$ pero $x^0=1$; la base y el exponente «tiran» en direcciones distintas. Con $x^x=e^{x\ln x}$ y $\lim_{x\to0^+}x\ln x=0$ (apartado 3), el límite es $e^0=1$. (Stewart lo resuelve igual y señala que los valores de $y=x^x$ se acercan a $1$.)

S p.307 L p.562

Atajo para $1^\infty$: el número $e$

Proposición 2.2

Si $\displaystyle\lim_{x\to a}f(x)=\pm\infty$, entonces $\displaystyle\lim_{x\to a}\left(1+\frac1{f(x)}\right)^{f(x)}=e$.

U p.85

Se usa forzando el exponente a ser la misma $f(x)$ que aparece en la base, y luego propiedades de potencias.

Ejemplo 7 (U Ej. 2.13): $\lim_{x\to\infty}\left(1+\frac1{x^2}\right)^{2x^2}$

Con $f(x)=x^2\to\infty$: $\ \left(1+\frac1{x^2}\right)^{2x^2}=\left[\left(1+\frac1{x^2}\right)^{x^2}\right]^{2}\to e^2$ (la función $t\mapsto t^2$ es continua). Es el mismo límite que el Ejemplo 1.29 de sucesiones (tema 1.2), con $n$ en lugar de $x$, como señala U.

U p.85
Atajo general para $1^\infty$

Si $f\to1$ y $g\to\infty$, entonces $\lim_{x\to a} f^g=e^{\lim_{x\to a} g\,(f-1)}$ (siempre que exista $\lim_{x\to a} g(f-1)$ en $\overline{\mathbb R}$, con $e^{+\infty}=+\infty$ y $e^{-\infty}=0$ como en la receta).

Por qué. Donde $f\neq1$: $g\ln f=g(f-1)\cdot\dfrac{\ln f}{f-1}$, y $\dfrac{\ln t}{t-1}\to1$ cuando $t\to1$ (regla, tipo $\tfrac00$: $\frac{1/t}{1}\to1$); como $f\to1$, el segundo factor tiende a $1$. Donde $f=1$, ambos lados valen $0$. Se usa en E 2.24 y en el propio 3.

P

Lo que NO es indeterminado

Error típico 5: aplicar L'Hôpital a formas determinadas

Estas formas sí determinan el límite (no hay que hacer nada más, y la regla daría resultados falsos):

$\infty+\infty=\infty$, $\quad(-\infty)+(-\infty)=-\infty$, $\quad\infty\cdot\infty=\infty$, $\quad\dfrac{c}{\infty}=0$, $\quad\dfrac{c}{0^{\pm}}=\pm\infty$ (con $c\neq0$; el signo depende del signo de $c$ y del lado), $\quad0^{+\infty}=0$ y $0^{-\infty}=+\infty$ (con base $\to0^+$), $\quad\infty^{\infty}=\infty$.

L p.563 P S p.306

5L'Hôpital y sucesiones U p.85

Idea intuitiva

Una sucesión $a_n$ solo está definida para $n=1,2,3,\dots$; no se puede «derivar respecto de $n$». Pero si $a_n=f(n)$ para una función $f$ de variable real, y $f(x)$ tiene límite cuando $x\to\infty$, la sucesión, que es como «mirar $f$ solo en los enteros», tiene el mismo límite.

Proposición 2.3

Si $\displaystyle\lim_{x\to\infty}f(x)=l\in\overline{\mathbb R}$, entonces $\displaystyle\lim_{n\to\infty}f(n)=l$.

U p.85 L pp.585-588
Ejemplo 8 (U Ej. 2.14): $\lim_{n\to\infty}\dfrac{\ln n}{n}$

La función asociada es $f(x)=\frac{\ln x}{x}$, de tipo $\tfrac\infty\infty$; por L'Hôpital, $\lim_{x\to\infty}\frac{\ln x}{x}=\lim_{x\to\infty}\frac{1/x}{1}=0$. Por la Prop. 2.3, $\lim_n\frac{\ln n}{n}=0$.

U p.85
Error típico 6: usar la Proposición 2.3 al revés

Que $f(n)\to l$ no implica que $f(x)\to l$. Contraejemplo: $\operatorname{sen}(\pi n)=0$ para todo $n$ (la sucesión tiende a $0$), pero $\operatorname{sen}(\pi x)$ no tiene límite cuando $x\to\infty$. Por tanto, si $\lim_{x\to\infty}f(x)$ no existe, esta técnica no dice nada de la sucesión.

P

6Tabla-decisión: qué indeterminación tengo y qué hago P

Cómo usar la tabla

Paso 0, siempre: sustituye el valor al que tiende $x$ (o calcula el límite de cada pieza). Mira qué «símbolo» sale y busca la fila.

Al sustituir sale…¿Indeterminado?Qué hago
$\tfrac{c}{0}$, $c\neq0$noEl límite es $\pm\infty$ (o no existe si los lados difieren): decide el signo de cada lado. No usar L'Hôpital.
$\tfrac{c}{\infty}$, $\infty+\infty$, $\infty\cdot\infty$, $0^{+\infty}$, $\infty^\infty$noYa está determinado ($0$, $\infty$, $\infty$, $0$ si la base $\to0^+$, $\infty$). Nada que hacer.
$\tfrac00$síPrimero álgebra (factorizar y simplificar, Ruffini, racionalizar). Si no basta: L'Hôpital tras comprobar las 3 condiciones.
$\tfrac\infty\infty$síComparar crecimientos ($\ln x\ll x^p\ll a^x$), dividir por el término dominante, o L'Hôpital (reiterado si hace falta). Si al derivar todo se repite, usar la división.
$0\cdot\infty$síEscribir $fg=\dfrac{f}{1/g}$ o $\dfrac{g}{1/f}$; poner abajo el factor cuya inversa sea fácil de derivar (la potencia, no el logaritmo). Luego L'Hôpital.
$\infty-\infty$síHacer la resta: denominador común, racionalizar o factor común. Sale $\tfrac00$ o $\tfrac\infty\infty$.
$1^\infty$síProp. 2.2 (base $1+\frac1f$, exponente múltiplo de $f$) o $e^{g\ln f}$ / atajo $e^{\lim_{x\to a} g(f-1)}$. Devolver $e^{L}$.
$0^0$, $\infty^0$sí$f^g=e^{g\ln f}$; el exponente es $0\cdot\infty$ (fila anterior). Devolver $e^{L}$.
Sucesión $a_n$ con indeterminaciónsíCambiar $n$ por $x$: $f(x)$; calcular $\lim_{x\to\infty}f(x)$ (L'Hôpital) y aplicar Prop. 2.3.
Tras derivar, $\lim_{x\to a}\frac{f'}{g'}$ no existe o la expresión «da vueltas»—La regla no concluye. Cambiar de método (dividir por el dominante, acotar, álgebra).
Orden de ataque recomendado en el examen
  1. Sustituir y nombrar el tipo.
  2. ¿Se puede resolver con álgebra o comparando crecimientos? Hazlo así (suele ser más corto y más seguro).
  3. Si no, transformar a $\tfrac00$ o $\tfrac\infty\infty$.
  4. Escribir las condiciones de la regla (aunque sea en una línea).
  5. Derivar, simplificar, calcular. Devolver la transformación si la hubo.

7Errores típicos, resumidos

  1. Sin indeterminación: usar L'Hôpital cuando el denominador no tiende a $0$ (S Ej. 5, L p. 563).
  2. Regla del cociente: derivar $\frac fg$ en lugar de $f'$ y $g'$ por separado (L p. 558; S p. 303).
  3. «Si $\lim_{x\to a} f'/g'$ no existe, el límite tampoco»: falso; la regla simplemente no informa.
  4. $0\cdot\infty=0$, $1^\infty=1$, $\infty-\infty=0$: son indeterminados.
  5. Olvidar deshacer el logaritmo: el resultado es $e^{L}$ (U p. 85).
  6. Signo de $0^\pm$: al pasar a $\infty$ o $-\infty$ en un límite lateral, decidir bien el signo (E 2.28: el numerador es $+\infty$).
  7. Exigir $g'(a)\neq0$: lo que importa es $g'(x)\neq0$ cerca de $a$, no en $a$ (U p. 82, E 2.25).

8Ejercicios del libro, resueltos E pp.66-72

Todos los límites se han comprobado con cálculo simbólico. Los ejercicios respetan la numeración de E. Orden de estudio recomendado, de fácil a difícil:

OrdenEjercicioTipoResultado
12.26$\tfrac00$ (polinomios)$-\tfrac34$
22.25$\tfrac00$ (raíz y logaritmo)$-1$
32.28$\tfrac\infty\infty$ lateral$0$
42.30$0\cdot\infty$$0$
52.27$\tfrac\infty\infty$ donde la regla «da vueltas»$1$
62.31$0^0$$1$
72.29$\infty^0$ (test)b) $1$
82.24$1^\infty$$\sqrt e$
92.32$\tfrac\infty\infty$ reiterado $n$ veces$0$
102.33$\tfrac00$ en una sucesión$1$
Ejercicio 2.24 · $1^\infty$ E pp.66-67

Calcula el valor de $\displaystyle\lim_{x\to+\infty}\left(\frac{\ln x^2+1}{2\ln x}\right)^{\ln x}$.

Aquí $\ln x^2+1$ significa $\ln(x^2)+1$ (así lo usa la solución de E).

Camino 1: el número $e$ (Prop. 2.2 de U).

  1. Tipo. Como $\ln(x^2)=2\ln x$, la base es $\dfrac{2\ln x+1}{2\ln x}=1+\dfrac1{2\ln x}\to1$ y el exponente $\ln x\to+\infty$: $1^{+\infty}$.
  2. Forzar la forma de la Prop. 2.2. Tomamos $f(x)=\ln x^2=2\ln x\to+\infty$. El exponente es $\ln x=\frac12\ln x^2$, luego $$\left(1+\frac1{\ln x^2}\right)^{\ln x}=\left[\left(1+\frac1{\ln x^2}\right)^{\ln x^2}\right]^{1/2}$$ (propiedad $(b^c)^d=b^{cd}$, válida para $b>0$).
  3. Límite. Lo de dentro tiende a $e$ (Prop. 2.2) y $t\mapsto t^{1/2}$ es continua en $e$: el límite es $e^{1/2}=\sqrt e$.

Camino 2: logaritmos y L'Hôpital (la «Nota» de E).

  1. La expresión es $e^{h(x)}$ con $h(x)=\ln x\cdot\ln\!\left(1+\frac1{\ln x^2}\right)$, de tipo $+\infty\cdot0$.
  2. Cociente: $h(x)=\dfrac{\ln\left(1+\frac1{\ln x^2}\right)}{1/\ln x}$, de tipo $\tfrac00$.
  3. Derivadas (cadena): numerador $\dfrac1{1+\frac1{\ln x^2}}\cdot\left(-\dfrac1{(\ln x^2)^2}\cdot\dfrac2x\right)$; denominador $-\dfrac1{(\ln x)^2}\cdot\dfrac1x\neq0$.
  4. Cociente de derivadas, usando $(\ln x^2)^2=4(\ln x)^2$: $\ \dfrac{2(\ln x)^2}{(\ln x^2)^2}\cdot\dfrac1{1+\frac1{\ln x^2}}=\dfrac1{2\left(1+\frac1{\ln x^2}\right)}\to\dfrac12$.
  5. Por continuidad de $\exp$: límite $=e^{1/2}=\sqrt e$.
Receta: $1^\infty$: escribe la base como $1+\frac1f$ y fuerza el exponente a ser $f\cdot(\text{algo})$; el límite es $e^{\lim_{x\to a}(\text{algo})}$. Atajo: $\lim_{x\to a} f^g=e^{\lim_{x\to a} g(f-1)}$; aquí ($a=+\infty$) $g(f-1)=\ln x\cdot\frac1{2\ln x}=\frac12$.
Error típico y erratas de E

Decir «$1^\infty=1$»: la base solo tiende a $1$ y el exponente amplifica la diferencia. Notación: si se leyera $\ln(x^2+1)$ el límite sería $1$, no $\sqrt e$. Además, en la «Nota» E remite al Ej. 2.12 de U para $1^{\pm\infty}$, pero el Ej. 2.12 es de tipo $\infty^0$; lo del $1^\infty$ está en U p. 85.

Teoría: U p.85

Ejercicio 2.25 · $\tfrac00$ con raíz y logaritmo E p.67

Calcula el valor de $\displaystyle\lim_{x\to0}\frac{\ln(1+x)-x}{1-\sqrt{1-x^2}}$.

  1. Tipo. Numerador: $\ln1-0=0$. Denominador: $1-\sqrt1=0$. Ambas son continuas en $0$: $\tfrac00$.
  2. Hipótesis. En $(-1,1)$ ambas son derivables. $f'(x)=\dfrac1{1+x}-1=\dfrac{-x}{1+x}$ y $g'(x)=-\dfrac1{2\sqrt{1-x^2}}\cdot(-2x)=\dfrac{x}{\sqrt{1-x^2}}$. $g'(x)=0$ solo en $x=0$; luego $g'(x)\neq0$ en $(-1,1)\setminus\{0\}$, que es lo que exige U («esta última condición no excluye que $g'(a)$ pueda ser $0$»).
  3. Simplificar antes de pasar al límite. Para $x\neq0$: $\dfrac{f'}{g'}=\dfrac{-x}{1+x}\cdot\dfrac{\sqrt{1-x^2}}{x}=-\dfrac{\sqrt{1-x^2}}{1+x}$. Podemos cancelar $x$ porque en un límite nunca se toma $x=0$.
  4. Límite. La última función es continua en $0$ y vale $-1$.
  5. Conclusión. El límite pedido es $-1$.
Receta: tras derivar, simplifica el cociente de derivadas antes de sustituir: el factor que producía el $0/0$ suele cancelarse y no hace falta derivar otra vez.
Error típico

Decir «$g'(0)=0$, luego no se puede aplicar»: lo que importa es $g'\neq0$ cerca de $0$, no en $0$. (E dice «la derivada del denominador cerca de cero no se anula»: es correcto en el sentido de U, es decir, cerca de $0$ sin contar el propio $0$; véase también U Ej. 2.10, p. 83.)

Teoría: U p.82

Ejercicio 2.26 · $\tfrac00$ con polinomios E p.67

Calcula el valor de $\displaystyle\lim_{x\to-1}\dfrac{x^5+x^4-x^2+1}{x^4-1}$.

  1. Sustituir primero. Numerador en $x=-1$: $-1+1-1+1=0$. Denominador: $1-1=0$. Son polinomios (continuos): $\tfrac00$. No vale el «cociente de límites» porque el del denominador es $0$.
  2. Condiciones. Ambos son polinomios, derivables en $\mathbb R$; $g'(x)=4x^3$ solo se anula en $x=0$, así que $g'\neq0$ en un entorno de $-1$ (por ejemplo en $(-2,0)$).
  3. Derivar (numerador y denominador por separado): $f'(x)=5x^4+4x^3-2x$, $\ g'(x)=4x^3$.
  4. Límite del cociente de derivadas. El denominador vale $4(-1)^3=-4\neq0$, basta sustituir: $\ \dfrac{5-4+2}{-4}=-\dfrac34$.
  5. Conclusión. Como este límite existe, el original vale $-\dfrac34$.
  6. Comprobación sin L'Hôpital. $x=-1$ anula a ambos, luego $(x+1)$ divide a los dos (Ruffini): $x^5+x^4-x^2+1=(x+1)(x^4-x+1)$ y $x^4-1=(x+1)(x-1)(x^2+1)$. Simplificando, $\dfrac{x^4-x+1}{(x-1)(x^2+1)}\to\dfrac{3}{(-2)(2)}=-\dfrac34$. Coincide.
Receta: cociente de polinomios con $0/0$ en $x=a$: o factorizas $(x-a)$ por Ruffini y simplificas, o derivas arriba y abajo una vez y sustituyes. Ambos caminos deben coincidir.
Error típico

Aplicar la regla del cociente $\left(\frac fg\right)'$ en vez de derivar numerador y denominador por separado.

Teoría: U p.82

Ejercicio 2.27 · cuando L'Hôpital da vueltas E p.68

Calcula el valor del límite $\displaystyle\lim_{x\to+\infty}\frac{\operatorname{sen}x+e^x}{\cos x+e^x}$.

  1. Tipo. $e^x\to+\infty$ y $\operatorname{sen}x,\cos x\in[-1,1]$; así $\operatorname{sen}x+e^x\ge e^x-1\to+\infty$ y lo mismo el denominador: $\tfrac\infty\infty$.
  2. Intento con L'Hôpital. Las condiciones se cumplen ($g'(x)=-\operatorname{sen}x+e^x\ge e^x-1>0$ para $x>0$), pero $\ \dfrac{f'}{g'}=\dfrac{\cos x+e^x}{-\operatorname{sen}x+e^x}$, $\ \dfrac{f''}{g''}=\dfrac{-\operatorname{sen}x+e^x}{-\cos x+e^x},\dots$ Tras cuatro derivaciones se vuelve al cociente de partida: no simplifica nada.
  3. Otro camino: dividir por el término dominante $e^x$ arriba y abajo: $\ \dfrac{\operatorname{sen}x+e^x}{\cos x+e^x}=\dfrac{\operatorname{sen}x\cdot e^{-x}+1}{\cos x\cdot e^{-x}+1}$.
  4. Cada trozo. $e^{-x}\to0$ y $\operatorname{sen}x,\cos x$ están acotadas: $\operatorname{sen}x\,e^{-x}\to0$ y $\cos x\,e^{-x}\to0$ («cero por acotada»).
  5. Álgebra de límites (el denominador tiende a $1\neq0$): el límite es $\dfrac{0+1}{0+1}=1$.
Receta: si al derivar reaparece la misma estructura (senos y cosenos que rotan, exponenciales que se reproducen), abandona L'Hôpital y divide por el término dominante.
Error típico y matiz sobre E

Concluir «el límite no existe» porque L'Hôpital no termina. La regla solo informa si sabes calcular $\lim_{x\to a} f'/g'$; si no, hay que buscar otro método. (E dice que la regla «no es infalible»: en rigor sus hipótesis se cumplen y $\lim_{x\to+\infty}\frac{f'}{g'}$ existe, vale $1$; lo que ocurre es que derivar no ayuda a calcularlo.)

Teoría: U pp.45-46 S p.305

Ejercicio 2.28 · $\tfrac\infty\infty$ lateral E p.68

Calcula el valor del límite $\displaystyle\lim_{x\to\frac\pi2^-}\frac{2-\ln(\cos x)}{2+\operatorname{tg}x}$.

  1. Dominio. Para $x\in(0,\pi/2)$, $\cos x>0$ y $\ln(\cos x)$ está definido: tiene sentido el límite por la izquierda.
  2. Tipo. Cuando $x\to\frac\pi2^-$, $\cos x\to0^+$, luego $\ln(\cos x)\to-\infty$ y el numerador $2-\ln(\cos x)\to+\infty$. Además $\operatorname{tg}x=\frac{\operatorname{sen}x}{\cos x}\to\frac1{0^+}=+\infty$. Es $\tfrac{+\infty}{+\infty}$.
  3. Condiciones. Ambas son derivables en $(0,\pi/2)$. $f'(x)=-\dfrac1{\cos x}\cdot(-\operatorname{sen}x)=\dfrac{\operatorname{sen}x}{\cos x}$ y $g'(x)=\dfrac1{\cos^2x}$, que nunca se anula.
  4. Cociente de derivadas. Dividir entre $\frac1{\cos^2x}$ es multiplicar por $\cos^2x$: $\ \dfrac{f'}{g'}=\dfrac{\operatorname{sen}x}{\cos x}\cdot\cos^2x=\operatorname{sen}x\cos x\to1\cdot0=0$.
  5. Conclusión. El límite vale $0$.

Interpretación: el numerador crece como $-\ln(\cos x)$ (muy despacio) y el denominador como $\frac1{\cos x}$ (como una potencia): gana el denominador.

Receta: en un límite lateral hacia un punto donde algo se anula, determina primero el signo de lo que tiende a $0$ ($0^+$ o $0^-$) para saber si cada trozo va a $+\infty$ o a $-\infty$.
Error típico y errata de E

Equivocar el signo: $\ln(\cos x)\to-\infty$ pero hay un signo menos delante, así que el numerador va a $+\infty$. E escribe que la indeterminación es del tipo $\frac{-\infty}{+\infty}$; es $\frac{+\infty}{+\infty}$ (el resultado $0$ es correcto).

Teoría: U p.82

Ejercicio 2.29 · $\infty^0$ (test) E p.69

Señala el valor del límite $\displaystyle\lim_{x\to+\infty}x^{\frac1{x+1}}$: a) $0$. b) $1$. c) $e$. d) $e^e$.

  1. Tipo. Base $\to+\infty$, exponente $\frac1{x+1}\to0$: $\infty^0$.
  2. Exponencial. Para $x>0$: $x^{\frac1{x+1}}=e^{\frac{\ln x}{x+1}}$.
  3. Exponente, de tipo $\tfrac\infty\infty$ (derivables en $(0,\infty)$ y $(x+1)'=1\neq0$): $\displaystyle\lim_{x\to+\infty}\frac{\ln x}{x+1}=\lim_{x\to+\infty}\frac{1/x}{1}=0$.
  4. Continuidad de $\exp$: el límite es $e^0=1$. Respuesta b).
  5. Descarte rápido en un test: para $x>1$ la base es $>1$ y el exponente positivo, luego $x^{1/(x+1)}>1$: la a) es imposible; y como el exponente de $e$ tiende a $0$, no puede salir $e$ ni $e^e$.
Receta: $\infty^0\Rightarrow e^{\lim_{x\to+\infty} g\ln f}$; «logaritmo entre potencia de $x$» tiende siempre a $0$.
Error típico

Escribir «$\ln l=\ln\lim_{x\to a}\ldots$» sin haber probado que el límite $l$ existe y es positivo (E y U suponen que el límite existe: falta de rigor). Con la forma $e^{g\ln f}$ no hace falta suponerlo.

Teoría: U p.84

Ejercicio 2.30 · $0\cdot\infty$ E p.70

Calcula el valor de $\displaystyle\lim_{x\to0^+}x\ln x$.

  1. Tipo. $x\to0^+$ y $\ln x\to-\infty$: $0\cdot(-\infty)$. L'Hôpital no se aplica a productos.
  2. Convertir en cociente. Pasamos al denominador el factor $x$: $x\ln x=\dfrac{\ln x}{1/x}$, de tipo $\tfrac{-\infty}{+\infty}$.
  3. Condiciones. $\ln x$ y $\frac1x$ son derivables en $(0,\infty)$ y $\left(\frac1x\right)'=-\frac1{x^2}\neq0$.
  4. L'Hôpital: $\displaystyle\lim_{x\to0^+}\frac{\ln x}{1/x}=\lim_{x\to0^+}\frac{1/x}{-1/x^2}=\lim_{x\to0^+}(-x)=0$.
  5. La otra elección (mala). $x\ln x=\dfrac{x}{1/\ln x}$ es $\tfrac00$, pero al derivar sale $-x(\ln x)^2$, más complicado que el de partida.
Receta: $0\cdot\infty$: escribe $fg=\dfrac g{1/f}$ poniendo en el denominador el factor cuya inversa se deriva fácil (la potencia $x^k$, casi nunca el logaritmo).
Error típico

Pensar «$0$ por lo que sea es $0$». Aquí sale $0$, pero $x\cdot\frac1x=1$ también es $0\cdot\infty$ y vale $1$.

Teoría: U p.84 Es exactamente S p.305

Ejercicio 2.31 · $0^0$ E p.70

Calcula el valor de $\displaystyle\lim_{x\to0^+}x^{x^2}$.

  1. Tipo. Base $x\to0^+$, exponente $x^2\to0$: $0^0$.
  2. Escribir como exponencial. Para $x>0$: $x^{x^2}=e^{\ln(x^{x^2})}=e^{x^2\ln x}$.
  3. Límite del exponente ($0\cdot(-\infty)$), pasado a cociente como en 2.30: $\displaystyle\lim_{x\to0^+}x^2\ln x=\lim_{x\to0^+}\frac{\ln x}{1/x^2}=\lim_{x\to0^+}\frac{1/x}{-2/x^3}=\lim_{x\to0^+}\left(-\frac{x^2}{2}\right)=0$. (Condiciones: $\tfrac{-\infty}{+\infty}$, derivables en $(0,\infty)$, $(x^{-2})'=-2x^{-3}\neq0$.)
  4. Volver a la potencia. Como $\exp$ es continua, $\lim_{x\to0^+} e^{x^2\ln x}=e^0=1$.
Receta: $f^g$ con $0^0$, $\infty^0$ o $1^\infty$: escribe $f^g=e^{g\ln f}$, calcula $L=\lim_{x\to a} g\ln f$ (será $0\cdot\infty$) y el resultado es $e^{L}$ (con $e^{+\infty}=+\infty$, $e^{-\infty}=0$).
Error típico

Quedarse en el límite del exponente y responder $0$ en lugar de $e^0=1$ (U lo avisa en el recuadro de la p. 85).

Teoría: U pp.84-85 S p.307 L p.562

Ejercicio 2.32 · potencia frente a exponencial E p.70

Calcula para $n\in\mathbb N$ y $a>1$ el límite $\displaystyle\lim_{x\to+\infty}\frac{x^n}{a^x}$.

  1. Qué es la variable. $n$ está fijo; la variable es $x$.
  2. Tipo. $a^x=e^{x\ln a}$ con $\ln a>0$ (porque $a>1$), luego $a^x\to+\infty$; y $x^n\to+\infty$: $\tfrac\infty\infty$.
  3. Una aplicación de L'Hôpital. $(x^n)'=nx^{n-1}$ y $(a^x)'=a^x\ln a\neq0$: $\ \displaystyle\lim_{x\to\infty}\frac{x^n}{a^x}=\frac n{\ln a}\lim_{x\to\infty}\frac{x^{n-1}}{a^x}$, siempre que este último límite exista.
  4. Inducción (lo que E llama «aplicamos L'Hôpital $n$ veces»). Sea $L_k=\lim_{x\to\infty}\frac{x^k}{a^x}$. Para $k=0$: $L_0=\lim_{x\to\infty}\frac1{a^x}=0$. Si $L_{k-1}=0$ con $k\ge1$, entonces $\frac{x^k}{a^x}$ es $\tfrac\infty\infty$, se cumplen las condiciones y, por el paso anterior, $L_k=\frac k{\ln a}L_{k-1}=0$. Luego $L_n=0$. Equivalentemente, tras $n$ derivaciones queda $\dfrac{n!}{a^x(\ln a)^n}\to0$.
  5. Pregunta final de E ($0<a<1$). Entonces $a^x\to0^+$ y ya no hay indeterminación: $\frac{x^n}{a^x}=x^n\left(\frac1a\right)^x$ es un producto de dos funciones que tienden a $+\infty$, luego el límite es $+\infty$. (E deja la pregunta sin responder.)
Receta: potencia frente a exponencial de base $>1$: deriva hasta que la potencia sea constante (el grado baja $1$ cada vez; la exponencial se reproduce). La exponencial gana siempre.
Error típico

Derivar respecto de $n$, o tratar $a^x$ como si fuese $x^a$: su derivada es $a^x\ln a$, no $x\,a^{x-1}$.

Teoría: U p.83 El Ejemplo 3 de Larson equivale a $n=2$, $a=e$ con $t=-x$: L p.560

Ejercicio 2.33 · una sucesión E p.71

Utilizando la regla de L'Hôpital calcula el valor del límite de la sucesión $\left\{\dfrac{\ln\frac{n+1}{n}}{\ln\frac{n+2}{n+1}}\right\}$ cuando $n$ tiende a $+\infty$.

  1. Por qué no se deriva la sucesión. Solo está definida en $\mathbb N$. Pasamos a una función de variable real con la Prop. 2.3 de U: si $\lim_{x\to\infty}f(x)=l$, entonces $\lim_{n\to\infty}f(n)=l$.
  2. Función asociada: $f(x)=\dfrac{\ln\frac{x+1}{x}}{\ln\frac{x+2}{x+1}}$, $x>0$.
  3. Tipo. $\frac{x+1}{x}\to1$ y $\frac{x+2}{x+1}\to1$; por continuidad del logaritmo, arriba y abajo $\to\ln1=0$: $\tfrac00$.
  4. Derivadas (conviene escribir $\ln\frac{x+1}x=\ln(x+1)-\ln x$): numerador $\dfrac1{x+1}-\dfrac1x=\dfrac{-1}{x(x+1)}$; denominador $\dfrac1{x+2}-\dfrac1{x+1}=\dfrac{-1}{(x+1)(x+2)}$, que no se anula nunca.
  5. Cociente de derivadas: $\ \dfrac{-1/(x(x+1))}{-1/((x+1)(x+2))}=\dfrac{(x+1)(x+2)}{x(x+1)}=\dfrac{x+2}x=1+\dfrac2x\to1$.
  6. Conclusión. $\lim_{x\to\infty}f(x)=1$ y, por la Prop. 2.3, el límite de la sucesión es $1$. (Comprobación numérica: para $n=1000$ el término vale $1{,}0010$.)
Receta: límite de sucesión con $0/0$ o $\infty/\infty$ «difícil»: cambia $n$ por $x\in\mathbb R$, aplica L'Hôpital a la función y vuelve a la sucesión con la Prop. 2.3.
Error típico

Usar la implicación al revés: que $f(n)\to l$ no implica que $f(x)\to l$ (por ejemplo, $\operatorname{sen}(\pi n)=0$ para todo $n$, pero $\operatorname{sen}(\pi x)$ no tiene límite en $+\infty$).

Teoría: U p.85 L pp.585, 588

Ejemplos propios (de fácil a difícil)

Propio 1 · $\tfrac00$ con dos derivaciones P

Calcula $\displaystyle\lim_{x\to0}\frac{e^x-1-x}{x^2}$.

  1. En $0$: $\frac{1-1-0}{0}$, tipo $\tfrac00$. Derivables; $(x^2)'=2x\neq0$ si $x\neq0$.
  2. L'Hôpital: $\lim_{x\to0}\dfrac{e^x-1}{2x}$, otra vez $\tfrac00$; $(2x)'=2\neq0$.
  3. L'Hôpital: $\lim_{x\to0}\dfrac{e^x}{2}=\dfrac12$. Resultado: $\dfrac12$.
Receta: repite la regla mientras siga saliendo $\tfrac00$ o $\tfrac\infty\infty$ y comprueba las condiciones en cada paso.
Propio 2 · $\infty-\infty$ P

Calcula $\displaystyle\lim_{x\to0}\left(\frac1x-\frac1{e^x-1}\right)$.

  1. Por la derecha es $+\infty-(+\infty)$ (y por la izquierda $-\infty-(-\infty)$). Restamos: $\dfrac{e^x-1-x}{x(e^x-1)}$, de tipo $\tfrac00$.
  2. Derivadas: numerador $e^x-1$; denominador $h(x)=e^x-1+xe^x$. Como $h'(x)=(2+x)e^x>0$ cerca de $0$, $h$ es estrictamente creciente allí y solo se anula en $0$: condiciones cumplidas.
  3. $\lim_{x\to0}\dfrac{e^x-1}{e^x-1+xe^x}$ sigue siendo $\tfrac00$; derivamos otra vez: $\lim_{x\to0}\dfrac{e^x}{(2+x)e^x}=\lim_{x\to0}\dfrac1{2+x}=\dfrac12$. Resultado: $\dfrac12$.
Receta: $\infty-\infty$: haz la resta (denominador común) y aplica la regla al cociente resultante.
Propio 3 · $1^\infty$ P

Calcula $\displaystyle\lim_{x\to0}(\cos x)^{1/x^2}$.

  1. Base $\to1$, exponente $\to+\infty$: $1^\infty$. Cerca de $0$, $\cos x>0$, luego $(\cos x)^{1/x^2}=e^{\ln(\cos x)/x^2}$.
  2. Exponente: $\dfrac{\ln\cos x}{x^2}$ es $\tfrac00$. L'Hôpital: $\dfrac{-\operatorname{tg}x}{2x}=-\dfrac12\cdot\dfrac{\operatorname{sen}x}{x}\cdot\dfrac1{\cos x}\to-\dfrac12$ (usando $\frac{\operatorname{sen}x}x\to1$, U Ej. 2.8).
  3. Resultado: $e^{-1/2}=\dfrac1{\sqrt e}$.
Receta: $1^\infty$: $e^{L}$ con $L=\lim_{x\to0} g\ln f$ (o el atajo $\lim_{x\to0} g(f-1)$: aquí $\frac{\cos x-1}{x^2}\to-\frac12$, mismo resultado).
Propio 4 · sucesión $n\left(a^{1/n}-1\right)$ P

Para $a>0$, calcula $\displaystyle\lim_{n\to\infty}n\left(a^{1/n}-1\right)$.

  1. Función asociada: $f(x)=x\left(a^{1/x}-1\right)=\dfrac{a^{1/x}-1}{1/x}$. Como $a^{1/x}=e^{(\ln a)/x}\to1$, es $\tfrac00$.
  2. Derivadas: numerador $a^{1/x}\ln a\cdot\left(-\frac1{x^2}\right)$; denominador $-\frac1{x^2}\neq0$. Cociente: $a^{1/x}\ln a\to\ln a$.
  3. Por la Prop. 2.3: $\lim_n n\left(a^{1/n}-1\right)=\ln a$ (numéricamente, con $a=2$ y $n=1000$: $0{,}69339\approx\ln2=0{,}69315$).
Receta: producto $n\cdot(\text{algo}\to0)$ en una sucesión: pásalo a cociente con $\frac1n$ y a la variable real $x$.

9Así lo preguntan en el examen X

Estos son los tipos reales que caen en los exámenes resueltos (fuente X, páginas del PDF de exámenes). La dificultad es la de los ejercicios de E, con dos diferencias: casi siempre es una pregunta corta de 1 punto (un único límite, sin margen para dar vueltas) y, en las preguntas largas, la regla aparece dentro de un problema de continuidad y derivabilidad. Están ordenados de fácil a difícil.

Examen 1 · $\tfrac00$: aplicar la regla dos veces X p.88

Calcule el límite $\displaystyle\lim_{x\to0}\frac{e^x-x-1}{x^2}$.

La idea en una frase

Al sustituir $x=0$ sale $\tfrac00$, que no dice nada. La regla de L'Hôpital permite derivar arriba y abajo y volver a mirar; si sigue saliendo $\tfrac00$, se repite.

  1. Sustituir. Arriba: $e^0-0-1=0$. Abajo: $0^2=0$. Sale $\tfrac00$, así que se puede usar la regla.
  2. Derivar arriba y abajo por separado (no es la regla del cociente): $\dfrac{e^x-1}{2x}$.
  3. Sustituir otra vez. Arriba: $e^0-1=0$. Abajo: $0$. Vuelve a salir $\tfrac00$: derivamos de nuevo.
  4. Derivar otra vez: $\dfrac{e^x}{2}$. Ahora ya no hay problema: en $x=0$ vale $\tfrac12$.
Lo que escribes en el examen

Es $\tfrac00$; aplicamos L'Hôpital (las derivadas del denominador, $2x$ y $2$, no se anulan cerca de $0$, salvo en $0$ mismo): $$\lim_{x\to0}\frac{e^x-x-1}{x^2}\overset{L'H}{=}\lim_{x\to0}\frac{e^x-1}{2x}\overset{L'H}{=}\lim_{x\to0}\frac{e^x}{2}=\frac12 .$$

Resultado: $\tfrac12$.

Receta: sustituye; si sale $\tfrac00$ o $\tfrac\infty\infty$, deriva arriba y abajo y repite hasta que el límite se pueda calcular.
Aviso sobre la solución impresa

Correcta. Solo que la condición precisa es sobre las derivadas del denominador, no sobre el denominador.

Teoría: U pp.82-83

Examen 2 · $\tfrac\infty\infty$ con exponenciales X p.10

Calcule el valor del límite $\displaystyle\lim_{x\to\infty}\frac{x+e^x}{2x+e^x}$.

La idea en una frase

Para $x$ enorme, $e^x$ es gigantesca y $x$ es una miseria al lado. Por ejemplo, con $x=20$: $e^{20}\approx485\,000\,000$ frente a $20$. Así que arriba y abajo «casi solo hay $e^x$», y el cociente se acerca a $\tfrac{e^x}{e^x}=1$.

  1. Tipo. Arriba y abajo tienden a $+\infty$: es $\tfrac\infty\infty$.
  2. Derivar arriba y abajo: $\dfrac{1+e^x}{2+e^x}$. Sigue siendo $\tfrac\infty\infty$.
  3. Derivar otra vez: $\dfrac{e^x}{e^x}=1$ para todo $x$. Su límite es $1$.
Lo que escribes en el examen

Es $\tfrac\infty\infty$; aplico L'Hôpital (la derivada del denominador, $2+e^x$, no se anula nunca): $$\lim_{x\to\infty}\frac{x+e^x}{2x+e^x}\overset{L'H}{=}\lim_{x\to\infty}\frac{1+e^x}{2+e^x}\overset{L'H}{=}\lim_{x\to\infty}\frac{e^x}{e^x}=1 .$$

Resultado: $1$.

Camino alternativo sin regla: divide arriba y abajo entre $e^x$: $\dfrac{x/e^x+1}{2x/e^x+1}\to\dfrac{0+1}{0+1}=1$, porque $x/e^x\to0$ (la exponencial gana siempre).

Receta: en un cociente con exponenciales cuando $x\to\infty$, divide entre la exponencial; o aplica la regla hasta que las exponenciales se simplifiquen.
Aviso sobre la solución impresa

La condición de la regla es sobre la derivada del denominador ($2+e^x\neq0$), no sobre «el numerador».

Teoría: U p.82 y el error típico «la regla da vueltas» S pp.304-305

Examen 3 · $\infty-\infty$: restar y aplicar la regla X p.104

Calcule el límite $\displaystyle\lim_{x\to0}\left(\frac1x-\frac1{1-\cos x}\right)$.

La idea en una frase

Una resta $\infty-\infty$ no se puede resolver tal cual. Se junta en una sola fracción y entonces sale un $\tfrac00$ que ya sabemos tratar con L'Hôpital.

  1. Juntar las dos fracciones (denominador común): $$\frac1x-\frac1{1-\cos x}=\frac{1-\cos x-x}{x(1-\cos x)} .$$
  2. Sustituir $x=0$. Arriba: $1-1-0=0$. Abajo: $0\cdot0=0$. Sale $\tfrac00$.
  3. Derivar arriba y abajo. Arriba: $\operatorname{sen}x-1$. Abajo (regla del producto): $(1-\cos x)+x\operatorname{sen}x$.
  4. Sustituir $x=0$ en lo nuevo. Arriba: $0-1=-1$. Abajo: $0$. Es «$\tfrac{-1}{0}$», que ya no es indeterminado: hay que ver el signo del $0$.
  5. Signo del denominador. Cerca de $0$ (con $x\ne0$), $1-\cos x>0$, y $x\operatorname{sen}x>0$ porque $x$ y $\operatorname{sen}x$ tienen el mismo signo. El denominador es positivo: $\tfrac{-1}{0^+}=-\infty$.
Lo que escribes en el examen

$$\lim_{x\to0}\left(\frac1x-\frac1{1-\cos x}\right)=\lim_{x\to0}\frac{1-\cos x-x}{x(1-\cos x)}\overset{L'H}{=}\lim_{x\to0}\frac{\operatorname{sen}x-1}{(1-\cos x)+x\operatorname{sen}x}=\frac{-1}{0^+}=-\infty .$$ (El denominador es $>0$ cerca de $0$, con $x\neq0$.)

Resultado: $-\infty$.

Receta: $\infty-\infty$: junta en una fracción, aplica la regla al $\tfrac00$ y, si sale «número$/0$», mira el signo del $0$.
Aviso sobre la solución impresa

Correcta. No comenta que por la izquierda no hay indeterminación; el resultado es el mismo.

Teoría: U pp.83-84

Examen 4 · $0^0$: exponencial y $0\cdot\infty$ X p.8

Calcule $\displaystyle\lim_{x\to0^+}x^{x^2}$.

La idea en una frase

Una potencia con $0^0$ es difícil de manejar. Escribimos $x^{x^2}=e^{x^2\ln x}$ y calculamos solo el exponente $x^2\ln x$, que ya es un límite normal; al final se pone $e^{\text{(resultado)}}$.

  1. Pasar a exponencial. Para $x>0$: $x^{x^2}=e^{x^2\ln x}$. Hay que hallar $L=\lim_{x\to0^+}x^2\ln x$; la respuesta será $e^L$.
  2. Ver qué tipo es el exponente. $x^2\to0$ y $\ln x\to-\infty$: es $0\cdot\infty$. Se pasa a fracción poniendo la potencia abajo: $$x^2\ln x=\frac{\ln x}{x^{-2}},\qquad\text{tipo }\tfrac{-\infty}{+\infty}.$$
  3. Derivar arriba y abajo. $(\ln x)'=\frac1x$ y $(x^{-2})'=-2x^{-3}$: $$\frac{1/x}{-2/x^3}=-\frac{x^2}{2}.$$
  4. Sustituir. $-\frac{x^2}{2}\to0$, luego $L=0$.
  5. Volver a la exponencial: $e^{L}=e^0=1$.
Lo que escribes en el examen

$$x^{x^2}=e^{x^2\ln x},\qquad \lim_{x\to0^+}x^2\ln x=\lim_{x\to0^+}\frac{\ln x}{x^{-2}}\overset{L'H}{=}\lim_{x\to0^+}\frac{1/x}{-2x^{-3}}=\lim_{x\to0^+}\left(-\frac{x^2}{2}\right)=0.$$ Como $e^t$ es continua, $\displaystyle\lim_{x\to0^+}x^{x^2}=e^0=1$.

Resultado: $1$.

Receta: $0^0$, $\infty^0$, $1^\infty$: escribe $f^g=e^{g\ln f}$, calcula el límite de $g\ln f$ (pasando a fracción) y pon $e$ elevado al resultado.
Aviso sobre la solución impresa

Supone que el límite existe («suponemos que es $l$»). Mejor el camino de arriba, que no supone nada.

Teoría: U pp.84-85

Examen 5 · $1^\infty$ en $x\to\infty$ X p.132

Calcule el límite $\displaystyle\lim_{x\to\infty}\left(\frac{x-1}{x+2}\right)^x$.

La idea en una frase

Es el truco de la potencia otra vez: se escribe $f^g=e^{g\ln f}$ y se calcula solo el exponente. Aquí la base se acerca a $1$ y el exponente crece sin parar ($1^\infty$).

  1. Pasar a exponencial. $\left(\frac{x-1}{x+2}\right)^x=e^{\,x\ln\frac{x-1}{x+2}}$. Hay que hallar $L=\lim_{x\to\infty}x\ln\frac{x-1}{x+2}$.
  2. Pasar a fracción. $x$ pasa abajo como $\frac1x$, y el logaritmo se separa en dos: $$L=\lim_{x\to\infty}\frac{\ln(x-1)-\ln(x+2)}{1/x},\qquad\text{tipo }\tfrac00.$$
  3. Derivar arriba y abajo. Arriba: $\frac1{x-1}-\frac1{x+2}=\frac{3}{(x-1)(x+2)}$. Abajo: $-\frac1{x^2}$.
  4. Dividir y simplificar: $\dfrac{3/((x-1)(x+2))}{-1/x^2}=\dfrac{-3x^2}{x^2+x-2}$.
  5. Límite. Con $x$ enorme, $x^2+x-2\approx x^2$, así que el cociente tiende a $-3$. Luego $L=-3$.
  6. Volver: el resultado es $e^{L}=e^{-3}$.
Lo que escribes en el examen

$$\left(\frac{x-1}{x+2}\right)^x=e^{x\ln\frac{x-1}{x+2}},\quad \lim_{x\to\infty}\frac{\ln(x-1)-\ln(x+2)}{1/x}\overset{L'H}{=}\lim_{x\to\infty}\frac{-3x^2}{x^2+x-2}=-3.$$ Por la continuidad de $e^t$, el límite pedido es $e^{-3}$.

Resultado: $e^{-3}$. (El solucionario lo hace con el número $e$, Prop. 2.2: base $=1+\frac{-3}{x+2}$ y exponente reescrito; vale igual, pero es más fácil equivocarse.)

Receta: $1^\infty$: $e^{L}$ con $L=\lim_{x\to\infty} g\ln f$, pasando $g$ a fracción. Atajo: $L=\lim_{x\to\infty} g\,(f-1)$, que aquí es $x\cdot\frac{-3}{x+2}\to-3$.
Aviso sobre la solución impresa

Resultado correcto. No explica por qué se puede pasar al límite del exponente (continuidad de $e^t$).

Teoría: U p.85

Examen 6 · la regla dentro de un problema de continuidad y derivabilidad X pp.86-87

Dada $f(x)=\dfrac{x}{e^x-1}$ si $x\neq0$, $f(0)=1$. (a) (1 punto) Demuestre que es continua en $\mathbb R$. (b) (0.75 puntos) Demuestre que tiene derivada continua en $\mathbb R-\{0\}$. (c) (1.25 puntos) Demuestre que la derivada es continua en $x=0$.

La idea en una frase

La función cambia de fórmula en $x=0$, y justo ahí la fórmula da $\tfrac00$. Así que en $0$ hay que comprobar tres cosas con límites: que $f$ encaja (a), que $f'$ existe y cuánto vale (c) y que $f'$ también encaja; la regla de L'Hôpital resuelve cada límite.

  1. (a) Fuera de $0$. Si $x\neq0$, entonces $e^x\neq1$: $f$ es un cociente de funciones continuas con denominador no nulo, luego es continua.
  2. (a) En $0$: qué hay que probar. Que $\lim_{x\to0}f(x)=f(0)=1$.
  3. (a) Calcular el límite. Al sustituir sale $\tfrac00$. Derivando arriba y abajo: $\dfrac{1}{e^x}\to1$. Coincide con $f(0)$: $f$ es continua en $\mathbb R$.
  4. (b) Derivar fuera de $0$ con la regla del cociente: $$f'(x)=\frac{(e^x-1)-xe^x}{(e^x-1)^2}.$$ Es cociente de continuas con denominador $\neq0$ si $x\neq0$: $f'$ es continua en $\mathbb R-\{0\}$.
  5. (c) Valor de $f'(0)$. La fórmula del paso anterior no vale en $0$: se usa la definición, $f'(0)=\lim_{h\to0}\frac{f(h)-f(0)}{h}$. Escribiendo $f(h)-1$ con denominador común queda $$f'(0)=\lim_{h\to0}\frac{h-e^h+1}{h(e^h-1)}\quad\left(\tfrac00\right).$$
  6. (c) L'Hôpital, 1ª vez. Arriba: $1-e^h$. Abajo (producto): $(e^h-1)+he^h$. Sigue saliendo $\tfrac00$.
  7. (c) L'Hôpital, 2ª vez. Arriba: $-e^h$. Abajo: $(2+h)e^h$. El cociente $\dfrac{-1}{2+h}$ tiende a $-\tfrac12$. Luego $f'(0)=-\tfrac12$.
  8. (c) ¿Es continua $f'$ en $0$? Falta ver que $\lim_{x\to0}f'(x)=-\tfrac12$. Sustituyendo en la fórmula de (b) sale $\tfrac00$.
  9. Derivar arriba y abajo. Arriba: $-xe^x$. Abajo: $2(e^x-1)e^x$. Se simplifica $e^x$: $$\frac{-xe^x}{2(e^x-1)e^x}=-\frac12\cdot\frac{x}{e^x-1}.$$
  10. Límite. $\dfrac{x}{e^x-1}\to1$ (paso 3), así que todo tiende a $-\tfrac12=f'(0)$. Luego $f'$ es continua en $0$.
Lo que escribes en el examen

(a) $\displaystyle\lim_{x\to0}\frac{x}{e^x-1}\overset{L'H}{=}\lim_{x\to0}\frac1{e^x}=1=f(0)$. (c) $\displaystyle f'(0)=\lim_{h\to0}\frac{h-e^h+1}{h(e^h-1)}\overset{L'H}{=}\lim_{h\to0}\frac{1-e^h}{(e^h-1)+he^h}\overset{L'H}{=}\lim_{h\to0}\frac{-e^h}{(2+h)e^h}=-\frac12$, y $\displaystyle\lim_{x\to0}f'(x)\overset{L'H}{=}\lim_{x\to0}\frac{-xe^x}{2(e^x-1)e^x}=-\frac12\lim_{x\to0}\frac{x}{e^x-1}=-\frac12$.

Alternativa con Taylor (tema 3.1): $\frac{x}{e^x-1}=1-\frac x2+O(x^2)$ da directamente $f'(0)=-\tfrac12$.

Receta: función a trozos con $\tfrac00$ en el punto de unión: continuidad = un límite con la regla; $f'(a)$ = definición (cociente incremental, otra vez con la regla); continuidad de $f'$ = calcular $\lim_{x\to a} f'(x)$ y compararlo con $f'(a)$.
Avisos sobre la solución impresa

Resultados impresos correctos. En el último límite el solucionario salta de $\frac{-xe^x}{2(e^x-1)e^x}$ a $\frac{-1}{2e^x}$ sin explicarlo (simplifica $e^x$ y aplica la regla otra vez).

Teoría: U pp.82-83 (más derivada por definición, U §2.1, y regla del cociente, U §2.2)

Otros exámenes del mismo tipo (no desarrollados)
  • Feb. 2017, 1ª sem., I. Electrónica, P1 (1 punto): $\lim_{x\to0}\frac{x-\operatorname{sen}x}{x^3}=\frac16$ (regla tres veces). X p.137
  • Feb. 2018, 2ª sem., I. Electrónica, P1 (1 punto): $\lim_{x\to\infty}\frac{\ln 5x^2}{3+7\ln x}=\frac27$ (con la regla: $\frac{2/x}{7/x}=\frac27$). X p.140
  • Sept. 2010, Eléctrica, P1 (1 punto): extender $\frac{\operatorname{sen}x}{x}$ por continuidad en $0$ (es U Ej. 2.8). X p.7
  • Feb. 2017, Mecánica, Modelo B, P1: $\lim_{x\to0^+}\frac{5+\cos(e^{-x^2})}{\ln x}=0$. No es indeterminado (acotado$/\infty$): ejemplo de cuándo NO usar la regla. X p.81
Tipos que también caen y no están en el PDF
  • $\infty^0$ (p. ej. $\lim_{x\to\infty}x^{1/x}$): no aparece en ningún examen del PDF.
  • Límite con parámetro (hallar $a$ para que un límite resuelto con la regla sea finito o tenga un valor dado): no hay ninguno en el PDF.
  • Límite de sucesión resuelto pasando a variable real y aplicando la regla (U Prop. 2.3): en el PDF las sucesiones $1^\infty$ se resuelven con el número $e$ (p. ej. X p.101), no con L'Hôpital.
  • Producto $0\cdot\infty$ «puro», del tipo $\lim_{x\to0^+}x\ln x$: solo aparece como paso intermedio (Examen 4).

10Chuleta y lista de comprobación

Fórmulas y enunciados clave

Regla: $f,g$ derivables cerca de $a$, $g'\neq0$ cerca de $a$; $\tfrac00$ o $\tfrac\infty\infty$; si existe $\lim_{x\to a}\frac{f'}{g'}=\ell\in\overline{\mathbb R}$, entonces $\lim_{x\to a}\frac fg=\ell$. Vale con $a^\pm$ y $\pm\infty$.

Productos: $fg=\dfrac f{1/g}$ o $\dfrac g{1/f}$. Restas: denominador común, racionalizar, factor común. Potencias: $f^g=e^{g\ln f}$, límite $e^{L}$. Prop. 2.2: $f\to\pm\infty\Rightarrow(1+\frac1f)^f\to e$. Prop. 2.3: $\lim_x f=l\Rightarrow\lim_nf(n)=l$.

Escalera: $\ln x\ll x^p\ll a^x$ ($p>0$, $a>1$). No indeterminados: $\frac c\infty=0$, $\frac c{0^\pm}=\pm\infty$ (signo según $c$ y el lado), $\infty+\infty=\infty$, $0^{+\infty}=0$ (base $\to0^+$), $\infty^\infty=\infty$.

U pp.82-85

★Fuentes de este tema

Mostrar lista de fuentes