Why Algebra Helps with Indeterminate Forms
Direct substitution is often the first step in a multivariable limit. Sometimes substituting the target point gives a quotient whose numerator and denominator are both zero. This is called a zero-over-zero form. It does not give the limit: it signals that the expression needs further analysis.
Factoring can reveal a common factor that can be canceled, while rationalizing can transform a difference of radicals into a product with a useful factor. In either case, the crucial condition is that the cancellation be valid at the points where the original function is defined near the target. The simplified expression can then determine the limit, even if the original function is not defined at the target itself.
What Cancellation Near a Point Means
Suppose a function \(f\) is defined on a set \(D\subseteq\mathbb{R}^2\), and we want its limit at \((a,b)\). A punctured neighborhood of \((a,b)\) consists of points close to \((a,b)\), with the point \((a,b)\) itself removed. For a limit of \(f\) to be meaningful, there must be points of \(D\) arbitrarily close to \((a,b)\), other than \((a,b)\).
For a quotient, factoring and canceling a common factor is valid at points where that factor is nonzero. In the usual situation, the canceled factor is part of the original denominator, so points where it vanishes are already outside the domain of the quotient. After cancellation, the simplified expression may be defined at additional points, but those new values do not change the original function’s domain or value.
This result explains why the algebraic simplification works. The limit definition only tests values of \(f\) at domain points close to the target and different from it. On those points, \(f\) and \(g\) agree. Since \(g\) is continuous at the target, its values approach \(g(a,b)\).
Substitute the target point to see whether numerator and denominator both approach zero.
Factor a common factor, or multiply by a suitable conjugate when radicals are involved.
Confirm the canceled factor is nonzero at the relevant points of the original domain.
Use continuity or the limit laws, and keep the original domain in view.
Worked Examples with Factoring
Worked Example: A Difference of Squares
Evaluate \(\displaystyle \lim_{(x,y)\to(1,1)}\frac{x^2-y^2}{x-y}\).
Direct substitution gives numerator \(1^2-1^2=0\) and denominator \(1-1=0\). Factor the numerator:
The original quotient is defined only when \(x-y\ne0\). At every such point, canceling the common factor gives
The simplified expression is continuous at \((1,1)\), so the limit is \(1+1=2\). To verify the limiting behavior directly, for domain points with \(x\ne y\) we have
If \(\sqrt{(x-1)^2+(y-1)^2}<\delta\), then each of \(|x-1|\) and \(|y-1|\) is less than \(\delta\), so the displayed difference is less than \(2\delta\). Choosing \(\delta=\varepsilon/2\) makes it less than \(\varepsilon\). Thus the limit is \(2\). As an algebra check, multiplying the canceled expression by the original denominator recovers the numerator: \((x-y)(x+y)=x^2-y^2\).
Worked Example: Canceling a Repeated Linear Factor
Evaluate \(\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^2+2xy+y^2}{x+y}\).
Substitution gives \(0/0\). The numerator is a perfect square:
The original quotient is defined only where \(x+y\ne0\). At every point in that domain,
The simplified expression tends to \(0+0=0\). To check this conclusion, at every point where the original quotient is defined,
The last inequality follows by squaring: \((|x|+|y|)^2\le2(x^2+y^2)\). Given \(\varepsilon>0\), choose \(\delta=\varepsilon/\sqrt{2}\). If \(0<\sqrt{x^2+y^2}<\delta\), the absolute difference is less than \(\varepsilon\). Hence the limit is \(0\). The factorization checks because expanding \((x+y)^2\) gives \(x^2+2xy+y^2\).
Rationalizing Radicals
When a numerator or denominator contains a difference of square roots, multiplying by the conjugate can remove that difference. The conjugate of \(\sqrt{A}-\sqrt{B}\) is \(\sqrt{A}+\sqrt{B}\), and their product is \(A-B\). This follows from the difference-of-squares identity:
Rationalizing is useful when this new difference \(A-B\) exposes a factor that cancels with the denominator. The radical expressions and the conjugate must be defined on the portion of the original domain under consideration. Cancellation is then justified only where the canceled factor is nonzero.
Worked Example: Rationalizing a Difference from One
Evaluate \(\displaystyle \lim_{(x,y)\to(0,0)}\frac{\sqrt{1+x+y}-1}{x+y}\).
At the target, the numerator and denominator are both zero. The radical is defined in a neighborhood of \((0,0)\); for instance, if \(\sqrt{x^2+y^2}<1/2\), then \(|x+y|\le\sqrt{2}\sqrt{x^2+y^2}<1\), so \(1+x+y>0\). The quotient itself requires \(x+y\ne0\).
Multiply the numerator and denominator by the conjugate \(\sqrt{1+x+y}+1\):
These equalities hold for the original domain points near the target: \(x+y\ne0\), and the conjugate is positive. The simplified expression is continuous at \((0,0)\), where its value is \(1/(1+1)=1/2\). Thus the limit is \(1/2\). Multiplying the two conjugate factors back gives \((1+x+y)-1=x+y\), confirming the rationalization.
Worked Example: A Radial Quadratic Inside a Square Root
Evaluate \(\displaystyle \lim_{(x,y)\to(0,0)}\frac{\sqrt{4+x^2+y^2}-2}{x^2+y^2}\).
Substitution again gives \(0/0\). The original quotient is defined at points where \(x^2+y^2\ne0\), which means all points other than the origin. Rationalize the numerator:
For every nonzero \((x,y)\), the canceled factor \(x^2+y^2\) is positive, and the conjugate is positive. The simplified expression is continuous at the origin, with value \(1/(2+2)=1/4\). Therefore the limit is \(1/4\). The rationalization is checked by the identity \((\sqrt{4+x^2+y^2}-2)(\sqrt{4+x^2+y^2}+2)=x^2+y^2\).
A Common Cancellation Mistake
A frequent error is to treat a canceled expression as though it were equal to the original function even at points where the original function is undefined. For example, in the first worked example one might write:
The first equality is valid only when \(x-y\ne0\). At \((1,1)\), the original quotient is undefined; it has no function value there. The corrected conclusion is that the original quotient agrees with \(x+y\) at all its domain points near \((1,1)\), and those values approach \(2\). The limit is \(2\), but that does not assign a value to the original function at the target.
It is also incorrect to cancel terms rather than common factors. For example, \(x+y\) has no common factor \(x\) in general, so an expression such as \((x+y)/x\) cannot be simplified by “canceling \(x\)” from the sum. Factoring must produce a genuine multiplicative factor before cancellation is allowed.
How to Choose an Algebraic Rewrite
| Expression pattern | Useful first rewrite | Condition to check |
|---|---|---|
| Difference of squares | Factor as a product | The canceled factor is nonzero on the original domain points used |
| Repeated linear or polynomial factor | Factor the numerator and denominator | The factor being canceled is genuinely common |
| Difference of square roots | Multiply by the conjugate | The radicals and conjugate are defined nearby |
| Zero-over-zero after substitution | Do not infer a value from \(0/0\) | Further analysis is required |
These methods resolve limits when the algebra leaves an expression with a well-defined limit. If factoring or rationalizing does not produce such an expression, it does not by itself settle the question. The zero-over-zero form alone is not evidence that a limit exists or that it fails to exist.
Check Your Understanding
For each question, identify the algebraic step and the domain condition that matter.
- In \(\frac{x^2-y^2}{x-y}\), where is cancellation valid, and what is the simplified expression?
- Why does obtaining \(0/0\) by direct substitution not determine a limit?
- What conjugate would you use to rationalize \(\sqrt{4+x+y}-2\)?
- For \(\frac{x^2+2xy+y^2}{x+y}\), which factor is canceled, and where is it nonzero?
- Does simplifying a quotient by cancellation assign the original function a value at a point where its denominator is zero? Explain.