Seien a<b und x0∈(a,b). Weiter sei f : (a,b)→R stetig in [a,b] sowie differenzierbar in allen x∈(a,b)\{x0}. Die Ableitung f′ : (a,b)\{x0}→R erfülle
x⋀0limf′(x)=x↗x0limf′(x)= : z0.
Zeigen Sie, dass f dann in x0 differenzierbar ist mit
f′(x0)=z0.
Hinweis: Betrachten Sie
x⋀0limx−x0f(x)−f(x0) und x↗x0limx−x0f(x)−f(x0),
indem Sie den Mittelwertsatz auf [x0,x] bzw. [x,x0] anwenden.
Kann mir das jemand erklären? Ich verstehe nicht genau wie ich den Mittelwertsatz verwende.