Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Why this matters

A metal cube is heated and expands. On Polynomial and Rational Functions we asked how fast its volume grows when its side is exactly 2 centimetres. As the side grows from 2 to xx, the volume x3x^3 grows by x3−8x^3 - 8, so on average it grows by

A(x)=x3−8x−2A(x) = \frac{x^3 - 8}{x - 2}

cubic centimetres per centimetre of side. At x=2x = 2 the formula gives 00\frac{0}{0}, which is not a number.

Figure 1:Graph of the average rate y=x3−8x−2y = \frac{x^3 - 8}{x - 2} for 0≤x≤40 \le x \le 4, rising from 4 at x=0x = 0 to 28 at x=4x = 4, with an open circle at x=2x = 2, where the formula is undefined. The widget draws the circle at the height it estimates from the values on both sides of 2. A slider for xx moves a point along the graph. A table lists the values at x=1.9,1.99,1.999x = 1.9, 1.99, 1.999: 11.41, 11.9401, 11.994001, and at x=2.001,2.01,2.1x = 2.001, 2.01, 2.1: 12.006001, 12.0601, 12.61. They get closer to 12 from both sides.

Try this: move the point towards x=2x = 2 from both sides and read the values. Then compute x2+2x+4x^2 + 2x + 4 at x=1.99x = 1.99 and at x=2x = 2. What do you notice?

On that page we factored the numerator, x3−8=(x−2)(x2+2x+4)x^3 - 8 = (x - 2)(x^2 + 2x + 4), cancelled the non-zero number x−2x - 2 for x≠2x \ne 2, and said that for xx close to 2 the rate is close to 22+2⋅2+4=122^2 + 2 \cdot 2 + 4 = 12. The table agrees. But two questions remain.

This page answers both with one lemma: two functions that agree near aa, except possibly at aa itself, have the same limit at aa. With it, every limit of the form “00\frac{0}{0}” on this page follows the same plan: rewrite the function for x≠ax \ne a, by factoring, rationalising or simplifying, until the limit laws apply, and let the lemma carry the limit back.

Limits of the form 00\frac{0}{0}

On Limit Laws we met quotients whose numerator and denominator both approach 0. The quotient law needs the limit of the denominator to be non-zero, so it does not apply to them.

Let ff and gg be functions, each defined at every point of an open interval containing aa, except possibly at aa, with lim⁡x→af(x)=0\lim_{x \to a} f(x) = 0 and lim⁡x→ag(x)=0\lim_{x \to a} g(x) = 0, and suppose that fg\frac{f}{g} is also defined at every point of an open interval containing aa, except possibly at aa. We then say that lim⁡x→af(x)g(x)\lim_{x \to a} \frac{f(x)}{g(x)} is of the form 00\frac{0}{0}.

In words. “Of the form 00\frac{0}{0}” describes the situation, not the answer: substituting the limits of the parts gives the symbol 00\frac{0}{0}, which is not a number, because 0 has no reciprocal. Such a limit may be any number, or not exist at all, as the figure on Limit Laws suggests and Example 3 proves. The form says only that the quotient law gives nothing, and that we must rewrite the function first.

Example. lim⁡x→2x3−8x−2\lim_{x \to 2} \frac{x^3 - 8}{x - 2} is of the form 00\frac{0}{0}: by part (a) of direct substitution, the numerator approaches 23−8=02^3 - 8 = 0 and the denominator 2−2=02 - 2 = 0, and the quotient is defined at every x≠2x \ne 2.

Non-example. lim⁡x→2x3−8x+2\lim_{x \to 2} \frac{x^3 - 8}{x + 2} is not of the form 00\frac{0}{0}: the denominator approaches 4≠04 \ne 0, so the quotient law applies, and the limit is 04=0\frac{0}{4} = 0. Nor is lim⁡x→01x\lim_{x \to 0} \frac{1}{x}, where the numerator approaches 1: that limit does not exist, as Limit Laws shows, and no rewriting changes that.

Main results

The lemma says that a limit only sees the values of a function on a small window around aa, with aa itself left out. The window is the set of xx with 0<∣x−a∣<r0 < \abs{x - a} < r, which by part (e) of the proposition on distance inequalities is the open interval (a−r,a+r)(a - r, a + r) with its centre aa removed.

In words. If two functions have the same values near aa, except possibly at aa, they have the same limit at aa. What they do at aa plays no part: f(a)f(a) and g(a)g(a) may be different, or undefined. What they do far from aa plays no part either: only some window around aa, however small, matters.

