## The Fundamental Theorem of Calculus II

And now we come to the second part of the FToC. This takes the first part and flips it around.

We again start with a continuous function , but now we take any antiderivative , so that . Then the FToC asserts that

Before we differentiated a function we got by integrating to get back where we started. Now we’re integrating a function we get by differentiating, and again get back where we started. Integration and differentiation are two sides of the same coin.

Let’s consider a partition of with points . Then we see that . We can add and subtract the value of at each of the intermediate points to see that

Now the Differential Mean Value Theorem tells us that there’s a point so that . And we assumed that , so we have

But this is a Riemann sum for the partition we chose, using the points as the tags. Since every partition, no matter how fine, has such a Riemann sum, the integral must take this value, and the second part of the FToC holds.

Duh…. The mean value theorem again, dragged in, irrelevant and sticking out like sore thumb… When are you going to learn some good mathematical taste, professor?

Comment by Michael Livshits | February 15, 2008 |

I forgot again to prepend “yes, but,” my apologies.

Comment by Michael Livshits | February 15, 2008 |

You know, John, usually I disagree with your mathematical taste in the strongest possible terms, but I really want to applaud you here for proving the 2nd fundamental theorem of calculus directly from the mean value theorem rather than by applying the 1st fundamental theorem. I have no idea why it became traditional to derive the 2nd from the 1st — it doesn’t really save time, and in my experience students find it universally confusing (moreover, you get a stronger theorem — one doesn’t need to assume that f is continuous, merely that it is Riemann integrable and the derivative of

a differentiable function…of course, this is overkill for freshman, but I’m just saying ). I’ve been fighting for this strategy for a long time…

Comment by Andy P. | February 15, 2008 |

I think my “grin” mark got knocked off after my “I’m just saying” comment…

Comment by Andy P. | February 15, 2008 |

Well, Andy, you’re going to

hatetomorrow, when I go ahead and prove each part from the other.Here’s why the approach of yesterday’s approach followed by part 1 -> part 2 became the standard: because we’ve been dumbing down calculus for years. We barely mention any proper Riemann sums anymore, much less any rigorous way of taking their limit.

Unfortunately, a calculus class is no longer about understanding the calculus, but about getting enough of the tools into the kids’ hands so they can go off into engineering classes and build.. a.. plane… and I’m

flyingback to DC for spring break?!?Comment by John Armstrong | February 15, 2008 |

Yes, but understanding calculus is not the same as eating the limit-continuity-MVT homogenized garbage, served the math department, and asking for more.

Comment by Michael Livshits | February 15, 2008 |

I don’t understand what all this rigmagole is about, guys. FTCI says that is a primitive of , i.e., . Since the difference between any 2 primitives is a constant, we are done.

Comment by Michael Livshits | February 15, 2008 |

[...] Flame War Wrap-Up Well, we’ve certainly had a lively time the last few days. Regular commentercomplainer Michael Livshits kicked it off by noting that I presented The [...]

Pingback by FToC Flame War Wrap-Up « The Unapologetic Mathematician | February 18, 2008 |

[...] as . Note that we aren’t saying which antiderivative we mean, and for the purposes of the FToC (part 2), we don’t need to be. It’s customary, though, to write the result generically by adding [...]

Pingback by Indefinite Integration « The Unapologetic Mathematician | March 6, 2008 |

[...] the second part, which says that given a differentiable function whose derivative is the continuous function , we [...]

Pingback by The Fundamental Theorem of Calculus (all together now) « The Unapologetic Mathematician | September 30, 2008 |

[...] Taylor’s Theorem I’ve decided I really do need one convergence result for Taylor series. In the form we’ll consider today, it’s an extension of the ideas in the Fundamental Theorem of Calculus. [...]

Pingback by Taylor’s Theorem « The Unapologetic Mathematician | September 30, 2008 |

What I like in your expositions is the rigor and the style you use, and the inovative ways how you derive the results. This applies of course to those areas I can understand, such as this one.

I stated in my blog this theorem today, together with an easy example and an exercise easy as well.

Normally you don’t bother in writing many examples, exercises or problems. Is it because your readers are able to capture your ideas rightaway without the need of them? Or is that a better method of capturing the abstract concepts you develope.

I am in favor of examples, but perhaps that is due to the simple fact that I was taught to become an engineer. The book I read long time ago (1970) was Advanced Calculus by Angus Taylor, full of examples and exercises. I loved it.

Comment by Américo Tavares | January 6, 2010 |

develop

Comment by Américo Tavares | January 6, 2010 |

innovative

Please excuse me for these errors (typos). You can edit my text and correct it and delete these two corrections, if you want.

Comment by Américo Tavares | January 6, 2010 |

I think it’s more a product of the fact that I’m going for the ideas more than the practice. I tend to include illustrative examples when I think the general language gets too convoluted without an explicit case in mind.

Comment by John Armstrong | January 6, 2010 |

Thanks, John, for your reply. An educated mind should be able to follow your ideas without the need of examples in most of the cases, such as this one. Taylors’ book uses examples to motivate the reader when introducing new concepts. For instance, in the introduction of each of its chapters, before moving to the theory, two or three concrete examples are discussed.

Comment by Américo Tavares | January 6, 2010 |

[...] integrals” come up, like the example I worked through the other day. In this case, the fundamental theorem of calculus runs into trouble at the endpoints of our interval. Indeed, we ask for an antiderivative on a [...]

Pingback by Improper Integrals II « The Unapologetic Mathematician | January 15, 2010 |

[...] theorem of calculus. Indeed, if we set this up in the manifold , we get back exactly the second part of the fundamental theorem of calculus back again. Advertisement Eco World Content From Across [...]

Pingback by The Fundamental Theorem of Line Integrals « The Unapologetic Mathematician | October 24, 2011 |