La forma indeterminada ∞−∞: conjugado, logaritmos y común denominador
La forma es una de las indeterminaciones más habituales al calcular límites cuando la variable crece sin tope. Aparece siempre que se restan dos cantidades que tienden ambas a infinito: por separado no dicen nada — no es —, porque el resultado depende de cómo de rápido crece cada una. La diferencia puede tender a un número finito, a infinito o a no existir. La estrategia común es reescribir la expresión para deshacer la resta y llegar a una forma en la que el límite ya se pueda leer; qué reescritura conviene depende de la forma de los términos. A continuación, las tres más frecuentes.
El conjugado y su forma generalizada. Es la técnica para las diferencias de raíces. El conjugado de es , y su producto elimina las raíces, ; multiplicando y dividiendo por él, la resta se convierte en un cociente: Así, queda , y da . Para raíces de índice mayor (, o ) se usa la factorización de una diferencia de potencias, con y : el numerador pasa a ser , sin raíces. En el numerador queda y el límite es . Y si los índices son mixtos (), se toma como el mínimo común múltiplo de los índices y se aplica la identidad con exponente : para , con , el numerador es un polinomio y el límite es .
Diferencia de logaritmos. Cuando la resta es entre dos logaritmos, la propiedad la combina en uno solo, y el límite se reduce al del argumento: si , entonces . Por ejemplo, , y para todo . La resta indeterminada se ha convertido en el logaritmo de un cociente perfectamente calculable.
Común denominador. Si los términos son fracciones (o un polinomio menos una fracción), reunirlos sobre un mismo denominador transforma la resta en un cociente de polinomios, cuyo límite en el infinito sigue una regla sencilla: se comparan los grados del numerador y del denominador. Si el denominador tiene grado mayor, el límite es ; si tienen el mismo grado, es el cociente de los coeficientes principales. Así, (mismo grado), y (el denominador gana en grado).
Las tres técnicas tienen algo en común: son álgebra, no usan derivadas. Por eso valen exactamente igual para una función de que para una sucesión , sin necesidad de la extensión continua que sí exigen L'Hôpital o el desarrollo de Taylor —la misma ventaja que tienen las equivalencias asintóticas—. En un límite concreto, reconocer la forma de los términos (raíces, logaritmos, fracciones) es lo que indica cuál aplicar.
La calculadora de límites de MathOperator detecta la forma y muestra la reescritura que corresponde —el conjugado generalizado, la combinación de logaritmos o el común denominador— como una de sus vías, con el desarrollo completo. Pueden probarse sqrt(x+1)-sqrt(x) at oo, (x^3+30x^2-10)^(1/3)-x at oo, el caso de índices mixtos (n^3+9n^2-10)^(1/3)-sqrt(n^2+5n-3) at oo, ln(3x)-ln(x) at oo o x - x^2/(x+1) at oo.