Example. For x≠1x \ne 1, x2−1x−1=(x−1)(x+1)x−1=x+1\frac{x^2 - 1}{x - 1} = \frac{(x - 1)(x + 1)}{x - 1} = x + 1, cancelling the non-zero number x−1x - 1. Both functions are defined at every xx with 0<∣x−1∣<10 < \abs{x - 1} < 1 and agree there, and lim⁡x→1(x+1)=2\lim_{x \to 1} (x + 1) = 2 by part (a) of direct substitution. By the lemma, lim⁡x→1x2−1x−1=2\lim_{x \to 1} \frac{x^2 - 1}{x - 1} = 2.

Non-example. Agreeing at aa is not the hypothesis, and it is not enough. Let h(x)=x+1h(x) = x + 1 for x≠0x \ne 0 and h(0)=0h(0) = 0. The functions xx and hh agree at x=0x = 0. But lim⁡x→0x=0\lim_{x \to 0} x = 0 (part (a) of the limit laws), while hh agrees with x+1x + 1 at every x≠0x \ne 0, so by the lemma and part (a) of direct substitution, lim⁡x→0h(x)=1\lim_{x \to 0} h(x) = 1.

The method for 00\frac{0}{0}

To find lim⁡x→af(x)\lim_{x \to a} f(x) for a quotient ff:

  1. Substitute. Find the limits of the numerator and the denominator with the limit laws or direct substitution. If the denominator’s limit is not 0, the quotient law gives the answer, and we are done. If both limits are 0, the limit is of the form 00\frac{0}{0}: go on.

  2. Rewrite. Find a function gg and a window 0<∣x−a∣<r0 < \abs{x - a} < r on which ff and gg are both defined and f(x)=g(x)f(x) = g(x). The algebra may use x≠ax \ne a: on the window we may cancel a factor that is not 0 there, such as x−ax - a.

  3. Compute lim⁡x→ag(x)\lim_{x \to a} g(x) with the limit laws or direct substitution, checking the hypotheses of each law and naming its part.

  4. Conclude with Lemma 1: lim⁡x→af(x)\lim_{x \to a} f(x) is the same number.

Step 2 is where the three techniques below come in. Each of them produces a gg to which the laws apply.

Three ways to rewrite

Factoring. Let f=pqf = \frac{p}{q}, with polynomials pp and qq such that p(a)=0p(a) = 0 and q(a)=0q(a) = 0, and pp not the zero polynomial. (If pp is the zero polynomial, ff is 0 wherever it is defined; the rigorous track treats this case.) A polynomial of degree 0 is a non-zero constant, which has no root, so pp has degree at least 1. So has qq, which is not the zero polynomial, by the definition of a rational function. By part (b) of the factor theorem, for every real xx,

p(x)=(x−a) p1(x),q(x)=(x−a) q1(x),\begin{aligned} p(x) &= (x - a)\, p_1(x), \\ q(x) &= (x - a)\, q_1(x), \end{aligned}

where p1p_1 and q1q_1 are polynomials whose degrees are one less than those of pp and qq (part (a) of the theorem, for degree at least 1). To find p1p_1, divide pp by x−ax - a: since p(x)=(x−a) p1(x)+0p(x) = (x - a)\, p_1(x) + 0, the uniqueness in division of polynomials says that p1p_1 is the quotient, with the zero polynomial as the remainder. For a quadratic, a factorisation found by inspection is just as good, once multiplying out confirms it.

At every x≠ax \ne a the number x−ax - a is not 0, so by part (a) of the sign rules, q(x)≠0q(x) \ne 0 exactly when q1(x)≠0q_1(x) \ne 0. So pq\frac{p}{q} and p1q1\frac{p_1}{q_1} are defined at the same points x≠ax \ne a, and at those points

p(x)q(x)=(x−a) p1(x)(x−a) q1(x)=p1(x)q1(x),\frac{p(x)}{q(x)} = \frac{(x - a)\, p_1(x)}{(x - a)\, q_1(x)} = \frac{p_1(x)}{q_1(x)},

cancelling the non-zero factor x−ax - a. If q1(a)≠0q_1(a) \ne 0, then by part (b) of the proposition on the domain of a rational function there is an open interval (α,β)(\alpha, \beta) containing aa at every point of which p1q1\frac{p_1}{q_1} is defined. Let rr be the smaller of a−αa - \alpha and β−a\beta - a, which is positive, since α<a<β\alpha < a < \beta. If 0<∣x−a∣<r0 < \abs{x - a} < r, then a−r<x<a+ra - r < x < a + r by part (a) of the proposition on distance inequalities, and α≤a−r\alpha \le a - r and a+r≤βa + r \le \beta (add α−r\alpha - r, or aa, to both sides of r≤a−αr \le a - \alpha, or of r≤β−ar \le \beta - a; property 3 of the order rules), so α<x<β\alpha < x < \beta (property 2). So both functions are defined and agree on the window 0<∣x−a∣<r0 < \abs{x - a} < r, part (b) of direct substitution gives lim⁡x→ap1(x)q1(x)=p1(a)q1(a)\lim_{x \to a} \frac{p_1(x)}{q_1(x)} = \frac{p_1(a)}{q_1(a)}, and the lemma gives the same limit for pq\frac{p}{q}. If q1(a)=0q_1(a) = 0 too, there are two cases.

