(*^ ::[ frontEndVersion = "Microsoft Windows Mathematica Notebook Front End Version 2.2"; microsoftWindowsStandardFontEncoding; fontset = title, "Arial", 24, L0, center, nohscroll, bold; fontset = subtitle, "Arial", 18, L0, center, nohscroll, bold; fontset = subsubtitle, "Arial", 14, L0, center, nohscroll, bold; fontset = section, "Arial", 14, L0, bold, grayBox; fontset = subsection, "Arial", 12, L0, bold, blackBox; fontset = subsubsection, "Arial", 10, L0, bold, whiteBox; fontset = text, "Arial", 12, L0; fontset = smalltext, "Arial", 10, L0; fontset = input, "Courier New", 12, L0, nowordwrap, bold; fontset = output, "Courier New", 12, L0, nowordwrap; fontset = message, "Courier New", 10, L0, nowordwrap, R65280; fontset = print, "Courier New", 10, L0, nowordwrap; fontset = info, "Courier New", 10, L0, nowordwrap; fontset = postscript, "Courier New", 8, L0, nowordwrap; fontset = name, "Arial", 10, L0, nohscroll, italic, B65280; fontset = header, "Times New Roman", 10, L0, right, nohscroll; fontset = footer, "Times New Roman", 10, L0, right, nohscroll; fontset = help, "Arial", 10, L0, nohscroll; fontset = clipboard, "Arial", 12, L0, nohscroll; fontset = completions, "Arial", 12, L0, nowordwrap, nohscroll; fontset = graphics, "Courier New", 10, L0, nowordwrap, nohscroll; fontset = special1, "Arial", 12, L0, nowordwrap, nohscroll; fontset = special2, "Arial", 12, L0, center, nowordwrap, nohscroll; fontset = special3, "Arial", 12, L0, right, nowordwrap, nohscroll; fontset = special4, "Arial", 12, L0, nowordwrap, nohscroll; fontset = special5, "Arial", 12, L0, nowordwrap, nohscroll; fontset = leftheader, "Arial", 12, L0, nowordwrap, nohscroll; fontset = leftfooter, "Arial", 12, L0, nowordwrap, nohscroll; fontset = reserved1, "Courier New", 10, L0, nowordwrap, nohscroll;] :[font = section; inactive; ] The Fundamental Theorem :[font = text; inactive; ] The Fundamental Theorem of Calculus says, roughly, that the following processes "undo" one another: - Computing slopes of tangent lines (Differentiation) - Computing areas under curves (Integration) I'll illustrate this by defining two functions: - DifferenceQuotient[] will approximate the slope of the tangent line to a curve. - RectangleSum[] will approximate the area under a curve. Then I'll show that if you do one of these functions followed by the other, you get (approximately) what you started with. :[font = text; inactive; ] I'll use the following test function: :[font = input; nowordwrap; ] f[x_] := Sin[x^2] :[font = text; inactive; ] DifferenceQuotient[] computes the (approximate) slope of the tangent line to a curve. If you compare it to the definition of the derivative, you'll see that it's essentially the same thing, except that I don't compute a limit. :[font = input; nowordwrap; ] DifferenceQuotient[f_, dx_] := Function[(f[# + dx] - f[#]) / dx] :[font = text; inactive; ] Taking the limit would amount to letting dx go to 0. So I can get an approximation to the derivative by taking a small value for dx --- I'll use dx = 0.01. Here's the approximate derivative of my test function Sin[x^2]: :[font = input; startGroup; nowordwrap; ] dqf = DifferenceQuotient[f, 0.01] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] (f[#1 + 0.01] - f[#1])/0.01 & ;[o] f[#1 + 0.01] - f[#1] -------------------- & 0.01 :[font = text; inactive; ] Let's check that it works. Here's the approximate value of the derivative at x = 1.3 as given by dqf: :[font = input; startGroup; nowordwrap; ] dqf[1.3] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] -0.3441669325131014 ;[o] -0.344167 :[font = text; inactive; backColorRed = 65280; backColorGreen = 65280; backColorBlue = 65280; fontColorRed = 0; fontColorGreen = 0; fontColorBlue = 0; plain; fontName = "Arial"; fontSize = 12; ] And here's the "exact" value of the derivative at x = 1.3: :[font = input; startGroup; startGroup; nowordwrap; ] f'[1.3] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] -0.3091960801711923 ;[o] -0.309196 :[font = text; inactive; endGroup; ] You can see that the two values are pretty close. I could get a better approximation by making dx smaller. :[font = text; inactive; ] Here's a function that approximates the area under a curve using a rectangle sum: :[font = input; nowordwrap; ] RectangleSum[f_, start_, dx_] := Function[Sum[f[start + i dx], {i, 0, Floor[(# - start)/dx]}] dx] :[font = text; inactive; ] In RectangleSum[], dx represents the width of a rectangle, and I'm using the left-hand endpoint of each subinterval to get the rectangle's height. It's essentially the same as the definition of the definite integral of a function, except that I'm not computing a limit. I can obtain a good approximation to the actual integral by making dx small. I'll take dx = 0.01. I apply my RectangleSum[] function to Sin[x^2] to get an approximation to the integral of Sin[x^2]: :[font = input; startGroup; nowordwrap; ] sumf = RectangleSum[f, 0, 0.01] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] Sum[f[0 + i*0.01], {i, 0, Floor[(#1 - 0)/0.01]}]*0.01 & ;[o] #1 - 0 Sum[f[0 + i 0.01], {i, 0, Floor[------]}] 0.01 & 0.01 :[font = text; inactive; ] Again, I'll check my work by comparing my approximate integral to the "exact" integral. Here is the approximate integral from 0 to Sqrt[Pi] using sumf[]: :[font = input; startGroup; nowordwrap; ] sumf[Sqrt[Pi]] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] 0.894834765072355 ;[o] 0.894835 :[font = text; inactive; ] And here is the "exact" value of the integral, which I've computed using Mathematica's numerical integration routines: :[font = input; startGroup; nowordwrap; ] NIntegrate[f[x], {x, 0, Sqrt[Pi]}] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] 0.894831469484145 ;[o] 0.894831 :[font = text; inactive; ] You can see that the results are pretty close. :[font = text; inactive; ] Now I'm ready for my experiment. First, I'll use DifferenceQuotient[] to build a function which approximate the derivative of f[x] = Sin[x^2]: :[font = input; startGroup; nowordwrap; backColorRed = 65280; backColorGreen = 65280; backColorBlue = 65280; fontColorRed = 0; fontColorGreen = 0; fontColorBlue = 0; bold; fontName = "Courier New"; fontSize = 12; ] stepone = DifferenceQuotient[f, 0.1] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] (f[#1 + 0.1] - f[#1])/0.1 & ;[o] f[#1 + 0.1] - f[#1] ------------------- & 0.1 :[font = text; inactive; ] Next, I'll feed my approximate derivative stepone into RectangleSum[] to build its approximate integral: :[font = input; startGroup; nowordwrap; backColorRed = 65280; backColorGreen = 65280; backColorBlue = 65280; fontColorRed = 0; fontColorGreen = 0; fontColorBlue = 0; bold; fontName = "Courier New"; fontSize = 12; ] steptwo = RectangleSum[stepone, 0, 0.1] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] Sum[((f[#1 + 0.1] - f[#1])/0.1 & )[0 + i*0.1], {i, 0, Floor[(#1 - 0)/0.1]}]*0.1 & ;[o] f[#1 + 0.1] - f[#1] #1 - 0 Sum[(------------------- & )[0 + i 0.1], {i, 0, Floor[------]}] 0.1 & 0.1 0.1 :[font = text; inactive; ] Thus, steptwo is the result of feeding my original function f[x] = Sin[x^2] through the derivative and integral builders, one after the other. Here's the graph of steptwo: :[font = input; startGroup; nowordwrap; ] Plot[steptwo[x], {x, 0, 2Sqrt[Pi]}] :[font = postscript; inactive; output; BITMAP; PostScript; pictureLeft = 100; pictureTop = 0; pictureWidth = 300; pictureHeight = 185; nowordwrap; ] %! %%Creator: Mathematica %%AspectRatio: .61803 MathPictureStart %% Graphics /Courier findfont 10 scalefont setfont % Scaling calculations 0.0238095 0.268662 0.30821 0.295138 [ [(0.5)] .15814 .30821 0 2 Msboxa [(1)] .29247 .30821 0 2 Msboxa [(1.5)] .4268 .30821 0 2 Msboxa [(2)] .56113 .30821 0 2 Msboxa [(2.5)] .69546 .30821 0 2 Msboxa [(3)] .82979 .30821 0 2 Msboxa [(3.5)] .96413 .30821 0 2 Msboxa [(-1)] .01131 .01307 1 0 Msboxa [(-0.5)] .01131 .16064 1 0 Msboxa [(0.5)] .01131 .45578 1 0 Msboxa [(1)] .01131 .60335 1 0 Msboxa [ -0.001 -0.001 0 0 ] [ 1.001 .61903 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath [ ] 0 setdash 0 g p p .002 w .15814 .30821 m .15814 .31446 L s P [(0.5)] .15814 .30821 0 2 Mshowa p .002 w .29247 .30821 m .29247 .31446 L s P [(1)] .29247 .30821 0 2 Mshowa p .002 w .4268 .30821 m .4268 .31446 L s P [(1.5)] .4268 .30821 0 2 Mshowa p .002 w .56113 .30821 m .56113 .31446 L s P [(2)] .56113 .30821 0 2 Mshowa p .002 w .69546 .30821 m .69546 .31446 L s P [(2.5)] .69546 .30821 0 2 Mshowa p .002 w .82979 .30821 m .82979 .31446 L s P [(3)] .82979 .30821 0 2 Mshowa p .002 w .96413 .30821 m .96413 .31446 L s P [(3.5)] .96413 .30821 0 2 Mshowa p .001 w .05068 .30821 m .05068 .31196 L s P p .001 w .07754 .30821 m .07754 .31196 L s P p .001 w .10441 .30821 m .10441 .31196 L s P p .001 w .13127 .30821 m .13127 .31196 L s P p .001 w .18501 .30821 m .18501 .31196 L s P p .001 w .21187 .30821 m .21187 .31196 L s P p .001 w .23874 .30821 m .23874 .31196 L s P p .001 w .26561 .30821 m .26561 .31196 L s P p .001 w .31934 .30821 m .31934 .31196 L s P p .001 w .3462 .30821 m .3462 .31196 L s P p .001 w .37307 .30821 m .37307 .31196 L s P p .001 w .39994 .30821 m .39994 .31196 L s P p .001 w .45367 .30821 m .45367 .31196 L s P p .001 w .48053 .30821 m .48053 .31196 L s P p .001 w .5074 .30821 m .5074 .31196 L s P p .001 w .53427 .30821 m .53427 .31196 L s P p .001 w .588 .30821 m .588 .31196 L s P p .001 w .61487 .30821 m .61487 .31196 L s P p .001 w .64173 .30821 m .64173 .31196 L s P p .001 w .6686 .30821 m .6686 .31196 L s P p .001 w .72233 .30821 m .72233 .31196 L s P p .001 w .7492 .30821 m .7492 .31196 L s P p .001 w .77606 .30821 m .77606 .31196 L s P p .001 w .80293 .30821 m .80293 .31196 L s P p .001 w .85666 .30821 m .85666 .31196 L s P p .001 w .88353 .30821 m .88353 .31196 L s P p .001 w .91039 .30821 m .91039 .31196 L s P p .001 w .93726 .30821 m .93726 .31196 L s P p .001 w .99099 .30821 m .99099 .31196 L s P p .002 w 0 .30821 m 1 .30821 L s P p .002 w .02381 .01307 m .03006 .01307 L s P [(-1)] .01131 .01307 1 0 Mshowa p .002 w .02381 .16064 m .03006 .16064 L s P [(-0.5)] .01131 .16064 1 0 Mshowa p .002 w .02381 .45578 m .03006 .45578 L s P [(0.5)] .01131 .45578 1 0 Mshowa p .002 w .02381 .60335 m .03006 .60335 L s P [(1)] .01131 .60335 1 0 Mshowa p .001 w .02381 .04259 m .02756 .04259 L s P p .001 w .02381 .0721 m .02756 .0721 L s P p .001 w .02381 .10161 m .02756 .10161 L s P p .001 w .02381 .13113 m .02756 .13113 L s P p .001 w .02381 .19015 m .02756 .19015 L s P p .001 w .02381 .21967 m .02756 .21967 L s P p .001 w .02381 .24918 m .02756 .24918 L s P p .001 w .02381 .2787 m .02756 .2787 L s P p .001 w .02381 .33772 m .02756 .33772 L s P p .001 w .02381 .36724 m .02756 .36724 L s P p .001 w .02381 .39675 m .02756 .39675 L s P p .001 w .02381 .42626 m .02756 .42626 L s P p .001 w .02381 .48529 m .02756 .48529 L s P p .001 w .02381 .51481 m .02756 .51481 L s P p .001 w .02381 .54432 m .02756 .54432 L s P p .001 w .02381 .57383 m .02756 .57383 L s P p .002 w .02381 0 m .02381 .61803 L s P P 0 0 m 1 0 L 1 .61803 L 0 .61803 L closepath clip newpath p p .004 w .02381 .31116 m .03373 .31116 L .03869 .31116 L .04365 .31116 L .04613 .31116 L .04737 .31116 L .04861 .31116 L .04985 .31116 L .05109 .32001 L .05233 .32001 L .05357 .32001 L .06349 .32001 L .06845 .32001 L .07093 .32001 L .07341 .32001 L .07465 .32001 L .07589 .32001 L .07713 .32001 L .07837 .33474 L .07961 .33474 L .08085 .33474 L .08333 .33474 L .09325 .33474 L .09821 .33474 L .10069 .33474 L .10193 .33474 L .10317 .33474 L .10441 .35523 L .10565 .35523 L .10813 .35523 L .1131 .35523 L .11806 .35523 L .12302 .35523 L .1255 .35523 L .12798 .35523 L .12922 .35523 L .13046 .35523 L .1317 .38123 L .13294 .38123 L .14286 .38123 L .14782 .38123 L .15278 .38123 L .15526 .38123 L .1565 .38123 L .15774 .38123 L .15898 .41218 L .16022 .41218 L .16146 .41218 L .1627 .41218 L .17262 .41218 L Mistroke .17758 .41218 L .18006 .41218 L .1813 .41218 L .18254 .41218 L .18378 .41218 L .18502 .44711 L .1875 .44711 L .19246 .44711 L .19742 .44711 L .20238 .44711 L .20486 .44711 L .20734 .44711 L .20858 .44711 L .20982 .44711 L .21106 .44711 L .2123 .48446 L .21478 .48446 L .21726 .48446 L .22222 .48446 L .22718 .48446 L .23214 .48446 L .23462 .48446 L .23586 .48446 L .2371 .48446 L .23834 .48446 L .23958 .52197 L .24206 .52197 L .25198 .52197 L .25694 .52197 L .25942 .52197 L .2619 .52197 L .26314 .52197 L .26438 .52197 L .26563 .55656 L .26687 .55656 L .26935 .55656 L .27183 .55656 L .28175 .55656 L .28671 .55656 L .28919 .55656 L .29043 .55656 L .29167 .55656 L .29291 .58435 L .29415 .58435 L .29539 .58435 L .29663 .58435 L .30159 .58435 L .31151 .58435 L .31399 .58435 L .31647 .58435 L Mistroke .31771 .58435 L .31895 .58435 L .32019 .60083 L .32143 .60083 L .32391 .60083 L .32639 .60083 L .33135 .60083 L .33631 .60083 L .33879 .60083 L .34127 .60083 L .34375 .60083 L .34499 .60083 L .34623 .60125 L .35119 .60125 L .36111 .60125 L .36607 .60125 L .36855 .60125 L .36979 .60125 L .37103 .60125 L .37227 .60125 L .37351 .58127 L .37599 .58127 L .38095 .58127 L .39087 .58127 L .39335 .58127 L .39583 .58127 L .39707 .58127 L .39831 .58127 L .39955 .58127 L .40079 .53785 L .40327 .53785 L .40575 .53785 L .41071 .53785 L .41567 .53785 L .42063 .53785 L .42312 .53785 L .42436 .53785 L .4256 .53785 L .42684 .47035 L .42808 .47035 L .43056 .47035 L .44048 .47035 L .44544 .47035 L .44792 .47035 L .4504 .47035 L .45164 .47035 L .45288 .47035 L .45412 .38168 L .45536 .38168 L .45784 .38168 L Mistroke .46032 .38168 L .47024 .38168 L .4752 .38168 L .47768 .38168 L .47892 .38168 L .48016 .38168 L .4814 .27921 L .48264 .27921 L .48512 .27921 L .49008 .27921 L .49504 .27921 L .5 .27921 L .50248 .27921 L .50372 .27921 L .50496 .27921 L .5062 .27921 L .50744 .17497 L .50992 .17497 L .51984 .17497 L .5248 .17497 L .52728 .17497 L .52976 .17497 L .531 .17497 L .53224 .17497 L .53348 .17497 L .53472 .08485 L .5372 .08485 L .53968 .08485 L .5496 .08485 L .55456 .08485 L .55704 .08485 L .55828 .08485 L .55952 .08485 L .56076 .08485 L .562 .02646 L .56448 .02646 L .56944 .02646 L .5744 .02646 L .57937 .02646 L .58433 .02646 L .58557 .02646 L .58681 .02646 L .58805 .01547 L .58929 .01547 L .59177 .01547 L .59425 .01547 L .59921 .01547 L .60417 .01547 L .60913 .01547 L .61161 .01547 L Mistroke .61285 .01547 L .61409 .01547 L .61533 .06095 L .61657 .06095 L .61905 .06095 L .62897 .06095 L .63393 .06095 L .63641 .06095 L .63889 .06095 L .64013 .06095 L .64137 .06095 L .64261 .16075 L .64385 .16075 L .64633 .16075 L .64881 .16075 L .65377 .16075 L .65873 .16075 L .66369 .16075 L .66493 .16075 L .66617 .16075 L .66741 .16075 L .66865 .29842 L .67113 .29842 L .67361 .29842 L .67857 .29842 L .68353 .29842 L .68849 .29842 L .69097 .29842 L .69221 .29842 L .69345 .29842 L .69469 .29842 L .69593 .44366 L .69841 .44366 L .70833 .44366 L .71329 .44366 L .71577 .44366 L .71825 .44366 L .71949 .44366 L .72073 .44366 L .72197 .44366 L .72321 .55764 L .72569 .55764 L .72817 .55764 L .7381 .55764 L .74306 .55764 L .74554 .55764 L .74678 .55764 L .74802 .55764 L .74926 .60332 L .7505 .60332 L Mistroke .75298 .60332 L .75794 .60332 L .7629 .60332 L .76786 .60332 L .77034 .60332 L .77282 .60332 L .77406 .60332 L .7753 .60332 L .77654 .55889 L .77778 .55889 L .78026 .55889 L .78274 .55889 L .7877 .55889 L .79266 .55889 L .79762 .55889 L .8001 .55889 L .80134 .55889 L .80258 .55889 L .80382 .42984 L .80506 .42984 L .80754 .42984 L .81746 .42984 L .82242 .42984 L .8249 .42984 L .82614 .42984 L .82738 .42984 L .82862 .42984 L .82986 .25386 L .83234 .25386 L .8373 .25386 L .84226 .25386 L .84722 .25386 L .8497 .25386 L .85218 .25386 L .85342 .25386 L .85466 .25386 L .8559 .25386 L .85714 .09339 L .85962 .09339 L .8621 .09339 L .86706 .09339 L .87202 .09339 L .87698 .09339 L .87946 .09339 L .8807 .09339 L .88194 .09339 L .88318 .09339 L .88442 .01472 L .8869 .01472 L .89683 .01472 L Mistroke .90179 .01472 L .90427 .01472 L .90675 .01472 L .90799 .01472 L .90923 .01472 L .91047 .05885 L .91171 .05885 L .91419 .05885 L .91667 .05885 L .92659 .05885 L .93155 .05885 L .93403 .05885 L .93527 .05885 L .93651 .05885 L .93775 .21639 L .93899 .21639 L .94147 .21639 L .94643 .21639 L .95139 .21639 L .95635 .21639 L .95883 .21639 L .96131 .21639 L .96255 .21639 L .96379 .21639 L .96503 .42141 L .96627 .42141 L .96875 .42141 L .97123 .42141 L .97619 .42141 L Mfstroke P P % End of Graphics MathPictureEnd :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] No Input Form was saved for this expression. ;[o] -Graphics- :[font = text; inactive; ] And here's the graph of f[x] = Sin[x^2]: :[font = input; startGroup; nowordwrap; ] Plot[Sin[x^2], {x, 0, 2Sqrt[Pi]}] :[font = postscript; inactive; output; BITMAP; PostScript; pictureLeft = 100; pictureTop = 0; pictureWidth = 300; pictureHeight = 185; nowordwrap; ] %! %%Creator: Mathematica %%AspectRatio: .61803 MathPictureStart %% Graphics /Courier findfont 10 scalefont setfont % Scaling calculations 0.0238095 0.268662 0.309016 0.294306 [ [(0.5)] .15814 .30902 0 2 Msboxa [(1)] .29247 .30902 0 2 Msboxa [(1.5)] .4268 .30902 0 2 Msboxa [(2)] .56113 .30902 0 2 Msboxa [(2.5)] .69546 .30902 0 2 Msboxa [(3)] .82979 .30902 0 2 Msboxa [(3.5)] .96413 .30902 0 2 Msboxa [(-1)] .01131 .01471 1 0 Msboxa [(-0.5)] .01131 .16186 1 0 Msboxa [(0.5)] .01131 .45617 1 0 Msboxa [(1)] .01131 .60332 1 0 Msboxa [ -0.001 -0.001 0 0 ] [ 1.001 .61903 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath [ ] 0 setdash 0 g p p .002 w .15814 .30902 m .15814 .31527 L s P [(0.5)] .15814 .30902 0 2 Mshowa p .002 w .29247 .30902 m .29247 .31527 L s P [(1)] .29247 .30902 0 2 Mshowa p .002 w .4268 .30902 m .4268 .31527 L s P [(1.5)] .4268 .30902 0 2 Mshowa p .002 w .56113 .30902 m .56113 .31527 L s P [(2)] .56113 .30902 0 2 Mshowa p .002 w .69546 .30902 m .69546 .31527 L s P [(2.5)] .69546 .30902 0 2 Mshowa p .002 w .82979 .30902 m .82979 .31527 L s P [(3)] .82979 .30902 0 2 Mshowa p .002 w .96413 .30902 m .96413 .31527 L s P [(3.5)] .96413 .30902 0 2 Mshowa p .001 w .05068 .30902 m .05068 .31277 L s P p .001 w .07754 .30902 m .07754 .31277 L s P p .001 w .10441 .30902 m .10441 .31277 L s P p .001 w .13127 .30902 m .13127 .31277 L s P p .001 w .18501 .30902 m .18501 .31277 L s P p .001 w .21187 .30902 m .21187 .31277 L s P p .001 w .23874 .30902 m .23874 .31277 L s P p .001 w .26561 .30902 m .26561 .31277 L s P p .001 w .31934 .30902 m .31934 .31277 L s P p .001 w .3462 .30902 m .3462 .31277 L s P p .001 w .37307 .30902 m .37307 .31277 L s P p .001 w .39994 .30902 m .39994 .31277 L s P p .001 w .45367 .30902 m .45367 .31277 L s P p .001 w .48053 .30902 m .48053 .31277 L s P p .001 w .5074 .30902 m .5074 .31277 L s P p .001 w .53427 .30902 m .53427 .31277 L s P p .001 w .588 .30902 m .588 .31277 L s P p .001 w .61487 .30902 m .61487 .31277 L s P p .001 w .64173 .30902 m .64173 .31277 L s P p .001 w .6686 .30902 m .6686 .31277 L s P p .001 w .72233 .30902 m .72233 .31277 L s P p .001 w .7492 .30902 m .7492 .31277 L s P p .001 w .77606 .30902 m .77606 .31277 L s P p .001 w .80293 .30902 m .80293 .31277 L s P p .001 w .85666 .30902 m .85666 .31277 L s P p .001 w .88353 .30902 m .88353 .31277 L s P p .001 w .91039 .30902 m .91039 .31277 L s P p .001 w .93726 .30902 m .93726 .31277 L s P p .001 w .99099 .30902 m .99099 .31277 L s P p .002 w 0 .30902 m 1 .30902 L s P p .002 w .02381 .01471 m .03006 .01471 L s P [(-1)] .01131 .01471 1 0 Mshowa p .002 w .02381 .16186 m .03006 .16186 L s P [(-0.5)] .01131 .16186 1 0 Mshowa p .002 w .02381 .45617 m .03006 .45617 L s P [(0.5)] .01131 .45617 1 0 Mshowa p .002 w .02381 .60332 m .03006 .60332 L s P [(1)] .01131 .60332 1 0 Mshowa p .001 w .02381 .04414 m .02756 .04414 L s P p .001 w .02381 .07357 m .02756 .07357 L s P p .001 w .02381 .103 m .02756 .103 L s P p .001 w .02381 .13243 m .02756 .13243 L s P p .001 w .02381 .19129 m .02756 .19129 L s P p .001 w .02381 .22072 m .02756 .22072 L s P p .001 w .02381 .25015 m .02756 .25015 L s P p .001 w .02381 .27958 m .02756 .27958 L s P p .001 w .02381 .33845 m .02756 .33845 L s P p .001 w .02381 .36788 m .02756 .36788 L s P p .001 w .02381 .39731 m .02756 .39731 L s P p .001 w .02381 .42674 m .02756 .42674 L s P p .001 w .02381 .4856 m .02756 .4856 L s P p .001 w .02381 .51503 m .02756 .51503 L s P p .001 w .02381 .54446 m .02756 .54446 L s P p .001 w .02381 .57389 m .02756 .57389 L s P p .002 w .02381 0 m .02381 .61803 L s P P 0 0 m 1 0 L 1 .61803 L 0 .61803 L closepath clip newpath p p .004 w .02381 .30902 m .02505 .30902 L .02629 .30904 L .02753 .30907 L .02877 .30912 L .03125 .30924 L .03373 .30942 L .03621 .30964 L .03869 .30992 L .04365 .31062 L .04861 .31152 L .05357 .31263 L .06349 .31544 L .07341 .31905 L .08333 .32346 L .10317 .33467 L .14286 .36643 L .18254 .40967 L .22222 .46169 L .2619 .51712 L .28175 .54348 L .30159 .56704 L .31151 .57725 L .32143 .58612 L .33135 .5934 L .33631 .59637 L .34127 .59885 L .34623 .60082 L .34871 .6016 L .35119 .60224 L .35243 .6025 L .35367 .60273 L .35491 .60292 L .35615 .60308 L .35739 .6032 L .35863 .60328 L .35987 .60332 L .36111 .60332 L .36235 .60328 L .36359 .6032 L .36483 .60308 L .36607 .60292 L .36855 .60248 L .37103 .60186 L .37351 .60108 L .37599 .60012 L .38095 .59767 L .38591 .59448 L .39087 .59053 L .40079 .5803 L Mistroke .41071 .56685 L .42063 .5501 L .44048 .50666 L .46032 .45057 L .5 .30902 L .53968 .15634 L .55952 .09095 L .56944 .06409 L .57937 .04228 L .58433 .03354 L .58929 .02636 L .59177 .02338 L .59425 .02082 L .59673 .0187 L .59921 .01702 L .60045 .01635 L .60169 .01579 L .60293 .01535 L .60417 .01502 L .60541 .01481 L .60665 .01472 L .60789 .01474 L .60913 .01488 L .61037 .01514 L .61161 .01552 L .61285 .01603 L .61409 .01665 L .61657 .01826 L .61905 .02036 L .62401 .02605 L .62897 .03371 L .63889 .05495 L .64881 .08382 L .65873 .11984 L .69841 .31544 L .71825 .42312 L .72817 .47286 L .7381 .51712 L .74802 .55394 L .75298 .56899 L .75794 .58153 L .7629 .59137 L .76538 .59522 L .76786 .59835 L .7691 .59963 L .77034 .60073 L .77158 .60163 L .77282 .60235 L .77406 .60286 L .7753 .60319 L Mistroke .77654 .60332 L .77778 .60325 L .77902 .60299 L .78026 .60252 L .7815 .60186 L .78274 .601 L .78522 .59867 L .7877 .59554 L .79266 .58689 L .79762 .57506 L .80754 .54226 L .81746 .49819 L .85714 .2516 L .86706 .18719 L .87698 .12858 L .8869 .07924 L .89187 .05904 L .89683 .04228 L .90179 .02928 L .90427 .02427 L .90675 .02029 L .90799 .01869 L .90923 .01736 L .91047 .01629 L .91171 .0155 L .91295 .01498 L .91419 .01473 L .91543 .01476 L .91667 .01506 L .91791 .01565 L .91915 .01651 L .92039 .01764 L .92163 .01906 L .92411 .02273 L .92659 .0275 L .93155 .04033 L .93651 .05741 L .94643 .10348 L .95635 .16325 L .97619 .30902 L Mfstroke P P % End of Graphics MathPictureEnd :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] No Input Form was saved for this expression. ;[o] -Graphics- :[font = text; inactive; ] The resemblance is obvious. This is numerical evidence that computing the derivative followed by the integral gives you what you started with. :[font = text; inactive; ] Next, I'll try it in the opposite order. First, the integral: :[font = input; startGroup; nowordwrap; backColorRed = 65280; backColorGreen = 65280; backColorBlue = 65280; fontColorRed = 0; fontColorGreen = 0; fontColorBlue = 0; bold; fontName = "Courier New"; fontSize = 12; ] stepthree = RectangleSum[f, 0, 0.1] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] Sum[f[0 + i*0.1], {i, 0, Floor[(#1 - 0)/0.1]}]*0.1 & ;[o] #1 - 0 Sum[f[0 + i 0.1], {i, 0, Floor[------]}] 0.1 & 0.1 :[font = text; inactive; ] Next, I feed the integral into the derivative: :[font = input; startGroup; nowordwrap; backColorRed = 65280; backColorGreen = 65280; backColorBlue = 65280; fontColorRed = 0; fontColorGreen = 0; fontColorBlue = 0; bold; fontName = "Courier New"; fontSize = 12; ] stepfour = DifferenceQuotient[stepthree, 0.1] :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] ((Sum[f[0 + i*0.1], {i, 0, Floor[(#1 - 0)/0.1]}]*0.1 & )[#1 + 0.1] - (Sum[f[0 + i*0.1], {i, 0, Floor[(#1 - 0)/0.1]}]*0.1 & )[#1])/0.1 & ;[o] #1 - 0 ((Sum[f[0 + i 0.1], {i, 0, Floor[------]}] 0.1 & )[#1 + 0.1] - 0.1 #1 - 0 (Sum[f[0 + i 0.1], {i, 0, Floor[------]}] 0.1 & )[#1]) / 0.1 & 0.1 :[font = text; inactive; ] Finally, I'll plot the result: :[font = input; startGroup; nowordwrap; backColorRed = 65280; backColorGreen = 65280; backColorBlue = 65280; fontColorRed = 0; fontColorGreen = 0; fontColorBlue = 0; bold; fontName = "Courier New"; fontSize = 12; ] Plot[stepfour[x], {x, 0, 2Sqrt[Pi]}] :[font = postscript; inactive; output; BITMAP; PostScript; pictureLeft = 100; pictureTop = 0; pictureWidth = 300; pictureHeight = 185; nowordwrap; ] %! %%Creator: Mathematica %%AspectRatio: .61803 MathPictureStart %% Graphics /Courier findfont 10 scalefont setfont % Scaling calculations 0.0238095 0.268662 0.30821 0.295138 [ [(0.5)] .15814 .30821 0 2 Msboxa [(1)] .29247 .30821 0 2 Msboxa [(1.5)] .4268 .30821 0 2 Msboxa [(2)] .56113 .30821 0 2 Msboxa [(2.5)] .69546 .30821 0 2 Msboxa [(3)] .82979 .30821 0 2 Msboxa [(3.5)] .96413 .30821 0 2 Msboxa [(-1)] .01131 .01307 1 0 Msboxa [(-0.5)] .01131 .16064 1 0 Msboxa [(0.5)] .01131 .45578 1 0 Msboxa [(1)] .01131 .60335 1 0 Msboxa [ -0.001 -0.001 0 0 ] [ 1.001 .61903 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath [ ] 0 setdash 0 g p p .002 w .15814 .30821 m .15814 .31446 L s P [(0.5)] .15814 .30821 0 2 Mshowa p .002 w .29247 .30821 m .29247 .31446 L s P [(1)] .29247 .30821 0 2 Mshowa p .002 w .4268 .30821 m .4268 .31446 L s P [(1.5)] .4268 .30821 0 2 Mshowa p .002 w .56113 .30821 m .56113 .31446 L s P [(2)] .56113 .30821 0 2 Mshowa p .002 w .69546 .30821 m .69546 .31446 L s P [(2.5)] .69546 .30821 0 2 Mshowa p .002 w .82979 .30821 m .82979 .31446 L s P [(3)] .82979 .30821 0 2 Mshowa p .002 w .96413 .30821 m .96413 .31446 L s P [(3.5)] .96413 .30821 0 2 Mshowa p .001 w .05068 .30821 m .05068 .31196 L s P p .001 w .07754 .30821 m .07754 .31196 L s P p .001 w .10441 .30821 m .10441 .31196 L s P p .001 w .13127 .30821 m .13127 .31196 L s P p .001 w .18501 .30821 m .18501 .31196 L s P p .001 w .21187 .30821 m .21187 .31196 L s P p .001 w .23874 .30821 m .23874 .31196 L s P p .001 w .26561 .30821 m .26561 .31196 L s P p .001 w .31934 .30821 m .31934 .31196 L s P p .001 w .3462 .30821 m .3462 .31196 L s P p .001 w .37307 .30821 m .37307 .31196 L s P p .001 w .39994 .30821 m .39994 .31196 L s P p .001 w .45367 .30821 m .45367 .31196 L s P p .001 w .48053 .30821 m .48053 .31196 L s P p .001 w .5074 .30821 m .5074 .31196 L s P p .001 w .53427 .30821 m .53427 .31196 L s P p .001 w .588 .30821 m .588 .31196 L s P p .001 w .61487 .30821 m .61487 .31196 L s P p .001 w .64173 .30821 m .64173 .31196 L s P p .001 w .6686 .30821 m .6686 .31196 L s P p .001 w .72233 .30821 m .72233 .31196 L s P p .001 w .7492 .30821 m .7492 .31196 L s P p .001 w .77606 .30821 m .77606 .31196 L s P p .001 w .80293 .30821 m .80293 .31196 L s P p .001 w .85666 .30821 m .85666 .31196 L s P p .001 w .88353 .30821 m .88353 .31196 L s P p .001 w .91039 .30821 m .91039 .31196 L s P p .001 w .93726 .30821 m .93726 .31196 L s P p .001 w .99099 .30821 m .99099 .31196 L s P p .002 w 0 .30821 m 1 .30821 L s P p .002 w .02381 .01307 m .03006 .01307 L s P [(-1)] .01131 .01307 1 0 Mshowa p .002 w .02381 .16064 m .03006 .16064 L s P [(-0.5)] .01131 .16064 1 0 Mshowa p .002 w .02381 .45578 m .03006 .45578 L s P [(0.5)] .01131 .45578 1 0 Mshowa p .002 w .02381 .60335 m .03006 .60335 L s P [(1)] .01131 .60335 1 0 Mshowa p .001 w .02381 .04259 m .02756 .04259 L s P p .001 w .02381 .0721 m .02756 .0721 L s P p .001 w .02381 .10161 m .02756 .10161 L s P p .001 w .02381 .13113 m .02756 .13113 L s P p .001 w .02381 .19015 m .02756 .19015 L s P p .001 w .02381 .21967 m .02756 .21967 L s P p .001 w .02381 .24918 m .02756 .24918 L s P p .001 w .02381 .2787 m .02756 .2787 L s P p .001 w .02381 .33772 m .02756 .33772 L s P p .001 w .02381 .36724 m .02756 .36724 L s P p .001 w .02381 .39675 m .02756 .39675 L s P p .001 w .02381 .42626 m .02756 .42626 L s P p .001 w .02381 .48529 m .02756 .48529 L s P p .001 w .02381 .51481 m .02756 .51481 L s P p .001 w .02381 .54432 m .02756 .54432 L s P p .001 w .02381 .57383 m .02756 .57383 L s P p .002 w .02381 0 m .02381 .61803 L s P P 0 0 m 1 0 L 1 .61803 L 0 .61803 L closepath clip newpath p p .004 w .02381 .31116 m .03373 .31116 L .03869 .31116 L .04365 .31116 L .04613 .31116 L .04737 .31116 L .04861 .31116 L .04985 .31116 L .05109 .32001 L .05233 .32001 L .05357 .32001 L .06349 .32001 L .06845 .32001 L .07093 .32001 L .07341 .32001 L .07465 .32001 L .07589 .32001 L .07713 .32001 L .07837 .33474 L .07961 .33474 L .08085 .33474 L .08333 .33474 L .09325 .33474 L .09821 .33474 L .10069 .33474 L .10193 .33474 L .10317 .33474 L .10441 .35523 L .10565 .35523 L .10813 .35523 L .1131 .35523 L .11806 .35523 L .12302 .35523 L .1255 .35523 L .12798 .35523 L .12922 .35523 L .13046 .35523 L .1317 .38123 L .13294 .38123 L .14286 .38123 L .14782 .38123 L .15278 .38123 L .15526 .38123 L .1565 .38123 L .15774 .38123 L .15898 .41218 L .16022 .41218 L .16146 .41218 L .1627 .41218 L .17262 .41218 L Mistroke .17758 .41218 L .18006 .41218 L .1813 .41218 L .18254 .41218 L .18378 .41218 L .18502 .44711 L .1875 .44711 L .19246 .44711 L .19742 .44711 L .20238 .44711 L .20486 .44711 L .20734 .44711 L .20858 .44711 L .20982 .44711 L .21106 .44711 L .2123 .48446 L .21478 .48446 L .21726 .48446 L .22222 .48446 L .22718 .48446 L .23214 .48446 L .23462 .48446 L .23586 .48446 L .2371 .48446 L .23834 .48446 L .23958 .52197 L .24206 .52197 L .25198 .52197 L .25694 .52197 L .25942 .52197 L .2619 .52197 L .26314 .52197 L .26438 .52197 L .26563 .55656 L .26687 .55656 L .26935 .55656 L .27183 .55656 L .28175 .55656 L .28671 .55656 L .28919 .55656 L .29043 .55656 L .29167 .55656 L .29291 .58435 L .29415 .58435 L .29539 .58435 L .29663 .58435 L .30159 .58435 L .31151 .58435 L .31399 .58435 L .31647 .58435 L Mistroke .31771 .58435 L .31895 .58435 L .32019 .60083 L .32143 .60083 L .32391 .60083 L .32639 .60083 L .33135 .60083 L .33631 .60083 L .33879 .60083 L .34127 .60083 L .34375 .60083 L .34499 .60083 L .34623 .60125 L .35119 .60125 L .36111 .60125 L .36607 .60125 L .36855 .60125 L .36979 .60125 L .37103 .60125 L .37227 .60125 L .37351 .58127 L .37599 .58127 L .38095 .58127 L .39087 .58127 L .39335 .58127 L .39583 .58127 L .39707 .58127 L .39831 .58127 L .39955 .58127 L .40079 .53785 L .40327 .53785 L .40575 .53785 L .41071 .53785 L .41567 .53785 L .42063 .53785 L .42312 .53785 L .42436 .53785 L .4256 .53785 L .42684 .47035 L .42808 .47035 L .43056 .47035 L .44048 .47035 L .44544 .47035 L .44792 .47035 L .4504 .47035 L .45164 .47035 L .45288 .47035 L .45412 .38168 L .45536 .38168 L .45784 .38168 L Mistroke .46032 .38168 L .47024 .38168 L .4752 .38168 L .47768 .38168 L .47892 .38168 L .48016 .38168 L .4814 .27921 L .48264 .27921 L .48512 .27921 L .49008 .27921 L .49504 .27921 L .5 .27921 L .50248 .27921 L .50372 .27921 L .50496 .27921 L .5062 .27921 L .50744 .17497 L .50992 .17497 L .51984 .17497 L .5248 .17497 L .52728 .17497 L .52976 .17497 L .531 .17497 L .53224 .17497 L .53348 .17497 L .53472 .08485 L .5372 .08485 L .53968 .08485 L .5496 .08485 L .55456 .08485 L .55704 .08485 L .55828 .08485 L .55952 .08485 L .56076 .08485 L .562 .02646 L .56448 .02646 L .56944 .02646 L .5744 .02646 L .57937 .02646 L .58433 .02646 L .58557 .02646 L .58681 .02646 L .58805 .01547 L .58929 .01547 L .59177 .01547 L .59425 .01547 L .59921 .01547 L .60417 .01547 L .60913 .01547 L .61161 .01547 L Mistroke .61285 .01547 L .61409 .01547 L .61533 .06095 L .61657 .06095 L .61905 .06095 L .62897 .06095 L .63393 .06095 L .63641 .06095 L .63889 .06095 L .64013 .06095 L .64137 .06095 L .64261 .16075 L .64385 .16075 L .64633 .16075 L .64881 .16075 L .65377 .16075 L .65873 .16075 L .66369 .16075 L .66493 .16075 L .66617 .16075 L .66741 .16075 L .66865 .29842 L .67113 .29842 L .67361 .29842 L .67857 .29842 L .68353 .29842 L .68849 .29842 L .69097 .29842 L .69221 .29842 L .69345 .29842 L .69469 .29842 L .69593 .44366 L .69841 .44366 L .70833 .44366 L .71329 .44366 L .71577 .44366 L .71825 .44366 L .71949 .44366 L .72073 .44366 L .72197 .44366 L .72321 .55764 L .72569 .55764 L .72817 .55764 L .7381 .55764 L .74306 .55764 L .74554 .55764 L .74678 .55764 L .74802 .55764 L .74926 .60332 L .7505 .60332 L Mistroke .75298 .60332 L .75794 .60332 L .7629 .60332 L .76786 .60332 L .77034 .60332 L .77282 .60332 L .77406 .60332 L .7753 .60332 L .77654 .55889 L .77778 .55889 L .78026 .55889 L .78274 .55889 L .7877 .55889 L .79266 .55889 L .79762 .55889 L .8001 .55889 L .80134 .55889 L .80258 .55889 L .80382 .42984 L .80506 .42984 L .80754 .42984 L .81746 .42984 L .82242 .42984 L .8249 .42984 L .82614 .42984 L .82738 .42984 L .82862 .42984 L .82986 .25386 L .83234 .25386 L .8373 .25386 L .84226 .25386 L .84722 .25386 L .8497 .25386 L .85218 .25386 L .85342 .25386 L .85466 .25386 L .8559 .25386 L .85714 .09339 L .85962 .09339 L .8621 .09339 L .86706 .09339 L .87202 .09339 L .87698 .09339 L .87946 .09339 L .8807 .09339 L .88194 .09339 L .88318 .09339 L .88442 .01472 L .8869 .01472 L .89683 .01472 L Mistroke .90179 .01472 L .90427 .01472 L .90675 .01472 L .90799 .01472 L .90923 .01472 L .91047 .05885 L .91171 .05885 L .91419 .05885 L .91667 .05885 L .92659 .05885 L .93155 .05885 L .93403 .05885 L .93527 .05885 L .93651 .05885 L .93775 .21639 L .93899 .21639 L .94147 .21639 L .94643 .21639 L .95139 .21639 L .95635 .21639 L .95883 .21639 L .96131 .21639 L .96255 .21639 L .96379 .21639 L .96503 .42141 L .96627 .42141 L .96875 .42141 L .97123 .42141 L .97619 .42141 L Mfstroke P P % End of Graphics MathPictureEnd :[font = output; inactive; formatted; output; endGroup; nowordwrap; ] No Input Form was saved for this expression. ;[o] -Graphics- :[font = text; inactive; ] Again, I get a graph which resembles the graph of the original function: Computing the integral followed by the derivative gives you what you started with. :[font = text; inactive; ] The Fundamental Theorem of Calculus is a precise statement of the results I've described. As a practical point, it allows you to compute definite integrals using antiderivatives --- and thus, is a tool you'll use frequently in applications of integral calculus. :[font = smalltext; inactive; ] Copyright 1997 by Bruce Ikenaga ^*)