Fundamental Theorem of Calculus I
Suppose that , , and is Riemann integrable. Define by
Then is continuous on . If is continuous at , then is differentiable at and
Since is Riemann integrable, it is bounded. Choose such that for every . If and , then by the bounds on a Riemann integral,
The same inequality with and interchanged gives , so is continuous.
Now suppose that is continuous at . For small enough that ,
Let . Since is continuous at , there is such that whenever . Hence, whenever , Therefore the derivative exists and is equal to .
Zero Derivative Implies Constant
Suppose that , , and is continuous on and differentiable on . If for every , then is constant on .
Let with . By the Mean Value Theorem, there is such that
Since , we have . Thus is constant.
Fundamental Theorem of Calculus II
Suppose that , , and is continuous. If is continuous on , differentiable on , and for every , then
Define by
By Fundamental Theorem of Calculus I, for every . Since on , the function has derivative on . By zero derivative implies constant, is constant. Thus
Since and , rearranging gives