(4-2) Indeterminate Forms and L'Hôpital's Rule
(4-2) Indeterminate Forms and L'Hôpital's Rule
( )
point (1, 0). Then L1 is at the point (x1 , 0), where x1 is the dinates for L4 are (r, 𝜃) = 1, 𝜋6 . Find (x, y)-coordinates
solution of
for L4 and L5 . In the Jupiter-Sun system, these are loca-
(1 + k)x5 − (3k + 2)x4 + (3k + 1)x3 − x2 + 2x − 1 = 0; tions of numerous Trojan asteroids.
Indeterminate Forms
and L’Hôpital’s Rule
4.2 INDETERMINATE FORMS AND l’HÔPITAL’S RULE
In this section, we reconsider the problem of computing limits. You have frequently
seen limits of the form
f (x)
lim ,
x→a g(x)
where lim f (x) = lim g(x) = 0 or where lim f (x) = lim g(x) = ∞ (or −∞). Recall that from
x→a x→a x→a x→a
either of these forms ( 00 or ∞
∞
, called indeterminate forms), we cannot determine the
value of the limit, or even whether the limit exists, without additional work. For in-
stance, note that
x2 − 1 (x − 1)(x + 1) x+1 2
lim = lim = lim = = 2,
x→1 x − 1 x→1 x−1 x→1 1 1
x−1 x−1 1 1
lim = lim = lim =
x→1 x − 1
2 x→1 (x − 1)(x + 1) x→1 x + 1 2
x−1 x−1 1
and lim = lim = lim , which does not exist,
x→1 x2 − 2x + 1 x→1 (x − 1) 2 x→1 x−1
even though all three limits initially have the form 00 . The lesson here is that the ex-
pression 00 is mathematically meaningless. It indicates only that both the numerator
and denominator tend to zero and that we’ll need to dig deeper to find the value of the
limit or whether the limit even exists.
since f (c) = 0 and g(c) = 0. As we have seen, the approximation should improve as x
approaches c, so we would expect that if the limits exist,
point c ∈ (a, b) and that g′ (x) ≠ 0 on (a, b), except possibly at c. Suppose further
Suppose that f and g are differentiable on the interval (a, b), except possibly at the
discovered the rule that bears
his sponsor’s name.
A competent mathematician,
f (x) 0 ∞
that lim has the indeterminate form or and that
l’Hôpital is best known as the x→c g(x) 0 ∞
Copyright © McGraw-Hill Education
241
PROOF
0
Here, we prove only the case where f, f ′ , g and g′ are all continuous on all of (a, b) and
g′ (c) ≠ 0, while leaving the more intricate general 00 case for Appendix A. First, recall
0
f (x) − f (c)
f ′ (c) = lim .
x→c x−c
REMARK 2.1
f (x)
The conclusion of Theorem 2.1 also holds if lim is replaced with any of the
x→c g(x)
f (x) f (x) f (x) f (x)
limits lim+ , lim , lim or lim . (In each case, we must
g(x) x→c− g(x) x→∞ g(x)
x→c x→−∞ g(x)
0
EXAMPLE 2.1 The Indeterminate Form 0
y
1 − cos x
Evaluate lim .
3 x→0 sin x
2 Solution This has the indeterminate form 00 , and both (1 − cos x) and sin x are
1 continuous and differentiable everywhere. Further, dx d
sin x = cos x ≠ 0 in some
x interval containing x = 0. (Can you determine one such interval?) From the graph
-2 1 2 1 − cos x
-1 of f (x) = seen in Figure 4.14, it appears that f (x) → 0, as x → 0. We can
sin x
-2 confirm this with l’Hopital’s
̂ Rule, as follows:
Copyright © McGraw-Hill Education
d
-3 (1 − cos x)
1 − cos x dx sin x 0
lim = lim = lim = = 0.
x→0 sin x x→0 d x→0 cos x 1
FIGURE 4.14 (sin x)
1 − cos x dx
y= ∞
sin x L’Hopital’s
̂ Rule is equally easy to apply with limits of the form .
∞
0.4 Solution First, note that this limit has the form ∞∞
. From the graph in Figure 4.16, it
seems that the function tends to 0 as x → ∞. Applying l’Hopital’s
̂ Rule twice, we get
d 2
0.2 (x ) ( )
x2 dx 2x ∞
lim x = lim = lim x
x→∞ e x→∞ d x x→∞ e ∞
(e )
x dx
2 4 6 8 10 d
(2x)
FIGURE 4.16 dx 2
= lim = lim x = 0,
x2 x→∞ d x x→∞ e
y= (e )
ex dx
as expected.
REMARK 2.2
243
Sometimes an application of l’Hopital’s
̂ Rule must be followed by some simplifi-
cation, as we see in example 2.5.
∞
EXAMPLE 2.5 Simplification of the Indeterminate Form ∞
y ln x
Evaluate lim+ .
x→0 csc x
0.4
Solution First, notice that this limit has the form ∞ ∞
. From the graph in Figure 4.18,
0.2 it appears that the function tends to 0 as x → 0+ . Applying l’Hopital’s
̂ Rule, we have
d 1
x (ln x) ( )
ln x dx x ∞
0.4 0.8 1.2 lim+ = lim+ = lim+ .
x→0 csc x x→0 d x→0 −csc x cot x ∞
-0.2 (csc x)
dx
This last limit still has the indeterminate form ∞ ∞
, but rather than apply l’Hopital’s
̂
-0.4
Rule again, observe that we can rewrite the expression. We have
FIGURE 4.18 1
( )
ln x ln x x sin x
y= lim+ = lim+ = lim+ − tan x = (−1)(0) = 0,
csc x x→0 csc x x→0 −csc x cot x x→0 x
as expected, where we have used the fact that
sin x
lim = 1.
x→0 x
[ln (x + 1)x]
x dx
-1 1 2 3 1
1− ( )
x+1 0
FIGURE 4.19 = lim ( ) .
1 1 x→0 1 0
y= − x + ln (x + 1)(1)
ln (x + 1) x x+1
[ ] 1
1− ( )
1 1 x+1 x+1
lim − = lim ( )
x→0 ln (x + 1) x x→0 1 x+1
x + ln (x + 1)(1)
x+1
(x + 1) − 1 ( )
0
= lim
x→0 x + (x + 1) ln (x + 1) 0
d
(x)
dx
= lim By l’Hopital’s
̂ Rule.
x→0 d
[x + (x + 1) ln (x + 1)]
dx
1 1
= lim = ,
x→0 1 2
1 + (1) ln (x + 1) + (x + 1)
(x + 1)
which is consistent with Figure 4.19.
Note: If lim[f (x)]g(x) has one of the indeterminate forms 00 , ∞0 or 1∞ , then, letting
x→c
y = [f (x)]g(x) , we have for f (x) > 0 that
ln y = ln[f (x)]g(x) = g(x) ln [f (x)],
y
so that lim ln y = lim{g(x) ln [f (x)]} will have the indeterminate form 0 ⋅ ∞, which we can
x→c x→c
20 deal with as in example 2.7.
15
EXAMPLE 2.8 The Indeterminate Form 1∞
1
10
Evaluate lim+ x x−1 .
x→1
Copyright © McGraw-Hill Education
5
Solution First, note that this limit has the indeterminate form (1∞ ). From the
x graph in Figure 4.21, it appears that the limit is somewhere around 3. We define
0.5 1.0 1.5 2.0 1
y = x x−1 , so that
FIGURE 4.21 1 1
y = x x−1
1
ln y = ln x x−1 = ln x.
x−1
245
We now consider the limit
1
lim ln y = lim+ ln x (∞ ⋅ 0)
x→1+ x→1 x−1
( )
ln x 0
= lim+
x→1 x − 1 0
d
(ln x)
dx x−1
= lim+ = lim+ = 1. By l’Hopital’s
̂ Rule.
x→1 d x→1 1
(x − 1)
y dx
1.0
Be careful; we have found that lim+ ln y = 1, but this is not the original limit. We
x→1
want
0.9
lim y = lim+ eln y = e1 ,
x→1+ x→1
0.8 which is consistent with Figure 4.21.
FIGURE 4.22
y = (sin x)x EXAMPLE 2.9 The Indeterminate Form 00
Evaluate lim+ (sin x)x .
x→0
Solution This limit has the indeterminate form (00 ). In Figure 4.22, it appears that
the limit is somewhere around 1. We let y = (sin x)x , so that
ln y = ln (sin x)x = x ln (sin x).
Now consider the limit
lim ln y = lim+ ln (sin x)x = lim+ [x ln (sin x)] (0 ⋅ ∞)
TODAY IN x→0+ x→0
(x→0 )
MATHEMATICS ln (sin x) ∞
= lim+ ( )
Vaughan Jones (1952– )
x→0 1 ∞
A New Zealand mathematician x
whose work has connected d
apparently disjoint areas of [ln (sin x)]
dx
mathematics. He was awarded = lim+ By l’Hopital’s
̂ Rule.
x→0 d −1
the Fields Medal in 1990 for (x )
mathematics that was described dx
1
by peers as ‘astonishing’. One of cos x ( )
∞
his major accomplishments is a = lim+ sin x −2 .
discovery in knot theory that has x→0 −x ∞
given biologists insight into the As we have seen earlier, we should rewrite the expression before proceeding. Here,
replication of DNA. A strong we multiply top and bottom by x2 sin x to get
supporter of science and 1
mathematics education in New cos x ( 2 )
sin x x sin x
Zealand, Jones’ “style of working lim+ ln y = lim+
is informal, and one which
x→0 x→0 −x−2 x2 sin x
2 ( )
encourages the free and open −x cos x 0
= lim+
interchange of ideas . . . . His x→0 sin x 0
openness and generosity in d 2
(−x cos x)
Copyright © McGraw-Hill Education
as expected.
EXERCISES 4 .2
work a problem, your friend says, “First, I plug in for x and x→𝜋 sin x x→−1 x2 − 1
get 0 over 0. Then I use the quotient rule to take the deriva-
sin x − x tan x − x
tive. Then I plug x back in.” Explain to your friend what the 11. lim 12. lim
x→0 x3 x→0 x3
mistake is and how to correct it. √
4. Suppose that two runners begin a race from the starting t−1 ln t
13. lim 14. lim
line, with one runner initially going twice as fast as the t→1 t − 1 t→1 t−1
247
x3 ex sin x2 sin x
15. lim 16. lim 50. (a) Compute lim and compare your result to lim .
x→∞ ex x→∞ x4 x→0 x2 x→0 x
( ) 1 − cos x2
x cos x − sin x 1 (b) Compute lim and compare your result to
17. lim 18. lim cot x − x→0 x4
x→0 x sin2 x x→0 x
( ) 1 − cos x
( ) lim .
x+1 2 1 x→0 x2
19. lim − 20. lim tan x +
x→0 x sin 2x x→𝜋∕2 x − 𝜋∕2 (c) Use your results from parts (a) and (b) to evaluate
ln x ln x sin x3 1 − cos x3
21. lim 2 22. lim √ lim 3 and lim without doing any calcula-
x→∞ x x→∞ x→0 x x→0 x6
x tions.
23. lim te−t 24. lim t sin (1∕t) 51. Find functions f such that lim f (x) has the indeterminate
t→∞ t→∞
x→∞
ln (ln t) sin (sin t) form ∞∞
, but where the limit (a) does not exist; (b) equals 0;
25. lim 26. lim (c) equals 3 and (d) equals −4.
t→1 ln t t→0 sin t
sin (sinh x) ( ) 52. Find functions f such that lim f (x) has the indeterminate
sin x − sinh x
27. lim 28. lim x→∞
x→0 sinh (sin x) x→0 cos x − cosh x form ∞ − ∞, but where the limit (a) does not exist; (b)
√ equals 0 and (c) equals 2.
ln x x
29. lim+ 30. lim+
x→0 cot x x→0 ln x In exercises 53 and 54, determine which function “dominates,”
√
31. lim ( x2 + 1 − x) 32. lim (ln x − x) where we say that the function f dominates the function g as
x→∞ x→∞ f (x)
( )x
√
x → ∞ if 𝐥𝐢𝐦 f (x) = 𝐥𝐢𝐦 g(x) = ∞ and either 𝐥𝐢𝐦 = ∞ or
1 | x + 1 | x2 −4 x→∞ x→∞ x→∞ g(x)
33. lim 1 + 34. lim || |
x→∞ x x→∞ | x − 2 || g(x)
( ) √ 𝐥𝐢𝐦 = 0.
√ x→∞ f (x)
1 x 5−x−2
35. lim+ √ − 36. lim √
x→0 x x+1 x→1
10 − x − 3 53. ex or xn (n = any positive integer)
37. lim+ (1∕x)x
38. lim+ (cos x)1∕x
x→0 x→0
54. ln x or xp (for any number p > 0)
( )t ( )t
39. lim
t−3
40. lim
t−3 ............................................................
t→∞ t + 2 t→∞ 2t + 1
............................................................ 55. Based on your answer to exercise 53, conjecture lim (et∕2 − t3 )
x→∞
In exercises 41–44, find all error(s). and prove that your conjecture is correct.
√
cos x −sin x −cos x 1 x − ln x
41. lim = lim = lim =− 56. Evaluate lim √ . In the long run, what fraction of
x→0 x2 x→0 2x x→0 2 2 x→∞
x
√ √
ex − 1 ex ex 1 x does x − ln x represent?
42. lim = lim = lim =
x→0 x 2 x→0 2x x→0 2 2
ln (x3 + 2x + 1)
57. Evaluate lim . Generalize your result to
x 2
x 2
2x 2 x→∞ ln (x2 + x + 2)
43. lim = lim = lim = lim
x→0 ln x2 x→0 2 ln x x→0 2∕x x→0 −2∕x2 ln (p(x))
lim for polynomials p and q such that p(x) > 0
x→∞ ln (q(x))
= lim(−x2 ) = 0.
x→0 and q(x) > 0 for x > 0.
44. lim sin x = lim cos x = lim −sin x = 0. ln (e3x + x)
x→0 x2 x→0 2x x→0 2 58. Evaluate lim . Generalize your result to
x→∞ ln (e2x + 4)
............................................................ ln (ekx + p(x))
In exercises 45–48, name the method by determining whether lim for polynomials p and q and positive
x→∞ ln (ecx + q(x))
l’Ĥopital’s Rule should be used or not. numbers k and c.
csc x x−3∕2 f (x) f (x2 )
45. lim+ √ 46. lim+
x→0 x x→0 ln x 59. If lim = L, what can be said about lim ? Explain
x→0 g(x) x→0 g(x2 )
............................................................ f (x2 )
anything about lim .
sin 3x 3x x→a g(x2 )
Copyright © McGraw-Hill Education
49. (a) Starting with lim , cancel sin to get lim , then
sin 2x
x→0 x→0 2x
cancel x’s to get 32 . This answer is correct. Is either of f (x2 )
60. Give an example of functions f and g for which lim
the steps used valid? Use linear approximations to ar- x→0 g(x2 )
gue that the first step is likely to give a correct answer. f (x)
exists, but lim does not exist.
sin nx x→0 g(x)
(b) Evaluate lim for nonzero constants n and m.
x→0 sin mx
pitch.
EXPLORATORY EXERCISES
63. In the figure shown here, a section of the unit circle is de-
termined by angle 𝜃. Region 1 is the triangle ABC. Region 2 1. In this exercise, you take a quick look at what we call Taylor
is bounded by the line segments AB and BC and the arc of sin x
series in Chapter 8. Start with the limit lim = 1. Briefly
the circle. As the angle 𝜃 decreases, the difference between x→0 x
the two regions decreases, also. You might expect that the explain why this means that for x close to 0, sin x ≈ x. Show
sin x − x 1
areas of the regions become nearly equal, in which case that lim = − . This says that if x is close to 0, then
x→0 x3 6
the ratio of the areas approaches 1. To see what really hap- 1 1
pens, show that the area of region 1 divided by the area of sin x − x ≈ − x3 or sin x ≈ x − x3 . Graph these two func-
6 6
(1 − cos 𝜃) sin 𝜃 sin 𝜃 − 12 sin 2𝜃 tions to see how well they match up. To continue, compute
region 2 equals = and find sin x − (x − x3 ∕6) sin x − f (x)
𝜃 − cos 𝜃 sin 𝜃 𝜃 − 12 sin 2𝜃 lim and lim for the appropri-
x→0 x4 x→0 x5
the limit of this expression as 𝜃 → 0. Surprise! ate approximation f (x). At this point, look at the pattern of
terms you have (Hint: 6 = 3! and 120 = 5!). Using this pat-
tern, approximate sin x with an 11th-degree polynomial and
y graph the two functions.
To remain competitive, businesses must regularly evaluate how to minimize waste and
maximize the return on their investment. In this section, we consider the problem of
finding maximum and minimum values of functions. In section 3.7, we examine how
to apply these notions to problems of an applied nature.
We begin by giving careful mathematical definitions of some familiar terms.
249