So, we are now ready to prove the FTC part 1. We’re going to follow the proof in Stewart and add in some discussion as we go along to motivate what we are doing. What we are going to prove is that:
for when is continuous on .
we define and we want to find the derivative of . We will do this by using the fundamental definition of the derivative, so let’s look at calculating this function at and – ie. how much does it change when we change by a little bit?
But remember that the definite integral is just the area, so this difference is the area between a and x+h minus the area between a and x. Which is just the area between x and x+h. Using the properties of integrals, we can write this formally as:
and we can write, for :
Restated, we can think of this as the area between x and x+h divided by h. Let’s put up a plot to understand this:
Remember we want to know how quickly the area is growing, and we have found that it’s related to the area between x and x+h divided by h. We are going to show that as h goes to zero, the quotient is just the value of the function itself at x.
For now we will assume that .
By the extreme value theorem (and indeed it makes intuitive sense I hope), since f is continuous on [x,x+h], the function will have some position at which it is a minimum and some position at which it is a maximum – we call these positions u and v, and the values of the functions at these positions are and .
We also have a property of integrals which tells us about the bounds of an integral. The integral from x to x+h can take on a minimum value of h times the minimum value that takes in this region, and a maximum value of h times the maximum value that takes in this region. That is:
or in other words:
As is greater than zero, dividing this whole thing by doesn’t change the directions of inequalities, so we have:
and the thing in the middle is just the difference quotient we had above:
You can do the same thing for negative but you just have to swap around the inequality directions.
Now if we let , then the interval shrinks to a point: , and both and which are in this interval must both simply be . So we have:
So by the squeeze theorem:
Here we can approach the limit from the left or the right (ie the limits from or ) and get the same answer, but if or , then we can only take one of these limits. This shows that is continuous on [a,b].
And we are done. We have shown that the rate of change of the area under the function is equal to the value of the function itself at the value of where we are changing the bound.