Banner A. The Calculus Lifesaver: All the Tools You Need to Excel at Calculus
Подождите немного. Документ загружается.
146 • Trig Limits and Derivatives
PSfrag
replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shado
w
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror
(y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y =
(x − 1)
2
−
1
x
Same
height
−
x
Same
length,
opp
osite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y =
2
x
y =
10
x
y =
2
−x
y =
log
2
(x)
4
3
units
mirror
(x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
=
0 radians
θ
hypotenuse
opp
osite
adjacen
t
0
(≡ 2π)
π
2
π
3
π
2
I
I
I
I
II
IV
θ
(
x, y)
x
y
r
7
π
6
reference
angle
reference
angle =
π
6
sin
+
sin −
cos
+
cos −
tan
+
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this
angle is
5π
6
clo
ckwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y =
sin(x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y =
sin(x)
y =
cos(x)
−
π
2
π
2
y =
tan(x), −
π
2
<
x <
π
2
0
−
π
2
π
2
y =
tan(x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y =
sec(x)
y =
csc(x)
y =
cot(x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y =
tan
−1
(x)
π
2
π
y =
sin(
x)
x
,
x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 <
x < 0.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x +
2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−1
0
1
2
3
time
y
t
u
(t, f (t))
(u, f (u))
time
y
t
u
y
x
(x, f (x))
y = |x|
(z, f(z))
z
y = f(x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f(x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0x = 0x = 0
a = 0a = 0a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
When the weight is at the top of its motion, the velocity is 0. Since we have
v = −12 cos(4t), this occurs whenever 4t is an odd multiple of π/2, that
is, when t = (2n + 1)π/8 for some integer n. Now, enough about simple
harmonic motion—let’s just look at one more example of trig differentiation
before moving on to implicit differentiation in the next chapter.
7.2.3 A curious function
Consider the function f given by
f(x) = x
2
sin
1
x
.
What is its derivative? We’d better not worry about x = 0, since f isn’t
defined there, but we’ll be fine for other values of x. Set y = f(x); then y
is the product of u = x
2
and v = sin(1/x). It’s easy to differentiate u with
respect to x (the answer is just 2x), but v is a little harder. The best bet is
to set w = 1/x, so that v = sin(w). Then we can draw up our standard table:
v = sin(w) w =
1
x
dv
dw
= cos(w)
dw
dx
= −
1
x
2
.
Now we can use the chain rule:
dv
dx
=
dv
dw
dw
dx
= cos(w)
−
1
x
2
= −
cos(1/x)
x
2
.
Now that we have du/dx and dv/dx, we can finally use the product rule on
y = uv:
dy
dx
= v
du
dx
+u
dv
dx
= sin
1
x
(2x)+x
2
−
cos(1/x)
x
2
= 2x sin
1
x
−cos
1
x
,
and we’re done.
It turns out that the function f is pretty curious. Let’s see why. (If you
PSfrag
replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shado
w
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror
(y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y =
(x − 1)
2
−
1
x
Same
height
−
x
Same
length,
opp
osite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y =
2
x
y =
10
x
y =
2
−x
y =
log
2
(x)
4
3
units
mirror
(x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
=
0 radians
θ
hypotenuse
opp
osite
adjacen
t
0
(≡ 2π)
π
2
π
3
π
2
I
I
I
I
II
IV
θ
(
x, y)
x
y
r
7
π
6
reference
angle
reference
angle =
π
6
sin
+
sin −
cos
+
cos −
tan
+
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this
angle is
5π
6
clo
ckwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y =
sin(x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y =
sin(x)
y =
cos(x)
−
π
2
π
2
y =
tan(x), −
π
2
<
x <
π
2
0
−
π
2
π
2
y =
tan(x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y =
sec(x)
y =
csc(x)
y =
cot(x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y =
tan
−1
(x)
π
2
π
y =
sin(
x)
x
,
x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 <
x < 0.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x +
2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−1
0
1
2
3
time
y
t
u
(t, f(t))
(u, f(u))
time
y
t
u
y
x
(x, f(x))
y = |x|
(z, f(z))
z
y = f(x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
don’t feel like it, I guess you can go on to the next chapter and come back to
it later.) Anyway, to investigate further, we’ll need the following three limits:
lim
x→0
x
2
sin
1
x
= 0, lim
x→0
x sin
1
x
= 0, and lim
x→0
+
cos
1
x
DNE.
Section 7.2.3: A curious function • 147
You can do the first two of these limits using the sandwich principle and the
fact that sine or cosine of anything (even 1/x) is between −1 and 1. The third
limit is a little trickier, but we did it for sin(1/x) in Section 3.3 of Chapter 3,
and changing sin to cos doesn’t make any difference. The issue (as you may
recall) is that the oscillations of cos(1/x) between −1 and 1 become more and
more wild as x → 0
+
, so the limit doesn’t exist.
Anyway, the first limit says that lim
x → 0
f(x) = 0, even though f(0) is un-
defined. This means that we can extend f to be continuous by filling in the
point f(0) = 0. So we’ll throw away the old f from above and define a new
one by the following formula:
f(x) =
x
2
sin
1
x
if x 6= 0,
0 if x = 0.
We have just shown that this new, improved f is continuous everywhere. We
have already found its derivative when x 6= 0:
f
0
(x) = 2x sin
1
x
− cos
1
x
.
So, what’s the derivative of f at x = 0? None of our fancy-shmancy rules will
help here: we have to use the formula for the derivative:
f
0
(0) = lim
h→0
f(0 + h) − f (0)
h
= lim
h→0
h
2
sin(1/h) − 0
h
= lim
h→0
h sin
1
h
.
Now this last limit is the middle of our three limits from above (with h replac-
ing x), and it exists and equals 0. This means that f is actually differentiable
at x = 0, and in fact f
0
(0) = 0. Can you tell that from the graph of y = f (x)?
Here’s what it looks like for −0.1 < x < 0.1, along with the envelope functions
y = x
2
and y = −x
2
:
PSfrag replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shadow
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror (
y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y = (
x − 1)
2
−
1
x
Same height
−
x
Same length,
opposite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y = 2
x
y = 10
x
y = 2
−
x
y = log
2
(
x)
4
3 units
mirror (
x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
= 0 radians
θ
hypotenuse
opposite
adjacent
0 (
≡ 2π)
π
2
π
3
π
2
I
II
III
IV
θ
(
x, y)
x
y
r
7
π
6
reference angle
reference angle =
π
6
sin +
sin −
cos +
cos −
tan +
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this angle is
5
π
6
clockwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y = sin(
x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y = sin(
x)
y = cos(
x)
−
π
2
π
2
y = tan(
x), −
π
2
< x <
π
2
0
−
π
2
π
2
y = tan(
x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y = sec(
x)
y = csc(
x)
y = cot(
x)
y = f (
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y = tan
−
1
(x)
π
2
π
y =
sin(
x)
x
, x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 < x < 0
.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x + 2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−1
0
1
2
3
time
y
t
u
(t, f(t))
(u, f(u))
time
y
t
u
y
x
(x, f(x))
y = |x|
(z, f(z))
z
y = f (x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f (x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
148 • Trig Limits and Derivatives
It looks pretty wobbly at x = 0 to me, so it’s not clear at all that the derivative
should even exist there—but we’ve just shown that it does! This leads to the
following question: what is
lim
x→0
+
f
0
(x)?
Since we know that f
0
(0) = 0, you might think that the above limit is just 0.
Let’s check it out by using the above formula for f
0
(x) when x 6= 0:
lim
x→0
+
f
0
(x) = lim
x→0
+
2x sin
1
x
− cos
1
x
.
We have two terms to deal with here. The first term (2x sin(1/x)) goes to 0
in the limit, since it’s just twice the middle of our three limits from above.
On the other hand, the second term (cos(1/x)) has no limit as x → 0; this is
exactly what the third limit from above says. The conclusion is that lim
x →0
+
f
0
(x)
doesn’t exist. By symmetry (check that f is an odd function), neither does
lim
x →0
−
f
0
(x).
Now let’s summarize what we’ve found. Our function f is continuous
everywhere and also differentiable everywhere, even at x = 0. Indeed, at
x = 0, the derivative f
0
(0) equals 0, but near 0, the derivative f
0
(x) oscillates
wildly: lim
x →0
f
0
(x) doesn’t exist even though f
0
(0) does. In particular, we have
now shown that the derivative function f
0
is not itself a continuous function.
So, there are functions out there which are differentiable, yet their derivatives
aren’t continuous. That’s pretty darned curious!
C h a p t e r 8
Implicit Differentiation and Related Rates
Let’s take a break from trying to work out how to differentiate everything in
sight. It’s time to look at implicit differentiation, which is a nice generalization
of regular differentiation. We’ll then see how to use this technique to solve
word problems involving changing quantities. Knowing how fast one quantity
is changing allows us to find how fast a different, but related, quantity is
changing too. Anyway, the summary for this chapter is the same as the title:
• implicit differentiation; and
• related rates.
8.1 Implicit Differentiation
Consider the following two derivatives:
d
dx
(x
2
) and
d
dx
(y
2
).
The first is just 2x, as we’ve seen. So isn’t the second one 2y? That would be
the answer if the differentiation were with respect to y, but it isn’t: the dx in
the denominator tells us that the differentiation is with respect to x. How do
we unravel this?
The best way is to say to yourself that the first of the derivatives above is
asking how much the quantity x
2
changes when we change x a little bit. As
we saw in Section 5.2.7 of Chapter 5, if we do change x by a little bit, then
x
2
changes by approximately 2x times as much.
On the other hand, if you change x by a little bit, what does that do to
y
2
? This is what we need to know in order to find the second of our above
derivatives, d(y
2
)/dx. Think of it this way: if you change x, then y will change
a little bit; this change in y will cause y
2
to change. (All this is true only if y
depends on x, of course—if not, then when you change x, nothing at all will
happen to y.)
If you think that it sounds as if I’m hinting at the chain rule here, you’re
quite right. Here’s how it actually works. Let u = y
2
, so that du/dy = 2y.
150 • Implicit Differentiation and Related Rates
By the chain rule,
d
dx
(y
2
) =
du
dx
=
du
dy
·
dy
dx
= 2y
dy
dx
.
So if you change x by a little bit, then y
2
changes by 2y(dy/dx) times as
much. Now you might complain that the answer contains dy/dx in it, but
what did you expect? If you want to know how the quantity y
2
changes when
you change x a little, then first you need to know something about how y
changes! (Again, if y doesn’t depend on x, then dy/dx equals 0 for all x, so
d(y
2
)/dx is also 0 for all x. That is, y
2
doesn’t depend on x either.)
8.1.1 Techniques and examples
Now it’s time to get practical. Consider the following equation:
PSfrag
replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shado
w
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror
(y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y =
(x − 1)
2
−
1
x
Same
height
−
x
Same
length,
opp
osite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y =
2
x
y =
10
x
y =
2
−x
y =
log
2
(x)
4
3
units
mirror
(x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
=
0 radians
θ
hypotenuse
opp
osite
adjacen
t
0
(≡ 2π)
π
2
π
3
π
2
I
I
I
I
II
IV
θ
(
x, y)
x
y
r
7
π
6
reference
angle
reference
angle =
π
6
sin
+
sin −
cos
+
cos −
tan
+
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this
angle is
5π
6
clo
ckwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y =
sin(x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y =
sin(x)
y =
cos(x)
−
π
2
π
2
y =
tan(x), −
π
2
<
x <
π
2
0
−
π
2
π
2
y =
tan(x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y =
sec(x)
y =
csc(x)
y =
cot(x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y =
tan
−1
(x)
π
2
π
y =
sin(
x)
x
,
x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 <
x < 0.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x +
2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−
1
0
1
2
3
time
y
t
u
(
t, f(t))
(
u, f(u))
time
y
t
u
y
x
(
x, f(x))
y = |
x|
(
z, f(z))
z
y = f(
x)
a
tangen
t at x = a
b
tangen
t at x = b
c
tangen
t at x = c
y = x
2
tangen
t
at x = −
1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
x
2
+ y
2
= 4.
The quantity y isn’t a function of x. In fact, when −2 < x < 2, there are two
values of y satisfying this equation. On the other hand, the graph of the above
relation is the circle of radius 2 units centered at the origin. This circle has
nice tangents everywhere, and we should be able to find their slopes without
having to write y = ±
√
4 − x
2
and differentiating. In fact, all we have to do
is whack a d/dx in front of both sides:
d
dx
(x
2
+ y
2
) =
d
dx
(4).
As we know, the left-hand side can be split into two pieces without any prob-
lem. In fact, normally one would just automatically start by writing
d
dx
(x
2
) +
d
dx
(y
2
) =
d
dx
(4).
To simplify this, note that we have already identified the two quantities on the
left-hand side in the previous section, and the right-hand side is 0 because 4
is constant. Be careful not to write 4 instead—this is a very common mistake!
Anyway, here’s what we get:
2x + 2y
dy
dx
= 0.
Dividing by 2 and rearranging leads to
dy
dx
= −
x
y
.
This formula says that at the point (x, y) on the circle, the slope of the tangent
is −x/y. If the point isn’t on the circle, then the formula doesn’t say anything
(at least as far as we’re concerned). Now, let’s use the formula to find the
equation of the tangent to the circle at the point (1,
√
3). This point certainly
does lie on the circle, since x
2
+ y
2
= 1
2
+ (
√
3)
2
= 4. By the above formula,
the slope is given by dy/dx = −1/
√
3. So, the tangent line has slope −1/
√
3
Section 8.1.1: Techniques and examples • 151
and goes through (1,
√
3). Using the point-slope formula, we see that the
equation of the line is
y −
√
3 = −
1
√
3
(x − 1).
This can be simplified slightly to y = (4 − x)/
√
3, if you like.
Here’s another example: if
PSfrag replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shadow
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror (
y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y = (
x − 1)
2
−
1
x
Same height
−
x
Same length,
opposite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y = 2
x
y = 10
x
y = 2
−
x
y = log
2
(
x)
4
3 units
mirror (
x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
= 0 radians
θ
hypotenuse
opposite
adjacent
0 (
≡ 2π)
π
2
π
3
π
2
I
II
III
IV
θ
(
x, y)
x
y
r
7
π
6
reference angle
reference angle =
π
6
sin +
sin −
cos +
cos −
tan +
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this angle is
5
π
6
clockwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y = sin(
x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y = sin(
x)
y = cos(
x)
−
π
2
π
2
y = tan(
x), −
π
2
< x <
π
2
0
−
π
2
π
2
y = tan(
x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y = sec(
x)
y = csc(
x)
y = cot(
x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y = tan
−
1
(x)
π
2
π
y =
sin(
x)
x
, x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 < x < 0
.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x + 2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−
1
0
1
2
3
time
y
t
u
(
t, f(t))
(
u, f(u))
time
y
t
u
y
x
(
x, f(x))
y = |
x|
(
z, f(z))
z
y = f(
x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −
1
u
v
uv
u + ∆
u
v + ∆
v
(
u + ∆u)(v + ∆v)
∆
u
∆
v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
5 sin(x) + 3 sec(y) = y − x
2
+ 3,
what is the equation of the tangent at the origin? Unlike the previous example,
it’s impossible to solve this equation for y (or x). So we have to use implicit
differentiation. Let’s first verify that the origin actually lies on the curve.
Plugging in x = 0 and y = 0 gives 5 sin(0) + 3 sec(0) on the left-hand side,
which is just 3 (remember that sec(0) = 1/ cos(0) = 1). The right-hand side is
also 3, so the origin is on the curve. Now let’s differentiate the above equation,
splitting it up as we do so:
d
dx
(5 sin(x)) +
d
dx
(3 sec(y)) =
dy
dx
−
d
dx
(x
2
) +
d
dx
(3).
The only one of these quantities that’s hard to simplify is the second one
on the left-hand side. It’s not too bad, though: let u = 3 sec(y). Then
du/dy = 3 sec(y) tan(y), so by the chain rule, we have
d
dx
(3 sec(y)) =
du
dx
=
du
dy
·
dy
dx
= 3 sec(y) tan(y)
dy
dx
.
So we can return to the previous equation and differentiate everything, getting
5 cos(x) + 3 sec(y) tan(y)
dy
dx
=
dy
dx
− 2x.
Note that when you differentiate the constant 3, you get 0. In any case, we
could solve for dy/dx here: just throw all the stuff involving dy/dx on one
side and everything else on the other side:
dy
dx
− 3 sec(y) tan(y)
dy
dx
= 2x + 5 cos(x).
Now factor—
dy
dx
(1 − 3 sec(y) tan(y)) = 2x + 5 cos(x)
—and then divide to get
dy
dx
=
2x + 5 cos(x)
1 − 3 sec(y) tan(y)
.
Finally, plug in x = 0 and y = 0 to see that
dy
dx
=
2(0) + 5 cos(0)
1 − 3 sec(0) tan(0)
=
2(0) + 5(1)
1 − 2(1)(0)
= 5.
152 • Implicit Differentiation and Related Rates
Since the tangent line has slope 5 and goes through the origin, its equation is
just y = 5x, and we’re done. But do you see how we might have saved a little
effort? Go back to the equation
5 cos(x) + 3 sec(y) tan(y)
dy
dx
=
dy
dx
− 2x
from above. We manipulated this to find the general expression for dy/dx,
but actually we only care about what happens at the origin. So we could have
saved a little time by plugging x = 0 and y = 0 into the above equation. We
would have gotten
5 cos(0) + 3 sec(0) tan(0)
dy
dx
=
dy
dx
− 2(0).
This easily reduces to dy/dx = 5. So a good rule of thumb is that if you
only need the derivative at a certain point, substitute before rear-
ranging—it often saves time.
So far, we’ve only used the chain rule. Sometimes you might need to use
the product rule or the quotient rule. For example, if
PSfrag replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shadow
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror (
y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y = (
x − 1)
2
−
1
x
Same height
−
x
Same length,
opposite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y = 2
x
y = 10
x
y = 2
−
x
y = log
2
(
x)
4
3 units
mirror (
x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
= 0 radians
θ
hypotenuse
opposite
adjacent
0 (
≡ 2π)
π
2
π
3
π
2
I
II
III
IV
θ
(
x, y)
x
y
r
7
π
6
reference angle
reference angle =
π
6
sin +
sin −
cos +
cos −
tan +
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this angle is
5
π
6
clockwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y = sin(
x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y = sin(
x)
y = cos(
x)
−
π
2
π
2
y = tan(
x), −
π
2
< x <
π
2
0
−
π
2
π
2
y = tan(
x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y = sec(
x)
y = csc(
x)
y = cot(
x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y = tan
−
1
(x)
π
2
π
y =
sin(
x)
x
, x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 < x < 0
.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x + 2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−
1
0
1
2
3
time
y
t
u
(
t, f(t))
(
u, f(u))
time
y
t
u
y
x
(
x, f(x))
y = |
x|
(
z, f(z))
z
y = f(
x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
y cot(x) = 3 csc(y) + x
7
,
then you’ll need the product rule and the chain rule to find dy/dx. Indeed, if
we differentiate, we get
d
dx
(y cot(x)) =
d
dx
(3 csc(y)) +
d
dx
(x
7
).
The left-hand side is the product of y and cot(x). We should give it a name—
I’ll call it s, so that s = y cot(x). If we also set v = cot(x), then s = yv, and
we can use the product rule to differentiate s with respect to x:
ds
dx
= v
dy
dx
+ y
dv
dx
= cot(x)
dy
dx
+ y(−csc
2
(x)).
(Remember that the derivative of cot(x) with respect to x is −csc
2
(x).) Now,
let’s worry about the right-hand side of our original equation from above. For
the first term, 3 csc(y), we’ll use the chain rule. Let’s call the term u, so
u = 3 csc(y). We can see that du/dy = −3 csc(y) cot(y), so by the chain rule
we have
du
dx
=
du
dy
dy
dx
= −3 csc(y) cot(y)
dy
dx
.
Finally, the derivative of the last term, x
7
, with respect to x is just 7x
6
.
Putting it all together, we see that when we differentiate both sides of our
original equation
y cot(x) = 3 csc(y) + x
7
with respect to x, we get
cot(x)
dy
dx
− y csc
2
(x) = −3 csc(y) cot(y)
dy
dx
+ 7x
6
.
Section 8.1.1: Techniques and examples • 153
Let’s throw everything involving dy/dx on the left and everything else on the
right:
cot(x)
dy
dx
+ 3 csc(y) cot(y)
dy
dx
= y csc
2
(x) + 7x
6
.
Now factor the left-hand side and divide to solve for dy/dx:
dy
dx
=
y csc
2
(x) + 7x
6
cot(x) + 3 csc(y) cot(y)
,
and we’re done.
Finally, consider the equation
PSfrag replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shadow
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror (
y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y = (
x − 1)
2
−
1
x
Same height
−
x
Same length,
opposite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y = 2
x
y = 10
x
y = 2
−
x
y = log
2
(
x)
4
3 units
mirror (
x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
= 0 radians
θ
hypotenuse
opposite
adjacent
0 (
≡ 2π)
π
2
π
3
π
2
I
II
III
IV
θ
(
x, y)
x
y
r
7
π
6
reference angle
reference angle =
π
6
sin +
sin −
cos +
cos −
tan +
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this angle is
5
π
6
clockwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y = sin(
x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y = sin(
x)
y = cos(
x)
−
π
2
π
2
y = tan(
x), −
π
2
< x <
π
2
0
−
π
2
π
2
y = tan(
x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y = sec(
x)
y = csc(
x)
y = cot(
x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y = tan
−
1
(x)
π
2
π
y =
sin(
x)
x
, x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 < x < 0
.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x + 2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−
1
0
1
2
3
time
y
t
u
(
t, f(t))
(
u, f(u))
time
y
t
u
y
x
(
x, f(x))
y = |
x|
(
z, f(z))
z
y = f(
x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −
1
u
v
uv
u + ∆
u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
x − y cos
y
x
4
= π + 1.
What is the equation of the tangent to the point (1, π) on the curve? I leave
it to you to substitute x = 1 and y = π, and make sure that the left- and
right-hand sides agree, so that the point is indeed on the curve. Now we have
to differentiate. We get
d
dx
(x) −
d
dx
y cos
y
x
4
=
d
dx
(π + 1).
The first term is easy: it’s just 1. Also, the right-hand side is 0, since π + 1
is constant. This leaves us with an awful mess in the middle. Suppose we set
s = y cos
y
x
4
.
Then s is the product of y and v, where v = cos(y/x
4
). By the product rule,
we have
ds
dx
= v
dy
dx
+ y
dv
dx
.
There’s no escape: we are going to have to differentiate v. Suppose we set
t = y/x
4
. Then v = cos(t), so dv/dt = −sin(t), and the chain rule tells us
that
dv
dx
=
dv
dt
·
dt
dx
= −sin(t)
dt
dx
= −sin
y
x
4
dt
dx
.
We’re not out of the woods yet, though—we need to find dt/dx. Now t = y/x
4
,
so set U = y and V = x
4
. (I already used a little v, so I’ll use the capital
letter here.) The quotient rule says that
dt
dx
=
V
dU
dx
− U
dV
dx
V
2
=
x
4
dy
dx
− y
d
dx
(x
4
)
(x
4
)
2
=
x
4
dy
dx
− 4x
3
y
x
8
=
x
dy
dx
− 4y
x
5
.
Now we just need to unwind everything. Working backward, we can now
finish the calculation of dv/dx:
dv
dx
= −sin
y
x
4
dt
dx
= −sin
y
x
4
×
x
dy
dx
− 4y
x
5
.
154 • Implicit Differentiation and Related Rates
This in turn allows us to find ds/dx:
ds
dx
= v
dy
dx
+ y
dv
dx
= cos
y
x
4
dy
dx
− y sin
y
x
4
×
x
dy
dx
− 4y
x
5
.
Finally, we can go back to our original differentiated equation
d
dx
(x) −
d
dx
y cos
y
x
4
=
d
dx
(π + 1)
from above and simplify this down to
1 − cos
y
x
4
dy
dx
+ y sin
y
x
4
×
x
dy
dx
− 4y
x
5
= 0.
Don’t bother solving for dy/dx! We only need to know what happens when
x = 1 and y = π. So plug those in. Noting that cos(π) = −1 and sin(π) = 0,
you should check that the whole darn thing simplifies to
1 − (−1)
dy
dx
+ π × 0 × irrelevant junk = 0,
or just dy/dx = −1. Our tangent line therefore has slope −1 and goes through
(1, π), so its equation is y−π = −(x−1); you can rewrite this as y = −x+π+1
if you like.
We still have to look at how to find the second derivative using implicit
differentiation. Just before we do that, here’s a brief summary of the above
methods:
PSfrag replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shadow
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror (
y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y = (
x − 1)
2
−
1
x
Same height
−
x
Same length,
opposite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y = 2
x
y = 10
x
y = 2
−
x
y = log
2
(
x)
4
3 units
mirror (
x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
= 0 radians
θ
hypotenuse
opposite
adjacent
0 (
≡ 2π)
π
2
π
3
π
2
I
II
III
IV
θ
(
x, y)
x
y
r
7
π
6
reference angle
reference angle =
π
6
sin +
sin −
cos +
cos −
tan +
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this angle is
5
π
6
clockwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y = sin(
x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y = sin(
x)
y = cos(
x)
−
π
2
π
2
y = tan(
x), −
π
2
< x <
π
2
0
−
π
2
π
2
y = tan(
x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y = sec(
x)
y = csc(
x)
y = cot(
x)
y = f (
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y = tan
−
1
(x)
π
2
π
y =
sin(
x)
x
, x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 < x < 0
.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x + 2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−
1
0
1
2
3
time
y
t
u
(
t, f(t))
(
u, f(u))
time
y
t
u
y
x
(
x, f(x))
y = |x|
(z, f(z))
z
y = f (x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f (x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
• in your original equation, differentiate everything and simplify using the
chain, product, and quotient rules;
• if you want to find dy/dx, rearrange and divide to solve for dy/dx; but
• if instead you want to find the slope or equation of the tangent at a
particular point on the curve, first substitute the known values of x and
y, then rearrange to find dy/dx. Then use the point-slope formula to
find the equation of the tangent, if needed.
8.1.2 Finding the second derivative implicitly
It’s also possible to differentiate twice to get the second derivative. For ex-
ample, if
PSfrag replacements
(
a, b)
[
a, b]
(
a, b]
[
a, b)
(
a, ∞)
[
a, ∞)
(
−∞, b)
(
−∞, b]
(
−∞, ∞)
{
x : a < x < b}
{
x : a ≤ x ≤ b}
{
x : a < x ≤ b}
{
x : a ≤ x < b}
{
x : x ≥ a}
{
x : x > a}
{
x : x ≤ b}
{
x : x < b}
R
a
b
shadow
0
1
4
−
2
3
−
3
g(
x) = x
2
f(
x) = x
3
g(
x) = x
2
f(
x) = x
3
mirror (
y = x)
f
−
1
(x) =
3
√
x
y = h
(x)
y = h
−
1
(x)
y = (
x − 1)
2
−
1
x
Same height
−
x
Same length,
opposite signs
y = −
2x
−
2
1
y =
1
2
x − 1
2
−
1
y = 2
x
y = 10
x
y = 2
−
x
y = log
2
(
x)
4
3 units
mirror (
x-axis)
y = |
x|
y = |
log
2
(x)|
θ radians
θ units
30
◦
=
π
6
45
◦
=
π
4
60
◦
=
π
3
120
◦
=
2
π
3
135
◦
=
3
π
4
150
◦
=
5
π
6
90
◦
=
π
2
180
◦
= π
210
◦
=
7
π
6
225
◦
=
5
π
4
240
◦
=
4
π
3
270
◦
=
3
π
2
300
◦
=
5
π
3
315
◦
=
7
π
4
330
◦
=
11
π
6
0
◦
= 0 radians
θ
hypotenuse
opposite
adjacent
0 (
≡ 2π)
π
2
π
3
π
2
I
II
III
IV
θ
(
x, y)
x
y
r
7
π
6
reference angle
reference angle =
π
6
sin +
sin −
cos +
cos −
tan +
tan −
A
S
T
C
7
π
4
9
π
13
5
π
6
(this angle is
5
π
6
clockwise)
1
2
1
2
3
4
5
6
0
−
1
−
2
−
3
−
4
−
5
−
6
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
π
2
y = sin(
x)
1
0
−
1
−
3π
−
5
π
2
−
2π
−
3
π
2
−
π
−
π
2
3
π
5
π
2
2
π
2
π
3
π
2
π
π
2
y = sin(
x)
y = cos(
x)
−
π
2
π
2
y = tan(
x), −
π
2
< x <
π
2
0
−
π
2
π
2
y = tan(
x)
−
2π
−
3π
−
5
π
2
−
3
π
2
−
π
−
π
2
π
2
3
π
3
π
5
π
2
2
π
3
π
2
π
y = sec(
x)
y = csc(
x)
y = cot(
x)
y = f(
x)
−
1
1
2
y = g(
x)
3
y = h
(x)
4
5
−
2
f(
x) =
1
x
g(
x) =
1
x
2
etc.
0
1
π
1
2
π
1
3
π
1
4
π
1
5
π
1
6
π
1
7
π
g(
x) = sin
1
x
1
0
−
1
L
10
100
200
y =
π
2
y = −
π
2
y = tan
−
1
(x)
π
2
π
y =
sin(
x)
x
, x > 3
0
1
−
1
a
L
f(
x) = x sin (1/x)
(0 < x < 0
.3)
h
(x) = x
g(
x) = −x
a
L
lim
x
→a
+
f(x) = L
lim
x
→a
+
f(x) = ∞
lim
x
→a
+
f(x) = −∞
lim
x
→a
+
f(x) DNE
lim
x
→a
−
f(x) = L
lim
x
→a
−
f(x) = ∞
lim
x
→a
−
f(x) = −∞
lim
x
→a
−
f(x) DNE
M
}
lim
x
→a
−
f(x) = M
lim
x
→a
f(x) = L
lim
x
→a
f(x) DNE
lim
x
→∞
f(x) = L
lim
x
→∞
f(x) = ∞
lim
x
→∞
f(x) = −∞
lim
x
→∞
f(x) DNE
lim
x
→−∞
f(x) = L
lim
x
→−∞
f(x) = ∞
lim
x
→−∞
f(x) = −∞
lim
x
→−∞
f(x) DNE
lim
x →a
+
f(
x) = ∞
lim
x →a
+
f(
x) = −∞
lim
x →a
−
f(
x) = ∞
lim
x →a
−
f(
x) = −∞
lim
x →a
f(
x) = ∞
lim
x →a
f(
x) = −∞
lim
x →a
f(
x) DNE
y = f (
x)
a
y =
|
x|
x
1
−
1
y =
|
x + 2|
x + 2
1
−
1
−
2
1
2
3
4
a
a
b
y = x sin
1
x
y = x
y = −
x
a
b
c
d
C
a
b
c
d
−
1
0
1
2
3
time
y
t
u
(t, f(t))
(u, f(u))
time
y
t
u
y
x
(x, f(x))
y = |x|
(z, f(z))
z
y = f(x)
a
tangent at x = a
b
tangent at x = b
c
tangent at x = c
y = x
2
tangent
at x = −1
u
v
uv
u + ∆u
v + ∆v
(u + ∆u)(v + ∆v)
∆u
∆v
u∆v
v∆u
∆u∆v
y = f(x)
1
2
−2
y = |x
2
− 4|
y = x
2
− 4
y = −2x + 5
y = g(x)
1
2
3
4
5
6
7
8
9
0
−1
−2
−3
−4
−5
−6
y = f (x)
3
−3
3
−3
0
−1
2
easy
hard
flat
y = f
0
(x)
3
−3
0
−1
2
1
−1
y = sin(x)
y = x
x
A
B
O
1
C
D
sin(x)
tan(x)
y =
sin(x)
x
π
2π
1
−1
x = 0
a = 0
x > 0
a > 0
x < 0
a < 0
rest position
+
−
y = x
2
sin
1
x
2y + sin(y) =
x
2
π
+ 1,
then what is the value of d
2
y/dx
2
at the point (π, π/2) on the curve? Once
again, you should verify that the point does lie on the curve by plugging in
these values of x and y and seeing that the equation checks out. Now, if you
want to differentiate twice, you have to start by differentiating once! You
should get
2
dy
dx
+ cos(y)
dy
dx
=
2x
π
,
Section 8.1.2: Finding the second derivative implicitly • 155
having used the chain rule to tackle the sin(y) term. Now we need to differ-
entiate again. Do not substitute first! In order to differentiate, we need to see
what happens when x and y are varying. This can’t happen if we fix them
at certain values (like π and π/2). Instead, differentiate the above equation
with respect to x:
d
dx
2
dy
dx
+
d
dx
cos(y)
dy
dx
=
d
dx
2x
π
.
The right-hand side is just 2/π, and the first term on the left-hand side is just
2(d
2
y/dx
2
). The tricky bit is the second term on the left. We’ll need to use
the product rule: set s = cos(y)(dy/dx), and also u = cos(y) and v = dy/dx,
so that s = uv. By the product rule,
ds
dx
= v
du
dx
+ u
dv
dx
=
dy
dx
·
du
dx
+ cos(y)
d
dx
dy
dx
=
dy
dx
·
du
dx
+ cos(y)
d
2
y
dx
2
.
We still need to find du/dx, where u = cos(y). This is just the chain rule once
again:
du
dx
=
du
dy
·
dy
dx
= −sin(y)
dy
dx
.
Putting it all together, we see that
ds
dx
=
dy
dx
·
du
dx
+ cos(y)
d
2
y
dx
2
=
dy
dx
·
−sin(y)
dy
dx
+ cos(y)
d
2
y
dx
2
= −sin(y)
dy
dx
2
+ cos(y)
d
2
y
dx
2
.
Beware: the quantities
dy
dx
2
and
d
2
y
dx
2
are completely different! The left one is the square of the first derivative, while
the right one is the second derivative. Anyway, let’s put everything together.
Starting from
d
dx
2
dy
dx
+
d
dx
cos(y)
dy
dx
=
d
dx
2x
π
,
we can now write this as
2
d
2
y
dx
2
− sin(y)
dy
dx
2
+ cos(y)
d
2
y
dx
2
=
2
π
.
Phew. That was exhausting. We’re not done yet, though: we still need to
find d
2
y/dx
2
when x = π and y = π/2. So plug that in to the above equation:
you get
2
d
2
y
dx
2
− sin
π
2
dy
dx
2
+ cos
π
2
d
2
y
dx
2
=
2
π
.