Fundamental theorem of calculus/Riemann/Section
Definition
Let denote a real interval, let
denote a Riemann-integrable function, and let . Then the function
This function is also called the indefinite integral.
The following statement is called Fundamental theorem of calculus.
Theorem
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 .
Proof
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 .