Thomas Calculus 11th Edition 99 153
Thomas Calculus 11th Edition 99 153
Thomas Calculus 11th Edition 99 153
HISTORICAL ESSAY* In Section 2.1 we used graphs and calculators to guess the values of limits. This section
presents theorems for calculating limits. The first three let us build on the results of Exam-
Limits
ple 8 in the preceding section to find limits of polynomials, rational functions, and powers.
The fourth and fifth prepare for calculations later in the text.
To learn more about the historical figures and the development of the major elements and topics of calcu-
lus, visit www.aw-bc.com/thomas.
It is easy to convince ourselves that the properties in Theorem 1 are true (although
these intuitive arguments do not constitute proofs). If x is sufficiently close to c, then ƒ(x)
is close to L and g(x) is close to M, from our informal definition of a limit. It is then rea-
sonable that ƒsxd + gsxd is close to L + M; ƒsxd - gsxd is close to L - M; ƒ(x)g(x) is
close to LM; kƒ(x) is close to kL; and that ƒ(x)>g(x) is close to L>M if M is not zero. We
prove the Sum Rule in Section 2.3, based on a precise definition of limit. Rules 2–5 are
proved in Appendix 2. Rule 6 is proved in more advanced texts.
Here are some examples of how Theorem 1 can be used to find limits of polynomial
and rational functions.
Solution
(c) lim 24x 2 - 3 = 2 lim s4x 2 - 3d Power Rule with r>s = 12
x: -2 x: -2
= 2 lim 4x 2 - lim 3 Difference Rule
x: -2 x: -2
= 24s -2d2 - 3 Product and Multiple Rules
= 216 - 3
= 213
Two consequences of Theorem 1 further simplify the task of calculating limits of polyno-
mials and rational functions. To evaluate the limit of a polynomial function as x ap-
proaches c, merely substitute c for x in the formula for the function. To evaluate the limit
of a rational function as x approaches a point c at which the denominator is not zero, sub-
stitute c for x in the formula for the function. (See Examples 1a and 1b.)
x 3 + 4x 2 - 3 s -1d3 + 4s -1d2 - 3 0
lim = = = 0
x: -1 x2 + 5 s -1d2 + 5 6
This result is similar to the second limit in Example 1 with c = -1, now done in one step.
y Solution We cannot substitute x = 1 because it makes the denominator zero. We test the
2
y x x2 numerator to see if it, too, is zero at x = 1. It is, so it has a factor of sx - 1d in common
x2 x with the denominator. Canceling the sx - 1d’s gives a simpler fraction with the same val-
(1, 3) ues as the original for x Z 1:
3
x2 + x - 2 sx - 1dsx + 2d x + 2
2
= = x , if x Z 1.
x - x xsx - 1d
x
–2 0 1 Using the simpler fraction, we find the limit of these values as x : 1 by substitution:
x2 + x - 2 x + 2 1 + 2
(a) lim = lim x = = 3.
x:1 x2 - x x:1 1
y
See Figure 2.8.
yx2
x
(1, 3) EXAMPLE 4 Creating and Canceling a Common Factor
3
Evaluate
2x 2 + 100 - 10
lim .
–2 0 1
x x:0 x2
x2
x 2 A 2x 2 + 100 + 10 B
= Common factor x2
1
= . Cancel x2 for x 0
2x + 100 + 10
2
Therefore,
2x 2 + 100 - 10 1
lim = lim
x:0 x2 x:0 2x 2 + 100 + 10
Denominator
1
= not 0 at x 0;
20 + 100 + 10
2
substitute
1
= = 0.05.
20
This calculation provides the correct answer to the ambiguous computer results in Exam-
ple 10 of the preceding section.
y sandwiched between the values of two other functions g and h that have the same limit L at
a point c. Being trapped between the values of two functions that approach L, the values of
h ƒ must also approach L (Figure 2.9). You will find a proof in Appendix 2.
f
L
y 2 The Sandwich Theorem is sometimes called the Squeeze Theorem or the Pinching Theorem.
y1 x
2
EXAMPLE 5 Applying the Sandwich Theorem
2
y u(x) Given that
x2 x2
1 1 - … usxd … 1 + for all x Z 0,
2 4 2
y1 x
4
find limx:0 usxd, no matter how complicated u is.
x
–1 0 1
Solution Since
FIGURE 2.10 Any function u(x) lim s1 - sx 2>4dd = 1 and lim s1 + sx 2>2dd = 1,
whose graph lies in the region between x:0 x:0
y = 1 + sx 2>2d and y = 1 - sx 2>4d has the Sandwich Theorem implies that limx:0 usxd = 1 (Figure 2.10).
limit 1 as x : 0 (Example 5).
EXAMPLE 6 More Applications of the Sandwich Theorem
(a) (Figure 2.11a). It follows from the definition of sin u that - ƒ u ƒ … sin u … ƒ u ƒ for all u,
and since limu:0 s - ƒ u ƒ d = limu:0 ƒ u ƒ = 0, we have
lim sin u = 0 .
u:0
y
y y
y 2
y sin
1 1
y 1 cos
– –2 –1 0 1 2
–1 y – (b)
(a)
FIGURE 2.11 The Sandwich Theorem confirms that (a) limu:0 sin u = 0 and
(b) limu:0 s1 - cos ud = 0 (Example 6).
(b) (Figure 2.11b). From the definition of cos u, 0 … 1 - cos u … ƒ u ƒ for all u, and we
have limu:0 s1 - cos ud = 0 or
lim cos u = 1 .
u:0
(c) For any function ƒ(x), if limx:c ƒ ƒsxd ƒ = 0, then limx:c ƒsxd = 0. The argument:
- ƒ ƒsxd ƒ … ƒsxd … ƒ ƒsxd ƒ and - ƒ ƒsxd ƒ and ƒ ƒsxd ƒ have limit 0 as x : c.
Another important property of limits is given by the next theorem. A proof is given in
the next section.
THEOREM 5 If ƒsxd … gsxd for all x in some open interval containing c, except
possibly at x = c itself, and the limits of ƒ and g both exist as x approaches c,
then
The assertion resulting from replacing the less than or equal to … inequality by the strict
6 inequality in Theorem 5 is false. Figure 2.11a shows that for u Z 0,
- ƒ u ƒ 6 sin u 6 ƒ u ƒ , but in the limit as u : 0, equality holds.
EXERCISES 2.2
for your answers. T 59. a. Graph g sxd = x sin s1>xd to estimate limx:0 g sxd , zooming
ƒsxd - 5 in on the origin as necessary.
55. If lim = 1 , find lim ƒsxd .
x:4 x - 2 x: 4 b. Confirm your estimate in part (a) with a proof.
2 3
ƒsxd T 60. a. Graph hsxd = x cos s1>x d to estimate limx:0 hsxd , zooming
56. If lim = 1 , find in on the origin as necessary.
x: -2 x2
b. Confirm your estimate in part (a) with a proof.
Now that we have gained some insight into the limit concept, working intuitively with the
informal definition, we turn our attention to its precise definition. We replace vague
phrases like “gets arbitrarily close to” in the informal definition with specific conditions
that can be applied to any particular example. With a precise definition we will be able to
prove conclusively the limit properties given in the preceding section, and we can establish
other particular limits important to the study of calculus.
To show that the limit of ƒ(x) as x : x0 equals the number L, we need to show that the gap
between ƒ(x) and L can be made “as small as we choose” if x is kept “close enough” to x0 .
Let us see what this would require if we specified the size of the gap between ƒ(x) and L.
-2 6
Restrict
to this 6 6 2x 6 10
3 6 x 6 5
FIGURE 2.12 Keeping x within 1 unit
of x0 = 4 will keep y within 2 units of -1 6 x - 4 6 1.
y0 = 7 (Example 1). Keeping x within 1 unit of x0 = 4 will keep y within 2 units of y0 = 7 (Figure 2.12).
L
1 Definition of Limit
10
for all x x0 Suppose we are watching the values of a function ƒ(x) as x approaches x0 (without taking on
in here the value of x0 itself). Certainly we want to be able to say that ƒ(x) stays within one-tenth of
a unit of L as soon as x stays within some distance d of x0 (Figure 2.13). But that in itself is
x
x not enough, because as x continues on its course toward x0 , what is to prevent ƒ(x) from jit-
0 x0 x0 x0
tering about within the interval from L - (1>10) to L + (1>10) without tending toward L?
We can be told that the error can be no more than 1>100 or 1>1000 or 1>100,000.
FIGURE 2.13 How should we define
Each time, we find a new d-interval about x0 so that keeping x within that interval satisfies
d 7 0 so that keeping x within the
the new error tolerance. And each time the possibility exists that ƒ(x) jitters away from L at
interval sx0 - d, x0 + dd will keep ƒ(x)
some stage.
within the interval aL - b?
1 1
10
,L +
10
The figures on the next page illustrate the problem. You can think of this as a quarrel
between a skeptic and a scholar. The skeptic presents P-challenges to prove that the limit
does not exist or, more precisely, that there is room for doubt, and the scholar answers
every challenge with a d-interval around x0 .
y How do we stop this seemingly endless series of challenges and responses? By prov-
ing that for every error tolerance P that the challenger can produce, we can find, calculate,
or conjure a matching distance d that keeps x “close enough” to x0 to keep ƒ(x) within that
L
tolerance of L (Figure 2.14). This leads us to the precise definition of a limit.
f(x) lies
L in here
f(x) DEFINITION Limit of a Function
L
Let ƒ(x) be defined on an open interval about x0 , except possibly at x0 itself. We
say that the limit of ƒ(x) as x approaches x0 is the number L, and write
lim ƒsxd = L,
for all x x 0 x:x0
in here
if, for every number P 7 0, there exists a corresponding number d 7 0 such that
for all x,
x
x
0 0 6 ƒ x - x0 ƒ 6 d Q ƒ ƒsxd - L ƒ 6 P.
x0 x0 x0
y y y y
x x x x
0 x0 0 x0 0 x0 0 x0
x 0 1/10 x 0 1/10 x 0 1/100 x 0 1/100
The challenge: Response: New challenge: Response:
Make f (x) – L 1 x x 0 1/10 (a number) Make f (x) – L 1 x x 0 1/100
10 100
y y
y f (x) y f (x)
1 1
L L
1000 1000
L L
1 1
L L
1000 1000
x x
0 x0 0 x0
y y y
y f (x) y f (x) y f (x)
1 1
L L
100,000 100,000
L L L
1 1
L L
100,000 100,000
x x x
0 x0 0 x0 x0
0
New challenge: Response: New challenge:
1
100,000 x x 0 1/100,000 ...
definition can be used to verify limit statements for specific functions. (The first two ex-
amples correspond to parts of Examples 7 and 8 in Section 2.1.) However, the real purpose
of the definition is not to do calculations like this, but rather to prove general theorems so
that the calculation of specific limits can be simplified.
y such symmetry is absent, as it usually is, we can take d to be the distance from x0 to the in-
terval’s nearer endpoint.
yk
k
k EXAMPLE 4 Finding Delta Algebraically
k
For the limit limx:5 2x - 1 = 2, find a d 7 0 that works for P = 1. That is, find a
d 7 0 such that for all x
x 0 6 ƒx - 5ƒ 6 d Q ƒ 2x - 1 - 2 ƒ 6 1.
0 x0 x0 x0
FIGURE 2.17 For the function ƒsxd = k , Solution We organize the search into two steps, as discussed below.
we find that ƒ ƒsxd - k ƒ 6 P for any
1. Solve the inequality ƒ 2x - 1 - 2 ƒ 6 1 to find an interval containing x0 = 5 on
positive d (Example 3b).
which the inequality holds for all x Z x0 .
ƒ 2x - 1 - 2 ƒ 6 1
-1 6 2x - 1 - 2 6 1
1 6 2x - 1 6 3
1 6 x - 1 6 9
2 6 x 6 10
The inequality holds for all x in the open interval (2, 10), so it holds for all x Z 5 in
this interval as well (see Figure 2.19).
2. Find a value of d 7 0 to place the centered interval 5 - d 6 x 6 5 + d (centered
at x0 = 5) inside the interval (2, 10). The distance from 5 to the nearer endpoint of
(2, 10) is 3 (Figure 2.18). If we take d = 3 or any smaller positive number, then the
inequality 0 6 ƒ x - 5 ƒ 6 d will automatically place x between 2 and 10 to make
ƒ 2x - 1 - 2 ƒ 6 1 (Figure 2.19)
0 6 ƒx - 5ƒ 6 3 Q ƒ 2x - 1 - 2 ƒ 6 1.
y 兹x 1
3
1
3 3
3 3
x x
2 5 8 10 0 1 2 5 8 10
NOT TO SCALE
FIGURE 2.18 An open interval of
radius 3 about x0 = 5 will lie inside the FIGURE 2.19 The function and intervals
open interval (2, 10). in Example 4.
Why was it all right to assume P 6 4? Because, in finding a d such that for all
x, 0 6 ƒ x - 2 ƒ 6 d implied ƒ ƒsxd - 4 ƒ 6 P 6 4, we found a d that would work for
any larger P as well.
Finally, notice the freedom we gained in letting d = min E 2 - 24 - P,
24 + P - 2 F . We did not have to spend time deciding which, if either, number was the
smaller of the two. We just let d represent the smaller and went on to finish the argument.
Solution Let P 7 0 be given. We want to find a positive number d such that for all x
0 6 ƒx - cƒ 6 d Q ƒ ƒsxd + gsxd - sL + Md ƒ 6 P.
Regrouping terms, we get
ƒ ƒsxd + gsxd - sL + Md ƒ = ƒ sƒsxd - Ld + sgsxd - Md ƒ
Triangle Inequality:
… ƒ ƒsxd - L ƒ + ƒ gsxd - M ƒ .
ƒa + bƒ … ƒaƒ + ƒbƒ
Since limx:c ƒsxd = L, there exists a number d1 7 0 such that for all x
0 6 ƒ x - c ƒ 6 d1 Q ƒ ƒsxd - L ƒ 6 P>2.
Similarly, since limx:c gsxd = M, there exists a number d2 7 0 such that for all x
0 6 ƒ x - c ƒ 6 d2 Q ƒ gsxd - M ƒ 6 P>2.
Let d = min 5d1, d26, the smaller of d1 and d2 . If 0 6 ƒ x - c ƒ 6 d then ƒ x - c ƒ 6 d1 ,
so ƒ ƒsxd - L ƒ 6 P>2, and ƒ x - c ƒ 6 d2 , so ƒ gsxd - M ƒ 6 P>2. Therefore
P P
ƒ ƒsxd + gsxd - sL + Md ƒ 6 2 + 2 = P.
EXAMPLE 7 Given that limx:c ƒsxd = L and limx:c gsxd = M, and that ƒsxd … g sxd
for all x in an open interval containing c (except possibly c itself), prove that L … M.
Solution We use the method of proof by contradiction. Suppose, on the contrary, that
L 7 M. Then by the limit of a difference property in Theorem 1,
lim s gsxd - ƒsxdd = M - L.
x:c
Therefore, for any P 7 0, there exists d 7 0 such that
ƒ sgsxd - ƒsxdd - sM - Ld ƒ 6 P whenever 0 6 ƒ x - c ƒ 6 d.
EXERCISES 2.3
x
–3 0 x
–3.1 –2.9 兹5 –1 兹3 0
– –
NOT TO SCALE
2 2
NOT TO SCALE
x
x 37. lim s9 - xd = 5 38. lim s3x - 7d = 2
0 1 x:4 x:3
1 1
–16 –1 – 16 0 2
9 25 2.01 1.99 39. lim 2x - 5 = 2 40. lim 24 - x = 2
x:9 x:0
NOT TO SCALE
x 2,
ƒsxd = e
x Z 1
41. lim ƒsxd = 1 if
x:1 2, x = 1
Finding Deltas Algebraically x 2,
ƒsxd = e
x Z -2
Each of Exercises 15–30 gives a function ƒ(x) and numbers L, x0 and 42. lim ƒsxd = 4 if
x: -2 1, x = -2
P 7 0 . In each case, find an open interval about x0 on which the in-
equality ƒ ƒsxd - L ƒ 6 P holds. Then give a value for d 7 0 such 1
43. lim x = 1
that for all x satisfying 0 6 ƒ x - x0 ƒ 6 d the inequality x:1
ƒ ƒsxd - L ƒ 6 P holds. 1 1
44. lim =
15. ƒsxd = x + 1, L = 5, x0 = 4, P = 0.01 x: 23 x2 3
16. ƒsxd = 2x - 2, L = -6, x0 = -2, P = 0.02 x2 - 9 x2 - 1
45. lim = -6 46. lim = 2
x: -3 x + 3 x:1 x - 1
17. ƒsxd = 2x + 1, L = 1, x0 = 0, P = 0.1
ƒsxd = e
4 - 2x, x 6 1
18. ƒsxd = 2x, L = 1>2, x0 = 1>4, P = 0.1 47. lim ƒsxd = 2 if
x:1 6x - 4, x Ú 1
19. ƒsxd = 219 - x, L = 3, x0 = 10, P = 1
ƒsxd = e
2x, x 6 0
20. ƒsxd = 2x - 7, L = 4, x0 = 23, P = 1 48. lim ƒsxd = 0 if
x:0 x>2, x Ú 0
21. ƒsxd = 1>x, L = 1>4, x0 = 4, P = 0.05 1
49. lim x sin x = 0
22. ƒsxd = x , 2
L = 3, x0 = 23, P = 0.1 x:0
y
23. ƒsxd = x 2, L = 4, x0 = -2, P = 0.5
24. ƒsxd = 1>x, L = -1, x0 = -1, P = 0.1
2
25. ƒsxd = x - 5, L = 11, x0 = 4, P = 1
26. ƒsxd = 120>x, L = 5, x0 = 24, P = 1
y ⫽ x sin 1x
27. ƒsxd = mx, m 7 0, L = 2m, x0 = 2, P = 0.03 – 1 1
2 2
28. ƒsxd = mx, m 7 0, L = 3m, x0 = 3, x
1
– 1
P = c 7 0
y
1 y x2 V I R
–1 0 6 ƒ x - x0 ƒ 6 d and ƒ ƒsxd - L ƒ Ú P .
y –x 2
y
y f(x)
Theory and Examples
51. Define what it means to say that lim g sxd = k . L
x: 0
52. Prove that lim ƒsxd = L if and only if lim ƒsh + cd = L .
x: c h :0 L
53. A wrong statement about limits Show by example that the fol-
lowing statement is wrong. L
The number L is the limit of ƒ(x) as x approaches x0 if ƒ(x) gets f (x)
closer to L as x approaches x0 .
Explain why the function in your example does not have the given x
value of L as a limit as x : x0 . 0 x0 x0 x0
54. Another wrong statement about limits Show by example that a value of x for which
the following statement is wrong. 0 x x 0 and f(x) L ⱖ
The number L is the limit of ƒ(x) as x approaches x0 if, given any
a. Let P = 1>2 . Show that no possible d 7 0 satisfies the 60. a. For the function graphed here, show that limx : -1 g sxd Z 2 .
following condition: b. Does limx : -1 g sxd appear to exist? If so, what is the value of
For all x, 0 6 ƒx - 1ƒ 6 d Q ƒ ƒsxd - 2 ƒ 6 1>2. the limit? If not, why not?
That is, for each d 7 0 show that there is a value of x such that
y
0 6 ƒx - 1ƒ 6 d and ƒ ƒsxd - 2 ƒ Ú 1>2.
This will show that limx:1 ƒsxd Z 2 .
2
b. Show that limx:1 ƒsxd Z 1 .
c. Show that limx:1 ƒsxd Z 1.5 .
y g(x)
x 2, x 6 2
58. Let hsxd = • 3,
1
x = 2
2, x 7 2.
y x
–1 0
y h(x)
4
COMPUTER EXPLORATIONS
3 In Exercises 61–66, you will further explore finding deltas graphi-
y2 cally. Use a CAS to perform the following steps:
2
a. Plot the function y = ƒsxd near the point x0 being approached.
1 y x2 b. Guess the value of the limit L and then evaluate the limit
symbolically to see if you guessed correctly.
x c. Using the value P = 0.2 , graph the banding lines y1 = L - P
0 2
and y2 = L + P together with the function ƒ near x0 .
Show that d. From your graph in part (c), estimate a d 7 0 such that for all x
a. lim hsxd Z 4 0 6 ƒ x - x0 ƒ 6 d Q ƒ ƒsxd - L ƒ 6 P .
x:2
b. lim hsxd Z 3 Test your estimate by plotting ƒ, y1 , and y2 over the interval
x:2
c. lim hsxd Z 2 0 6 ƒ x - x0 ƒ 6 d . For your viewing window use
x:2 x0 - 2d … x … x0 + 2d and L - 2P … y … L + 2P . If any
59. For the function graphed here, explain why function values lie outside the interval [L - P, L + P] , your
a. lim ƒsxd Z 4 choice of d was too large. Try again with a smaller estimate.
x:3
b. lim ƒsxd Z 4.8 e. Repeat parts (c) and (d) successively for P = 0.1, 0.05 , and
x:3 0.001.
c. lim ƒsxd Z 3
x:3 x 4 - 81
61. ƒsxd = , x0 = 3
y x - 3
5x 3 + 9x 2
62. ƒsxd = , x0 = 0
2x 5 + 3x 2
4.8
sin 2x
63. ƒsxd = , x0 = 0
4 3x
y f (x)
3 xs1 - cos xd
64. ƒsxd = , x0 = 0
x - sin x
2
3
x - 1
65. ƒsxd = , x0 = 1
x - 1
x 3x 2 - s7x + 1d2x + 5
0 3 66. ƒsxd = , x0 = 1
x - 1
y In this section we extend the limit concept to one-sided limits, which are limits as x ap-
proaches the number x0 from the left-hand side (where x 6 x0) or the right-hand side
y x sx 7 x0 d only. We also analyze the graphs of certain rational functions as well as other
x
1 functions with limit behavior as x : ; q .
One-Sided Limits
x
0
To have a limit L as x approaches c, a function ƒ must be defined on both sides of c and its
values ƒ(x) must approach L as x approaches c from either side. Because of this, ordinary
–1 limits are called two-sided.
If ƒ fails to have a two-sided limit at c, it may still have a one-sided limit, that is, a
limit if the approach is only from one side. If the approach is from the right, the limit is a
right-hand limit. From the left, it is a left-hand limit.
The function ƒsxd = x> ƒ x ƒ (Figure 2.21) has limit 1 as x approaches 0 from the right,
FIGURE 2.21 Different right-hand and
and limit -1 as x approaches 0 from the left. Since these one-sided limit values are not the
left-hand limits at the origin.
same, there is no single number that ƒ(x) approaches as x approaches 0. So ƒ(x) does not
have a (two-sided) limit at 0.
Intuitively, if ƒ(x) is defined on an interval (c, b), where c 6 b, and approaches arbi-
trarily close to L as x approaches c from within that interval, then ƒ has right-hand limit L
at c. We write
lim ƒsxd = L.
x:c +
The symbol “x : c + ” means that we consider only values of x greater than c.
Similarly, if ƒ(x) is defined on an interval (a, c), where a 6 c and approaches arbi-
trarily close to M as x approaches c from within that interval, then ƒ has left-hand limit M
at c. We write
lim ƒsxd = M.
x:c -
The symbol “x : c - ” means that we consider only x values less than c.
These informal definitions are illustrated in Figure 2.22. For the function ƒsxd = x> ƒ x ƒ
in Figure 2.21 we have
lim ƒsxd = 1 and lim ƒsxd = -1.
x:0 + x:0 -
y y
f (x) M
L f (x)
x x
0 c x 0 x c
(a) lim f (x) L (b) lim f (x) M
x→c x→c
FIGURE 2.23 lim 24 - x 2 = 0 and One-sided limits have all the properties listed in Theorem 1 in Section 2.2. The right-
x: 2 - hand limit of the sum of two functions is the sum of their right-hand limits, and so on. The
lim 24 - x 2 = 0 (Example 1). theorems for limits of polynomials and rational functions hold with one-sided limits, as
x: - 2 +
does the Sandwich Theorem and Theorem 5. One-sided limits are related to limits in the
following way.
THEOREM 6
A function ƒ(x) has a limit as x approaches c if and only if it has left-hand and
right-hand limits there and these one-sided limits are equal:
lim ƒsxd = L 3 lim ƒsxd = L and lim ƒsxd = L.
x:c x:c - x:c +
y
DEFINITIONS Right-Hand, Left-Hand Limits
We say that ƒ(x) has right-hand limit L at x0 , and write
lim ƒsxd = L (See Figure 2.25)
x:x0 +
L if for every number P 7 0 there exists a corresponding number d 7 0 such that
f(x)
for all x
f(x) lies
L in here x0 6 x 6 x0 + d Q ƒ ƒsxd - L ƒ 6 P.
L We say that ƒ has left-hand limit L at x0 , and write
for all x x 0
lim ƒsxd = L (See Figure 2.26)
x:x0 -
in here
if for every number P 7 0 there exists a corresponding number d 7 0 such that
for all x
x
x
0 x0 x0 x0 - d 6 x 6 x0 Q ƒ ƒsxd - L ƒ 6 P.
x
0
y sin 1x
–1
values stay increasingly close to as x approaches zero. This is true even if we restrict x to
positive values or to negative values. The function has neither a right-hand limit nor a left-
hand limit at x = 0.
y sin (radians)
1
–3 –2 – 2 3
y
NOT TO SCALE
T
FIGURE 2.29 The graph of ƒsud = ssin ud>u .
1
THEOREM 7
tan
1 sin u
lim = 1 su in radiansd (1)
sin u:0 u
cos
x
O Q A(1, 0)
Proof The plan is to show that the right-hand and left-hand limits are both 1. Then we
Equation (2) is where radian measure We can express these areas in terms of u as follows:
comes in: The area of sector OAP is u>2 1 1 1
only if u is measured in radians. Area ¢OAP = base * height = s1dssin ud = sin u
2 2 2
1 1 u
Area sector OAP = r 2u = s1d2u = (2)
2 2 2
1 1 1
Area ¢OAT = base * height = s1dstan ud = tan u.
2 2 2
Thus,
1 1 1
sin u 6 u 6 tan u.
2 2 2
This last inequality goes the same way if we divide all three terms by the number
(1>2) sin u, which is positive since 0 6 u 6 p>2:
u 1
1 6 6 .
sin u cos u
Taking reciprocals reverses the inequalities:
sin u
1 7 7 cos u.
u
Since limu:0+ cos u = 1 (Example 6b, Section 2.2), the Sandwich Theorem gives
sin u
lim+ = 1.
u:0 u
Recall that sin u and u are both odd functions (Section 1.4). Therefore, ƒsud =
ssin ud>u is an even function, with a graph symmetric about the y-axis (see Figure 2.29).
This symmetry implies that the left-hand limit at 0 exists and has the same value as the
right-hand limit:
sin u sin u
lim = 1 = lim+ ,
u:0 - u u:0 u
so limu:0 ssin ud>u = 1 by Theorem 6.
sin u
EXAMPLE 5 Using lim = 1
u:0 u
cos h - 1 sin 2x 2
Show that (a) lim = 0 and (b) lim = .
h:0 h x:0 5x 5
Solution
(a) Using the half-angle formula cos h = 1 - 2 sin2 sh>2d, we calculate
(b) Equation (1) does not apply to the original fraction. We need a 2x in the denominator,
not a 5x. We produce it by multiplying numerator and denominator by 2>5:
sin 2x s2>5d # sin 2x
lim = lim
y x:0 5x x:0 s2>5d # 5x
2 sin 2x Now, Eq. (1) applies with
= lim u 2x.
4 5 x:0 2x
3 2 2
= s1d =
2 y 1x 5 5
1
x Finite Limits as x : — ˆ
–1 0 1 2 3 4
–1 The symbol for infinity s q d does not represent a real number. We use q to describe the
behavior of a function when the values in its domain or range outgrow all finite bounds.
For example, the function ƒsxd = 1>x is defined for all x Z 0 (Figure 2.31). When x is
positive and becomes increasingly large, 1>x becomes increasingly small. When x is nega-
tive and its magnitude becomes increasingly large, 1>x again becomes small. We summa-
rize these observations by saying that ƒsxd = 1>x has limit 0 as x : ; q or that 0 is a
limit of ƒsxd = 1>x at infinity and negative infinity. Here is a precise definition.
FIGURE 2.31 The graph of y = 1>x .
2. We say that ƒ(x) has the limit L as x approaches minus infinity and write
lim ƒsxd = L
x: - q
if, for every number P 7 0, there exists a corresponding number N such that
for all x
x 6 N Q ƒ ƒsxd - L ƒ 6 P.
Intuitively, limx: q ƒsxd = L if, as x moves increasingly far from the origin in the positive
direction, ƒ(x) gets arbitrarily close to L. Similarly, limx:- q ƒsxd = L if, as x moves in-
creasingly far from the origin in the negative direction, ƒ(x) gets arbitrarily close to L.
The strategy for calculating limits of functions as x : ; q is similar to the one for
finite limits in Section 2.2. There we first found the limits of the constant and identity
functions y = k and y = x. We then extended these results to other functions by applying
a theorem about limits of algebraic combinations. Here we do the same thing, except that
the starting functions are y = k and y = 1>x instead of y = k and y = x.
No matter what The basic facts to be verified by applying the formal definition are
y
positive number is,
the graph enters 1
this band at x 1
lim k = k and lim x = 0. (3)
y 1x and stays.
x: ; q x: ; q
We prove the latter and leave the former to Exercises 71 and 72.
y
N – 1
1
EXAMPLE 6 Limits at Infinity for ƒsxd = x
x
0
M 1 Show that
y –
–
1 1
(a) lim x = 0 (b) lim x = 0.
No matter what x: q x: - q
positive number is,
the graph enters Solution
this band at x – 1
and stays. (a) Let P 7 0 be given. We must find a number M such that for all x
` x - 0 ` = ` x ` 6 P.
FIGURE 2.32 The geometry behind the 1 1
x 7 M Q
argument in Example 6.
The implication will hold if M = 1>P or any larger positive number (Figure 2.32).
This proves limx: q s1>xd = 0.
(b) Let P 7 0 be given. We must find a number N such that for all x
` x - 0 ` = ` x ` 6 P.
1 1
x 6 N Q
The implication will hold if N = -1>P or any number less than -1>P (Figure 2.32).
This proves limx:- q s1>xd = 0.
Limits at infinity have properties similar to those of finite limits.
These properties are just like the properties in Theorem 1, Section 2.2, and we use
them the same way.
= 5 + 0 = 5 Known limits
p23 1 1
(b) lim = lim p23 # x # x
x: - q x2 x: - q
1 1
= lim p23 # lim x # lim x Product rule
x: - q x: - q x: - q
2 = p23 # 0 # 0 = 0 Known limits
y 5x 2 8x 3
y
3x 2
2
Limits at Infinity of Rational Functions
Line y 5
1 3 To determine the limit of a rational function as x : ; q , we can divide the numerator
and denominator by the highest power of x in the denominator. What happens then de-
x pends on the degrees of the polynomials involved.
–5 0 5 10
x
Horizontal Asymptotes
–4 –2 0 2 4 6
If the distance between the graph of a function and some fixed line approaches zero as a
–2 point on the graph moves increasingly far from the origin, we say that the graph ap-
proaches the line asymptotically and that the line is an asymptote of the graph.
–4
Looking at ƒsxd = 1>x (See Figure 2.31), we observe that the x-axis is an asymptote
of the curve on the right because
–6
1
–8 lim x = 0
x: q
We say that the x-axis is a horizontal asymptote of the graph of ƒsxd = 1>x.
The curve
5x 2 + 8x - 3
ƒsxd =
3x 2 + 2
sketched in Figure 2.33 (Example 8) has the line y = 5>3 as a horizontal asymptote on
both the right and the left because
5 5
lim ƒsxd = and lim ƒsxd = .
x: q 3 x: - q 3
Solution We introduce the new variable t = 1>x. From Example 6, we know that t : 0 +
as x : q (see Figure 2.31). Therefore,
1
lim sin x = lim+ sin t = 0.
x: q t:0
0 … ` x ` … `x`
sin x 1
1
x
–3 –2 – 0 2 3 and limx:; q ƒ 1>x ƒ = 0, we have limx:; q ssin xd>x = 0 by the Sandwich Theorem. Hence,
lim a2 + x b = 2 + 0 = 2,
sin x
FIGURE 2.35 A curve may cross one of
x: ; q
its asymptotes infinitely often (Example
11). and the line y = 2 is a horizontal asymptote of the curve on both left and right (Figure 2.35).
This example illustrates that a curve may cross one of its horizontal asymptotes, per-
haps many times.
Oblique Asymptotes
If the degree of the numerator of a rational function is one greater than the degree of the
denominator, the graph has an oblique (slanted) asymptote. We find an equation for the
asymptote by dividing numerator by denominator to express ƒ as a linear function plus a
remainder that goes to zero as x : ; q . Here’s an example.
= a x - b +
2x 2 3 2 8
y -115
2 7x 4
7 49 49s7x + 4d
('')''* ('')''*
linear function gsxd remainder
x
–4 –2 2 4
As x : ; q , the remainder, whose magnitude gives the vertical distance between the
–2 graphs of ƒ and g, goes to zero, making the (slanted) line
2 8
gsxd = x -
–4 7 49
an asymptote of the graph of ƒ (Figure 2.36). The line y = gsxd is an asymptote both to
the right and to the left. In the next section you will see that the function ƒ(x) grows arbi-
FIGURE 2.36 The function in Example trarily large in absolute value as x approaches -4>7, where the denominator becomes zero
12 has an oblique asymptote. (Figure 2.36).
EXERCISES 2.4
2. Which of the following statements about the function y = ƒsxd a. Find limx:2+ ƒsxd, limx:2- ƒsxd , and ƒ(2).
graphed here are true, and which are false? b. Does limx:2 ƒsxd exist? If so, what is it? If not, why not?
y c. Find limx:-1- ƒsxd and limx:-1+ ƒsxd .
y f (x) d. Does limx:-1 ƒsxd exist? If so, what is it? If not, why not?
0, x … 0
5. Let ƒsxd = •
2
1
sin x , x 7 0.
1
x y
–1 0 1 2 3
1
a. lim + ƒsxd = 1 b. lim ƒsxd does not exist.
x: -1 x: 2
c. lim ƒsxd = 2 d. lim- ƒsxd = 2
x:2 x: 1
e. lim+ ƒsxd = 1 f. lim ƒsxd does not exist.
x:1 x: 1
x
g. lim+ ƒsxd = lim- ƒsxd 0
x:0 x: 0
0, xⱕ0
h. lim ƒsxd exists at every c in the open interval s -1, 1d . y 1
x:c sin x , x 0
i. lim ƒsxd exists at every c in the open interval (1, 3).
x:c
j. lim ƒsxd = 0 k. lim+ ƒsxd does not exist. –1
x: -1 - x: 3
3 - x, x 6 2
3. Let ƒsxd = • x
+ 1, x 7 2. a. Does limx:0+ ƒsxd exist? If so, what is it? If not, why not?
2
b. Does limx:0- ƒsxd exist? If so, what is it? If not, why not?
y
c. Does limx:0 ƒsxd exist? If so, what is it? If not, why not?
y3x 6. Let g sxd = 2x sins1>xd .
3
y x1
2 y
1 y 兹x
x
0 2 4
–1 y –兹x
y3x
3
a. Does limx:0+ g sxd exist? If so, what is it? If not, why not?
y x
2 b. Does limx:0- g sxd exist? If so, what is it? If not, why not?
x
–2 0 2 c. Does limx:0 g sxd exist? If so, what is it? If not, why not?
x 3, sin U
7. a. Graph ƒsxd = e
x Z 1
Using lim 1
0, x = 1. U:0 U
b. Find limx:1- ƒsxd and limx:1+ ƒsxd . Find the limits in Exercises 21–36.
c. Does limx:1 ƒsxd exist? If so, what is it? If not, why not? sin 22u sin kt
21. lim 22. lim t sk constantd
1 - x 2,
8. a. Graph ƒsxd = e
x Z 1 u :022u t: 0
2, x = 1. sin 3y h
23. lim 24. lim-
b. Find limx:1+ ƒsxd and limx:1- ƒsxd . y:0 4y h:0 sin 3h
c. Does limx:1 ƒsxd exist? If so, what is it? If not, why not? tan 2x 2t
25. lim x 26. lim
x:0 t: 0 tan t
Graph the functions in Exercises 9 and 10. Then answer these ques-
x csc 2x
tions. 27. lim 28. lim 6x 2scot xdscsc 2xd
x:0 cos 5x x:0
a. What are the domain and range of ƒ?
x + x cos x x 2 - x + sin x
b. At what points c, if any, does limx:c ƒsxd exist? 29. lim 30. lim
x:0 sin x cos x x:0 2x
c. At what points does only the left-hand limit exist?
sin s1 - cos td sin ssin hd
d. At what points does only the right-hand limit exist? 31. lim 32. lim
t: 0 1 - cos t h:0 sin h
21 - x 2, 0 … x 6 1 sin u sin 5x
9. ƒsxd = • 1,
33. lim 34. lim
1 … x 6 2 u :0 sin 2u x:0 sin 4x
2, x = 2 tan 3x sin 3y cot 5y
35. lim 36. lim
x, -1 … x 6 0, or 0 6 x … 1 x:0 sin 8x y:0 y cot 4y
10. ƒsxd = • 1, x = 0
0, x 6 -1, or x 7 1 Calculating Limits as x : — ˆ
In Exercises 37–42, find the limit of each function (a) as x : q and
(b) as x : - q . (You may wish to visualize your answer with a
Finding One-Sided Limits Algebraically graphing calculator or computer.)
Find the limits in Exercises 11–18.
2 2
x + 2 x - 1 37. ƒsxd = x - 3 38. ƒsxd = p -
11. lim - 12. lim+ x2
x: -0.5 A x + 1 x: 1 A x + 2
1 1
39. g sxd = 40. g sxd =
lim + a ba 2 b
x 2x + 5 2 + s1>xd 8 - s5>x 2 d
13.
x: -2 x + 1 x + x
-5 + s7>xd 3 - s2>xd
14. lim- a ba x ba b A 22>x 2 B
1 x + 6 3 - x 41. hsxd = 2
42. hsxd =
7 3 - s1>x d 4 +
x:1 x + 1
In this section we extend the concept of limit to infinite limits, which are not limits as be-
fore, but rather an entirely new use of the term limit. Infinite limits provide useful symbols
and language for describing the behavior of functions whose values become arbitrarily
large, positive or negative. We continue our analysis of graphs of rational functions from
the last section, using vertical asymptotes and dominant terms for numerically large values
of x.
y Infinite Limits
You can get as high
as you want by Let us look again at the function ƒsxd = 1>x. As x : 0 + , the values of ƒ grow without
taking x close enough bound, eventually reaching and surpassing every positive real number. That is, given any
to 0. No matter how
positive real number B, however large, the values of ƒ become larger still (Figure 2.37).
high B is, the graph
B goes higher. Thus, ƒ has no limit as x : 0 + . It is nevertheless convenient to describe the behavior of ƒ
by saying that ƒ(x) approaches q as x : 0 + . We write
y 1x
1
x
lim ƒsxd = lim+ x = q .
x:0 + x:0
x0 x
No matter how
low –B is, the In writing this, we are not saying that the limit exists. Nor are we saying that there is a real
graph goes lower. number q , for there is no such number. Rather, we are saying that limx:0+ s1>xd does not
You can get as low as –B exist because 1>x becomes arbitrarily large and positive as x : 0 + .
you want by taking
x close enough to 0.
As x : 0 - , the values of ƒsxd = 1>x become arbitrarily large and negative. Given
any negative real number -B, the values of ƒ eventually lie below -B. (See Figure 2.37.)
FIGURE 2.37 One-sided infinite limits: We write
1 1
lim = q and lim = -q 1
x: 0 + x x: 0 - x lim ƒsxd = lim- x = - q .
x:0 - x:0
Again, we are not saying that the limit exists and equals the number - q . There is no real
y number - q . We are describing the behavior of a function whose limit as x : 0 - does not
exist because its values become arbitrarily large and negative.
y 1
x1
EXAMPLE 1 One-Sided Infinite Limits
1 1 1
Find lim+ and lim .
x:1 x - 1 x:1 - x - 1
x
–1 0 1 2 3
Geometric Solution The graph of y = 1>sx - 1d is the graph of y = 1>x shifted 1 unit
to the right (Figure 2.38). Therefore, y = 1>sx - 1d behaves near 1 exactly the way
y = 1>x behaves near 0:
1 1
lim = q and lim = -q.
FIGURE 2.38 Near x = 1 , the function x:1 + x - 1 x:1 - x - 1
y = 1>sx - 1d behaves the way the
function y = 1>x behaves near x = 0 . Its Analytic Solution Think about the number x - 1 and its reciprocal. As x : 1+ , we have
graph is the graph of y = 1>x shifted 1 sx - 1d : 0 and 1>sx - 1d : q . As x : 1- , we have sx - 1d : 0 - and
+
5 (b) The graph of gsxd = 1>sx + 3d2 is the graph of ƒsxd = 1>x 2 shifted 3 units to the left
(Figure 2.39b). Therefore, g behaves near -3 exactly the way ƒ behaves near 0.
4
1
3 lim gsxd = lim = q.
x: -3 x: -3 sx + 3d2
2 The function y = 1>x shows no consistent behavior as x : 0. We have 1>x : q if
1 x : 0 + , but 1>x : - q if x : 0 - . All we can say about limx:0 s1>xd is that it does not
exist. The function y = 1>x 2 is different. Its values approach infinity as x approaches zero
x
–5 –4 –3 –2 –1 0 from either side, so we can say that limx:0 s1>x 2 d = q .
(b)
EXAMPLE 3 Rational Functions Can Behave in Various Ways Near Zeros
FIGURE 2.39 The graphs of the of Their Denominators
functions in Example 2. (a) ƒ(x)
approaches infinity as x : 0 . (b) g (x) sx - 2d2 sx - 2d2 x - 2
(a) lim = lim = lim = 0
approaches infinity as x : -3 . x:2 x2 - 4 x:2 sx - 2dsx + 2d x:2 x + 2
x - 2 x - 2 1 1
(b) lim = lim = lim =
x:2 x2 - 4 x:2 sx - 2dsx + 2d x:2 x + 2 4
x - 3 x - 3 The values are negative
(c) lim 2
= lim+ = -q for x 7 2, x near 2.
x:2 + x - 4 x:2 sx - 2dsx + 2d
x - 3 x - 3 The values are positive
(d) lim- 2
= lim- = q for x 6 2, x near 2.
x:2 x - 4 x:2 sx - 2dsx + 2d
x - 3 x - 3
(e) lim = lim does not exist. See parts (c) and (d).
x2 - 4
x:2 x:2 sx - 2dsx + 2d
2 - x -sx - 2d -1
(f) lim = lim = lim = -q
x:2 sx - 2d3 x:2 sx - 2d3 x:2 sx - 2d2
In parts (a) and (b) the effect of the zero in the denominator at x = 2 is canceled be-
cause the numerator is zero there also. Thus a finite limit exists. This is not true in part (f),
where cancellation still leaves a zero in the denominator.
y gin. Except for this change, the language is identical with what we have seen before.
y f (x)
Figures 2.40 and 2.41 accompany these definitions.
y Vertical Asymptotes
Vertical asymptote
Notice that the distance between a point on the graph of y = 1>x and the y-axis ap-
proaches zero as the point moves vertically along the graph and away from the origin
(Figure 2.42). This behavior occurs because
y 1x 1 1
Horizontal 1 lim x = q and lim x = - q .
asymptote x:0 + x:0 -
x
0 1 Horizontal We say that the line x = 0 (the y-axis) is a vertical asymptote of the graph of y = 1>x.
asymptote, Observe that the denominator is zero at x = 0 and the function is undefined there.
y0
Vertical asymptote,
x0 DEFINITION Vertical Asymptote
A line x = a is a vertical asymptote of the graph of a function y = ƒsxd if either
FIGURE 2.42 The coordinate axes are lim ƒsxd = ; q or lim ƒsxd = ; q .
x:a + x:a -
asymptotes of both branches of the
hyperbola y = 1>x .
EXAMPLE 5 Looking for Asymptotes
y
Find the horizontal and vertical asymptotes of the curve
Vertical
asymptote, 6 x + 3
x –2 y = .
5 x3 x + 2
y
4 x2
1
1 Solution We are interested in the behavior as x : ; q and as x : -2, where the de-
Horizontal 3 x2 nominator is zero.
asymptote, 2
y1 The asymptotes are quickly revealed if we recast the rational function as a polynomial
1 with a remainder, by dividing sx + 2d into sx + 3d.
x
–5 –4 –3 –2 –1 0 1 2 3 1
–1
x + 2 x + 3
–2
x + 2
–3
1
–4
This result enables us to rewrite y:
y (Figure 2.44). Notice that the curve approaches the x-axis from only the negative side
(or from below).
8 y – 28
7 x 4 (b) The behavior as x : ;2. Since
6
5 Vertical lim ƒsxd = - q and lim ƒsxd = q ,
x:2 + x:2 -
Vertical 4 asymptote, x 2
asymptote, 3 Horizontal
the line x = 2 is a vertical asymptote both from the right and from the left. By sym-
x –2 2 asymptote, y 0 metry, the same holds for the line x = -2.
1
x There are no other asymptotes because ƒ has a finite limit at every other point.
–4 –3 –2 –1 0 1 2 3 4
EXAMPLE 7 Curves with Infinitely Many Asymptotes
The curves
1 sin x
y = sec x = cos x and y = tan x = cos x
FIGURE 2.44 Graph of both have vertical asymptotes at odd-integer multiples of p>2, where cos x = 0 (Figure 2.45).
y = -8>sx 2 - 4d . Notice that the curve
approaches the x-axis from only one side.
y y
Asymptotes do not have to be two-sided y sec x y tan x
(Example 6).
1 1
x x
– 3 – – – 3 – – –1
0 3 0 3
2 2 2 2 2 2 2 2
FIGURE 2.45 The graphs of sec x and tan x have infinitely many vertical
asymptotes (Example 7).
The graphs of
1 cos x
y = csc x = and y = cot x =
sin x sin x
have vertical asymptotes at integer multiples of p, where sin x = 0 (Figure 2.46).
y y csc x y y cot x
1 1
x x
– – 0 3 2 – – 0 3 2
2 2 2 2 2 2
Notice in Example 8, that if the degree of the numerator in a rational function is greater
than the degree of the denominator, then the limit is + q or - q , depending on the signs
assumed by the numerator and denominator as ƒ x ƒ becomes large.
Dominant Terms
Of all the observations we can make quickly about the function
x2 - 3
ƒsxd =
2x - 4
in Example 8, probably the most useful is that
x 1
ƒsxd = + 1 + .
2 2x - 4
This tells us immediately that
x
ƒsxd L + 1 For x numerically large
2
1
ƒsxd L For x near 2
2x - 4
If we want to know how ƒ behaves, this is the way to find out. It behaves like
y = sx>2d + 1 when x is numerically large and the contribution of 1>s2x - 4d to the total
Solution The graphs of ƒ and g behave quite differently near the origin (Figure 2.48a),
but appear as virtually identical on a larger scale (Figure 2.48b).
y y
20 500,000
15
300,000
10
f (x)
5 100,000
g(x)
x x
–2 –1 0 1 2 –20 –10 0 10 20
–5 –100,000
(a) (b)
FIGURE 2.48 The graphs of ƒ and g, (a) are distinct for ƒ x ƒ small, and (b) nearly
identical for ƒ x ƒ large (Example 9).
We can test that the term 3x 4 in ƒ, represented graphically by g, dominates the polyno-
mial ƒ for numerically large values of x by examining the ratio of the two functions as
x : ; q . We find that
ƒsxd 3x 4 - 2x 3 + 3x 2 - 5x + 6
lim = lim
x: ; q gsxd x: ; q 3x 4
lim a1 - + 4b
2 1 5 2
= + 2 -
x: ; q 3x x 3x 3
x
= 1,
EXERCISES 2.5
Infinite Limits x 2 - 3x + 2
21. lim as
Find the limits in Exercises 1–12. x 3 - 2x 2
1 5 a. x : 0 + b. x : 2+
1. lim+ 2. lim- c. x : 2- d. x : 2
x: 0 3x x: 0 2x
3 1 e. What, if anything, can be said about the limit as x : 0 ?
3. lim- 4. lim+
x: 2 x - 2 x: 3 x - 3 x 2 - 3x + 2
22. lim as
2x 3x x 3 - 4x
5. lim 6. lim
x: -8 + x + 8 x: -5 - 2x + 10 a. x : 2+ b. x : -2+
4 -1 c. x : 0 - d. x : 1+
7. lim 8. lim
x: 7 sx - 7d2 x: 0 x 2sx + 1d e. What, if anything, can be said about the limit as x : 0 ?
2 2 Find the limits in Exercises 23–26.
9. a. lim+ b. lim-
x:0 3x 1>3 x: 0 3x 1>3
23. lim a2 - b as
3
10. a. lim+
2
b. lim-
2 t 1>3
x:0 x 1>5 x: 0 x 1>5 a. t : 0 + b. t : 0 -
24. lim a
4 1 1
11. lim 2>5
12. lim + 7b as
x: 0 x x: 0 x 2>3 t 3>5
a. t : 0 + b. t : 0 -
Find the limits in Exercises 13–16.
25. lim a b as
1 2
+
13. lim tan x 14. lim sec x x 2>3 sx - 1d2>3
x: sp>2d -
x: s-p>2d +
a. x : 0 + b. x : 0 -
15. lim- s1 + csc ud 16. lim s2 - cot ud
u :0 u: 0 c. x : 1+ d. x : 1-
26. lim a b as
1 1
-
Additional Calculations x 1>3 sx - 1d4>3
Find the limits in Exercises 17–22. a. x : 0 + b. x : 0 -
1 c. x : 1+ d. x : 1-
17. lim as
x2 - 4
a. x : 2+ b. x : 2-
Graphing Rational Functions
Graph the rational functions in Exercises 27–38. Include the graphs
c. x : -2+ d. x : -2-
and equations of the asymptotes and dominant terms.
x
18. lim as 1 1
x2 - 1 27. y =
x - 1
28. y =
x + 1
a. x : 1+ b. x : 1-
1 -3
c. x : -1+ d. x : -1- 29. y = 30. y =
2x + 4 x - 3
19. lim a - x b as
x2 1 x + 3 2x
2 31. y = 32. y =
x + 2 x + 1
a. x : 0 + b. x : 0 - x2 x2 + 1
33. y = 34. y =
c. x : 22 3
d. x : -1 x - 1 x - 1
x2 - 1 x2 - 4 x2 - 1
20. lim as 35. y = 36. y =
2x + 4 x - 1 2x + 4
a. x : -2+ b. x : -2- x2 - 1 x3 + 1
37. y = x 38. y =
c. x : 1 +
d. x : 0 -
x2
Inventing Graphs from Values and Limits Modify the definition to cover the following cases.
In Exercises 39–42, sketch the graph of a function y = ƒsxd that satisfies a. lim ƒsxd = q
x:x0 -
the given conditions. No formulas are required—just label the coordinate
axes and sketch an appropriate graph. (The answers are not unique, so b. lim ƒsxd = - q
x:x0 +
your graphs may not be exactly like those in the answer section.) c. lim - ƒsxd = - q
x:x0
39. ƒs0d = 0, ƒs1d = 2, ƒs -1d = -2, lim ƒsxd = -1, and
x: - q Use the formal definitions from Exercise 51 to prove the limit state-
lim ƒsxd = 1 ments in Exercises 52–56.
x: q
40. ƒs0d = 0, lim ƒsxd = 0, lim+ ƒsxd = 2, and 1
x: ; q x: 0 52. lim+ x = q
x:0
lim ƒsxd = -2
x:0 -
1
41. ƒs0d = 0, lim ƒsxd = 0, lim- ƒsxd = lim + ƒsxd = q , 53. lim- x = - q
x: ; q x: 1 x: -1 x:0
lim ƒsxd = - q , and lim - ƒsxd = - q
x:1 + x: -1 1
54. lim- = -q
42. ƒs2d = 1, ƒs -1d = 0, lim ƒsxd = 0, lim+ ƒsxd = q , x:2 x - 2
x: q x: 0
lim- ƒsxd = - q , and lim ƒsxd = 1 1
x: 0 x: - q 55. lim+ = q
x:2 x - 2
Inventing Functions 1
56. lim- = q
In Exercises 43–46, find a function that satisfies the given conditions x:1 1 - x2
and sketch its graph. (The answers here are not unique. Any function
that satisfies the conditions is acceptable. Feel free to use formulas de- Graphing Terms
fined in pieces if that will help.)
Each of the functions in Exercises 57–60 is given as the sum or differ-
43. lim ƒsxd = 0, lim- ƒsxd = q , and lim+ ƒsxd = q ence of two terms. First graph the terms (with the same set of axes).
x: ; q x: 2 x: 2
44. lim g sxd = 0, lim- g sxd = - q , and lim+ g sxd = q Then, using these graphs as guides, sketch in the graph of the function.
x: ; q x: 3 x: 3
1 p p
45. lim hsxd = -1, lim hsxd = 1, lim- hsxd = -1, and 57. y = sec x + x , - 6 x 6
x: - q x: q x: 0 2 2
lim hsxd = 1 1 p p
x: 0 + 58. y = sec x - , - 6 x 6
46. lim k sxd = 1, lim- k sxd = q , and lim+ k sxd = - q x2 2 2
x: ; q x: 1 x: 1
1 p p
59. y = tan x + , - 6 x 6
The Formal Definition of Infinite Limit x2 2 2
Use formal definitions to prove the limit statements in Exercises 47–50. 1 p p
60. y = x - tan x, - 6 x 6
-1 1 2 2
47. lim 2 = - q 48. lim = q
x:0 x x: 0 ƒ x ƒ
2.6 Continuity
y When we plot function values generated in a laboratory or collected in the field, we often
80 P
connect the plotted points with an unbroken curve to show what the function’s values are
Q4 likely to have been at the times we did not measure (Figure 2.49). In doing so, we are as-
Distance fallen (m)
60 Q3 suming that we are working with a continuous function, so its outputs vary continuously
Q2
with the inputs and do not jump from one value to another without taking on the values
40
in between. The limit of a continuous function as x approaches c can be found simply by
Q1 calculating the value of the function at c. (We found this to be true for polynomials in
20
Section 2.2.)
t Any function y = ƒsxd whose graph can be sketched over its domain in one continu-
0 5 10
ous motion without lifting the pencil is an example of a continuous function. In this sec-
Elapsed time (sec)
tion we investigate more precisely what it means for a function to be continuous. We also
FIGURE 2.49 Connecting plotted points study the properties of continuous functions, and see that many of the function types pre-
by an unbroken curve from experimental sented in Section 1.4 are continuous.
data Q1 , Q2 , Q3 , Á for a falling object.
Continuity at a Point
To understand continuity, we need to consider a function like the one in Figure 2.50 whose
limits we investigated in Example 2, Section 2.4.
Solution The function ƒ is continuous at every point in its domain [0, 4] except at
1 x = 1, x = 2, and x = 4. At these points, there are breaks in the graph. Note the relation-
ship between the limit of ƒ and the value of ƒ at each point of the function’s domain.
x
0 1 2 3 4
Points at which ƒ is continuous:
FIGURE 2.50 The function is continuous
At x = 0, lim ƒsxd = ƒs0d.
on [0, 4] except at x = 1, x = 2 , and x:0 +
x = 4 (Example 1). At x = 3, lim ƒsxd = ƒs3d.
x:3
At 0 6 c 6 4, c Z 1, 2, lim ƒsxd = ƒscd.
x:c
y U(x)
EXAMPLE 3 The Unit Step Function Has a Jump Discontinuity
1
The unit step function U(x), graphed in Figure 2.53, is right-continuous at x = 0, but is
neither left-continuous nor continuous there. It has a jump discontinuity at x = 0.
x
0
We summarize continuity at a point in the form of a test.
FIGURE 2.53 A function
that is right-continuous,
but not left-continuous, at
the origin. It has a jump
Continuity Test
discontinuity there
A function ƒ(x) is continuous at x = c if and only if it meets the following three
(Example 3).
conditions.
1. ƒ(c) exists (c lies in the domain of ƒ)
2. limx:c ƒsxd exists (ƒ has a limit as x : c)
3. limx:c ƒsxd = ƒscd (the limit equals the function value)
For one-sided continuity and continuity at an endpoint, the limits in parts 2 and 3 of
the test should be replaced by the appropriate one-sided limits.
function is continuous at every Figure 2.55 is a catalog of discontinuity types. The function in Figure 2.55a is contin-
noninteger point. It is right-continuous, uous at x = 0. The function in Figure 2.55b would be continuous if it had ƒs0d = 1. The
but not left-continuous, at every integer function in Figure 2.55c would be continuous if ƒ(0) were 1 instead of 2. The discontinu-
point (Example 4). ities in Figure 2.55b and c are removable. Each function has a limit as x : 0, and we can
remove the discontinuity by setting ƒ(0) equal to this limit.
The discontinuities in Figure 2.55d through f are more serious: limx:0 ƒsxd does not
exist, and there is no way to improve the situation by changing ƒ at 0. The step function in
Figure 2.55d has a jump discontinuity: The one-sided limits exist but have different val-
ues. The function ƒsxd = 1>x 2 in Figure 2.55e has an infinite discontinuity. The function
in Figure 2.55f has an oscillating discontinuity: It oscillates too much to have a limit as
x : 0.
y y y y
2
y f (x) y f (x) y f (x)
y f(x)
1 1 1 1
x x x x
0 0 0 0
x
1 0
x
0
–1
(e) (f)
FIGURE 2.55 The function in (a) is continuous at x = 0 ; the functions in (b) through (f )
are not.
y Continuous Functions
A function is continuous on an interval if and only if it is continuous at every point of the
y 1x interval. For example, the semicircle function graphed in Figure 2.52 is continuous on the
interval [-2, 2], which is its domain. A continuous function is one that is continuous at
every point of its domain. A continuous function need not be continuous on every interval.
x For example, y = 1>x is not continuous on [-1, 1] (Figure 2.56), but it is continuous over
0 its domain s - q , 0d ´ s0, q d.
Most of the results in Theorem 9 are easily proved from the limit rules in Theorem 1,
Section 2.2. For instance, to prove the sum property we have
lim sƒ + gdsxd = lim sƒsxd + gsxdd
x:c x:c
= lim ƒsxd + lim gsxd, Sum Rule, Theorem 1
x:c x:c
= ƒscd + gscd Continuity of ƒ, g at c
= sƒ + gdscd.
This shows that ƒ + g is continuous.
(b) If P(x) and Q(x) are polynomials, then the rational function Psxd>Qsxd is continuous
wherever it is defined sQscd Z 0d by the Quotient Rule in Theorem 9.
Composites
All composites of continuous functions are continuous. The idea is that if ƒ(x) is continu-
ous at x = c and g(x) is continuous at x = ƒscd, then g f is continuous at x = c (Figure
2.57). In this case, the limit as x : c is g(ƒ(c)).
g f
˚
Continuous at c
f g
Continuous Continuous
at c at f (c)
c f (c) g( f(c))
(c) y = ` ` (d) y = ` `
x - 2 x sin x
x2 - 2 x2 + 2
y Solution
(a) The square root function is continuous on [0, q d because it is a rational power of the
0.4 continuous identity function ƒsxd = x (Part 6, Theorem 9). The given function is then
the composite of the polynomial ƒsxd = x 2 - 2x - 5 with the square root function
0.3
gstd = 2t.
0.2 (b) The numerator is a rational power of the identity function; the denominator is an
everywhere-positive polynomial. Therefore, the quotient is continuous.
0.1
(c) The quotient sx - 2d>sx 2 - 2d is continuous for all x Z ; 22, and the function is
x the composition of this quotient with the continuous absolute value function (Exam-
–2 – 0 2
ple 7).
FIGURE 2.58 The graph suggests that (d) Because the sine function is everywhere-continuous (Exercise 62), the numerator
y = ƒ sx sin xd>sx 2 + 2d ƒ is continuous term x sin x is the product of continuous functions, and the denominator term x 2 + 2
(Example 8d). is an everywhere-positive polynomial. The given function is the composite of a quo-
tient of continuous functions with the continuous absolute value function (Figure
2.58).
1, x = 0.
The function F(x) is continuous at x = 0 because
sin x
lim x = Fs0d
x:0
(Figure 2.59).
y y
(0, 1) (0, 1)
f (x) F(x)
– , 2 , 2 – , 2 , 2
2 2 2 2
x x
– 0 – 0
2 2 2 2
(a) (b)
FIGURE 2.59 The graph (a) of ƒsxd = ssin xd>x for -p>2 … x … p>2 does not include
the point (0, 1) because the function is not defined at x = 0 . (b) We can remove the
discontinuity from the graph by defining the new function F(x) with Fs0d = 1 and
Fsxd = ƒsxd everywhere else. Note that Fs0d = lim ƒsxd .
x:0
More generally, a function (such as a rational function) may have a limit even at a
point where it is not defined. If ƒ(c) is not defined, but limx:c ƒsxd = L exists, we can de-
fine a new function F(x) by the rule
Fsxd = e
ƒsxd, if x is in the domain of f
L, if x = c.
The function F is continuous at x = c. It is called the continuous extension of ƒ to
x = c. For rational functions ƒ, continuous extensions are usually found by canceling
common factors.
y
y f (x)
f (b)
y0
f (a)
x
0 a c b
Geometrically, the Intermediate Value Theorem says that any horizontal line y = y0
crossing the y-axis between the numbers ƒ(a) and ƒ(b) will cross the curve y = ƒsxd at
least once over the interval [a, b].
The proof of the Intermediate Value Theorem depends on the completeness property
of the real number system and can be found in more advanced texts.
y The continuity of ƒ on the interval is essential to Theorem 11. If ƒ is discontinuous at
even one point of the interval, the theorem’s conclusion may fail, as it does for the function
3 graphed in Figure 2.61.
5 1
1 1.6
–1 2
–2 –1
(a) (b)
0.02 0.003
–0.02 –0.003
(c) (d)
FIGURE 2.62 Zooming in on a zero of the function ƒsxd = x 3 - x - 1 . The zero is near
x = 1.3247 .
EXERCISES 2.6
1 1 y
x x y f (x)
–1 0 1 2 3 –1 0 1 2 3 (1, 2)
2
3. 4. y 2x y –2x 4
y y 1 (1, 1)
y h(x) x
y k(x) –1 0 1 2 3
2 2
y x2 1 –1
1 1
At which points do the functions in Exercises 11 and 12 fail to be con- continuous at every x?
tinuous? At which points, if any, are the discontinuities removable? 40. For what value of b is
Not removable? Give reasons for your answers.
g sxd = e
x, x 6 -2
11. Exercise 1, Section 2.4 12. Exercise 2, Section 2.4
bx 2, x Ú -2
At what points are the functions in Exercises 13–28 continuous?
continuous at every x?
1 1
13. y = - 3x 14. y = + 4 T In Exercises 41–44, graph the function ƒ to see whether it appears to
x - 2 sx + 2d2
have a continuous extension to the origin. If it does, use Trace and
x + 1 x + 3 Zoom to find a good candidate for the extended function’s value at
15. y = 16. y =
x 2 - 4x + 3 x 2 - 3x - 10 x = 0 . If the function does not appear to have a continuous exten-
1 x2 sion, can it be extended to be continuous at the origin from the right or
17. y = ƒ x - 1 ƒ + sin x 18. y = -
ƒxƒ + 1 2 from the left? If so, what do you think the extended function’s value(s)
should be?
cos x x + 2
19. y = x 20. y = cos x
10 x - 1 10 ƒ x ƒ - 1
41. ƒsxd = x 42. ƒsxd = x
px
21. y = csc 2x 22. y = tan
2 sin x
43. ƒsxd = 44. ƒsxd = s1 + 2xd1>x
x tan x 2x 4 + 1 ƒxƒ
23. y = 2 24. y =
x + 1 1 + sin2 x
4
25. y = 22x + 3 26. y = 23x - 1 Theory and Examples
27. y = s2x - 1d1>3 28. y = s2 - xd1>5 45. A continuous function y = ƒsxd is known to be negative at x = 0
and positive at x = 1 . Why does the equation ƒsxd = 0 have at
Composite Functions least one solution between x = 0 and x = 1 ? Illustrate with a
Find the limits in Exercises 29–34. Are the functions continuous at the sketch.
point being approached? 46. Explain why the equation cos x = x has at least one solution.
29. lim sin sx - sin xd 47. Roots of a cubic Show that the equation x 3 - 15x + 1 = 0 has
x:p
three solutions in the interval [-4, 4] .
30. lim sin a
p
cos stan tdb 48. A function value Show that the function Fsxd = sx - ad2 #
t:0 2
sx - bd2 + x takes on the value sa + bd>2 for some value of x.
31. lim sec sy sec2 y - tan2 y - 1d
y:1 49. Solving an equation If ƒsxd = x 3 - 8x + 10 , show that there
32. lim tan a are values c for which ƒ(c) equals (a) p ; (b) - 23 ; (c)
p
cos ssin x 1>3 db
x:0 4 5,000,000.