As if one Fundamental Theorem of Calculus wasn't enough, there's a second one. The first FTC says how to evaluate the definite integral
if you know an antiderivative of f. The second FTC says how to build an antiderivative of f if you don't know one already.
Given a continuous function f and a constant a, we can define a new function F(x) by integrating f from a to x:
We can think of this new function F as an accumulation function - it accumulates the weighted area under f from a to x.
Given a continuous function f, we've can build a new function F(x) by picking a lower limit of integration a and integrating f from a to x.
The Second Fundamental Theorem of Calculus says that when we build a function this way, we get an antiderivative of f.
Assume f(x) is a continuous function on the interval I and a is a constant in I. Define a new function F(x) by
Then F(x) is an antiderivative of f(x) - that is, F'(x) = f(x) for all x in I.
That business about the interval I is to make sure you only get limits of integration that are are reasonable for your function. Some things that wouldn't be reasonable:
We can condense this discussion into a short warning.
Be Careful: Whenever you go to evaluate an integral, make sure the limits of integration are reasonable for the function you're integrating.
If a function is discontinuous at or between the limits of integration we may still be able to evaluate the integral, but it requires a little extra sneakiness that we haven't gotten to yet.
So far, we've used the second FTC to build antiderivatives for things we already have derivatives for. That's not very exciting. Why go to all the trouble of writing
to get an antiderivative for sin x, when we already know that
is an antiderivative of sin x?
It turns out there are many functions whose antiderivatives we don't know how to find. Some we'll learn how to find using various techniques of integration. However, there are many functions whose antiderivatives can't be written down with a nice formula. We can't write down a nice formula for the antiderivative of
for example - not just because we don't know how, but because it can't be done!
The second FTC lets us build an antiderivative of f(x) even in the cases where it's impossible to write a nice formula for an antiderivative.