1、毕业论文开题报告数学与应用数学实数完备性定理相互论证及应用一、选题的意义对牛顿和莱布尼兹创立了微积分，但是当时分析的基础还极其不完善，这导致了第二次数学危机，直接的结果就是大量优秀的数学家投身到了研究实数基础的行列中，这其中相当重要的一部分就是实数的完备性公理，实数的完备性定理包括七条，这七条是等价的。作为分析学早期的经典定理之一，聚点定理成为了分析的基础，是研究实数的几何性质的重要工具，后来，因为它是很多拓扑空间所共有的性质，终于使数学家修正了聚点的原始定义，赋予它拓扑含义，进而建立了列紧性的概念。柯西收敛准则不仅在数列收敛，求极限，证明定理中有用，还贯穿数学的各个方面。有限覆盖定理沟通了“
2、有限”与“无限”，是一个质的变化，对于研究本生不连续却具有与连续函数相似的性质的函数，有限覆盖定理起了很大作用。除此之外，致密性定理，确界定理，单调有界定理，区间套定理在证明一些重要的定理中有广泛应用。深刻了解实数的完备性定理以及他们之间的相互关系对数学的近一步学习有十分重要的意义。弄清了实数完备性七个定理之间的相互转化就弄清了实数完备性。实数完备性是微积分的理论基础，七个基本定理分别从不同的角度来描述与刻画，循环论证在很多书上可以看到，相互论证却难以找到，因此，为了对实数完备性有一个深层次的认识，我将对实数完备性七个定理之间的相互论证进行探究。二、研究的主要内容，拟解决的主要问题（阐述的主要
3、观点）研究的主要内容确界存在定理（非空有上界数集必有上确界，非空有下界数集必有下确界）单调有界定理（单调有界数列必收敛）区间套定理（设是一闭区间套则存在唯一的点,使对有致密性定理（任一有界数列必有收敛子列）聚点定理（每一个有界无穷点集必有聚点）有限复盖定理（闭区间的任一开复盖必有有限子复盖）CAUCHY收敛准则（数列收敛是CAUCHY列）七个定理之间的相互论证，创新证明的方法与思路。三、研究（工作）步骤、方法及措施（思路）1材料收集。主要途径有图书馆书籍、网络资源、教师资源及个人资源。2材料整理。确认材料和分析分类材料。3论文执笔。思考论文布局及写出初稿。4论文初稿修改。5在教师的指导和自己的
4、进一步认识下,对论文再进行多次修改校正。6论文定稿。7论文完成。四、毕业论文（设计）提纲一目录二摘要三概念四符号说明五主要内容1、定理简述2、定理相互证明3、定理应用六参考文献五、主要参考文献1华东师范大学数学系，数学分析（第三版）M北京高等教育出版社，20072武汉大学数学系，数学分析中的典型问题与方法（第二版）M北京高等教育出版社，20093PUGH，实数学分析第一版M北京高等教育出版社，2009毕业论文文献综述数学与应用数学实数完备性定理相互论证及应用牛顿和莱布尼兹创立了微积分，但是当时分析的基础还极其不完善，这导致了第二次数学危机，直接的结果就是大量优秀的数学家投身到了研究实数基础的行
5、列中，这其中相当重要的一部分就是实数的完备性公理。一、国内外研究的历史发展自从毕达哥拉斯学派在公元前5世纪发现无理数以来，人们对无理数的认识经历了难以想象的历史长河，直到19世纪中叶，人类的全部智慧仅停留在有理数与个别无理数的认识阶段19世纪后半叶，柯西与魏尔斯特拉斯建立极限理论为微积分奠定了基础，而极限理论却又是建立在实数连续性的假设之上的为使微积分的基础更牢固，建立系统的实数理论成为数学科学发展的关键建立实数理论的难点是给无理数下定义历史有时真巧合，实数的三大派理论戴德金的“分割”、康托尔的“基本序列”、魏尔斯特拉斯的“单调有界序列”是同一年（1872年）在德国出现的以下分别给予简单的介绍
6、戴德金借助几何直观，通过以他名字命名的分割技术对有理数进行分割，巧妙而又严密的给出无理数的定义大意如下把有理数集Q分成与两个子集，使其满足下列三个条件（1）；（2）中的任何一数小于中的任一数；（3）中无最大数称上述分解为有理数的一个戴德金分割，并记做凡是中有最小数的分割称为第一类分割，这类分割的界数（即从有理数范围内来考虑，与之间所缺乏的数）称为无理数；有理数和无理数统称为实数戴德金同时证明对实数作同样的分割不产生新的数这就是实数的完备性或连续性（可用利刀切洒上金粉的细线来解释有理数的非完备性及实数的完备性）现在人们把实数轴作为实数的几何模型，即实数与实数轴上的点一一对应，这是基于实数的连续性
7、与直线连续性的统一。康托尔借助有理数“基本序列”来定义无理数，其工作是建立在柯西的工作基础之上的柯西建立他的极限理论时，已经注意到无理数的重要性，在他的分析教程中把无理数定义为有理数序列的极限，即为有理数序列，若,则称是一个无理数这个定义显然不确切其一是因为有理数序列的极限不一定是无理数其二更为重要的是在这个定义中，他把的存在性看作是已经证明过的结论或已定义过的概念来使用，因而陷入逻辑循环康托尔对柯西的定义作了如下修改如果对于任意正整数，则称为基本序列，并称有理数的基本序列为实数进而他还证明了以实数构成的基本序列的极限仍是实数，这就是说实数集是完备的同年，德国数学家海涅（HEINE，18211
8、881）对康托尔的基本序列的概念作了进一步的完善称为基本序列是指，只要充分大就有今天习惯上称这种序列为柯西序列魏尔斯特拉斯早在1860年就运用递增有界数列来定义无理数了（在柏林大学的讲义中有记载），但直到1872年，他的这一观点才由他的学生柯沙克（HKOSSAK）替他公开发表从上述的实数连续理论构建的背景介绍中，我们看到实数概念建立有理数的概念之上，很自然要追问有理数理论已经构建好了吗（正）有理数是用自然数之比来定义的，因此进一步要追问自然数理论已经建立好了吗这个问题由意大利数学家佩亚诺在1889年建立自然数公里体系时已经解决，这里不作详细介绍另一方面，从上面的介绍中，我们也看到实数（无理数）
9、概念是建立在无穷集的基础之上，而且极限理论的构建中也碰到过无穷的问题，因而很有必要构建一门处理“无穷”的数学学科二、实数完备性研究价值实数完备性定理相互论证及应用的研究,对于培养学生严谨的逻辑思维以及培养学生从多角度思考问题具有十分重要的意义，实数完备性定理证明过程体现了聚合思维与发散思维的完美结合，从不同的角度论证同一个问题不仅完备，更是完美。三、参考依据经过前期对网络、书籍等资料的整理和理解，我筛选出以下几篇文献作为主要参考资料。在论文资料的搜集过程中，有许多优秀的论文文献，每一篇都有其独特的见解。正是基于先前学者们的深入研究和总结，使我较快的投入到该题材的研究，并对该论文题材的认识由浅入
10、深，直至其本质。最终在这些文献的指导和影响下，使我顺利的完成了本次论文的撰写。参考文献1华东师范大学数学系，数学分析（第三版）M北京高等教育出版社，20072武汉大学数学系，数学分析中的典型问题与方法（第二版）M北京高等教育出版社，20093PUGH，实数学分析第一版M北京高等教育出版社，2009（20_届）本科毕业设计数学与应用数学实数完备性定理的相互论证及应用摘要牛顿和莱布尼兹创立了微积分，但是当时分析的基础还极其不完善，这导致了第二次数学危机，直接的结果就是大量优秀的数学家投身到了研究实数基础的行列中，这其中相当重要的一部分就是实数的完备性公理，实数完备性的七个定理从不同的角度刻画，这七
11、个定理是等价的，到目前为止，七个定理的证明方法多种多样，本文将七个定理的相互论证分为四类构造区间套法，反证法，构造区间套与反证法相结合，寻找特殊点法。实数完备性的重要性不仅体现在生活中有广泛的应用，还体现在证明其他重要定理如DINI定理，根的存在性定理中，本文将浅谈几个重要的应用。关键词实数完备性，七个定理，相互论证，构造区间套法，反证法，构造区间套与反证法相结合，寻找特殊点法。1、引言一直以来我都在想用正确的A来证明B可不可靠，我们假设A是正确的，而A的正确性是由正确的C得到的，而C的正确性是由正确的B得到的，到最后我们用正确的B来证明B的正确性，似乎是不合理的，这不禁让我想到了在很多时候我
12、们的很多证明都有这种情况，也让我想到了实数完备性定理的循环论证。后来我想是不是由于这个原因，数学变得脆弱，如果某个人们以为的某个正确的东西错了，就会引起数学危机。循环论证虽简洁，也体现了数学的美，但我认为它至少存在以下问题其一是用正确的B来证明B的正确性，其二是以串联的形式出现，一个错了，就会断路。那么实数完备性定理的循环论证是不是也会有这些问题，相互论证构建的是一个更复杂的网络，它会比循环论证更经的起推敲，因此，我选择进行实数完备性的相互论证。本文将实数完备性七个定理相互间的论证方法归为四类，即构造区间套法，反证法，构造区间套与反证法相结合，寻找特殊点法。对每种类型给出其中的一个证明，其他简
13、略的说一下思路。本文从实际与理论两个方面浅谈了实数完备性定理的一些应用。2、实数完备性定理的概述实数完备性的基本定理有七个（1）确界定理非空有上界数集必有上确界，非空有下界数集必有下确界。（2）单调有界定理单调有界数列必收敛。（3）区间套定理设是一闭区间套则存在唯一的点,使对有。（4）致密性定理任一有界数列必有收敛子列。（5）聚点定理每一个有界无穷点集必有聚点。6有限覆盖定理闭区间的任一开覆盖必有有限子覆盖。7CAUCHY收敛准则数列收敛是CAUCHY列。其实确界定理，单调有界定理，区间套定理，致密性定理，聚点定理，CAUCHY收敛准则，他们都指出，在某种情况下便有这样的某种“点”存在。七条定
14、理是等价的。作为分析学早期的经典定理之一，聚点定理成为了分析的基础，是研究实数的几何性质的重要工具，后来，因为它是很多拓扑空间所共有的性质，终于使数学家修正了聚点的原始定义，赋予它拓扑含义，进而建立了列紧性的概念。柯西收敛准则不仅在数列收敛，求极限，证明定理中有用，还贯穿数学的各个方面。有限覆盖定理沟通了“有限”与“无限”，是一个质的变化，对于研究本生不连续却具有与连续函数相似的性质的函数，有限覆盖定理起了很大作用。除此之外，致密性定理，确界定理，单调有界定理，区间套定理在证明一些重要的定理中有广泛应用。深刻了解实数的完备性定理以及他们之间的相互关系对数学的近一步学习有十分重要的意义。3、实数
15、完备性七个定理相互论证本文将实数完备性七个定理相互间的论证方法归为四类，即构造区间套法，反证法，构造区间套与反证法相结合，寻找特殊点法。31构造区间套法构造区间套法的基本思路找到进行分割的区间，根据特定的条件构造区间套，再利用已知条件得出结论。利用构造区间套法可以进行以下证明确界定理单调有界定理单调有界定理致密性定理确界定理区间套定理致密性定理聚点定理聚点定理CAUCHY收敛准则CAUCHY收敛准则聚点定理单调有界定理致密性定理单调有界定理致密性定理CAUCHY准则CAUCHY收敛准则聚点定理确界定理确界定理确界定理单调有界定理单调有界定理聚点定理聚点定理致密性定理致密性定理CAUCHY收敛准
16、则CAUCHY准则311应用区间套定理证明确界定理证明我们只证有上界就一定有上确界，对于有下界一定有下确界的情况也可以类似的证明设M为集合E的上界，若E有最大值，则已证。下面证无最大值的情况对“XE，将X,M二等分若右半区间含E中的点，则将右半边记为1A,1B若右半区间不含E中的点，则将左半边记为1A,1B依次下去则得区间套NA,NB,NA单调递增，NB单调递减，且NBNA0N根据区间套定理,XNA,NB根据区间套的构造可知E中的任意点都小于等于X，且对任意的AE,存在N,当NN,有NAA，故X为上确界。312应用区间套定理证致密性定理证明设的上界为M，下界为M，将M,M二等分若右半区间含E中
17、无穷多个点，则将右半边记为1A,1B若右半区间仅含E中有限个点，则将左半边记为1A,1B依次下去，则得区间套NA,NB，由区间套定理，可得XNA,NB，且根据区间套的构造，在X的任意领域内都有无穷多的点，我们先取其中的一XX，XX,取里面的一点作为1Y，再取（XX/2，XX/2）与X1Y，X1Y小的一个作为第二个领域，在其中任取一点作为2Y，依次下去，便有了收敛子列NY。对于利用区间套定理证明单调有界定理，令NXM用同样的方法二等分1X,M便可，因为如果二等分只要右边有NX中的点，就有无穷多个点，左边就只有有限个点，一直下去，再利用极限定义的推论证明。利用区间套定理证明CAUCHY准则时，令M
18、为上界，为M下界，对M,M进行等分，取有无限多个点为构造区间套便可。利用区间套定理证明聚点定理，也取有无限多个点为构造区间套便可。313应用单调有界定理证明确界定理证明设的上界为M，1X,M将二等分若右半区间含E中的点，则将右半边记为1A,1B若右半区间不含E中的点，则将左半边记为1A,1B依次下去则得区间套NA,NBNA单调递增，NB单调递减且NBNA0N根据单调有界定理，NA,NB均收敛根据区间套NA,NB的构造及上确界的定义，极限值就是上确界。对于利用CAUCHY准则证明确界定理与上述方法一样，不同之处在于利用CAUCHY准则来证明极限存在。利用致密性定理证明确界定理时，我们在1A,1B
19、中取1Y，在2A,2B中取2Y，依次下去，便得收敛子列NY，收敛子列X以为极限，易知X是上确界。利用聚点定理证明确界定理时,令ENANB，至少有一个聚点X，而X是E的上确界。314应用CAUCHY准则证明单调有界定理证明设的上界为M，将1X,M二等分若右半区间含NX中的点，那么根据单调性，在右半边就会有无穷多个点，且左半边只有有限个点，将右半边记为1A,1B若右半区间不含NX中的点，也就是左半边有无穷多的点，将左半边记为1A,1B依次下去则得区间套NA,NBNA单调递增，NB单调递减且NBNA0N根据CAUCHY准则，NA,NB均收敛，且对任意的N,在NA,NB外只有有限个NX的点，换句话说，
20、在NA的极限的某领域外只有NX的有限个点，那么NA的极限就是NX的极限。对于利用聚点定理证明单调有界定理时，令ENANB至少有一个聚点X，而X就是极限。利用致密性定理证明单调有界定理时，与应用CAUCHY准则证明单调有界定理一样，不同的是取的是NA,NB的子列。315应用单调有界定理证明致密性定理证明设的上界为M，下界为M，将M,M二等分若右半区间含E中无穷多个点，则将右半边记为1A,1B若右半区间仅含E中有限个点，则将左半边记为1A,1B依次下去则得区间套NA,NBNA单调递增，NB单调递减根据单调有界定理，NA,NB均收敛,且收敛于同一个数，NA,NB中取NX，那么由迫敛性NX收敛，是E的
21、收敛子列。对于利用确界定理证明致密性定理，利用CAUCHY准则证明致密性定理，利用聚点定理证明致密性定理，均采用14的证法，所不同的是利用不同的定理构造NX，如利用确界定理证明致密性定理，我们利用确界的定义构造。316应用聚点定理证明CAUCHY准则证明设的上界M，下界为M，NX为CAUCHY列，将M,M二等分若右半区间含NX中无穷多个点，则将右半边记为1A,1B若右半区间仅含NX中有限个点，则将左半边记为1A,1B依次下去则得区间套NA,NBNA单调递增，NB单调递减且NBNA0N由聚点定理，ENANB至少有一个聚点X根据聚点的定义及区间套的构造，NX收敛于X。对于应用单调有界定理证明CAU
22、CHY准则时，同样将M,M二等分，而NA的极限是NX的极限。应用确界定理证明CAUCHY准则时，恰为的极限。应用致密性定理证明CAUCHY准则时，以收敛子列为极限。317应用确界定理证明聚点定理证明设的上界为M，下界为M，将M,M二等分若右半区间含E中无穷多个点，则将右半边记为1A,1B若右半区间仅含E中有限个点，则将左半边记为1A,1B依次下去则得区间套NA,NBNA单调递增，NB单调递减且NBNA0N由确界定理，SUPNA,INFNB均存在根据区间套的构造，SUPNA,INFNB的任意领域内均有E的无穷多个点，故SUPNA,INFNB正好为E的聚点。对于应用单调有界定理证明聚点定理，应用C
23、AUCHY准则证明聚点定理，应用致密性定理证明聚点定理，方法类似。32反证法利用反证法可以进行以下证明聚点定理确界定理有限覆盖定理CAUCHY准则致密性定理区间套定理单调有界定理利用反证法的基本思路假设欲证结论不成立，构造开覆盖，再利用有限覆盖定理推出矛盾。321应用有限覆盖定理证明聚点定理证明反证法设E为直线上有界无限点集，存在M，M,使得EM,M假定M,M中的任何点都不是E的聚点，则对“XM,M，XD,ST,UX,XD内至多包含E的有限多个点，构造HUX,XD|XM,M则H为一个开覆盖，覆盖M,M，从而覆盖E，根据有限覆盖定理，存在子覆盖U1X,1XD，U2X,2XDUNX,XND由于每个
24、UX,XD中只含的有限个点，这与是无限点集矛盾。322应用有限覆盖定理证明确界定理证明反证法假设E无上确界，对“XE，有XM，任取0XE考虑0X，M，对“X0XM，当X为E的上界时，1XXXD使得在U2X,XD皆不为E的上界故上每一点都存在XD，它们要么每点都为上界，要么每点都不是上界，这些领域组成一个开覆盖，则根据有限覆盖定理,必有子覆盖U1X,1XD，U2X,2XDUNX,XND，覆盖0X,M根据M所在的开区间，判断应皆为E的上界，而两个相邻的开覆盖有交集，经过有限次邻接后，0X所在邻域也皆是的上界，矛盾。323应用有限覆盖定理证明区间套定理证明反证法若每一点都不是公共点，则每个X均可以找
25、到一个开邻域UX,XD，有0NA,0NB与UX,XD不相交，当时NN0，便有NA,NB与UX,XD不相交，又构成一个开覆盖HUX,XD|XM,M，则根据有限覆盖定理，必有子覆盖U1X,1XD，U2X,2XDUNX,NKD我们只需取每个子覆盖对应的最大的N，即NMAXN1,N2,，NK这样便有NA,NB不在区间上，得出矛盾。324应用有限覆盖定理证明CAUCHY准则证明反证法设的上界为M，下界为M，NX为CAUCHY列若M,M中的任意点均不是NX的极限，则NX至少有两个收敛子列，对于这个结论，在本论文的最后我会给出解释，在此直接应用，我们可以先证只有两个收敛子的情况，设两个收敛子列分别收敛于A，
26、B，则除了A、B外对于“XM,M，XD,STUX,XD中只有NX中的有限项，我们分别取A、B的一个领域，使这两个领域不相交，构成一个开覆盖HUX,XD|XM,M覆盖M,M，当然覆盖NX则根据有限覆盖定理，必有子覆盖U1X,1XD，U2X,2XDUNX,NKD，覆盖M,M，我们取EMIN1XD,2XDNKD,存在N，当N,MN时，有NMXXEN时，所有的NX都在子覆盖其中的两个中。那么NX中有无限个不满足要求，矛盾。对于应用有限覆盖定理证明单调有界定理，应用有限覆盖定理证明致密性定理，与24的证明类似。33构造区间套与反证法相结合利用区间套与反证法相结合可以进行以下证明确界定理CAUCHY准则致
27、密性定理区间套定理有限覆盖定理聚点定理单调有界定理331应用区间套定理证明有限覆盖定理证明反证法假设结论不成立，即不能用中的有限个开区间来覆盖A,B，将A,B等分为两个子区间，则其中至少有一个子区间不能用H中的有限个开区间来覆盖，记这个子区间为1A,1B,则1A,1BA,B,且1B1A12（BA）依次下去得到闭区间列NA,NB，它满足NA,NB1NA,1NB，且NBNA0N,即NA,NB为区间列，且其中每一个闭区间都不能用H中的有限个开区间来覆盖由区间套定理可知，存在唯一的一点XNA,NB，由于H是A,B的一个开覆盖，故存在开区间A,BH，STXA,B于是当N充分大时有NA,NBA,B这表明只
28、须用一个开区间就可以覆盖A,B，得出矛盾。下面我简单说一下在应用其他定理证明有限覆盖定理的思路，对于应用确界定理证有限覆盖定理时,XSUPNA当N充分大时A,NA中的一项NA，STAEN时，有AEN时有AE，0,0NXE，0,NNXE时有0NXGE，将N固定，当00,NNNXE。由于NNXFXSXG在,AB轾犏臌上连续，即然0NXGE，当0000,XXXDD时，NXGE时，更有NXGE时，对,XUXLLD恒有NXGE时恒有NXGE，0FB反证法，倘若没有根，那么对,XAB轾“犏臌，0FX，则XD，,XSTUXD的每一点都很恒大于0，或恒小于0这样就构造了一个开覆盖，可以找出有限个1122,KK
29、UXUXUXDDD覆盖,AB轾犏臌，而相邻的两个邻域必相交，且均同号，这与FA，FB异号矛盾。事实上，如果我们在实数完备性定理条件的基础上，再加一些条件，会得出一些更好的结论如对于有界的无穷点列，如果再加上没有极限的条件，我们可以得出至少有两个聚点。因为有界的无穷点列根据聚点定理至少有一个聚点，换句话说，有子列收敛与这个聚点，将这个子列从原有的点列中去掉，若剩下的是有限个点，那么原有点列就收敛于这个聚点，这与没有极限是矛盾的，因此剩下无穷多的点，那么再根据聚点定理，剩下的点列还会有一个聚点，故我们说它至少有两个聚点。在实数完备性的定理中，若细细推敲，可以发现的不仅仅只是这些定理本身。参考文献1
30、华东师范大学数学系，数学分析上（第三版）M北京高等教育出版社，20072武汉大学数学系，数学分析中的典型问题与方法（第二版）M北京高等教育出版社，20093PUGH，实数学分析第一版M北京高等教育出版社，20094北京大学数学系，数学分析新讲（第一版）M北京北京大学出版社，19905菲赫金哥尔茨，微积分学教程（第二版）M北京高等教育出版社，19546（美）R柯朗，（美）F约翰，微积分和数学分析引论（第一版）M北京科学出版社，20057费定晖，吉米多维奇数学分析习题集精选精解（第三版）M山东山东科学技术出版社，20098周民强，数学分析习题演练（第二版）M北京科学出版社，20109吉米多维奇，数
31、学分析习题集（第一版）M北京人民教育出版社，195810华东师范大学数学系，数学分析下（第三版）M北京高等教育出版社，200711薛春华，数学分析精选习题全解（第三版）M北京清华大学出版社，2010PROOFOFCOMPLETENESSTHEOREMANDAPPLICATIONSABSTRACTNEWTONANDLEIBNIZCREATEDCALCULUS,BUTATTHETIMEOFTHEFOUNDATIONISSTILLVERYIMPERFECT,WHICHLEADSTOTHESECONDMATHEMATICALCRISISISADIRECTRESULTOFALARGENUMBEROFOU
32、TSTANDINGMATHEMATICIANSTOSTUDYTOJOINTHERANKSOFTHEREALFOUNDATION,OFWHICHISAVERYIMPORTANTPARTOFTHEAXIOMOFCOMPLETENESSOFTHEREALNUMBER，REALNUMBERSEVENCOMPLETENESSTHEOREMOFCHARACTERIZATIONFROMDIFFERENTANGLES,THISTHEOREMISEQUIVALENTTOSEVEN,SOFAR,THEREAREMANYWAYSTOPROVETHETHEOREM,SEVENARGUMENTBETWEENTHETHE
33、OREMISDIVIDEDINTOFOURCATEGORIESINTHISPAPERSTRUCTURALNESTEDINTERVALMETHOD,REDUCTIOADABSURDUM,ANDREDUCTIOADABSURDUMSTRUCTURECOMBININGINTERVALSETSTOFINDCOMMONPOINTMETHODTHEIMPORTANCEOFCOMPLETENESSOFREALNUMBERSISNOTONLYREFLECTEDINTHELIFEOFAWIDERANGEOFAPPLICATIONS,BUTALSOINTHATOTHERIMPORTANTTHEOREMSSUCHASTHEDINITHEOREM,EXISTENCETHEOREMSINTHEROOT,THEREARESEVERALIMPORTANTAPPLICATIONSINTHISARTICLEKEYWORDSREALNUMBER,SEVENTHEOREM,EACHARGUMENTISCONSTRUCTEDNESTEDINTERVALMETHOD,PROOFBYCONTRADICTION,REDUCTIOADABSURDUMSTRUCTURECOMBINEDWITHTHEINTERVALSETTOFINDASPECIALPOINTOFLAW
