Límites con Desarrollo de Taylor: Guía de Resolución Eficiente para Ingenieros
El desarrollo de Taylor sustituye funciones trascendentes por polinomios equivalentes con resto de Peano, eliminando indeterminaciones $0/0$ y $\infty/\infty$ sin recurrir a L’Hôpital iterado. Esta guía expone el algoritmo de truncamiento por grado, la tabla de Maclaurin esencial para exámenes y un caso resuelto de alta exigencia, con verificación en SymPy.
1. ¿Cuándo y por qué utilizar el Teorema de Taylor en el Cálculo de Límites?
El Teorema de Taylor sustituye una función $f(x)$ por su polinomio $P_n(x)$ alrededor de $x=0$ más un resto $o(x^n)$ despreciable frente a $x^n$. En límites con sumas o restas de funciones trascendentes, los infinitésimos equivalentes de primer orden cancelan términos y producen indeterminaciones residuales; Taylor de orden superior resuelve el límite en un paso, sin las iteraciones de L’Hôpital que se acumulan en exámenes de Cálculo 1.
Los infinitésimos equivalentes clásicos —$\sin x \sim x$, $1-\cos x \sim x^2/2$, $e^x-1\sim x$— funcionan perfectamente cuando la función aparece como factor en un producto o cociente. El problema surge en sumas y restas: si dos términos equivalentes de primer orden se cancelan entre sí, el límite queda indeterminado de nuevo, y sustituir por el siguiente infinitésimo equivalente «a mano» es propenso a errores de orden. La Regla de L’Hôpital, por su parte, exige derivar repetidamente funciones cada vez más complejas; en cocientes con productos de exponenciales y trigonométricas, la tercera o cuarta derivada genera expresiones inabordables y el riesgo de error algebraico crece exponencialmente con cada iteración.
El desarrollo de Taylor resuelve ambos problemas de raíz: convierte cada función trascendente en un polinomio truncado, de forma que toda la operación —suma, resta, cociente— se reduce a álgebra de polinomios. El grado de truncamiento $n$ se elige una sola vez, de forma estratégica, y el resultado emerge sin necesidad de derivar nada más.
$$f(x) = \sum_{k=0}^{n} \frac{f^{(k)}(0)}{k!}x^k + o(x^n), \qquad x\to 0$$
El término $o(x^n)$ —resto de Peano— representa una cantidad que tiende a cero más rápido que $x^n$. En la práctica de límites, todo término de orden superior a $n$ se puede descartar siempre que $n$ sea suficientemente alto para no anular el resultado.
El grado $n$ no es arbitrario: debe ser, como mínimo, el grado del primer término no nulo del numerador tras la cancelación. Truncar demasiado pronto produce un límite incorrecto (normalmente $0$ o $\infty$ cuando el valor real es finito).
2. Desarrollos en Serie de Maclaurin Fundamentales (Entorno x = 0)
Cinco desarrollos de Maclaurin cubren más del 90% de los límites de exámenes de ingeniería: $e^x$, $\sin x$, $\cos x$, $\ln(1+x)$ y $(1+x)^m$. Memorizarlos hasta orden 3 con su resto $o(x^3)$ permite resolver indeterminaciones $0/0$ sin derivar.
La siguiente tabla recoge los desarrollos truncados a orden 3, suficientes para la inmensa mayoría de los límites propuestos en Cálculo 1 de ingeniería. Para órdenes superiores, el patrón de los coeficientes —factoriales en el denominador, signos alternos en funciones trigonométricas— se extiende de forma directa.
| Función | Desarrollo de Maclaurin (orden 3) | Resto |
|---|---|---|
| $e^x$ | $1 + x + \dfrac{x^2}{2} + \dfrac{x^3}{6}$ | $o(x^3)$ |
| $\sin x$ | $x – \dfrac{x^3}{6}$ | $o(x^3)$ |
| $\cos x$ | $1 – \dfrac{x^2}{2}$ | $o(x^3)$ |
| $\ln(1+x)$ | $x – \dfrac{x^2}{2} + \dfrac{x^3}{3}$ | $o(x^3)$ |
| $(1+x)^m$ | $1 + mx + \dfrac{m(m-1)}{2}x^2 + \dfrac{m(m-1)(m-2)}{6}x^3$ | $o(x^3)$ |
Observa que $\cos x$ y $e^x$ no tienen término en $x^1$ ni en $x^3$ (cos) respectivamente; esto explica por qué muchos límites con $\cos x$ requieren llegar hasta orden 4 si el numerador ya cancela los términos de orden 0 y 2.
3. Protocolo de Resolución para Indeterminaciones 0/0
Identifica la anulación del denominador, determina el grado de corte $n$ a partir del primer término no nulo del denominador, sustituye numerador y denominador por sus polinomios de Maclaurin truncados a ese mismo orden $n$, y evalúa el límite del cociente de polinomios tras cancelar factores comunes.
Este protocolo convierte cualquier límite $0/0$ de funciones trascendentes en un ejercicio mecánico de álgebra. La única decisión no trivial es el paso 2: elegir $n$.
- Identificar la anulación del denominador. Verifica que, al sustituir $x\to 0$, tanto numerador como denominador tienden a 0 (o a $\infty/\infty$ tras un cambio de variable). Sin esta verificación previa, aplicar Taylor es innecesario o incorrecto.
- Determinar el grado de corte $n$ analizando el denominador. Desarrolla el denominador y observa cuál es el primer exponente con coeficiente no nulo: ese exponente es $n$. Si el denominador es, por ejemplo, $x^3 + o(x^3)$, necesitas $n=3$ tanto en el numerador como en el denominador.
- Sustituir por los polinomios equivalentes truncados a orden $n$. Aplica la Tabla 1 a cada función trascendente presente, multiplicando o componiendo desarrollos según corresponda, siempre conservando todos los términos hasta grado $n$.
- Truncar, cancelar factores comunes y evaluar. El cociente de dos polinomios que comparten el factor $x^n$ se simplifica algebraicamente; al cancelar $x^n$, el límite $x\to 0$ se evalúa directamente sobre los coeficientes restantes.
Truncar el numerador a un orden y el denominador a otro distinto es el error más frecuente en este método. Si el numerador se desarrolla hasta $x^3$ pero el denominador sólo hasta $x^2$, el resto de Peano del numerador puede ocultar el término dominante real, produciendo un límite incorrecto (típicamente $0$ o $\infty$ en lugar de un valor finito).
4. Caso Práctico Resuelto con Rigor Matemático
Se resuelve $\lim_{x\to 0}\dfrac{e^x\sin x – x – x^2}{x^3}$, un límite que exige desarrollar tanto $e^x$ como $\sin x$ hasta orden 3 y multiplicar los polinomios resultantes, ya que los términos de orden 0, 1 y 2 se cancelan exactamente con el resto del numerador.
Calculemos:
$$L = \lim_{x\to 0}\frac{e^x\sin x – x – x^2}{x^3}$$
Paso 1 — Verificación de la indeterminación. En $x=0$: $e^0\sin 0 – 0 – 0 = 0$ y el denominador $x^3=0$. Tenemos $0/0$.
Paso 2 — Grado de corte. El denominador es $x^3$, luego $n=3$: necesitamos desarrollar el numerador hasta orden 3.
Paso 3 — Desarrollo de $e^x\sin x$. Usando la Tabla 1:
$$e^x = 1+x+\frac{x^2}{2}+\frac{x^3}{6}+o(x^3), \qquad \sin x = x-\frac{x^3}{6}+o(x^3)$$
Multiplicando ambos polinomios y conservando sólo términos hasta $x^3$:
$$e^x\sin x = \left(1+x+\frac{x^2}{2}+\frac{x^3}{6}\right)\left(x-\frac{x^3}{6}\right)+o(x^3)$$
$$= x + x^2 + \frac{x^3}{2} – \frac{x^3}{6} + o(x^3) = x + x^2 + \frac{x^3}{3} + o(x^3)$$
Los productos $x\cdot(-x^3/6)$, $(x^2/2)\cdot(-x^3/6)$ y $(x^3/6)\cdot(-x^3/6)$ son de orden $\geq 4$ y se descartan dentro de $o(x^3)$.
Paso 4 — Sustitución y cancelación. El numerador queda:
$$e^x\sin x – x – x^2 = \left(x+x^2+\frac{x^3}{3}\right) – x – x^2 + o(x^3) = \frac{x^3}{3}+o(x^3)$$
Por tanto:
$$L = \lim_{x\to 0}\frac{\frac{x^3}{3}+o(x^3)}{x^3} = \frac{1}{3}$$
Si se hubiera desarrollado $e^x$ y $\sin x$ sólo hasta orden 1 ($e^x\approx 1+x$, $\sin x\approx x$), el producto $e^x\sin x\approx x+x^2$ parece cancelar exactamente $x+x^2$ del numerador, sugiriendo erróneamente $L=0$. Olvidar el resto de Peano de orden 3 —o truncar numerador y denominador a distinto grado— es la causa número uno de resultados incorrectos en este tipo de ejercicio.
5. Automatización y Modelado Numérico con Python
SymPy permite declarar la variable simbólica $x$, expandir cualquier expresión con
series() hasta el orden deseado y resolver el límite directamente con
limit(), confirmando el resultado analítico $1/3$ sin ambigüedad de signos
ni errores de truncamiento manual.
import sympy as sp
# ═══════════════════════════════════════════════════════
# Límite por desarrollo de Taylor — FísicaIngeniería
# L = lim_{x->0} (e^x sin(x) - x - x^2) / x^3
# ═══════════════════════════════════════════════════════
x = sp.symbols('x')
f = sp.exp(x) * sp.sin(x) - x - x**2
g = x**3
# Desarrollo de Taylor del numerador hasta orden 3
serie_num = sp.series(f, x, 0, 4).removeO()
print("Numerador truncado:", serie_num)
# Resolución directa del límite (sin truncar a mano)
L = sp.limit(f / g, x, 0)
print("Límite L =", L)
# Verificación: desarrollo conjunto del cociente
expr = f / g
serie_cociente = sp.series(expr, x, 0, 1)
print("Serie del cociente cerca de 0:", serie_cociente)
sp.series(f, x, 0, 4) calcula el desarrollo hasta orden $x^3$ con resto
$O(x^4)$; .removeO() elimina la notación de Landau para obtener sólo el
polinomio. sp.limit() usa internamente algoritmos equivalentes a Taylor para
indeterminaciones, por lo que sirve como verificación independiente del cálculo manual.
6. Preguntas Frecuentes sobre Límites por Taylor
Artículo revisado el 14 de junio de 2026. Los desarrollos de Maclaurin y el algoritmo de truncamiento descritos son válidos para cualquier temario de Cálculo 1 de ingeniería que siga el enfoque estándar de límites con infinitésimos equivalentes y series de potencias.