Maths WorkshopMaths problems with full solutions
Exercise 1953Calculus › Single-variable calculus › Differentiation › Mean Value TheoremL1Added 4 Nov 2026

Cauchy's extended mean value theorem

#Cauchy#extended MVT#ratio

Statement

Let f,gf,g be continuous on [a,b][a,b], differentiable on ]a,b[]a,b[, with g′(x)≠0g'(x)\ne0 on ]a,b[]a,b[. Show that there is c∈]a,b[c\in]a,b[ with
f(b)−f(a)g(b)−g(a)=f′(c)g′(c).\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(c)}{g'(c)}.

Hint

Apply Rolle to h(x)=(f(b)−f(a))g(x)−(g(b)−g(a))f(x)h(x)=(f(b)-f(a))g(x)-(g(b)-g(a))f(x).

Show solutionHide solution

Solution

Setup. For h(x)=(f(b)−f(a))g(x)−(g(b)−g(a))f(x)h(x)=(f(b)-f(a))g(x)-(g(b)-g(a))f(x), we have
h(a)=(f(b)−f(a))g(a)−(g(b)−g(a))f(a)h(a)=(f(b)-f(a))g(a)-(g(b)-g(a))f(a) and h(b)=(f(b)−f(a))g(b)−(g(b)−g(a))f(b).h(b)=(f(b)-f(a))g(b)-(g(b)-g(a))f(b). Hence h(b)−h(a)=(f(b)−f(a))(g(b)−g(a))−(g(b)−g(a))(f(b)−f(a))=0h(b)-h(a)=(f(b)-f(a))(g(b)-g(a))-(g(b)-g(a))(f(b)-f(a))=0.

Rolle. hh satisfies h(a)=h(b)h(a)=h(b); there exists c∈]a,b[c\in]a,b[ with h′(c)=0h'(c)=0:
0=(f(b)−f(a))g′(c)−(g(b)−g(a))f′(c).0=(f(b)-f(a))g'(c)-(g(b)-g(a))f'(c).
Rearranging gives the result (note g(b)−g(a)≠0g(b)-g(a)\ne0 since g′≠0g'\ne0).