Maths WorkshopMaths problems with full solutions
Exercise 1481Calculus › Single-variable calculus › Differentiation › Differentiable functionsL1Added 2 Nov 2026

Convexity forces the derivative to be continuous

#convexity#Darboux theorem#monotone functions#continuity

Statement

Let f:I→Rf:I\to\mathbb{R} be convex and differentiable on an interval II. Prove that f′f' is continuous.

Hint

Use that f′f' is non-decreasing for a convex function, and Darboux's theorem: a derivative takes all the intermediate values. Show that a monotone function cannot have a jump if it takes all intermediate values.

Show solutionHide solution

Solution

Tools.
- If ff is convex and differentiable, f′f' is non-decreasing.
- Darboux's theorem: the derivative of a differentiable function satisfies the intermediate value property, even if it is not continuous.

Proof. Suppose f′f' is discontinuous at some point x0∈Ix_0\in I. Since f′f' is monotone, it has one-sided limits at x0x_0, with
f′(x0−)≤f′(x0)≤f′(x0+),f'(x_0^-)\le f'(x_0)\le f'(x_0^+),
and at least one of the two inequalities is strict. Say f′(x0)<f′(x0+)f'(x_0)<f'(x_0^+) (the other case is symmetric). Pick yy with f′(x0)<y<f′(x0+)f'(x_0)<y<f'(x_0^+).

  • For x>x0x>x_0 we have f′(x)≥f′(x0+)>yf'(x)\ge f'(x_0^+)>y (monotone and f′(x0+)f'(x_0^+) is the infimum of the values to the right).
  • For x≤x0x\le x_0 we have f′(x)≤f′(x0)<yf'(x)\le f'(x_0)<y.

So f′f' never takes the value yy. But Darboux's theorem, applied on [x0,x1][x_0,x_1] with x1>x0x_1>x_0 close enough that f′(x1)>yf'(x_1)>y, says that yy, which lies between f′(x0)f'(x_0) and f′(x1)f'(x_1), is attained. Contradiction.

Conclusion. f′f' is continuous on II.

Remark. So a convex differentiable function is automatically C1C^1. In general, derivatives can be discontinuous (see x2sin⁡1xx^2\sin\frac1x), but never with jumps.