Wenn man wüsste, dass f ' auf [a,b] stetig ist, ginge es wohl so:
Sei m∈( f'(a) , f'(b) )
Dann wäre die Funktion g:[a,b]→ℝ mit g(x)= f'(x) - m auch stetig auf [a,b]
und es wäre g(a)=f'(a)-m < 0 weil m∈( f'(a) ,f'(b) )
und es wäre g(b)=f'(b)-m > 0 weil m∈( f'(a) ,f'(b) ) .
Also gäbe es nach dem Zwischenwertsatz für stetige Funktionen ein xo in (a,b)
mit g(xo)=0 also f'(xo) - m = 0 also f'(xo)=m.