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 x, the volume
x3 grows by x3−8, so on average it grows by
cubic centimetres per centimetre of side. At x=2 the formula gives 00, which is
not a number.
Figure 1:Graph of the average rate y=x−2x3−8 for 0≤x≤4, rising from 4 at
x=0 to 28 at x=4, with an open circle at x=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 x moves a point along the graph. A table lists the values at
x=1.9,1.99,1.999: 11.41, 11.9401, 11.994001, and at x=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=2 from both sides and read the values. Then compute
x2+2x+4 at x=1.99 and at x=2. What do you notice?
On that page we factored the numerator, x3−8=(x−2)(x2+2x+4), cancelled the
non-zero number x−2 for x=2, and said that for x close to 2 the rate is close to
22+2⋅2+4=12. The table agrees. But two questions remain.
Is 12 the limit of A(x) as x→2? The quotient law, part (d) of
the limit laws, cannot say: the denominator approaches 0.
Cancelling changed the function. A is undefined at 2, while x2+2x+4 is defined
there. Why should the new function have the same limit as the old one?
This page answers both with one lemma: two functions that agree near a, except possibly at a
itself, have the same limit at a. With it, every limit of the form “00” on this
page follows the same plan: rewrite the function for x=a, by factoring, rationalising or
simplifying, until the limit laws apply, and let the lemma carry the limit back.
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 f and g be functions, each defined at every point of an open interval containing a,
except possibly at a, with limx→af(x)=0 and limx→ag(x)=0, and
suppose that gf is also defined at every point of an open interval containing a,
except possibly at a. We then say that limx→ag(x)f(x) is of the form
00.
In words. “Of the form 00” describes the situation, not the answer: substituting
the limits of the parts gives the symbol 00, 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.limx→2x−2x3−8 is of the form 00: by
part (a) of direct substitution, the numerator approaches
23−8=0 and the denominator 2−2=0, and the quotient is defined at every x=2.
Non-example.limx→2x+2x3−8 is not of the form 00: the
denominator approaches 4=0, so the quotient law applies, and the limit is
40=0. Nor is limx→0x1, where the numerator approaches 1: that
limit does not exist, as Limit Laws shows, and no rewriting
changes that.
The lemma says that a limit only sees the values of a function on a small window around a,
with a itself left out. The window is the set of x with 0<∣x−a∣<r, which by
part (e) of the proposition on distance inequalities is the open
interval (a−r,a+r) with its centre a removed.
In words. If two functions have the same values near a, except possibly at a, they
have the same limit at a. What they do at a plays no part: f(a) and g(a) may be
different, or undefined. What they do far from a plays no part either: only some window
around a, however small, matters.
Both directions. The hypothesis is the same with f and g swapped. So if either
function has a limit at a, the other has the same limit; and if one has no limit at a,
neither has the other.
A whole window is needed. Agreeing on one side of a is not enough. The function
x∣x∣ agrees with the constant 1 at every x>0, and the constant has the
limit 1, but x∣x∣ has no limit at 0
(Exercise 7): every window around 0 also contains points
x<0, where its value is −1.
What we already knew.The remark on the value at a
says that changing a function at the single point a, or leaving it undefined there, does
not change its limit, and part (c) of direct substitution
says that a rational function whose denominator is not 0 at a, used only on an open
interval around a, keeps its limit q(a)p(a). The lemma is the general form of
both ideas. Unlike the remark, it asks f and g to agree only on a window around a, not
at every x=a. Unlike part (c), it allows g to be any function that has a limit at a,
given by any formula, and f need not be defined at a. This is what limits of the form
00 need.
Example. For x=1, x−1x2−1=x−1(x−1)(x+1)=x+1,
cancelling the non-zero number x−1. Both functions are defined at every x with
0<∣x−1∣<1 and agree there, and limx→1(x+1)=2 by
part (a) of direct substitution. By the lemma,
limx→1x−1x2−1=2.
Non-example. Agreeing ata is not the hypothesis, and it is not enough. Let h(x)=x+1
for x=0 and h(0)=0. The functions x and h agree at x=0. But
limx→0x=0 (part (a) of the limit laws), while h agrees
with x+1 at every x=0, so by the lemma and
part (a) of direct substitution,
limx→0h(x)=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:
go on.
Rewrite. Find a function g and a window 0<∣x−a∣<r on which f and g are
both defined and f(x)=g(x). The algebra may use x=a: on the window we may cancel a
factor that is not 0 there, such as x−a.
Computelimx→ag(x) with the limit laws or direct substitution, checking the
hypotheses of each law and naming its part.
Conclude with Lemma 1: limx→af(x) is the same
number.
Step 2 is where the three techniques below come in. Each of them produces a g to which the
laws apply.
Factoring. Let f=qp, with polynomials p and q such that p(a)=0 and
q(a)=0, and p not the zero polynomial. (If p is the zero polynomial, f 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 p has degree at least 1. So has q, which is not
the zero polynomial, by the definition of a rational function.
By part (b) of the factor theorem, for every real x,
where p1 and q1 are polynomials whose degrees are one less than those
of p and q (part (a) of the theorem, for degree at least 1). To find p1, divide p by
x−a: since p(x)=(x−a)p1(x)+0, the uniqueness in
division of polynomials says that p1 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=a the number x−a is not 0, so by
part (a) of the sign rules, q(x)=0 exactly when
q1(x)=0. So qp and q1p1 are defined at the same points
x=a, and at those points
cancelling the non-zero factor x−a. If q1(a)=0, then by
part (b) of the proposition on the domain of a rational function
there is an open interval (α,β) containing a at every point of which
q1p1 is defined. Let r be the smaller of a−α and β−a, which is
positive, since α<a<β. If 0<∣x−a∣<r, then a−r<x<a+r by
part (a) of the proposition on distance inequalities, and
α≤a−r and a+r≤β (add α−r, or a, to both sides of
r≤a−α, or of r≤β−a; property 3 of the order rules),
so α<x<β (property 2). So both functions are defined and agree on the window
0<∣x−a∣<r, part (b) of direct substitution gives
limx→aq1(x)p1(x)=q1(a)p1(a), and the lemma gives the same
limit for qp. If q1(a)=0 too, there are two cases.
If p1(a)=0 as well, the limit is again of the form 00, and we factor again
(Exercise 5).
If p1(a)=0, the limit does not exist, as for x2x at 0 in
Example 3 (iii), where p1(x)=1 and q1(x)=x.
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 p and
every real a, part (a) of the factor theorem gives a polynomial
q such that, for every real x=a,
Both sides are defined at every x=a and agree there, so on every window around a. By
part (a) of direct substitution,
limx→aq(x)=q(a), and by the lemma
Rationalising. A difference of square roots becomes a difference of numbers when it is
multiplied by the sum. For real numbers u,v≥0, the numbers u and v are
defined, and (u)2=u and (v)2=v, by
the square-root remark. Multiplying out, the two middle terms cancel:
The conjugateu+v is positive if u>0: then u≥0, and
u=0 because 02=0=u, so u>0; adding this to v≥0
gives u+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−v in place of u−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 limx→ah(x)=L with L>0, then limx→ah(x)=L.
If L=0, the law needs more: an r>0 such that h(x)≥0 at every x with
0<∣x−a∣<r. For example, ∣x∣=x2 for every real x, by
property 5 of the absolute value; here h(x)=x2 has
the limit 0 at 0 (part (a) of direct substitution), and
x2≥0 for every real x, by part (c) of the sign rules. So the
root law gives
Without the sign condition the law says nothing: x is undefined at every x<0, so it
has no limit at 0 in the sense of the definition, although x→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=0 and d=0,
Let f=qp be a rational function, where q has degree m≥1, and let a be a
root of q. By part (b) of the factor theorem,
q(x)=(x−a)q1(x) with q1 of degree m−1 (part (a)). If q1(a)=0, we factor
q1 in the same way, and so on. Each step lowers the degree by one, and a polynomial of degree
0 is a non-zero constant, which is not 0 at a. So after k steps, for some k with
1≤k≤m, we reach a polynomial Q with Q(a)=0 such that, for every real x,
In the same way, if p is not the zero polynomial, p(x)=(x−a)jP(x) for every real
x, with P(a)=0 and j≥0 (j=0 when p(a)=0). (If p is the zero
polynomial, the limit is 0. By
part (b) of the proposition on the domain of a rational function
there is an open interval (α,β) containing a such that f is defined at every
point of it except possibly a; as in the factoring paragraph, it contains a window
0<∣x−a∣<r. There f(x)=q(x)0=0, so f agrees with the constant 0,
whose limit is 0 by part (a) of the limit laws, and the lemma gives
limx→af(x)=0.) By
part (b) of the proposition on the domain of a rational function,
applied to QP, and as in the factoring paragraph of the main results, there is a window
0<∣x−a∣<r on which Q has no root; there x−a=0 too, so
q(x)=(x−a)kQ(x)=0, by part (a) of the sign rules
applied k times, and f is defined. On that window:
If j≥k: cancelling (x−a)k gives f(x)=Q(x)(x−a)j−kP(x), a
rational function whose denominator is not 0 at a. By
part (b) of direct substitution and
Lemma 1, the limit is 0 if j>k, and Q(a)P(a) if
j=k.
If j<k: the limit does not exist. Suppose limx→af(x)=L. By
parts (a), (b) and (e) of the limit laws,
limx→a(x−a)k−j=0, so the product law, part (c), gives
limx→a(x−a)k−jf(x)=0⋅L=0. But on the window,
(x−a)k−jf(x)=Q(x)P(x), whose limit is Q(a)P(a)=0, by part (b)
of direct substitution and the lemma. This contradicts
uniqueness of limits.
So for a rational function, the method of this page always settles a limit of the form
00: after at most m cancellations it gives the limit, or shows that there is none.
What this leaves out: “and so on” stands for an induction on the degree, as in the sketch of
the power law on Limit Laws.
When the window is one-sided
The lemma needs a window on both sides of a. Consider
x−2x−2 at a=2. It is defined only for x>2, and there, with
y=x−2>0, it equals yy=y, since y=yy and
y=0. It is tempting to write
But neither function is defined at any x<2, so neither is defined on an open interval
containing 2 (except at 2), and the definition of a limit applies to
neither. The root law agrees: with L=0, its sign condition asks for x−2≥0 on both
sides of 2, and it fails on the left. Rewriting cannot create a window that the function does
not have.
A limit is of the form 00 when the numerator and the denominator both approach
0. That is a form, not a value: the quotient law does not apply, and the limit may be any
number, or not exist.
The lemma (Lemma 1): if f(x)=g(x) for every x with
0<∣x−a∣<r, and limx→ag(x)=L, then limx→af(x)=L. The
values at a play no part.
The method: substitute; if the form is 00, rewrite f for x=a as a g
to which the laws apply, compute limg with the laws, naming each part, and conclude with
the lemma.
Factoring: a common root a of numerator and denominator gives a common factor x−a
(the factor theorem), which may be cancelled for x=a.
Rationalising:(u−v)(u+v)=u−v
for u,v≥0; then the root law, with L>0, or L=0 and the sign condition.
Compound fractions: bring them to one fraction, then cancel.
By part (a) of direct substitution, the numerator approaches
4−10+6=0 and the denominator −2+2=0: the form is 00. The quotient is
defined at every x=−2. Multiplying out confirms x2+5x+6=(x+2)(x+3), so for
x=−2, cancelling the non-zero number x+2,
The right-hand side is a rational function whose denominator is 4=0 at 2, so by
part (b) of direct substitution its limit is 43, and
by Lemma 1 so is the limit of the left-hand side.
The form. By part (a) of direct substitution,
x+4→4, and 4>0, so the root law,
part (f) of the limit laws, gives x+4→4=2 (since
2≥0 and 22=4). So the numerator approaches 0 (part (b)), and so does the
denominator: the form is 00.
Rationalise. On the window, s=x+4≥0, so s+2≥2>0, and
(s−2)(s+2)=s2−4=x. Cancelling the non-zero number x,
Compute and conclude. The right-hand side is defined at every x≥−4. Its denominator
approaches 2+2=4=0 (parts (a), (b) and (f)), so by part (d) it approaches
41. By Lemma 1, with r=4, the limit is
41.
The function −2x1 is rational, with the denominator 4=0 at x=2, so by
part (b) of direct substitution its limit at 2 is −41. By
Lemma 1, with r=2, the limit is −41.
By part (b) of the factor theorem, x−1 is a factor of both.
Dividing gives x3−3x+2=(x−1)(x2+x−2) and x2−2x+1=(x−1)(x−1), as
multiplying out confirms. Cancelling x−1 for x=1 leaves
x−1x2+x−2, and at x=1 its numerator 1+1−2 and denominator are both
0 again. Since 1 is a root of x2+x−2, the factor theorem gives
x2+x−2=(x−1)(x+2). So
Both sides are defined and agree at every x=1, so on the window 0<∣x−1∣<1.
By part (a) of direct substitution, limx→1(x+2)=3, and by
Lemma 1 the limit is 3.
False. By property 5 of the absolute value,
x2=∣x∣, so the function is f(x)=x∣x∣, defined at every
x=0. By the definition of the absolute value, f(x)=1 for
x>0 and f(x)=x−x=−1 for x<0. (The limit is of the form 00:
∣x∣→0, as shown in the rationalising paragraph, and x→0.)
The form. By part (a) of direct substitution,
4+x2→4>0, so the root law, part (f) of the limit laws, gives
4+x2→2, and the numerator approaches 0. The denominator ∣x∣ approaches
0: it equals x2, and x2→0 with x2≥0 for every x, so the root law
with L=0 applies, its sign condition holding on every window. The form is 00.
Compute and conclude. The right-hand side is defined at every real x. Its numerator
approaches 0, by the root law with L=0 as above (this is where the sign condition is
used), and its denominator approaches 2+2=4=0 (parts (a), (b) and (f)). By part (d),
it approaches 40=0. By Lemma 1, with r=1, the
limit is 0.
The form.v is the restriction of the rational function u−55u to
(5,∞), which contains 15, and 15−5=10=0. By
part (c) of direct substitution, v(u)→215, so
the numerator approaches 0 (part (b) of the limit laws), and so does
the denominator.
Compute and conclude. The right-hand side is a rational function whose denominator is
20=0 at u=15, so by part (b) of direct substitution
its limit is −205=−41. By Lemma 1, with
r=10, the limit is −41.
So as the object moves away from the lens through 15 cm, the image moves towards the lens, by
about a quarter of the distance the object moves. Units: cm divided by cm.
At x=1 the numerator is 1−1=0 and the denominator 0, so the form is 00
(part (a) of direct substitution). The quotient is defined at
every x=1.
Let s(x)=xn−1+xn−2+⋯+x+1, the sum of the n terms xk for
k=0,1,…,n−1 (with x0=1). Multiplying s(x) by x gives
xn+xn−1+⋯+x, and multiplying it by -1 gives −xn−1−⋯−x−1. In the
sum of the two, every term cancels except xn and −1, so, for every real x,
(For n=1, s(x)=1.) This is the factorisation that
the factor theorem promises, since 1n−1=0. So for x=1,
cancelling the non-zero number x−1, x−1xn−1=s(x), and the two functions
agree on the window 0<∣x−1∣<1.
s is a polynomial, so by part (a) of direct substitution
limx→1s(x)=s(1)=1+1+⋯+1=n, a sum of n ones. By
Lemma 1, the limit is n.
For n=3 this is the limit 3 of x−1x3−1; compare the cube of
Example 1, at a=2 instead of 1.
Let h(x)=x−af(x), which is defined at every x=a at which f is defined, and
let M=limx→ah(x).
A window. By the domain clause of the definition of a limit, with the
tolerance 1, there is an r>0 such that h is defined at every x with
0<∣x−a∣<r. At each such x, f(x) is defined, because h(x) is.
The lemma. At every x with 0<∣x−a∣<r, the number x−a is not 0, and
(x−a)h(x)=(x−a)⋅x−af(x)=f(x). So f and the product are both
defined and agree on this window, and by Lemma 1,
limx→af(x)=0.
In words: if the denominator of a quotient approaches 0 and the quotient has a limit, then the
numerator approaches 0. A limit “of the form 0c” with c=0 does not exist,
which is what Limit Laws found for x1.
Let p(x)=x2+cx−10 and h(x)=x−2p(x), defined at every x=2.
(a) Only c=3 can work. Suppose limx→2h(x)=M. By
parts (a) and (b) of the limit laws, limx→2(x−2)=0, and
the product law, part (c), gives limx→2(x−2)h(x)=0⋅M=0. For x=2,
(x−2)h(x)=p(x), so the product and the polynomial p agree at every x with
0<∣x−2∣<1. By part (a) of direct substitution,
limx→2p(x)=p(2)=2c−6, and by Lemma 1, with p
in the role of g, the product has the limit 2c−6 too. By
uniqueness of limits, 2c−6=0, so c=3. (This is the argument
of Exercise 11, for this f.)
And c=3 works. For c=3, p(2)=4+6−10=0, and multiplying out confirms
x2+3x−10=(x−2)(x+5). For x=2, cancelling the non-zero number x−2 gives
h(x)=x+5; the two functions agree on the window 0<∣x−2∣<1.
(b) By part (a) of direct substitution, limx→2(x+5)=7, and by the lemma
limx→2h(x)=7.
For every other c, the limit does not exist, as (a) shows: the numerator then approaches
2c−6=0 while the denominator approaches 0.