
176 • Exponentials and Logarithms
seems as if we can’t do much better than about 2.718, even if we compound
many many times a year. Our number e, which is the limit as n → ∞ of the
numbers in the second row of the above table, turns out to be an irrational
number whose decimal expansion begins like this:
e = 2.71828182845904523 . . .
It looks like there’s a pattern near the beginning, with the repeated string
“1828,” but that’s just a coincidence. In practice, just knowing that e is a
little over 2.7 will be more than enough.
Now if x = e
r
, then r = log
e
(x). It turns out that taking logs base
e is such a common thing to do that we can even write it a different way:
ln(x) instead of log
e
(x). The expression “ln(x)” is not pronounced “lin x” or
anything like that—just say “log x,” or perhaps “ell en x,” or if you’re feeling
particularly geeky, “the natural logarithm of x.” In fact, most mathematicians
write log(x) without a base to mean the same thing as log
e
(x) or ln(x). The
base e logarithm is called the natural logarithm. We’ll see one of the reasons
why it’s so natural when we differentiate log
b
(x) with respect to x in the next
section.
Since we have a new base e, and a new way of writing logarithms in that
base, let’s take another look at the log rules and formulas we’ve seen so far.
See if you can convince yourself that the following formulas are all true for
x > 0 and y > 0:
e
ln(x)
= x ln(e
x
) = x ln(1) = 0 ln(e) = 1
ln(xy) = ln(x) + ln(y) ln
x
y
= ln(x) − ln(y) ln(x
y
) = y ln(x)
(Actually, in the second formula, x can even be negative or 0, and in the last
formula, y can be negative or 0.) In any case, it’s really worth knowing these
formulas in this form, since we will almost always be working with natural
logarithms from now on.
One more point before we move on to differentiating logs and exponentials.
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
N
A
B
H
a
b
c
O
H
A
B
C
D
h
r
R
θ
1000
2000
α
β
p
h
y = g(x) = log
b
(x)
y = f(x) = b
x
Suppose you take the important limit
lim
n→∞
1 +
r
n
n
= e
r
,
and this time substitute h = 1/n. As we noticed in the previous section, when
n → ∞, we have h → 0
+
. So, replacing n by 1/h, we get
lim
h→0
+
(1 + rh)
1/h
= e
r
.
This is a right-hand limit. In fact, you can replace h → 0
+
by h → 0 and the
two-sided limit is still true. All we need to show is that the left-hand limit is
e
r
, and then, since both the left-hand and right-hand limits are the same, the
two-sided limit equals e
r
as well. So consider
lim
h→0
−
(1 + rh)
1/h
= ?