<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>fundamental theorem of calculus &#8211; Mathemafrica</title>
	<atom:link href="http://www.mathemafrica.org/?feed=rss2&#038;tag=fundamental-theorem-of-calculus" rel="self" type="application/rss+xml" />
	<link>http://www.mathemafrica.org</link>
	<description>All about maths in Africa</description>
	<lastBuildDate>Mon, 20 Apr 2020 06:44:50 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>https://wordpress.org/?v=4.4.2</generator>
	<item>
		<title>The Fundamental Theory of Calculus part 2 (part ii)</title>
		<link>http://www.mathemafrica.org/?p=15183</link>
		<comments>http://www.mathemafrica.org/?p=15183#respond</comments>
		<pubDate>Thu, 11 Jul 2019 10:31:19 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[Courses]]></category>
		<category><![CDATA[First year]]></category>
		<category><![CDATA[MAM1000]]></category>
		<category><![CDATA[Undergraduate]]></category>
		<category><![CDATA[fundamental theorem of calculus]]></category>
		<category><![CDATA[MAM1000W]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=15183</guid>
		<description><![CDATA[<p>OK, get ready for some Calculus-Fu!</p>
<p>We have now said that rather than taking pesky limits of Riemann sums to calculate areas under curves (ie. definite integrals), all we need is to find an antiderivative of the function that we are looking at.</p>
<p>As a reminder, to calculate the definite integral of a continuous function, we have:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_a%5Eb+f%28x%29dx%3DF%28b%29-F%28a%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_a^b f(x)dx=F(b)-F(a)" title="&#92;int_a^b f(x)dx=F(b)-F(a)" class="latex" /></p>
<p>&#160;</p>
<p>where <img src="//s0.wp.com/latex.php?latex=F&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F" title="F" class="latex" /> is any antiderivative of <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /></p>
<p>Remember that to calculate the area under the curve of <img src="//s0.wp.com/latex.php?latex=f%28x%29%3Dx%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)=x^4" title="f(x)=x^4" class="latex" /> from, let&#8217;s say 2 to 5, we had to write:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_2%5E5+x%5E4+dx%3D%5Clim_%7Bn%5Crightarrow+%5Cinfty%7D%5Csum_%7Bi%3D1%7D%5En+f%28x_i%29%5CDelta+x%3D%5Clim_%7Bn%5Crightarrow+%5Cinfty%7D+f%5Cleft%282%2B%5Cfrac%7B3i%7D%7Bn%7D%5Cright%29%5Cfrac%7B3%7D%7Bn%7D%3D%5Clim_%7Bn%5Crightarrow%5Cinfty%7D%5Cfrac%7B3%7D%7Bn%7D%5Cleft%282%2B%5Cfrac%7B3i%7D%7Bn%7D%5Cright%29%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_2^5 x^4 dx=&#92;lim_{n&#92;rightarrow &#92;infty}&#92;sum_{i=1}^n f(x_i)&#92;Delta x=&#92;lim_{n&#92;rightarrow &#92;infty} f&#92;left(2+&#92;frac{3i}{n}&#92;right)&#92;frac{3}{n}=&#92;lim_{n&#92;rightarrow&#92;infty}&#92;frac{3}{n}&#92;left(2+&#92;frac{3i}{n}&#92;right)^4" title="&#92;int_2^5 x^4 dx=&#92;lim_{n&#92;rightarrow &#92;infty}&#92;sum_{i=1}^n f(x_i)&#92;Delta x=&#92;lim_{n&#92;rightarrow &#92;infty} f&#92;left(2+&#92;frac{3i}{n}&#92;right)&#92;frac{3}{n}=&#92;lim_{n&#92;rightarrow&#92;infty}&#92;frac{3}{n}&#92;left(2+&#92;frac{3i}{n}&#92;right)^4" class="latex" /></p>
<p>&#160;</p>
<p>And at that point we had barely even started because we still had to actually evaluate this sum, which is a hell of a calculation&#8230;then we have to calculate the limit. What a pain.</p>
<p>&#160;</p>
<p>Now, we are told that all we have to do is to find any antiderivative of <img src="//s0.wp.com/latex.php?latex=f%28x%29%3Dx%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)=x^4" title="f(x)=x^4" class="latex" /> and we are basically done.</p>
<p>&#160;</p>
<p>Can we find a function which, when we take its derivative gives us <img src="//s0.wp.com/latex.php?latex=x%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^4" title="x^4" class="latex" />?&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>OK, get ready for some Calculus-Fu!</p>
<p>We have now said that rather than taking pesky limits of Riemann sums to calculate areas under curves (ie. definite integrals), all we need is to find an antiderivative of the function that we are looking at.</p>
<p>As a reminder, to calculate the definite integral of a continuous function, we have:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_a%5Eb+f%28x%29dx%3DF%28b%29-F%28a%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_a^b f(x)dx=F(b)-F(a)" title="&#92;int_a^b f(x)dx=F(b)-F(a)" class="latex" /></p>
<p>&nbsp;</p>
<p>where <img src="//s0.wp.com/latex.php?latex=F&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F" title="F" class="latex" /> is any antiderivative of <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /></p>
<p>Remember that to calculate the area under the curve of <img src="//s0.wp.com/latex.php?latex=f%28x%29%3Dx%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)=x^4" title="f(x)=x^4" class="latex" /> from, let&#8217;s say 2 to 5, we had to write:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_2%5E5+x%5E4+dx%3D%5Clim_%7Bn%5Crightarrow+%5Cinfty%7D%5Csum_%7Bi%3D1%7D%5En+f%28x_i%29%5CDelta+x%3D%5Clim_%7Bn%5Crightarrow+%5Cinfty%7D+f%5Cleft%282%2B%5Cfrac%7B3i%7D%7Bn%7D%5Cright%29%5Cfrac%7B3%7D%7Bn%7D%3D%5Clim_%7Bn%5Crightarrow%5Cinfty%7D%5Cfrac%7B3%7D%7Bn%7D%5Cleft%282%2B%5Cfrac%7B3i%7D%7Bn%7D%5Cright%29%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_2^5 x^4 dx=&#92;lim_{n&#92;rightarrow &#92;infty}&#92;sum_{i=1}^n f(x_i)&#92;Delta x=&#92;lim_{n&#92;rightarrow &#92;infty} f&#92;left(2+&#92;frac{3i}{n}&#92;right)&#92;frac{3}{n}=&#92;lim_{n&#92;rightarrow&#92;infty}&#92;frac{3}{n}&#92;left(2+&#92;frac{3i}{n}&#92;right)^4" title="&#92;int_2^5 x^4 dx=&#92;lim_{n&#92;rightarrow &#92;infty}&#92;sum_{i=1}^n f(x_i)&#92;Delta x=&#92;lim_{n&#92;rightarrow &#92;infty} f&#92;left(2+&#92;frac{3i}{n}&#92;right)&#92;frac{3}{n}=&#92;lim_{n&#92;rightarrow&#92;infty}&#92;frac{3}{n}&#92;left(2+&#92;frac{3i}{n}&#92;right)^4" class="latex" /></p>
<p>&nbsp;</p>
<p>And at that point we had barely even started because we still had to actually evaluate this sum, which is a hell of a calculation&#8230;then we have to calculate the limit. What a pain.</p>
<p>&nbsp;</p>
<p>Now, we are told that all we have to do is to find any antiderivative of <img src="//s0.wp.com/latex.php?latex=f%28x%29%3Dx%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)=x^4" title="f(x)=x^4" class="latex" /> and we are basically done.</p>
<p>&nbsp;</p>
<p>Can we find a function which, when we take its derivative gives us <img src="//s0.wp.com/latex.php?latex=x%5E4&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^4" title="x^4" class="latex" />?&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=15183</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>The Fundamental Theory of Calculus part 2 (part i)</title>
		<link>http://www.mathemafrica.org/?p=15177</link>
		<comments>http://www.mathemafrica.org/?p=15177#respond</comments>
		<pubDate>Thu, 11 Jul 2019 10:15:30 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[Courses]]></category>
		<category><![CDATA[First year]]></category>
		<category><![CDATA[MAM1000]]></category>
		<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[Undergraduate]]></category>
		<category><![CDATA[fundamental theorem of calculus]]></category>
		<category><![CDATA[MAM1000W]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=15177</guid>
		<description><![CDATA[<p>OK, now we come onto the part of the FTC that you are going to use most. We are finally going to show the direct link between the definite integral and the antiderivative. I know that you&#8217;ve been holding your breaths until this moment. Get ready to breath a sign of relief:</p>
<p><strong>The Fundamental Theorem of Calculus, Part 2 (also known as the Evaluation Theorem)</strong></p>
<p>If <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /> is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" /> then</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_a%5Eb+f%28x%29+dx%3DF%28b%29-F%28a%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_a^b f(x) dx=F(b)-F(a)" title="&#92;int_a^b f(x) dx=F(b)-F(a)" class="latex" /></p>
<p>&#160;</p>
<p>where <img src="//s0.wp.com/latex.php?latex=F&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F" title="F" class="latex" /> is any antiderivative of <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" />. Ie any function such that <img src="//s0.wp.com/latex.php?latex=F%27%3Df&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F&#039;=f" title="F&#039;=f" class="latex" />.</p>
<p>&#8212;&#8212;&#8212;&#8212;-</p>
<p>&#160;</p>
<p>This means that, very excitingly, now to calculate the area under the curve of a continuous function we no longer have to do any ghastly Riemann sums. We just have to find an antiderivative!</p>
<p>&#160;</p>
<p>OK, let&#8217;s prove this one straight away.</p>
<p>&#160;</p>
<p>We&#8217;ll define:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%29%3D%5Cint_a%5Ex+f%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x)=&#92;int_a^x f(t)dt" title="g(x)=&#92;int_a^x f(t)dt" class="latex" /></p>
<p>&#160;</p>
<p>and we know from the FTC part 1 how to take derivatives of this. It&#8217;s just <img src="//s0.wp.com/latex.php?latex=g%27%28x%29%3Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g&#039;(x)=f(x)" title="g&#039;(x)=f(x)" class="latex" />. This says that <img src="//s0.wp.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g" title="g" class="latex" /> is an antiderivative of <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" />.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>OK, now we come onto the part of the FTC that you are going to use most. We are finally going to show the direct link between the definite integral and the antiderivative. I know that you&#8217;ve been holding your breaths until this moment. Get ready to breath a sign of relief:</p>
<p><strong>The Fundamental Theorem of Calculus, Part 2 (also known as the Evaluation Theorem)</strong></p>
<p>If <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /> is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" /> then</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_a%5Eb+f%28x%29+dx%3DF%28b%29-F%28a%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_a^b f(x) dx=F(b)-F(a)" title="&#92;int_a^b f(x) dx=F(b)-F(a)" class="latex" /></p>
<p>&nbsp;</p>
<p>where <img src="//s0.wp.com/latex.php?latex=F&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F" title="F" class="latex" /> is any antiderivative of <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" />. Ie any function such that <img src="//s0.wp.com/latex.php?latex=F%27%3Df&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F&#039;=f" title="F&#039;=f" class="latex" />.</p>
<p>&#8212;&#8212;&#8212;&#8212;-</p>
<p>&nbsp;</p>
<p>This means that, very excitingly, now to calculate the area under the curve of a continuous function we no longer have to do any ghastly Riemann sums. We just have to find an antiderivative!</p>
<p>&nbsp;</p>
<p>OK, let&#8217;s prove this one straight away.</p>
<p>&nbsp;</p>
<p>We&#8217;ll define:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%29%3D%5Cint_a%5Ex+f%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x)=&#92;int_a^x f(t)dt" title="g(x)=&#92;int_a^x f(t)dt" class="latex" /></p>
<p>&nbsp;</p>
<p>and we know from the FTC part 1 how to take derivatives of this. It&#8217;s just <img src="//s0.wp.com/latex.php?latex=g%27%28x%29%3Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g&#039;(x)=f(x)" title="g&#039;(x)=f(x)" class="latex" />. This says that <img src="//s0.wp.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g" title="g" class="latex" /> is an antiderivative of <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" />.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=15177</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>The Fundamental Theorem of Calculus part 1 (part iii)</title>
		<link>http://www.mathemafrica.org/?p=15170</link>
		<comments>http://www.mathemafrica.org/?p=15170#respond</comments>
		<pubDate>Thu, 11 Jul 2019 09:52:53 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[Courses]]></category>
		<category><![CDATA[First year]]></category>
		<category><![CDATA[MAM1000]]></category>
		<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[Undergraduate]]></category>
		<category><![CDATA[fundamental theorem of calculus]]></category>
		<category><![CDATA[MAM1000W]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=15170</guid>
		<description><![CDATA[<p>So, we are now ready to prove the FTC part 1. We&#8217;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:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cfrac%7Bd%7D%7Bdx%7D+%5Cint_a%5Ex+f%28t%29+dt%3Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;frac{d}{dx} &#92;int_a^x f(t) dt=f(x)" title="&#92;frac{d}{dx} &#92;int_a^x f(t) dt=f(x)" class="latex" /></p>
<p>&#160;</p>
<p>for <img src="//s0.wp.com/latex.php?latex=x%5Cin+%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x&#92;in [a,b]" title="x&#92;in [a,b]" class="latex" /> when <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /> is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" />.</p>
<p>&#160;</p>
<p>Proof:</p>
<p>&#160;</p>
<p>we define <img src="//s0.wp.com/latex.php?latex=g%28x%29%3D%5Cint_a%5Ex+f%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x)=&#92;int_a^x f(t)dt" title="g(x)=&#92;int_a^x f(t)dt" class="latex" /> and we want to find the derivative of <img src="//s0.wp.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g" title="g" class="latex" />. We will do this by using the fundamental definition of the derivative, so let&#8217;s look at calculating this function at <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" /> and <img src="//s0.wp.com/latex.php?latex=x%2Bh&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x+h" title="x+h" class="latex" /> &#8211; ie. how much does it change when we change <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" /> by a little bit?</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%2Bh%29-g%28x%29%3D%5Cint_a%5E%7Bx%2Bh%7Df%28t%29+dt-%5Cint_a%5Ex+f%28t%29+dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt" title="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt" class="latex" /></p>
<p>&#160;</p>
<p>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:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%2Bh%29-g%28x%29%3D%5Cint_a%5E%7Bx%2Bh%7Df%28t%29+dt-%5Cint_a%5Ex+f%28t%29+dt%3D%5Cleft%28%5Cint_a%5E%7Bx%7Df%28t%29%2B%5Cint_x%5E%7Bx%2Bh%7Df%28t%29%5Cright%29-%5Cint_a%5E%7Bx%7Df%28t%29%3D%5Cint_x%5E%7Bx%2Bh%7Df%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt=&#92;left(&#92;int_a^{x}f(t)+&#92;int_x^{x+h}f(t)&#92;right)-&#92;int_a^{x}f(t)=&#92;int_x^{x+h}f(t)dt" title="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt=&#92;left(&#92;int_a^{x}f(t)+&#92;int_x^{x+h}f(t)&#92;right)-&#92;int_a^{x}f(t)=&#92;int_x^{x+h}f(t)dt" class="latex" /></p>
<p>&#160;</p>
<p>and we can write, for <img src="//s0.wp.com/latex.php?latex=h%5Cne+0&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="h&#92;ne 0" title="h&#92;ne 0" class="latex" />:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cfrac%7Bg%28x%2Bh%29-g%28x%29%7D%7Bh%7D%3D%5Cfrac%7B1%7D%7Bh%7D%5Cint_x%5E%7Bx%2Bh%7Df%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;frac{g(x+h)-g(x)}{h}=&#92;frac{1}{h}&#92;int_x^{x+h}f(t)dt" title="&#92;frac{g(x+h)-g(x)}{h}=&#92;frac{1}{h}&#92;int_x^{x+h}f(t)dt" class="latex" /></p>
<p>&#160;</p>
<p>Restated, we can think of this as the area between x and x+h divided by h.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>So, we are now ready to prove the FTC part 1. We&#8217;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:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cfrac%7Bd%7D%7Bdx%7D+%5Cint_a%5Ex+f%28t%29+dt%3Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;frac{d}{dx} &#92;int_a^x f(t) dt=f(x)" title="&#92;frac{d}{dx} &#92;int_a^x f(t) dt=f(x)" class="latex" /></p>
<p>&nbsp;</p>
<p>for <img src="//s0.wp.com/latex.php?latex=x%5Cin+%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x&#92;in [a,b]" title="x&#92;in [a,b]" class="latex" /> when <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /> is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" />.</p>
<p>&nbsp;</p>
<p>Proof:</p>
<p>&nbsp;</p>
<p>we define <img src="//s0.wp.com/latex.php?latex=g%28x%29%3D%5Cint_a%5Ex+f%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x)=&#92;int_a^x f(t)dt" title="g(x)=&#92;int_a^x f(t)dt" class="latex" /> and we want to find the derivative of <img src="//s0.wp.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g" title="g" class="latex" />. We will do this by using the fundamental definition of the derivative, so let&#8217;s look at calculating this function at <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" /> and <img src="//s0.wp.com/latex.php?latex=x%2Bh&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x+h" title="x+h" class="latex" /> &#8211; ie. how much does it change when we change <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" /> by a little bit?</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%2Bh%29-g%28x%29%3D%5Cint_a%5E%7Bx%2Bh%7Df%28t%29+dt-%5Cint_a%5Ex+f%28t%29+dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt" title="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt" class="latex" /></p>
<p>&nbsp;</p>
<p>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:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%2Bh%29-g%28x%29%3D%5Cint_a%5E%7Bx%2Bh%7Df%28t%29+dt-%5Cint_a%5Ex+f%28t%29+dt%3D%5Cleft%28%5Cint_a%5E%7Bx%7Df%28t%29%2B%5Cint_x%5E%7Bx%2Bh%7Df%28t%29%5Cright%29-%5Cint_a%5E%7Bx%7Df%28t%29%3D%5Cint_x%5E%7Bx%2Bh%7Df%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt=&#92;left(&#92;int_a^{x}f(t)+&#92;int_x^{x+h}f(t)&#92;right)-&#92;int_a^{x}f(t)=&#92;int_x^{x+h}f(t)dt" title="g(x+h)-g(x)=&#92;int_a^{x+h}f(t) dt-&#92;int_a^x f(t) dt=&#92;left(&#92;int_a^{x}f(t)+&#92;int_x^{x+h}f(t)&#92;right)-&#92;int_a^{x}f(t)=&#92;int_x^{x+h}f(t)dt" class="latex" /></p>
<p>&nbsp;</p>
<p>and we can write, for <img src="//s0.wp.com/latex.php?latex=h%5Cne+0&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="h&#92;ne 0" title="h&#92;ne 0" class="latex" />:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cfrac%7Bg%28x%2Bh%29-g%28x%29%7D%7Bh%7D%3D%5Cfrac%7B1%7D%7Bh%7D%5Cint_x%5E%7Bx%2Bh%7Df%28t%29dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;frac{g(x+h)-g(x)}{h}=&#92;frac{1}{h}&#92;int_x^{x+h}f(t)dt" title="&#92;frac{g(x+h)-g(x)}{h}=&#92;frac{1}{h}&#92;int_x^{x+h}f(t)dt" class="latex" /></p>
<p>&nbsp;</p>
<p>Restated, we can think of this as the area between x and x+h divided by h.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=15170</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>The Fundamental Theorem of Calculus part 1 (part ii)</title>
		<link>http://www.mathemafrica.org/?p=15151</link>
		<comments>http://www.mathemafrica.org/?p=15151#respond</comments>
		<pubDate>Thu, 11 Jul 2019 08:45:31 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[Courses]]></category>
		<category><![CDATA[First year]]></category>
		<category><![CDATA[MAM1000]]></category>
		<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[Undergraduate]]></category>
		<category><![CDATA[fundamental theorem of calculus]]></category>
		<category><![CDATA[MAM1000W]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=15151</guid>
		<description><![CDATA[<p>OK, so up to now we can&#8217;t actually use the FTC (Fundamental Theorem of Calculus) to calculate any areas. That will come from the FTC part 2.</p>
<p>For now, let&#8217;s take some examples and see what the FTC is saying. I&#8217;ll restate it here:</p>
<p><strong>The Fundamental Theorem of Calculus, part 1</strong></p>
<p>If <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /> is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" /> then the function <img src="//s0.wp.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g" title="g" class="latex" /> defined by:</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%29%3D%5Cint_a%5Ex+f%28t%29+dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x)=&#92;int_a^x f(t) dt" title="g(x)=&#92;int_a^x f(t) dt" class="latex" />,     for <img src="//s0.wp.com/latex.php?latex=a%5Cle+x%5Cle+b&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="a&#92;le x&#92;le b" title="a&#92;le x&#92;le b" class="latex" /></p>
<p>is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" /> and differentiable on <img src="//s0.wp.com/latex.php?latex=%28a%2Cb%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="(a,b)" title="(a,b)" class="latex" />, and <img src="//s0.wp.com/latex.php?latex=g%27%28x%29%3Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g&#039;(x)=f(x)" title="g&#039;(x)=f(x)" class="latex" />.</p>
<p>&#8212;&#8212;</p>
<p>Let&#8217;s look at some examples. We&#8217;re going to take an example that we can calculate using a Riemann sum. Let&#8217;s choose <img src="//s0.wp.com/latex.php?latex=f%28x%29%3Dx%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)=x^2" title="f(x)=x^2" class="latex" />.</p>
<p>If we integrate this from <img src="//s0.wp.com/latex.php?latex=0&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="0" title="0" class="latex" /> to some point <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" /> &#8211; ie. calculate the area under the curve, we get:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_0%5Ex+t%5E2+dt%3D%5Cfrac%7Bx%5E3%7D%7B3%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_0^x t^2 dt=&#92;frac{x^3}{3}" title="&#92;int_0^x t^2 dt=&#92;frac{x^3}{3}" class="latex" />.</p>
<p>&#160;</p>
<p>Make sure that you can indeed get this by calculating the Riemann sum.</p>
<p>So, what does the FTC part 1 tell us? It says that if we take the derivative of this area, with respect to the upper limit, <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" />, then we get back <img src="//s0.wp.com/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)" title="f(x)" class="latex" />.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>OK, so up to now we can&#8217;t actually use the FTC (Fundamental Theorem of Calculus) to calculate any areas. That will come from the FTC part 2.</p>
<p>For now, let&#8217;s take some examples and see what the FTC is saying. I&#8217;ll restate it here:</p>
<p><strong>The Fundamental Theorem of Calculus, part 1</strong></p>
<p>If <img src="//s0.wp.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f" title="f" class="latex" /> is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" /> then the function <img src="//s0.wp.com/latex.php?latex=g&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g" title="g" class="latex" /> defined by:</p>
<p><img src="//s0.wp.com/latex.php?latex=g%28x%29%3D%5Cint_a%5Ex+f%28t%29+dt&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g(x)=&#92;int_a^x f(t) dt" title="g(x)=&#92;int_a^x f(t) dt" class="latex" />,     for <img src="//s0.wp.com/latex.php?latex=a%5Cle+x%5Cle+b&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="a&#92;le x&#92;le b" title="a&#92;le x&#92;le b" class="latex" /></p>
<p>is continuous on <img src="//s0.wp.com/latex.php?latex=%5Ba%2Cb%5D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="[a,b]" title="[a,b]" class="latex" /> and differentiable on <img src="//s0.wp.com/latex.php?latex=%28a%2Cb%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="(a,b)" title="(a,b)" class="latex" />, and <img src="//s0.wp.com/latex.php?latex=g%27%28x%29%3Df%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="g&#039;(x)=f(x)" title="g&#039;(x)=f(x)" class="latex" />.</p>
<p>&#8212;&#8212;</p>
<p>Let&#8217;s look at some examples. We&#8217;re going to take an example that we can calculate using a Riemann sum. Let&#8217;s choose <img src="//s0.wp.com/latex.php?latex=f%28x%29%3Dx%5E2&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)=x^2" title="f(x)=x^2" class="latex" />.</p>
<p>If we integrate this from <img src="//s0.wp.com/latex.php?latex=0&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="0" title="0" class="latex" /> to some point <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" /> &#8211; ie. calculate the area under the curve, we get:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cint_0%5Ex+t%5E2+dt%3D%5Cfrac%7Bx%5E3%7D%7B3%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;int_0^x t^2 dt=&#92;frac{x^3}{3}" title="&#92;int_0^x t^2 dt=&#92;frac{x^3}{3}" class="latex" />.</p>
<p>&nbsp;</p>
<p>Make sure that you can indeed get this by calculating the Riemann sum.</p>
<p>So, what does the FTC part 1 tell us? It says that if we take the derivative of this area, with respect to the upper limit, <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" />, then we get back <img src="//s0.wp.com/latex.php?latex=f%28x%29&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="f(x)" title="f(x)" class="latex" />.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=15151</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>The Fundamental Theorem of Calculus, part 1 (part i)</title>
		<link>http://www.mathemafrica.org/?p=15139</link>
		<comments>http://www.mathemafrica.org/?p=15139#comments</comments>
		<pubDate>Tue, 09 Jul 2019 14:15:56 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[Courses]]></category>
		<category><![CDATA[First year]]></category>
		<category><![CDATA[MAM1000]]></category>
		<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[Undergraduate]]></category>
		<category><![CDATA[derivatives]]></category>
		<category><![CDATA[fundamental theorem of calculus]]></category>
		<category><![CDATA[integrals]]></category>
		<category><![CDATA[MAM1000W]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=15139</guid>
		<description><![CDATA[<p>We&#8217;ve seen some intriguing things in this course so far, and we&#8217;ve developed some clever tricks, from how to find the gradient of just about any function we can throw at you, to proving statements to be true for an infinite number of cases.</p>
<p>To some extent, this is what we have looked at so far (at least in terms of calculus, and building up to calculus):</p>
<p><a href="http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png" rel="attachment wp-att-15144"><img class="aligncenter wp-image-15144" src="http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=486%2C345" alt="Screen Shot 2019-07-09 at 16.06.58" srcset="http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=200%2C142 200w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=300%2C213 300w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=400%2C284 400w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=600%2C426 600w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=768%2C545 768w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=800%2C568 800w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=1024%2C727 1024w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=1200%2C852 1200w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?fit=1722%2C1222 1722w" sizes="(max-width: 486px) 100vw, 486px" data-recalc-dims="1" /></a></p>
<p>However, we&#8217;re about to see some magic. We&#8217;re about to see the most important thing yet on this course, and indeed one of the most important moments in all of mathematical history.</p>
<p>We are going to see&#8230;actually, we are going to prove, that there is a relationship between rates of change and the area under a graph. This doesn&#8217;t sound that amazing, but its consequences have essentially allowed for the development of much of modern mathematics over the last 350 years.</p>
<p>The link that we are going to prove will allow us to find the area under graphs of functions for which taking the Riemann sum would be really hard.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>We&#8217;ve seen some intriguing things in this course so far, and we&#8217;ve developed some clever tricks, from how to find the gradient of just about any function we can throw at you, to proving statements to be true for an infinite number of cases.</p>
<p>To some extent, this is what we have looked at so far (at least in terms of calculus, and building up to calculus):</p>
<p><a href="http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png" rel="attachment wp-att-15144"><img class="aligncenter wp-image-15144" src="http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=486%2C345" alt="Screen Shot 2019-07-09 at 16.06.58" srcset="http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=200%2C142 200w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=300%2C213 300w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=400%2C284 400w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=600%2C426 600w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=768%2C545 768w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=800%2C568 800w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=1024%2C727 1024w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?resize=1200%2C852 1200w, http://i0.wp.com/www.mathemafrica.org/wp-content/uploads/2019/07/Screen-Shot-2019-07-09-at-16.06.58.png?fit=1722%2C1222 1722w" sizes="(max-width: 486px) 100vw, 486px" data-recalc-dims="1" /></a></p>
<p>However, we&#8217;re about to see some magic. We&#8217;re about to see the most important thing yet on this course, and indeed one of the most important moments in all of mathematical history.</p>
<p>We are going to see&#8230;actually, we are going to prove, that there is a relationship between rates of change and the area under a graph. This doesn&#8217;t sound that amazing, but its consequences have essentially allowed for the development of much of modern mathematics over the last 350 years.</p>
<p>The link that we are going to prove will allow us to find the area under graphs of functions for which taking the Riemann sum would be really hard.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=15139</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>
