(************** Content-type: application/mathematica ************** Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 72063, 2001]*) (*NotebookOutlinePosition[ 72698, 2023]*) (* CellTagsIndexPosition[ 72654, 2019]*) (*WindowFrame->Normal*) Notebook[{ Cell[CellGroupData[{ Cell["The Intermediate Value Theorem", "Subtitle"], Cell["\<\ I. Cnop Vrije Universiteit Brussel icnop@vub.ac.be\ \>", "Subsubtitle"], Cell[CellGroupData[{ Cell["Continuous functions", "Section"], Cell["\<\ In the age of technology, a continuous dependance (function) means \ that we can obtain its values with any (finite) precision if we know the \ value of the independant variable with sufficient (finite) precision.This is \ exactly what Augustin Cauchy meant when he gave his first definition od \ continuity, and since computers work with finite precision this definition is \ the one we will use. If a dependence is continuous, we can obtain values with \ arbitrary precision. The same is true for the definition of a limit. We will now show how we can approximate in the same way the zeroes of a \ continuous function when we know its graph crosses the axis of the \ independant variables. The existence of a zero in this case is shown by a \ construction, on which the classical proof is based. It is an example of a \ constructive proof. Many constructive proofs use repeated computations called \ algorithms, and they also are the basis of algorithms themselves. We are going to locate the zero with any precision by the following \ algorithmic construction.\ \>", "Text"] }, Closed]], Cell[CellGroupData[{ Cell["The bisection method", "Section"], Cell[CellGroupData[{ Cell["Set f the name of any function on an interval", "Subsection"], Cell[BoxData[ \(\(\(\ \)\(f[x_] := x\^3 + \@\(x + 2\) - 4\)\)\)], "Input"], Cell["\<\ Here we have chosen a function for which there is no algebraic way \ to locate a zero. We will first check that it has negative and positive \ values on a certain interval by taking a product of values:\ \>", "Text"], Cell[CellGroupData[{ Cell["Control", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(\(\(f[0. ]\ \ f[2]\)\(//\)\(N\)\(\ \)\)\)], "Input"], Cell[BoxData[ \(\(-15.51471862576143`\)\)], "Output"] }, Closed]], Cell[TextData[{ "This will be our initial interval where we look for a zero. Recall that in \ ", StyleBox["Mathematica", FontSlant->"Italic"], " , an interval [a,b] is denoted by the listing of both endpoints \ {a,b}" }], "Text"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Divide the interval", "Subsection"], Cell["\<\ If the value of the function in the middle of an interval [a,b] \ has a different sign of the value in the left endpoint we keep the left half \ of the interval, otherwise we keep the right half of the interval.\ \>", \ "Text"], Cell[BoxData[ \(newHalf[{a_, b_}] := If[f[a]\ f[\((a + b)\)/2] <= 0, {a, \((a + b)\)/2}, {\((a + b)\)/2, b}]\)], "Input"], Cell[CellGroupData[{ Cell["Repeat this division:", "Subsubsection"], Cell[CellGroupData[{ Cell[BoxData[ \(intervals = NestList[newHalf, {0. , 2. }, 10]\)], "Input"], Cell[BoxData[ \({{0.`, 2.`}, {1.`, 2.`}, {1.`, 1.5`}, {1.25`, 1.5`}, {1.25`, 1.375`}, {1.25`, 1.3125`}, {1.28125`, 1.3125`}, {1.296875`, 1.3125`}, {1.296875`, 1.3046875`}, {1.296875`, 1.30078125`}, {1.296875`, 1.298828125`}}\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(intervals // TableForm\)], "Input"], Cell[BoxData[ TagBox[GridBox[{ {"0.`", "2.`"}, {"1.`", "2.`"}, {"1.`", "1.5`"}, {"1.25`", "1.5`"}, {"1.25`", "1.375`"}, {"1.25`", "1.3125`"}, {"1.28125`", "1.3125`"}, {"1.296875`", "1.3125`"}, {"1.296875`", "1.3046875`"}, {"1.296875`", "1.30078125`"}, {"1.296875`", "1.298828125`"} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], Function[ BoxForm`e$, TableForm[ BoxForm`e$]]]], "Output"] }, Closed]], Cell["More steps will give more precision", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(intervals = NestList[newHalf, {0. , 2. }, 30]\)], "Input"], Cell[BoxData[ \({{0.`, 2.`}, {1.`, 2.`}, {1.`, 1.5`}, {1.25`, 1.5`}, {1.25`, 1.375`}, {1.25`, 1.3125`}, {1.28125`, 1.3125`}, {1.296875`, 1.3125`}, {1.296875`, 1.3046875`}, {1.296875`, 1.30078125`}, {1.296875`, 1.298828125`}, {1.296875`, 1.2978515625`}, {1.29736328125`, 1.2978515625`}, {1.29736328125`, 1.297607421875`}, {1.29736328125`, 1.2974853515625`}, {1.29742431640625`, 1.2974853515625`}, {1.29742431640625`, 1.297454833984375`}, {1.2974395751953125`, 1.297454833984375`}, {1.2974472045898438`, 1.297454833984375`}, {1.2974510192871094`, 1.297454833984375`}, {1.2974510192871094`, 1.2974529266357422`}, {1.2974519729614258`, 1.2974529266357422`}, {1.297452449798584`, 1.2974529266357422`}, {1.297452688217163`, 1.2974529266357422`}, {1.297452688217163`, 1.2974528074264526`}, {1.2974527478218079`, 1.2974528074264526`}, {1.2974527776241302`, 1.2974528074264526`}, {1.2974527925252914`, 1.2974528074264526`}, {1.297452799975872`, 1.2974528074264526`}, {1.2974528037011623`, 1.2974528074264526`}, {1.2974528055638075`, 1.2974528074264526`}}\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(intervals // TableForm\)], "Input"], Cell[BoxData[ TagBox[GridBox[{ {"0.`", "2.`"}, {"1.`", "2.`"}, {"1.`", "1.5`"}, {"1.25`", "1.5`"}, {"1.25`", "1.375`"}, {"1.25`", "1.3125`"}, {"1.28125`", "1.3125`"}, {"1.296875`", "1.3125`"}, {"1.296875`", "1.3046875`"}, {"1.296875`", "1.30078125`"}, {"1.296875`", "1.298828125`"}, {"1.296875`", "1.2978515625`"}, {"1.29736328125`", "1.2978515625`"}, {"1.29736328125`", "1.297607421875`"}, {"1.29736328125`", "1.2974853515625`"}, {"1.29742431640625`", "1.2974853515625`"}, {"1.29742431640625`", "1.297454833984375`"}, {"1.2974395751953125`", "1.297454833984375`"}, {"1.2974472045898438`", "1.297454833984375`"}, {"1.2974510192871094`", "1.297454833984375`"}, {"1.2974510192871094`", "1.2974529266357422`"}, {"1.2974519729614258`", "1.2974529266357422`"}, {"1.297452449798584`", "1.2974529266357422`"}, {"1.297452688217163`", "1.2974529266357422`"}, {"1.297452688217163`", "1.2974528074264526`"}, {"1.2974527478218079`", "1.2974528074264526`"}, {"1.2974527776241302`", "1.2974528074264526`"}, {"1.2974527925252914`", "1.2974528074264526`"}, {"1.297452799975872`", "1.2974528074264526`"}, {"1.2974528037011623`", "1.2974528074264526`"}, {"1.2974528055638075`", "1.2974528074264526`"} }, RowSpacings->1, ColumnSpacings->3, RowAlignments->Baseline, ColumnAlignments->{Left}], Function[ BoxForm`e$, TableForm[ BoxForm`e$]]]], "Output"] }, Closed]], Cell["\<\ The value of f in the endpoints of the last interval obtained is \ indeed close to zero\ \>", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(f[Last[%%]]\)], "Input"], Cell[BoxData[ \({\(-3.4174094665218036`*^-9\), 6.502104632488681`*^-9}\)], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Plotting our results", "Subsubsection"], Cell["Left endpoints", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[ Transpose[{First[Transpose[intervals]], Range[Length[intervals]]}]]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .61803 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations -9.4398 8.02803 0.0147151 0.0189872 [ [.03328 .00222 -12 -9 ] [.03328 .00222 12 0 ] [.3544 .00222 -12 -9 ] [.3544 .00222 12 0 ] [.51496 .00222 -12 -9 ] [.51496 .00222 12 0 ] [.67552 .00222 -12 -9 ] [.67552 .00222 12 0 ] [.83608 .00222 -12 -9 ] [.83608 .00222 12 0 ] [.99664 .00222 -9 -9 ] [.99664 .00222 9 0 ] [.18134 .10965 -6 -4.5 ] [.18134 .10965 0 4.5 ] [.18134 .20459 -12 -4.5 ] [.18134 .20459 0 4.5 ] [.18134 .29952 -12 -4.5 ] [.18134 .29952 0 4.5 ] [.18134 .39446 -12 -4.5 ] [.18134 .39446 0 4.5 ] [.18134 .4894 -12 -4.5 ] [.18134 .4894 0 4.5 ] [.18134 .58433 -12 -4.5 ] [.18134 .58433 0 4.5 ] [ 0 0 0 0 ] [ 1 .61803 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash .03328 .01472 m .03328 .02097 L s [(1.18)] .03328 .00222 0 1 Mshowa .3544 .01472 m .3544 .02097 L s [(1.22)] .3544 .00222 0 1 Mshowa .51496 .01472 m .51496 .02097 L s [(1.24)] .51496 .00222 0 1 Mshowa .67552 .01472 m .67552 .02097 L s [(1.26)] .67552 .00222 0 1 Mshowa .83608 .01472 m .83608 .02097 L s [(1.28)] .83608 .00222 0 1 Mshowa .99664 .01472 m .99664 .02097 L s [(1.3)] .99664 .00222 0 1 Mshowa .125 Mabswid .07342 .01472 m .07342 .01847 L s .11356 .01472 m .11356 .01847 L s .1537 .01472 m .1537 .01847 L s .23398 .01472 m .23398 .01847 L s .27412 .01472 m .27412 .01847 L s .31426 .01472 m .31426 .01847 L s .39454 .01472 m .39454 .01847 L s .43468 .01472 m .43468 .01847 L s .47482 .01472 m .47482 .01847 L s .5551 .01472 m .5551 .01847 L s .59524 .01472 m .59524 .01847 L s .63538 .01472 m .63538 .01847 L s .71566 .01472 m .71566 .01847 L s .7558 .01472 m .7558 .01847 L s .79594 .01472 m .79594 .01847 L s .87622 .01472 m .87622 .01847 L s .91636 .01472 m .91636 .01847 L s .9565 .01472 m .9565 .01847 L s .25 Mabswid 0 .01472 m 1 .01472 L s .19384 .10965 m .20009 .10965 L s [(5)] .18134 .10965 1 0 Mshowa .19384 .20459 m .20009 .20459 L s [(10)] .18134 .20459 1 0 Mshowa .19384 .29952 m .20009 .29952 L s [(15)] .18134 .29952 1 0 Mshowa .19384 .39446 m .20009 .39446 L s [(20)] .18134 .39446 1 0 Mshowa .19384 .4894 m .20009 .4894 L s [(25)] .18134 .4894 1 0 Mshowa .19384 .58433 m .20009 .58433 L s [(30)] .18134 .58433 1 0 Mshowa .125 Mabswid .19384 .0337 m .19759 .0337 L s .19384 .05269 m .19759 .05269 L s .19384 .07168 m .19759 .07168 L s .19384 .09066 m .19759 .09066 L s .19384 .12864 m .19759 .12864 L s .19384 .14763 m .19759 .14763 L s .19384 .16661 m .19759 .16661 L s .19384 .1856 m .19759 .1856 L s .19384 .22357 m .19759 .22357 L s .19384 .24256 m .19759 .24256 L s .19384 .26155 m .19759 .26155 L s .19384 .28054 m .19759 .28054 L s .19384 .31851 m .19759 .31851 L s .19384 .3375 m .19759 .3375 L s .19384 .35649 m .19759 .35649 L s .19384 .37547 m .19759 .37547 L s .19384 .41345 m .19759 .41345 L s .19384 .43243 m .19759 .43243 L s .19384 .45142 m .19759 .45142 L s .19384 .47041 m .19759 .47041 L s .19384 .50838 m .19759 .50838 L s .19384 .52737 m .19759 .52737 L s .19384 .54636 m .19759 .54636 L s .19384 .56534 m .19759 .56534 L s .19384 .60332 m .19759 .60332 L s .25 Mabswid .19384 0 m .19384 .61803 L s 0 0 m 1 0 L 1 .61803 L 0 .61803 L closepath clip newpath .008 w .59524 .09066 Mdot .59524 .10965 Mdot .59524 .12864 Mdot .84611 .14763 Mdot .97155 .16661 Mdot .97155 .1856 Mdot .97155 .20459 Mdot .97155 .22357 Mdot .97155 .24256 Mdot .97547 .26155 Mdot .97547 .28054 Mdot .97547 .29952 Mdot .97596 .31851 Mdot .97596 .3375 Mdot .97608 .35649 Mdot .97615 .37547 Mdot .97618 .39446 Mdot .97618 .41345 Mdot .97618 .43243 Mdot .97619 .45142 Mdot .97619 .47041 Mdot .97619 .4894 Mdot .97619 .50838 Mdot .97619 .52737 Mdot .97619 .54636 Mdot .97619 .56534 Mdot .97619 .58433 Mdot .97619 .60332 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 177.938}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgOooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool0 0ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`001?ooooooo`0001?o 00002_ooool000gooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool01oooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02?ooool00ol0003oooooooooo`08ooooo`03o`00 0?oooooooooo00Sooooo00?o0000ooooooooool02Oooool000gooooo00?o0000ooooooooool0:Ooo ool00ol0003oooooooooo`0Yooooo`03o`000?oooooooooo02Wooooo00?o0000ooooooooool0:?oo ool00ol0003oooooooooo`0Yooooo`03o`000?oooooooooo02Wooooo00?o0000ooooooooool02Ooo ool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wo oooo0_l0003Uooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003ooooooooo o`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Toooo o`00>Oooool2o`000>Gooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oo oooooooo0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oooooooooo 0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`;o0000iOooool003Wooooo00?o 0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000oooo ooooool0i?ooool003Wooooo00?o0000ooooooooool0J_ooool2o`0007Sooooo000iooooo`;o0000 Joooool2o`0007Sooooo000iooooo`03o`000?oooooooooo0>Cooooo000aooooo`?o00001Oooool0 0ol0003oooooooooo`3Tooooo`00Cooooo000i ooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`;o 0000[oooool2o`0003Cooooo000iooooo`03o`000?oooooooooo0:kooooo0_l0000dooooo`00>Ooo ool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0 003oooooooooo`3Tooooo`00>Oooool2o`000=7ooooo0_l0000Booooo`00>Oooool00ol0003ooooo ooooo`3@ooooo`;o00004_ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000 ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000oooooooo ool0d?ooool2o`0001;ooooo000iooooo`;o0000dOooool2o`0001;ooooo000iooooo`03o`000?oo oooooooo0>Cooooo000[ooooo`?o00001?ooool2o`0000Gooooo00?o0000ooooooooool0i?ooool0 02cooooo00?o0000ooooooooool00_ooool01?l0003oooooooooool00004ooooo`03o`000?oooooo oooo0>Cooooo000/ooooo`03o`000?oooooooooo00;ooooo00Co0000oooooooooooo00001?ooool0 0ol0003oooooooooo`3@ooooo`;o00004_ooool002cooooo00?o0000ooooooooool00_ooool01?l0 003oooooooooool00004ooooo`?o0000d?ooool2o`0001;ooooo000/ooooo`03o`000?oooooooooo 00;ooooo00Co0000oooooooooooo00001?ooool00ol0003oooooooooo`3Tooooo`00:oooool2o`00 00Cooooo00Co0000oooooooooooo00001?ooool00ol0003oooooooooo`3Tooooo`00;?ooool00ol0 003oooooooooo`03ooooo`;o00001Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003o ooooooooo`3@ooooo`;o00004_ooool003Wooooo0_l0003Aooooo`;o00004_ooool003Wooooo00?o 0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000oooo ooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo0_l0003Aooooo`;o0000 4_ooool003Wooooo00?o0000ooooooooool0d?ooool2o`0001;ooooo000iooooo`03o`000?oooooo oooo0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oooooooooo0>Co oooo000iooooo`;o0000doooool2o`00013ooooo000iooooo`03o`000?oooooooooo0=;ooooo0_l0 000@ooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Toooo o`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool2o`000=?ooooo0_l0000@ooooo`00>Ooo ool00ol0003oooooooooo`3Booooo`;o00004?ooool003Wooooo00?o0000ooooooooool0i?ooool0 02_ooooo0ol00003ooooo`?o00001Oooool00ol0003oooooooooo`3Tooooo`00;?ooool01Ol0003o oooooooooooooooo000000?ooooo00?o0000ooooooooool00_ooool00ol0003oooooooooo`3Toooo o`00;?ooool00ol0003oooooooooo`05ooooo`03o`000?oooooooooo00;ooooo00?o0000oooooooo ool0d_ooool2o`00013ooooo000/ooooo`03o`000?oooooooooo00Gooooo00?o0000ooooooooool0 0_ooool3o`000=;ooooo0_l0000@ooooo`00;?ooool01?l0003oooooooooooooool4o`0000Gooooo 00?o0000ooooooooool0i?ooool002_ooooo0_l00003ooooo`03o`000?oooooooooo00Kooooo00?o 0000ooooooooool0i?ooool002cooooo00Co0000oooooooooooooooo1Ol00004ooooo`03o`000?oo oooooooo0>Cooooo000iooooo`03o`000?oooooooooo0=;ooooo0_l0000@ooooo`00>Oooool2o`00 0=?ooooo0_l0000@ooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003ooooo ooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3T ooooo`00>Oooool2o`000=?ooooo0_l0000@ooooo`00>Oooool00ol0003oooooooooo`3Booooo`;o 00004?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0i?oo ool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo0_l0003Cooooo`;o00004?ooool003Wo oooo00?o0000ooooooooool0d_ooool2o`00013ooooo000iooooo`03o`000?oooooooooo0>Cooooo 000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000ioooo o`;o0000doooool2o`00013ooooo000iooooo`03o`000?oooooooooo0=;ooooo0_l0000@ooooo`00 >Oooool00ol0003oooooooooo`3Tooooo`00:_ooool5o`0000?ooooo0_l00005ooooo`03o`000?oo oooooooo0>Cooooo000[ooooo`04o`000?ooooooooooo`0000;ooooo00Co0000oooooooooooo0000 1?ooool00ol0003oooooooooo`3Tooooo`00;?ooool00ol0003oooooooooo`02ooooo`04o`000?oo ooooooooo`0000Cooooo00?o0000ooooooooool0d_ooool2o`00013ooooo000]ooooo`05o`000?oo ooooooooooooool000000_ooool00ol0003oooooooooo`02ooooo`?o0000d_ooool2o`00013ooooo 000Zooooo`05o`000?ooooooooooooooool000000_ooool01?l0003oooooooooool00004ooooo`03 o`000?oooooooooo0>Cooooo000Zooooo`05o`000?ooooooooooooooool000000_ooool01?l0003o ooooooooool00004ooooo`03o`000?oooooooooo0>Cooooo000[ooooo`?o00001?ooool2o`0000Go oooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0d_ooool2o`00013ooooo 000iooooo`;o0000doooool2o`00013ooooo000iooooo`03o`000?oooooooooo0>Cooooo000ioooo o`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`00 0?oooooooooo0=;ooooo0_l0000@ooooo`00>Oooool2o`000=?ooooo0_l0000@ooooo`00>Oooool0 0ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003o ooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool2o`000=?ooooo0_l0 000@ooooo`00>Oooool00ol0003oooooooooo`3Booooo`;o00004?ooool003Wooooo00?o0000oooo ooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0 i?ooool003Wooooo0_l0003Cooooo`;o00004?ooool003Wooooo00?o0000ooooooooool0d_ooool2 o`00013ooooo000iooooo`03o`000?oooooooooo0>Cooooo000Zooooo`Go00000_ooool3o`0000Go oooo00?o0000ooooooooool0i?ooool002_ooooo00Ko0000oooooooooooo0000ooooool00003oooo o`03o`000?oooooooooo00;ooooo00?o0000ooooooooool0i?ooool002cooooo00?o0000oooooooo ool01Oooool00ol0003oooooooooo`02ooooo`?o0000d_ooool2o`00013ooooo000]ooooo`03o`00 0?oooooooooo00Cooooo00?o0000ooooooooool00_ooool00ol0003oooooooooo`3Booooo`;o0000 4?ooool002[ooooo00Ko0000ooooooooooooooooo`000?ooool4o`0000Gooooo00?o0000oooooooo ool0i?ooool002[ooooo00Oo0000ooooooooooooooooo`000?oooooo000000Sooooo00?o0000oooo ooooool0i?ooool002_ooooo0ol00002ooooo`Go00001?ooool00ol0003oooooooooo`3Tooooo`00 >Oooool00ol0003oooooooooo`3Booooo`;o00004?ooool003Wooooo0_l0003Cooooo`;o00004?oo ool003Wooooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0i?ooool003Wo oooo00?o0000ooooooooool0i?ooool003Wooooo00?o0000ooooooooool0d_ooool2o`00013ooooo 000iooooo`;o0000doooool2o`00013ooooo000iooooo`03o`000?oooooooooo0>Cooooo000ioooo o`03o`000?oooooooooo0>Cooooo000iooooo`03o`000?oooooooooo0>Cooooo000iooooo`03o`00 0?oooooooooo0>Cooooo000iooooo`;o0000doooool2o`00013ooooo000iooooo`03o`000?oooooo oooo0=;ooooo0_l0000@ooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003o ooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool2o`000=?ooooo0_l0 000@ooooo`00>Oooool00ol0003oooooooooo`3Booooo`;o00004?ooool003Wooooo00?o0000oooo ooooool0i?ooool002_ooooo0ol00004ooooo`;o00001Oooool00ol0003oooooooooo`3Tooooo`00 :_ooool01Ol0003ooooooooooooooooo000000;ooooo00Co0000oooooooooooo00001?ooool00ol0 003oooooooooo`3Tooooo`00;_ooool01?l0003oooooooooool00002ooooo`03o`000?oooooooooo 00;ooooo0ol0003Booooo`;o00004?ooool002cooooo0_l00003ooooo`04o`000?ooooooooooo`00 00Cooooo00?o0000ooooooooool0d_ooool2o`00013ooooo000^ooooo`04o`000?ooooooooooo`00 00;ooooo00?o0000ooooooooool00_ooool00ol0003oooooooooo`3Tooooo`00:_ooool01Ol0003o oooooooooooooooo000000;ooooo00Co0000oooooooooooo00001?ooool00ol0003oooooooooo`3T ooooo`00:oooool3o`0000Cooooo0_l00005ooooo`03o`000?oooooooooo0>Cooooo000iooooo`;o 0000doooool2o`00013ooooo000iooooo`03o`000?oooooooooo0=;ooooo0_l0000@ooooo`00>Ooo ool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0003oooooooooo`3Tooooo`00>Oooool00ol0 003oooooooooo`3Tooooo`00\ \>"], ImageRangeCache->{{{0, 287}, {176.938, 0}} -> {1.17377, -2.39638, \ 0.000456767, 0.193127}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]], Cell["Right endpoints", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(ListPlot[ Transpose[{Last[Transpose[intervals]], Range[Length[intervals]]}]]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .61803 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations -32.824 25.3172 0.0147151 0.0189872 [ [.21488 .00222 -15 -9 ] [.21488 .00222 15 0 ] [.34147 .00222 -12 -9 ] [.34147 .00222 12 0 ] [.46805 .00222 -15 -9 ] [.46805 .00222 15 0 ] [.59464 .00222 -12 -9 ] [.59464 .00222 12 0 ] [.72123 .00222 -15 -9 ] [.72123 .00222 15 0 ] [.84781 .00222 -12 -9 ] [.84781 .00222 12 0 ] [.9744 .00222 -15 -9 ] [.9744 .00222 15 0 ] [.0758 .10965 -6 -4.5 ] [.0758 .10965 0 4.5 ] [.0758 .20459 -12 -4.5 ] [.0758 .20459 0 4.5 ] [.0758 .29952 -12 -4.5 ] [.0758 .29952 0 4.5 ] [.0758 .39446 -12 -4.5 ] [.0758 .39446 0 4.5 ] [.0758 .4894 -12 -4.5 ] [.0758 .4894 0 4.5 ] [.0758 .58433 -12 -4.5 ] [.0758 .58433 0 4.5 ] [ 0 0 0 0 ] [ 1 .61803 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash .21488 .01472 m .21488 .02097 L s [(1.305)] .21488 .00222 0 1 Mshowa .34147 .01472 m .34147 .02097 L s [(1.31)] .34147 .00222 0 1 Mshowa .46805 .01472 m .46805 .02097 L s [(1.315)] .46805 .00222 0 1 Mshowa .59464 .01472 m .59464 .02097 L s [(1.32)] .59464 .00222 0 1 Mshowa .72123 .01472 m .72123 .02097 L s [(1.325)] .72123 .00222 0 1 Mshowa .84781 .01472 m .84781 .02097 L s [(1.33)] .84781 .00222 0 1 Mshowa .9744 .01472 m .9744 .02097 L s [(1.335)] .9744 .00222 0 1 Mshowa .125 Mabswid .11361 .01472 m .11361 .01847 L s .13893 .01472 m .13893 .01847 L s .16425 .01472 m .16425 .01847 L s .18957 .01472 m .18957 .01847 L s .2402 .01472 m .2402 .01847 L s .26552 .01472 m .26552 .01847 L s .29083 .01472 m .29083 .01847 L s .31615 .01472 m .31615 .01847 L s .36679 .01472 m .36679 .01847 L s .3921 .01472 m .3921 .01847 L s .41742 .01472 m .41742 .01847 L s .44274 .01472 m .44274 .01847 L s .49337 .01472 m .49337 .01847 L s .51869 .01472 m .51869 .01847 L s .54401 .01472 m .54401 .01847 L s .56932 .01472 m .56932 .01847 L s .61996 .01472 m .61996 .01847 L s .64528 .01472 m .64528 .01847 L s .67059 .01472 m .67059 .01847 L s .69591 .01472 m .69591 .01847 L s .74654 .01472 m .74654 .01847 L s .77186 .01472 m .77186 .01847 L s .79718 .01472 m .79718 .01847 L s .8225 .01472 m .8225 .01847 L s .87313 .01472 m .87313 .01847 L s .89845 .01472 m .89845 .01847 L s .92376 .01472 m .92376 .01847 L s .94908 .01472 m .94908 .01847 L s .06298 .01472 m .06298 .01847 L s .03766 .01472 m .03766 .01847 L s .01235 .01472 m .01235 .01847 L s .99972 .01472 m .99972 .01847 L s .25 Mabswid 0 .01472 m 1 .01472 L s .0883 .10965 m .09455 .10965 L s [(5)] .0758 .10965 1 0 Mshowa .0883 .20459 m .09455 .20459 L s [(10)] .0758 .20459 1 0 Mshowa .0883 .29952 m .09455 .29952 L s [(15)] .0758 .29952 1 0 Mshowa .0883 .39446 m .09455 .39446 L s [(20)] .0758 .39446 1 0 Mshowa .0883 .4894 m .09455 .4894 L s [(25)] .0758 .4894 1 0 Mshowa .0883 .58433 m .09455 .58433 L s [(30)] .0758 .58433 1 0 Mshowa .125 Mabswid .0883 .0337 m .09205 .0337 L s .0883 .05269 m .09205 .05269 L s .0883 .07168 m .09205 .07168 L s .0883 .09066 m .09205 .09066 L s .0883 .12864 m .09205 .12864 L s .0883 .14763 m .09205 .14763 L s .0883 .16661 m .09205 .16661 L s .0883 .1856 m .09205 .1856 L s .0883 .22357 m .09205 .22357 L s .0883 .24256 m .09205 .24256 L s .0883 .26155 m .09205 .26155 L s .0883 .28054 m .09205 .28054 L s .0883 .31851 m .09205 .31851 L s .0883 .3375 m .09205 .3375 L s .0883 .35649 m .09205 .35649 L s .0883 .37547 m .09205 .37547 L s .0883 .41345 m .09205 .41345 L s .0883 .43243 m .09205 .43243 L s .0883 .45142 m .09205 .45142 L s .0883 .47041 m .09205 .47041 L s .0883 .50838 m .09205 .50838 L s .0883 .52737 m .09205 .52737 L s .0883 .54636 m .09205 .54636 L s .0883 .56534 m .09205 .56534 L s .0883 .60332 m .09205 .60332 L s .25 Mabswid .0883 0 m .0883 .61803 L s 0 0 m 1 0 L 1 .61803 L 0 .61803 L closepath clip newpath .008 w .40476 .12864 Mdot .40476 .14763 Mdot .40476 .16661 Mdot .20697 .1856 Mdot .10808 .20459 Mdot .05863 .22357 Mdot .0339 .24256 Mdot .0339 .26155 Mdot .02772 .28054 Mdot .02463 .29952 Mdot .02463 .31851 Mdot .02386 .3375 Mdot .02386 .35649 Mdot .02386 .37547 Mdot .02386 .39446 Mdot .02381 .41345 Mdot .02381 .43243 Mdot .02381 .45142 Mdot .02381 .47041 Mdot .02381 .4894 Mdot .02381 .50838 Mdot .02381 .52737 Mdot .02381 .54636 Mdot .02381 .56534 Mdot .02381 .58433 Mdot .02381 .60332 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 177.938}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgooooo`;o00002Oooool01ol0003ooooooooooooooooo0000ooooool000000oooool00ol0 003oooooooooo`07ooooo`;o00002Oooool01ol0003ooooooooooooooooo0000ooooool000000ooo ool00ol0003oooooo`00000:ooooo`00ooooo`03o`000?oooooooooo0?oooooo0oooool001_o oooo00?o0000ooooooooool0ooooool3ooooo`006oooool00ol0003oooooooooo`3oooooo`?ooooo 000Kooooo`03o`000?oooooooooo0?oooooo0oooool000[ooooo0_l0000?ooooo`;o0000ooooool4 ooooo`002_ooool2o`0000oooooo00?o0000ooooooooool0ooooool3ooooo`006oooool00ol0003o ooooooooo`3oooooo`?ooooo000"], ImageRangeCache->{{{0, 287}, {176.938, 0}} -> {1.29606, -2.39638, \ 0.00014484, 0.193127}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]], Cell["All endpoints", "Text"], Cell[CellGroupData[{ Cell[BoxData[ \(Show[%, %%]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .61803 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations -157.714 121.905 0.0147151 0.0189872 [ [.03048 .00222 -15 -9 ] [.03048 .00222 15 0 ] [.27429 .00222 -15 -9 ] [.27429 .00222 15 0 ] [.5181 .00222 -15 -9 ] [.5181 .00222 15 0 ] [.7494 .10965 -6 -4.5 ] [.7494 .10965 0 4.5 ] [.7494 .20459 -12 -4.5 ] [.7494 .20459 0 4.5 ] [.7494 .29952 -12 -4.5 ] [.7494 .29952 0 4.5 ] [.7494 .39446 -12 -4.5 ] [.7494 .39446 0 4.5 ] [.7494 .4894 -12 -4.5 ] [.7494 .4894 0 4.5 ] [.7494 .58433 -12 -4.5 ] [.7494 .58433 0 4.5 ] [ 0 0 0 0 ] [ 1 .61803 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 g .25 Mabswid [ ] 0 setdash .03048 .01472 m .03048 .02097 L s [(1.294)] .03048 .00222 0 1 Mshowa .27429 .01472 m .27429 .02097 L s [(1.296)] .27429 .00222 0 1 Mshowa .5181 .01472 m .5181 .02097 L s [(1.298)] .5181 .00222 0 1 Mshowa .125 Mabswid .09143 .01472 m .09143 .01847 L s .15238 .01472 m .15238 .01847 L s .21333 .01472 m .21333 .01847 L s .33524 .01472 m .33524 .01847 L s .39619 .01472 m .39619 .01847 L s .45714 .01472 m .45714 .01847 L s .57905 .01472 m .57905 .01847 L s .64 .01472 m .64 .01847 L s .70095 .01472 m .70095 .01847 L s .82286 .01472 m .82286 .01847 L s .88381 .01472 m .88381 .01847 L s .94476 .01472 m .94476 .01847 L s .25 Mabswid 0 .01472 m 1 .01472 L s .7619 .10965 m .76815 .10965 L s [(5)] .7494 .10965 1 0 Mshowa .7619 .20459 m .76815 .20459 L s [(10)] .7494 .20459 1 0 Mshowa .7619 .29952 m .76815 .29952 L s [(15)] .7494 .29952 1 0 Mshowa .7619 .39446 m .76815 .39446 L s [(20)] .7494 .39446 1 0 Mshowa .7619 .4894 m .76815 .4894 L s [(25)] .7494 .4894 1 0 Mshowa .7619 .58433 m .76815 .58433 L s [(30)] .7494 .58433 1 0 Mshowa .125 Mabswid .7619 .0337 m .76565 .0337 L s .7619 .05269 m .76565 .05269 L s .7619 .07168 m .76565 .07168 L s .7619 .09066 m .76565 .09066 L s .7619 .12864 m .76565 .12864 L s .7619 .14763 m .76565 .14763 L s .7619 .16661 m .76565 .16661 L s .7619 .1856 m .76565 .1856 L s .7619 .22357 m .76565 .22357 L s .7619 .24256 m .76565 .24256 L s .7619 .26155 m .76565 .26155 L s .7619 .28054 m .76565 .28054 L s .7619 .31851 m .76565 .31851 L s .7619 .3375 m .76565 .3375 L s .7619 .35649 m .76565 .35649 L s .7619 .37547 m .76565 .37547 L s .7619 .41345 m .76565 .41345 L s .7619 .43243 m .76565 .43243 L s .7619 .45142 m .76565 .45142 L s .7619 .47041 m .76565 .47041 L s .7619 .50838 m .76565 .50838 L s .7619 .52737 m .76565 .52737 L s .7619 .54636 m .76565 .54636 L s .7619 .56534 m .76565 .56534 L s .7619 .60332 m .76565 .60332 L s .25 Mabswid .7619 0 m .7619 .61803 L s 0 0 m 1 0 L 1 .61803 L 0 .61803 L closepath clip newpath .008 w .85714 .20459 Mdot .61905 .22357 Mdot .5 .24256 Mdot .5 .26155 Mdot .47024 .28054 Mdot .45536 .29952 Mdot .45536 .31851 Mdot .45164 .3375 Mdot .45164 .35649 Mdot .45164 .37547 Mdot .45164 .39446 Mdot .4514 .41345 Mdot .4514 .43243 Mdot .4514 .45142 Mdot .4514 .47041 Mdot .45139 .4894 Mdot .45139 .50838 Mdot .45139 .52737 Mdot .45139 .54636 Mdot .45139 .56534 Mdot .45139 .58433 Mdot .45139 .60332 Mdot .38095 .16661 Mdot .38095 .1856 Mdot .38095 .20459 Mdot .38095 .22357 Mdot .38095 .24256 Mdot .44048 .26155 Mdot .44048 .28054 Mdot .44048 .29952 Mdot .44792 .31851 Mdot .44792 .3375 Mdot .44978 .35649 Mdot .45071 .37547 Mdot .45117 .39446 Mdot .45117 .41345 Mdot .45129 .43243 Mdot .45135 .45142 Mdot .45138 .47041 Mdot .45138 .4894 Mdot .45138 .50838 Mdot .45139 .52737 Mdot .45139 .54636 Mdot .45139 .56534 Mdot .45139 .58433 Mdot .45139 .60332 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 177.938}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgooooo`03o`000?oooooo oooo00gooooo00?o0000ooooooooool03_ooool00ol0003oooooooooo`0=ooooo`03o`000?oooooo oooo00kooooo00?o0000ooooooooool03_ooool00ol0003oooooooooo`0=ooooo`03o`000?oooooo oooo00kooooo00?o0000ooooooooool03_ooool00ol0003oooooooooo`0=ooooo`03o`000?oooooo oooo00kooooo00?o0000ooooooooool03Oooool00ol0003oooooooooo`0>ooooo`03o`000?oooooo oooo00kooooo00?o0000ooooooooool04Oooool001;ooooo00?o0000ooooooooool0@?ooool00ol0 003oooooooooo`0oooooo`03o`000?oooooooooo043ooooo00?o0000ooooooooool0@oooool00=[o oooo00?o0000ooooooooool0@oooool00=[ooooo00?o0000ooooooooool0@oooool00=[ooooo0_l0 0014ooooo`00f_ooool00ol0003oooooooooo`13ooooo`00f_ooool00ol0003oooooooooo`13oooo o`00f_ooool00ol0003oooooooooo`13ooooo`00f_ooool00ol0003oooooooooo`13ooooo`00f_oo ool2o`0004Cooooo003Jooooo`03o`000?oooooooooo04?ooooo003Jooooo`03o`000?oooooooooo 04?ooooo003Jooooo`03o`000?oooooooooo04?ooooo003Jooooo`03o`000?oooooooooo04?ooooo 003Jooooo`03o`000?oooooooooo04?ooooo003Jooooo`;o0000A?ooool00=[ooooo00?o0000oooo ooooool0@oooool00=[ooooo00?o0000ooooooooool0@oooool00=[ooooo00?o0000ooooooooool0 @oooool00=[ooooo00?o0000ooooooooool0@oooool00=[ooooo0_l00014ooooo`00f_ooool00ol0 003oooooooooo`13ooooo`00dOooool3o`0000Kooooo00?o0000ooooooooool0@oooool00=3ooooo 00Go0000ooooooooooooooooo`000005ooooo`03o`000?oooooooooo04?ooooo003Dooooo`03o`00 0?oooooooooo00?ooooo00?o0000ooooooooool0@oooool00=Cooooo00?o0000ooooooooool00ooo ool2o`0004Cooooo003@ooooo`Co00001_ooool00ol0003oooooooooo`13ooooo`00d?ooool00ol0 003oooooooooo`07ooooo`03o`000?oooooooooo04?ooooo003@ooooo`Go00001Oooool00ol0003o ooooooooo`13ooooo`00f_ooool00ol0003oooooooooo`13ooooo`00f_ooool2o`0004Cooooo003J ooooo`03o`000?oooooooooo04?ooooo003Jooooo`03o`000?oooooooooo04?ooooo003Jooooo`03 o`000?oooooooooo04?ooooo003Jooooo`03o`000?oooooooooo04?ooooo003Jooooo`;o0000A?oo ool00=[ooooo00?o0000ooooooooool0@oooool00=[ooooo00?o0000ooooooooool0@oooool00=[o oooo00?o0000ooooooooool0@oooool00=[ooooo00?o0000ooooooooool0@oooool0077ooooo0_l0 001Wooooo`;o0000A?ooool0077ooooo0_l0001Wooooo`03o`000?oooooooooo04?ooooo003Joooo o`03o`000?oooooooooo04?ooooo003Jooooo`03o`000?oooooooooo04?ooooo003Jooooo`03o`00 0?oooooooooo04?ooooo001aooooo`;o0000Ioooool00ol0003oooooooooo`13ooooo`00LOooool2 o`0006Oooooo0_l00014ooooo`00f_ooool00ol0003oooooooooo`13ooooo`00boooool3o`0000Co oooo0_l00006ooooo`03o`000?oooooooooo04?ooooo003ooooo`;o0000A_ooool00ol0003oooooooooo`13oooo o`00f_ooool00ol0003oooooooooo`13ooooo`00f_ooool00ol0003oooooooooo`13ooooo`00f_oo ool00ol0003oooooooooo`13ooooo`00P_ooool2o`0000Kooooo0_l0001>ooooo`;o0000A?ooool0 08;ooooo0_l00006ooooo`;o0000C_ooool00ol0003oooooooooo`13ooooo`00f_ooool00ol0003o ooooooooo`13ooooo`00boooool3o`0000?ooooo0ol00006ooooo`03o`000?oooooooooo04?ooooo 003"], ImageRangeCache->{{{0, 287}, {176.938, 0}} -> {1.29343, -2.39638, \ 3.00803*^-5, 0.193127}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Showing all intervals", "Subsubsection"], Cell[BoxData[ \(\(segments = Map[Line, Transpose[{Transpose[{Last[Transpose[intervals]], Range[Length[intervals]]}], Transpose[{First[Transpose[intervals]], Range[Length[intervals]]}]}]];\)\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(Show[Graphics[segments\[IndentingNewLine]], AspectRatio \[Rule] .2]\)], "Input"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .2 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations -157.714 121.905 0.0047619 0.00614439 [ [ 0 0 0 0 ] [ 1 .2 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 .2 L 0 .2 L closepath clip newpath 0 g .5 Mabswid [ ] 0 setdash 1 .01091 m 0 .01091 L s 1 .01705 m 0 .01705 L s 1 .0232 m 0 .0232 L s 1 .02934 m 0 .02934 L s 1 .03548 m 0 .03548 L s 1 .04163 m 0 .04163 L s 1 .04777 m 0 .04777 L s 1 .05392 m .38095 .05392 L s 1 .06006 m .38095 .06006 L s .85714 .06621 m .38095 .06621 L s .61905 .07235 m .38095 .07235 L s .5 .07849 m .38095 .07849 L s .5 .08464 m .44048 .08464 L s .47024 .09078 m .44048 .09078 L s .45536 .09693 m .44048 .09693 L s .45536 .10307 m .44792 .10307 L s .45164 .10922 m .44792 .10922 L s .45164 .11536 m .44978 .11536 L s .45164 .12151 m .45071 .12151 L s .45164 .12765 m .45117 .12765 L s .4514 .13379 m .45117 .13379 L s .4514 .13994 m .45129 .13994 L s .4514 .14608 m .45135 .14608 L s .4514 .15223 m .45138 .15223 L s .45139 .15837 m .45138 .15837 L s .45139 .16452 m .45138 .16452 L s .45139 .17066 m .45139 .17066 L s .45139 .1768 m .45139 .1768 L s .45139 .18295 m .45139 .18295 L s .45139 .18909 m .45139 .18909 L s .45139 .19524 m .45139 .19524 L s % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{957, 191.25}, ImageMargins->{{43, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}}, ImageCache->GraphicsData["Bitmap", "\<\ CF5dJ6E]HGAYHf4PAg9QL6QYHgm0000_b000`400?l00000o`00003ooooooooo oooooooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00 oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0 ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003ooooooooooooo ooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo0002oooo oooo0000ool0003oo`000;_o00000oooool00?oooooooooooooooooool3ooooo003ooooooooooooo ooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo0002oooo oooo0000ool0003oo`000;_o00000oooool00?oooooooooooooooooool3ooooo003ooooooooooooo ooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003ooooo ooooooooooooooo0ooooo`000_ooooooo`000?oo0000ool0002ko`0000?ooooo003ooooooooooooo ooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003ooooo ooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool000;oooooool0003oo`000?oo0000 ^ol00003ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003ooooo ooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo 0002oooooooo0000ool0003oo`000;_o00000oooool00?oooooooooooooooooool3ooooo003ooooo ooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo 003oooooooooooooooooooo0ooooo`000_ooooooo`000?oo0000ool0002ko`0000?ooooo003ooooo ooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo 003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool000;oooooool0003oo`00 0?oo0000^ol00003ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo 003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooo ol3ooooo003oooooofgoooooool0003oo`00053o00000oooool00?oooooooooooooooooool3ooooo 003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooo ol3ooooo003oooooofgoooooool0003oo`00053o00000oooool00?oooooooooooooooooool3ooooo 003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooo ol3ooooo003oooooooooooooooooooo0ooooo`00oooooom]oooooooo0000aol0002;ooooo`00oooo oooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0oooo o`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooofgoooooi?l0 003oooooofkooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oo oooooooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?oo ool00?ooooooKOoooomco`000?oooooogoooool00?oooooooooooooooooool3ooooo003ooooooooo ooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003o ooooooooooooooooooo0ooooo`00oooooonVoooooc[o0000oooooooOooooo`00oooooooooooooooo oooo`?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooo oooooooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooojKooooo7Ol0003oooooooco oooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooo oooool3ooooo003oooooooooooooooooooo0ooooo`00oooooonVooooo`oo0000ooooooooooooo`_o oooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooo oooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooo [Oooool8o`000?ooooooooooool;ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooo oooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooo oooooooooooool3ooooo003oooooojgooooo1?l0003ooooooooooooo3oooool00?oooooooooooooo oooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooo oooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooooon_ooooo`;o0000oooooooo ooooo`oooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooo oooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool0 0?oooooo/?ooool00ol0003oooooooooo`3ooooooooooooo3Oooool00?oooooooooooooooooool3o oooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooo oooool3ooooo003oooooooooooooooooooo0ooooo`00oooooon`ooooo`03o`000?oooooooooo0?oo ooooooooool=ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003o ooooooooooooooooooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3o oooo003ooooook3ooooo00?o0000ooooooooool0ooooooooooooo`gooooo003ooooooooooooooooo ooo0ooooo`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003ooooooooo ooooooooooo0ooooo`00oooooon`ooooo`03o`000?oooooooooo0?ooooooooooool=ooooo`00oooo oooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0oooo o`00oooooooooooooooooooo`?ooool00?oooooooooooooooooool3ooooo003ooooook3ooooo00?o 0000ooooooooool0ooooooooooooo`gooooo003oooooooooooooooooooo0ooooo`00oooooooooooo oooooooo`?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooo oooooooooooooooo`?ooool00?oooooo/Oooool00ol0003oooooooooo`3ooooooooooooo3?ooool0 0?oooooooooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooooooooooooooooooo `?ooool00?oooooooooooooooooool3ooooo003oooooooooooooooooooo0ooooo`00oooooonaoooo o`03o`000?oooooooooo0?ooooooooooool"], ImageRangeCache->{{{0, 956}, {190.25, 0}} -> {1.29372, -0.775162, \ 8.62359*^-6, 0.171092}}], Cell[BoxData[ TagBox[\(\[SkeletonIndicator] Graphics \[SkeletonIndicator]\), False, Editable->False]], "Output"] }, Closed]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell["Efficiency of this algorithm", "Subsection"], Cell[BoxData[ \(Since\ each\ time\ the\ length\ of\ the\ interval\ is\ divided\ \ by\ \ 2\ \ this\ algorithm\ is\ very\ efficient . \ We\ will\ obtain\ a\ location\ within\ \ \ 1/ 10\^20\ \ in\ \ about\)], "Text", FontFamily->"Times"], Cell[CellGroupData[{ Cell[BoxData[ \(TraditionalForm\`N[\(log\_2\)(10\^20)]\)], "Input"], Cell[BoxData[ \(66.43856189774725`\)], "Output"] }, Closed]], Cell["steps.", "Text"] }, Closed]], Cell[CellGroupData[{ Cell["Proof the intermediate value theorem", "Subsection"], Cell["\<\ The proof is easy if we know the precise definition of continuity. Continuity means that values are arbitrarily close (to the value at a point) \ on sufficiently small intervals (around this point). This means that on small intervals the function can only have a small spread \ of its values. If on each interval in the construction above some of the values are \ negative and some positive, they must lie around zero and closer to it as the \ size of the interval decreases. We obtain a zero value with arbitrary \ precision.\ \>", "Text"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Exercise", "Section"], Cell[CellGroupData[{ Cell["\<\ Repeat this algorithm for other functions on selected \ intervals\ \>", "Subsection"], Cell["\<\ Make shure each time that the function has values with different \ signs at both endpoints of the initial interval.\ \>", "Text"] }, Closed]] }, Closed]] }, Open ]] }, FrontEndVersion->"4.1 for Macintosh", ScreenRectangle->{{0, 1152}, {0, 746}}, WindowSize->{886, 705}, WindowMargins->{{1, Automatic}, {Automatic, 1}} ] (******************************************************************* Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. *******************************************************************) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[1727, 52, 50, 0, 65, "Subtitle"], Cell[1780, 54, 81, 4, 89, "Subsubtitle"], Cell[CellGroupData[{ Cell[1886, 62, 39, 0, 56, "Section"], Cell[1928, 64, 1088, 17, 142, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[3053, 86, 39, 0, 36, "Section"], Cell[CellGroupData[{ Cell[3117, 90, 67, 0, 46, "Subsection"], Cell[3187, 92, 78, 1, 31, "Input"], Cell[3268, 95, 226, 4, 46, "Text"], Cell[CellGroupData[{ Cell[3519, 103, 32, 0, 42, "Subsubsection"], Cell[CellGroupData[{ Cell[3576, 107, 72, 1, 27, "Input"], Cell[3651, 110, 57, 1, 27, "Output"] }, Closed]], Cell[3723, 114, 244, 7, 29, "Text"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[4016, 127, 41, 0, 30, "Subsection"], Cell[4060, 129, 239, 5, 46, "Text"], Cell[4302, 136, 143, 3, 27, "Input"], Cell[CellGroupData[{ Cell[4470, 143, 46, 0, 42, "Subsubsection"], Cell[CellGroupData[{ Cell[4541, 147, 78, 1, 27, "Input"], Cell[4622, 150, 269, 4, 43, "Output"] }, Closed]], Cell[CellGroupData[{ Cell[4928, 159, 55, 1, 27, "Input"], Cell[4986, 162, 601, 19, 197, "Output"] }, Closed]], Cell[5602, 184, 51, 0, 30, "Text"], Cell[CellGroupData[{ Cell[5678, 188, 78, 1, 27, "Input"], Cell[5759, 191, 1261, 23, 107, "Output"] }, Closed]], Cell[CellGroupData[{ Cell[7057, 219, 55, 1, 27, "Input"], Cell[7115, 222, 1702, 39, 517, "Output"] }, Closed]], Cell[8832, 264, 111, 3, 30, "Text"], Cell[CellGroupData[{ Cell[8968, 271, 44, 1, 27, "Input"], Cell[9015, 274, 88, 1, 29, "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[9152, 281, 45, 0, 28, "Subsubsection"], Cell[9200, 283, 30, 0, 30, "Text"], Cell[CellGroupData[{ Cell[9255, 287, 127, 3, 27, "Input"], Cell[9385, 292, 16731, 440, 186, 4072, 279, "GraphicsData", "PostScript", \ "Graphics"], Cell[26119, 734, 130, 3, 27, "Output"] }, Closed]], Cell[26264, 740, 31, 0, 30, "Text"], Cell[CellGroupData[{ Cell[26320, 744, 126, 3, 27, "Input"], Cell[26449, 749, 19737, 517, 186, 4580, 325, "GraphicsData", "PostScript", \ "Graphics"], Cell[46189, 1268, 130, 3, 27, "Output"] }, Closed]], Cell[46334, 1274, 29, 0, 27, "Text"], Cell[CellGroupData[{ Cell[46388, 1278, 44, 1, 27, "Input"], Cell[46435, 1281, 15142, 405, 186, 3812, 261, "GraphicsData", "PostScript", \ "Graphics"], Cell[61580, 1688, 130, 3, 27, "Output"] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[61759, 1697, 46, 0, 42, "Subsubsection"], Cell[61808, 1699, 279, 6, 59, "Input"], Cell[CellGroupData[{ Cell[62112, 1709, 108, 2, 43, "Input"], Cell[62223, 1713, 8115, 217, 200, 1569, 132, "GraphicsData", "PostScript", \ "Graphics"], Cell[70341, 1932, 130, 3, 27, "Output"] }, Closed]] }, Closed]] }, Closed]], Cell[CellGroupData[{ Cell[70532, 1942, 50, 0, 30, "Subsection"], Cell[70585, 1944, 257, 5, 31, "Text"], Cell[CellGroupData[{ Cell[70867, 1953, 71, 1, 31, "Input"], Cell[70941, 1956, 52, 1, 27, "Output"] }, Closed]], Cell[71008, 1960, 22, 0, 27, "Text"] }, Closed]], Cell[CellGroupData[{ Cell[71067, 1965, 58, 0, 30, "Subsection"], Cell[71128, 1967, 556, 11, 110, "Text"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[71733, 1984, 27, 0, 56, "Section"], Cell[CellGroupData[{ Cell[71785, 1988, 95, 3, 46, "Subsection"], Cell[71883, 1993, 140, 3, 30, "Text"] }, Closed]] }, Closed]] }, Open ]] } ] *) (******************************************************************* End of Mathematica Notebook file. *******************************************************************)