Interpreting the significance of Darboux's Theorem

One says that a function $f: I \rightarrow \mathbb{R}$ has the Intermediate Value Property (IVP) if for all $a < b \in I$ and all $L$ in between $f(a)$ and $f(b)$, there exists $c \in (a,b)$ such that $f(c) = L$.

Certainly the most famous and important class of functions which satisfy IVP are the continuous functions: this is the content of the Intermediate Value Theorem.

Darboux's Theorem gives a second class of functions which satisfy IVP: derivatives. Note well: not the differentiable functions but the functions which are of the form $f'$ for some other function $f$.

This is certainly an interesting result, if somewhat subtle: most of the differentiable functions one meets in freshman calculus actually have continuous derivatives, and in this case the fact that $f'$ satisfies IVP follows from the Intermediate Value Theorem. But indeed there are derivatives which are discontinuous, even rather badly: namely there are differentiable functions $f: [a,b] \rightarrow \mathbb{R}$ such that $f': [a,b] \rightarrow \mathbb{R}$ exists but is unbounded. There are also differentiable functions with a derivative $f'$ which is bounded but nevertheless not Riemann integrable.

One can view the significance of Darboux's Theorem as follows: it says that a derivative can be discontinuous but cannot have a jump discontinuity, i.e., a discontinuity in which the one-sided limits exist but are different (and also not a removable discontinuity, when the limit exists but is not equal to the value at the point). This is an interesting contrast to monotone functions, which also need not be continuous but can have only jump discontinuities.

In terms of actual applications of Darboux's Theorem...it seems they are rather few. As I mentioned in my (Spivak calculus) class, you can use Darboux's Theorem together with the (deep!) theorem that every continuous function admits an antiderivative to prove the Intermediate Value Theorem...but this is a strange way to prove IVT.

About the second result you mention: I admit to being somewhat perplexed as to what that is doing there: it is really not a standard textbook result. I seem to recall that this theorem gets used for something later on in the book, though: let's wait and see. (I am almost halfway through my year long course and we have currently covered about the first 13 chapters.)

I have some lecture notes for this course I'm teaching -- you're more than welcome to take a look at them. Here is the main course page. This handout on differentiation and this handout including the "Monotone Jump Theorem" (on discontinuities of monotone functions) are directly relevant to your question.

Recall the Intermediate Value Theorem: it says that if $f$ is continuous on $[a,b]$, and $c$ is some number between $f(a)$ and $f(b)$, then there is some $x\in(a,b)$ such that $f(x)=c$. In other words, a continuous function can’t get from $f(a)$ to $f(b)$ without passing through every intermediate value.

Now the derivative of a function need not be continuous, so the Intermediate Value Theorem doesn’t guarantee that if $c$ is between $f\;'(a)$ and $f\;'(b)$, then there is some $x\in(a,b)$ such that $f\;'(x)=c$. None the less, this statement is true: if $f$ is differentiable on an interval, its derivative $f\;'$ has this same intermediate value property possessed by all continuous functions. In other words, a derivative can’t get from $f\;'(a)$ to $f\;'(b)$ without passing through every intermediate value even if it isn’t continuous. This is the content of Darboux’s theorem.

You’re right that the conclusion of the second theorem that you quote is that $f\;'$ is continuous at $a$. The theorem could be rephrased as follows:

If $f$ is continuous at $a$, there are $b<a$ and $c>a$ such that $f\;'(x)$ exists for all $x\in(b,a)\cup(a,c)$, and $\lim\limits_{x\to a}f\;'(x)$ exists, then $f\;'$ is continuous at $a$.