The Unapologetic Mathematician

Mathematics for the interested outsider

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 f:\left[a,b\right]\rightarrow\mathbb{R}, but now we take any antiderivative F, so that f(x)=F'(x). Then the FToC asserts that

\displaystyle F(b)-F(a)=\int\limits_a^bf(x)dx

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 \left[a,b\right] with points a=x_0,x_1,...,x_{n-1},x_n=b. Then we see that F(b)-F(a)=F(x_n)-F(x_0). We can add and subtract the value of F at each of the intermediate points to see that

\displaystyle F(b)-F(a)=F(x_n)-F(x_{n-1})+F(x_{n-1})-...-F(x_1)+F(x_1)-F(x_0)
\displaystyle F(b)-F(a)=\sum\limits_{i=1}^nF(x_i)-F(x_{i-1})

Now the Differential Mean Value Theorem tells us that there’s a point c_i\in\left[x_{i-1},x_i\right] so that F(x_i)-F(x_{i-1})=(x_i-x_{i-1})F'(c_i). And we assumed that F'(c_i)=f(c_i), so we have

\displaystyle F(b)-F(a)=\sum\limits_{i=1}^n(x_i-x_{i-1})f(c_i)

But this is a Riemann sum for the partition we chose, using the points c_i 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.

About these ads

February 14, 2008 - Posted by | Analysis, Calculus

18 Comments »

  1. 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 | Reply

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

    Comment by Michael Livshits | February 15, 2008 | Reply

  3. 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 | Reply

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

    Comment by Andy P. | February 15, 2008 | Reply

  5. Well, Andy, you’re going to hate tomorrow, 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 flying back to DC for spring break?!?

    Comment by John Armstrong | February 15, 2008 | Reply

  6. 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 | Reply

  7. I don’t understand what all this rigmagole is about, guys. FTCI says that G(x)=\int_a^xf(u)du is a primitive of f, i.e., G'=f. Since the difference between any 2 primitives is a constant, we are done.

    Comment by Michael Livshits | February 15, 2008 | Reply

  8. [...] 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 | Reply

  9. [...] 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 | Reply

  10. [...] 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 | Reply

  11. [...] 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 | Reply

  12. 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 | Reply

  13. develop

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

  14. 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 | Reply

  15. 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 | Reply

  16. 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 | Reply

  17. [...] 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 | Reply

  18. [...] 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 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 393 other followers

%d bloggers like this: