Hauptsatz der Infinitesimalrechnung/Riemann/Fakt/Beweis

Beweis

Es sei ${}x$ fixiert. Der Differenzenquotient ist

${}{\frac {F(x+h)-F(x)}{h}}={\frac {1}{h}}{\left(\int _{a}^{x+h}f(t)\,dt-\int _{a}^{x}f(t)\,dt\right)}={\frac {1}{h}}\int _{x}^{x+h}f(t)\,dt\,.$

Wir müssen zeigen, dass für ${}h\rightarrow 0$ der Limes existiert und gleich ${}f(x)$ ist. Nach dem Mittelwertsatz der Integralrechnung gibt es zu jedem ${}h$ ein ${}c_{h}\in [x,x+h]$ mit

${}f(c_{h})\cdot h=\int _{x}^{x+h}f(t)dt\,$

und damit ist

${}f(c_{h})={\frac {\int _{x}^{x+h}f(t)dt}{h}}\,.$

Für ${}h\rightarrow 0$ konvergiert ${}c_{h}$ gegen ${}x$ und wegen der Stetigkeit von ${}f$ konvergiert ${}f(c_{h})$ gegen ${}f(x)$.

Zur bewiesenen Aussage