{"id":933,"date":"2018-07-06T11:11:13","date_gmt":"2018-07-06T15:11:13","guid":{"rendered":"http:\/\/advancedmathyoungstudents.com\/blog\/?p=933"},"modified":"2021-08-24T19:44:25","modified_gmt":"2021-08-24T23:44:25","slug":"a-magical-theorem-part-i-antiderivatives","status":"publish","type":"post","link":"https:\/\/advancedmathyoungstudents.com\/blog\/?p=933","title":{"rendered":"A Magical Theorem: Antiderivatives and Areas, Part I"},"content":{"rendered":"<p>Sometimes in physics, we need to add up lots of little things.\u00a0 In fact, an infinite number of infinitesimally small things.\u00a0 When faced with this challenge, we use a method that takes advantage of a theorem so helpful and so concise that it feels like magic.<\/p>\n<p>But the way we do this is really quite subtle.\u00a0 You could master the method in math class and then still have trouble making the jump to using the method in physics class.\u00a0 So in these next blog posts, I want to sort this out, even if just to help me organize my teaching.<\/p>\n<p><em><strong>Overview<\/strong><\/em><\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-i-antiderivatives\/\">Part I<\/a> introduces the idea of an &#8220;anti-derivative&#8221; and it&#8217;s notation.\u00a0 It also introduces a similar-and-yet-oh-so-different notation for area.\u00a0 It turns out that when we talk about &#8220;integrating&#8221;, there are two different but related ideas that we might be referring to.\u00a0 And we casually jump back and forth between them in a way that could easily blur the distinction.\u00a0 So in this post, I try to at least make the distinction clear again.<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/\">Part II<\/a> explains the connection between finding areas and finding anti-derivatives.\u00a0 Essentially, this post introduces the Fundamental Theorem of Calculus (or Magic Theorem)\u00a0 which gives us an easy way to find areas.\u00a0 Part II closes by raising the question, &#8220;Why do we care so much about finding area in physics?&#8221;<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2021\/08\/01\/finding-area-the-hard-way\/\">Part III<\/a> steps back and discusses Riemann Sums. This is the method we would have to use to find area if we did not have the Magic Theorem.\u00a0 We won&#8217;t actually use this method, but we need to understand what the method does if we are going to understand &#8220;integrating&#8221; in physics.<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2021\/08\/01\/part-iv-areas-in-physics\/\">Part IV<\/a> revisits the question of finding displacement when velocity varies as a function of time.\u00a0 So we will see one reason to find area (or integrate) in physics.<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2021\/08\/07\/part-v-putting-the-pieces-together\/\">Part V<\/a> (the last, I hope) will demonstrate how we use these area-finding methods whenever we need to add up a bunch of tiny little pieces.<\/p>\n<p><em><strong>OK, here we go&#8230;<\/strong><\/em><\/p>\n<p><strong>Part I: &#8220;Integrals&#8221; &#8212; One word, Two meanings<\/strong><\/p>\n<p>If you have learned a little bit of calculus, even just by working your way through these Summer Reading posts, then at this point, you know how to find &#8220;derivatives&#8221; for a nice collection of reasonable functions.\u00a0 Nothing too crazy or exotic &#8212; just the kinds of functions that you will meet early in AP Physics C.\u00a0 And you also know <em>why<\/em> we find derivatives:\u00a0 derivatives are slope-finding formulas.<\/p>\n<p>For example:<\/p>\n<p><em><strong>Velocity<\/strong> is the rate of change of <strong>position<\/strong> with respect to time.<\/em><\/p>\n<p><em><strong>Acceleration<\/strong> is the rate of change of <strong>velocity<\/strong> with respect to time.<\/em><\/p>\n<p><em><strong>Force<\/strong> is the rate of change of <strong>momentum<\/strong> with respect to time.<\/em><\/p>\n<p><em><strong>Current<\/strong> is the rate of change of <b>electric <\/b><strong>charge<\/strong> with respect to time.<\/em><\/p>\n<p>For example, suppose you are given that an object moves so that it&#8217;s velocity as a function of time is:<\/p>\n<p><strong>v(t) = t<sup>2<\/sup><\/strong><\/p>\n<p>You can easily find the acceleration as function of time by taking the derivative:<\/p>\n<p><strong>a(t) = v\u2019(t) = 2t<\/strong><\/p>\n<p>So there are good, useful reasons for learning how to find derivatives. (In fact, let me remind you that to &#8220;optimize&#8221; a function, you usually begin by finding the derivative and then setting it equal to zero.)<\/p>\n<p><strong>CAN WE PLAY THE GAME IN REVERSE?<\/strong><\/p>\n<p>If I give you a function, can you find an &#8220;antiderivative&#8221;?<\/p>\n<p>For example, let&#8217;s say:\u00a0<strong> f(x)=x<sup>2<\/sup><\/strong><\/p>\n<p>Can we find another function that has f(x)=x<sup>2<\/sup> as its derivative? If we know the basics, finding this particular antiderivative is not that hard:<\/p>\n<p><strong>F(x)=(1\/3)x<sup>3<\/sup><\/strong><\/p>\n<p>But you don&#8217;t have to take my word &#8212; go ahead an take the derivative!\u00a0 You will see for yourself that the derivative of F(x)=(1\/3)x<sup>3<\/sup> is indeed\u00a0f(x)=x<sup>2<\/sup>.<\/p>\n<p>(But also, in this case you can see where we got this: taking a derivative lowers the power so we better raise the power by 1.\u00a0 Oh, and the power will come out in front as a multiplier, so we stick in a factor of 1\/3 to cancel that&#8230;)<\/p>\n<p>So\u00a0 F(x)=(1\/3)x<sup>3<\/sup> is an antiderivative of\u00a0\u00a0f(x)=x<sup>2<\/sup>.<\/p>\n<p>But it is not the only one!\u00a0 Try taking the derivative of any of these:<\/p>\n<p><strong>F(x)=(1\/3)x<sup>3 <\/sup>+ 5<\/strong><\/p>\n<p><strong>F(x)=(1\/3)x<sup>3<\/sup> &#8211; 99<\/strong><\/p>\n<p><strong>F(x)=(1\/3)x<sup>3<\/sup> + C<\/strong> where C is a constant<\/p>\n<p>So if you can find one antiderivative, you can find a whole family of them.\u00a0 Still, most times, you only need to find one.<\/p>\n<p>[Caution: your math teacher will likely take off a point or two if you leave out the &#8220;&#8230;+ c&#8221; when finding an antiderivative. They are kind of obsessive about this.\u00a0 ]<\/p>\n<p><em><strong>IS IT ALWAYS THIS EASY?<\/strong><\/em><\/p>\n<p>Well, no.\u00a0 Some antiderivatives are easy to find.\u00a0 But others&#8230;not so much.\u00a0 You will spend a substantial amount of time in math class building a collection methods for finding antiderivatives for an increasing variety of functions.\u00a0 Some of these methods are quite subtle.\u00a0 You can easily start to think that this quest for antiderivatives is what it means to do calculus.\u00a0 But it is really just a means to a more useful end, not the main event.\u00a0 And in fact, there are even functions that don&#8217;t have antiderivatives whose formulas we can find!<\/p>\n<p>For now, I want to make two points:<\/p>\n<p><strong>1. In our AP Physics class, the antiderivatives we need will mostly be pretty easy to find.\u00a0 You will be able to use &#8220;guess and check&#8221; to find them.\u00a0 And if they ARE\u00a0 hard to find, you can have a little help: your TI89s or N-Spires know how to do this.\u00a0 So does <em>Wolfram Alpha<\/em>.<\/strong><\/p>\n<p><strong>2. Nobody would be willing to invest so much effort in finding antiderivatives unless there was something <span style=\"text-decoration: underline;\">really<\/span> useful about them! We will get to that soon. But first:<\/strong><\/p>\n<p><strong>A NEW NOTATION<\/strong><\/p>\n<p>If we are going to be using antiderivatives, we should have symbols for writing them.\u00a0 To indicate that F(x) is the antiderivative of f(x), we write:<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/indefint1\/\" rel=\"attachment wp-att-948\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-948\" src=\"http:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/indefint1.jpg\" alt=\"indefint1\" width=\"276\" height=\"103\" \/><\/a><\/p>\n<p>This is just another way of saying that F'(x) =\u00a0 f(x).\u00a0 And, in addition to calling F(x)\u00a0 an antiderivative, we also sometimes call it the &#8220;indefinite integral of f(x)&#8221;.<\/p>\n<p><strong>BUT WAIT&#8230;<\/strong><\/p>\n<p>On the other hand, there is another symbol that looks almost the same but means something <em>completely<\/em> different:<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/defint\/\" rel=\"attachment wp-att-949\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-949\" src=\"http:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/defint.jpg\" alt=\"defint\" width=\"254\" height=\"108\" \/><\/a><\/p>\n<p>This symbol is called the &#8220;definite integral&#8221; (as opposed to &#8220;indefinite&#8221;).\u00a0 It is not a function at all! Just adding values at the top and bottom of that strange elongated s-shape gives the symbol a whole new meaning:<\/p>\n<p>The definite integral is the area of the region bounded by the function, the x-axis and the two &#8220;limits of integration&#8221;: the vertical lines defined by x=a and x=b.<\/p>\n<p>For example, here is a definite integral:<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/defint1\/\" rel=\"attachment wp-att-946\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-946\" src=\"http:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/defint1.jpg\" alt=\"defint1\" width=\"124\" height=\"69\" \/><\/a><\/p>\n<p>And here is the area that definite integral is referring to:<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/area1\/\" rel=\"attachment wp-att-947\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-947\" src=\"http:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/area1.jpg\" alt=\"area1\" width=\"500\" height=\"396\" srcset=\"https:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/area1.jpg 500w, https:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/area1-300x238.jpg 300w, https:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/area1-379x300.jpg 379w\" sizes=\"(max-width: 500px) 100vw, 500px\" \/><\/a><\/p>\n<p>So now we have two very different ideas that have been given very similar symbols and names. It would be easy to get these two things confused&#8230;<\/p>\n<p>There is the <em><strong>INDEFINITE INTEGRAL<\/strong><\/em>:<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/indefint1\/\" rel=\"attachment wp-att-948\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-948\" src=\"http:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/indefint1.jpg\" alt=\"indefint1\" width=\"276\" height=\"103\" \/><\/a><\/p>\n<p>This is a FUNCTION which has f(x) as its derivative.<\/p>\n<p>And then there is the <em><strong>DEFINITE INTEGRAL<\/strong><\/em>:<\/p>\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2018\/07\/06\/a-magical-theorem-part-ii-areas-by-way-of-antiderivatives\/defint\/\" rel=\"attachment wp-att-949\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone size-full wp-image-949\" src=\"http:\/\/advancedmathyoungstudents.com\/blog\/wp-content\/uploads\/2018\/07\/defint.jpg\" alt=\"defint\" width=\"254\" height=\"108\" \/><\/a><\/p>\n<p>This is an AREA &#8212; a numeric value.<\/p>\n<p>And now the big question:<\/p>\n<p><em><strong>Why do mathematicians use these similar names and symbols for these two very different ideas?\u00a0 Are they secretly related in some FUNDAMENTAL way? \u00a0<\/strong><\/em><\/p>\n<p>That is the topic of the next post, Part II of this discussion.<\/p>\n\n\n<p><\/p>\n\n\n\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/2021\/08\/07\/part-v-putting-the-pieces-together\/\">Ahe<\/a><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/?p=942\">ad to Part II<\/a><\/p>\n\n\n\n<p><a href=\"http:\/\/advancedmathyoungstudents.com\/blog\/?p=919\">Go to Summer Reading Outline<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Sometimes in physics, we need to add up lots of little things.\u00a0 In fact, an infinite number of infinitesimally small things.\u00a0 When faced with this challenge, we use a method that takes advantage of a theorem so helpful and so &hellip; <a href=\"https:\/\/advancedmathyoungstudents.com\/blog\/?p=933\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false},"categories":[1],"tags":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4uvY7-f3","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/933"}],"collection":[{"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=933"}],"version-history":[{"count":18,"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/933\/revisions"}],"predecessor-version":[{"id":16075,"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/933\/revisions\/16075"}],"wp:attachment":[{"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=933"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=933"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/advancedmathyoungstudents.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=933"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}