The rigorous track, “Factoring always ends”, proves both cases: after finitely many steps, factoring gives the limit or shows that there is none. In an example, the window is usually found directly, from the roots of the denominator.

The cube of Why this matters is a special case of a general fact. For every polynomial pp and every real aa, part (a) of the factor theorem gives a polynomial qq such that, for every real x≠ax \ne a,

p(x)−p(a)x−a=q(x).\frac{p(x) - p(a)}{x - a} = q(x) .

Both sides are defined at every x≠ax \ne a and agree there, so on every window around aa. By part (a) of direct substitution, lim⁡x→aq(x)=q(a)\lim_{x \to a} q(x) = q(a), and by the lemma

lim⁡x→ap(x)−p(a)x−a=q(a).\lim_{x \to a} \frac{p(x) - p(a)}{x - a} = q(a) .

Rationalising. A difference of square roots becomes a difference of numbers when it is multiplied by the sum. For real numbers u,v≥0u, v \ge 0, the numbers u\sqrt{u} and v\sqrt{v} are defined, and (u)2=u\bigl(\sqrt{u}\bigr)^2 = u and (v)2=v\bigl(\sqrt{v}\bigr)^2 = v, by the square-root remark. Multiplying out, the two middle terms cancel:

(u−v)(u+v)=u−v.\bigl(\sqrt{u} - \sqrt{v}\bigr)\bigl(\sqrt{u} + \sqrt{v}\bigr) = u - v .

The conjugate u+v\sqrt{u} + \sqrt{v} is positive if u>0u > 0: then u≥0\sqrt{u} \ge 0, and u≠0\sqrt{u} \ne 0 because 02=0≠u0^2 = 0 \ne u, so u>0\sqrt{u} > 0; adding this to v≥0\sqrt{v} \ge 0 gives u+v>0\sqrt{u} + \sqrt{v} > 0 (property 4 of the order rules). So we may multiply the numerator and the denominator of a quotient by it without changing the value: the quotient is the same number, now written with u−vu - v in place of u−v\sqrt{u} - \sqrt{v} (Example 2).

After rationalising, the limit of a square root comes from part (f) of the limit laws, the root law, and its hypotheses must be checked. If lim⁡x→ah(x)=L\lim_{x \to a} h(x) = L with L>0L > 0, then lim⁡x→ah(x)=L\lim_{x \to a} \sqrt{h(x)} = \sqrt{L}. If L=0L = 0, the law needs more: an r>0r > 0 such that h(x)≥0h(x) \ge 0 at every xx with 0<∣x−a∣<r0 < \abs{x - a} < r. For example, ∣x∣=x2\abs{x} = \sqrt{x^2} for every real xx, by property 5 of the absolute value; here h(x)=x2h(x) = x^2 has the limit 0 at 0 (part (a) of direct substitution), and x2≥0x^2 \ge 0 for every real xx, by part (c) of the sign rules. So the root law gives

lim⁡x→0∣x∣=lim⁡x→0x2=0.\lim_{x \to 0} \abs{x} = \lim_{x \to 0} \sqrt{x^2} = 0 .

Without the sign condition the law says nothing: x\sqrt{x} is undefined at every x<0x < 0, so it has no limit at 0 in the sense of the definition, although x→0x \to 0.

Simplifying compound fractions. A quotient whose numerator or denominator is itself a sum of fractions is brought to a single fraction first. For numbers b≠0b \ne 0 and d≠0d \ne 0,

c1b−c2d=c1d−c2bbd,\frac{c_1}{b} - \frac{c_2}{d} = \frac{c_1 d - c_2 b}{b d},

and bd≠0bd \ne 0 by part (a) of the sign rules. Then a factor x−ax - a usually appears in the new numerator and cancels (Example 4).

Worked examples

Factoring

Rationalising

The same form, different answers

Simplifying a compound fraction

Common mistakes

Rigorous track

Summary

Exercises

Where this leads

Nothing builds on this topic yet.

Found an error on this page? Report it (the form opens with this page filled in).

The method of this page, rewrite and then let the lemma carry the limit back, is used again whenever a limit is of the form 00\frac{0}{0}.