
P1: OSO/OVY P2: OSO/OVY QC: OSO/OVY T1: OSO
MHDQ256-Ch02 MHDQ256-Smith-v1.cls December 8, 2010 18:21
LT (Late Transcendental)
CONFIRMING PAGES
122 CHAPTER 2
..
Differentiation 2-16
Gottfried Leibniz, used the notation
df
dx
(Leibniz notation) for the derivative. If we write
y = f (x), the following are all alternatives for denoting the derivative:
f
(x) = y
=
dy
dx
=
df
dx
=
d
dx
f (x).
The expression
d
dx
is called a differential operator and tells you to take the derivative of
whatever expression follows.
HISTORICAL
NOTES
Gottfried Wilhelm Leibniz
(1646–1716) A German
mathematician and philosopher
who introduced much of the
notation and terminology in
calculus and who is credited
(together with Sir Isaac Newton)
with inventing the calculus.
Leibniz was a prodigy who had
already received his law degree
and published papers on logic and
jurisprudence by age 20. A true
Renaissance man, Leibniz made
important contributions to
politics, philosophy, theology,
engineering, linguistics, geology,
architecture and physics, while
earning a reputation as the
greatest librarian of his time.
Mathematically, he derived many
fundamental rules for computing
derivatives and helped promote
the development of calculus
through his extensive
communications. The simple and
logical notation he invented made
calculus accessible to a wide
audience and has only been
marginally improved upon in the
intervening 300 years. He wrote,
“In symbols one observes an
advantage in discovery which is
greatest when they express the
exact nature of a thing briefly . . .
then indeed the labor of thought
is wonderfully diminished.”
In section 2.1, we observed that f (x) =|x| does not have a tangent line at x = 0
(i.e., it is not differentiable at x = 0), although it is continuous everywhere. Thus, there are
continuous functions that are not differentiable. You might have already wondered whether
the reverse is true. That is, are there differentiable functions that are not continuous? The
answer is “no,” as provided by Theorem 2.1.
THEOREM 2.1
If f is differentiable at x = a, then f is continuous at x = a.
PROOF
For f to be continuous at x = a, we need only show that lim
x→a
f (x) = f (a). We consider
lim
x→a
[
f (x) − f (a)
]
= lim
x→a
f (x) − f (a)
x −a
(x − a)
Multiply and divide by (x − a).
= lim
x→a
f (x) − f (a)
x −a
lim
x→a
(x − a)
By Theorem 3.1 (iii)
from section 1.3.
= f
(a)(0) = 0, Since f is differentiable at x = a.
where we have used the alternative definition of derivative (2.2) discussed earlier. By
Theorem 3.1 in section 1.3, it now follows that
0 = lim
x→a
[ f (x) − f (a)] = lim
x→a
f (x) − lim
x→a
f (a)
= lim
x→a
f (x) − f (a),
which gives us the result.
Note that Theorem 2.1 says that if afunction is not continuous at a point, then it cannot
have a derivative at that point. It also turns out that functions are not differentiable at any
point where their graph has a “sharp” corner, as is the case for f (x) =|x| at x = 0. (See
example 1.7.)
y
2
f(x) 2
f(x) 0
y f(x)
4
FIGURE 2.18
A sharp corner
EXAMPLE 2.7 Showing That a Function Is Not Differentiable at a Point
Show that f (x) =
4ifx < 2
2x if x ≥ 2
is not differentiable at x = 2.
Solution The graph (see Figure 2.18) indicates a sharp corner at x = 2, so you
might expect that the derivative does not exist. To verify this, we investigate the
derivative by evaluating one-sided limits. For h > 0, note that (2 +h) > 2 and so,
f (2 +h) = 2(2 +h). This gives us
lim
h→0
+
f (2 +h) − f (2)
h
= lim
h→0
+
2(2 + h) −4
h
= lim
h→0
+
4 + 2h −4
h
Multiply out and cancel.
= lim
h→0
+
2h
h
= 2.
Cancel common h’s.