Left-Hand Differentiable Function is Left-Continuous

Theorem
Let $f$ be a real function defined on an interval $I$.

Let $a$ be a point in $I$ where $f$ is left-hand differentiable.

Then $f$ is left-continuous at $a$.

Proof
(The idea for the proof is taken from the proof of Differentiable Function is Continuous.)

By hypothesis, $ f'_- \left({a}\right)$ exists.

First we note that $a$ cannot be the left-hand end point of $I$ because values in $I$ less than $a$ need to exist for $\displaystyle f'_- \left({a}\right)$ to exist.

We form the following expression:


 * $\displaystyle \lim_{x \to a^-} \left(f\left({x}\right)−f\left({a}\right)\right)$

We need to show that it is defined and to find its value.

We find

Note that this proves that $\displaystyle \lim_{x \to a^-} \left(f\left({x}\right)−f\left({a}\right)\right)$ exists.

We continue by manipulating the result above:

which means that $f$ is left-continuous at $a$.