Fundamental theorem of calculus/Riemann/Section
Let denote a real interval, let
denote a Riemann-integrable function, and let . Then the function
This function is also called the indefinite integral.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/HauptsatzDerInfinitesimalrechnung-f_grad5.gif/350px-HauptsatzDerInfinitesimalrechnung-f_grad5.gif)
The following statement is called Fundamental theorem of calculus.
Let denote a real interval, and let
denote a continuous function. Let , and let
denote the corresponding integral function. Then is differentiable, and the identity
holds for all .
Let be fixed. The difference quotient is
We have to show that for , the limit exists and equals . Because of the Mean value theorem for definite integrals, for every , there exists a with
and therefore
For , converges to , and because of the continuity of , also converges to .