Remark 4.1.2
The fraction
 |
(4.1.2) |
is the slope of a line going through the points

and

.
Note that both points are on the graph of the function

. Letting

approach zero then boils down to calculating the slope of the tangent
line in

.
200pt
This geometric interpretation will often be used when trying to understand
a specific example.
Theorem 4.1.3
A function that is differentiable at a certain point

is also continuous
at that point

.
Proof.
First note that for any

, we have
 |
(4.1.3) |
Nothing mysterious happened here, it is all fairly elementary algebra.
Taking the limit on the left and right hand side then gives
![$\displaystyle \lim_{h \to 0}f(x+h) = \lim_{h \to 0}\left[ f(x) + \frac{f(x+h) - f(x)}{h} \cdot h \right]$](img308.png) |
(4.1.4) |
which reduces to
 |
(4.1.5) |
Therefore

which by definition means that

is
continuous in x.
Remark 4.1.4
The previous theorem states that differentiable functions are continuous, but then
the natural question to ask is if the converse is true. Quite a lot of functions
that are continuous over their domain are differentiable over their domain, in
fact all the functions in the list of continuous functions (
3.1.4)
are differentiable over their domain. In general, however, this will turn
out not to be the case.
Exactly as with the concept of continuity, there are two reasons why a function can
be non-differentiable in a certain point: either the limit needed to calculate the
derivative goes to infinity, or it is not defined (often because taking the limit
from the left gives a different result then taking the limit from the right).
- The limit is infinite: it is very easy to come up with discontinuous functions
which are then not differentiable at the point of discontinuity
(e.g
or
for any
). A continuous function,
can however also have this glitch; take e.g. the function
 |
(4.1.6) |
The graph of this function hints quite convincingly that it is a continuous
function, but it is also clear that the tangent to the graph in 0 is
infinite, so the function is not differentiable in 0.
200pt
- The limit is undefined: Take e.g the function
 |
(4.1.7) |
As the picture below indicates, this function is clearly continuous, but it is
also easy to see that the left limit in 0 is
while the right limit in
0 is
.
200pt
It is not always obvious that the left and right limit are different from
one another. Take a look at the function
 |
(4.1.8) |
The behaviour of this function around 0 looks like:
200pt
To the untrained eye, the picture suggests a very moderate behaviour around
zero, but alas, this is not really the case. On one hand we have
 |
(4.1.9) |
so
and therefore
is
continuous in 0. But on the other hand,
 |
(4.1.10) |
which is not defined. So
is not differentiable in 0.