版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、大学理学院毕业论文(设计)反证法在分析学中的应用反证法在分析学中的应用专 业数学与应用数学数学与应用数学 系(院)理学院理学院 2 / 16摘 要“反证法”是数学证明中的一种重要方法,运用起来简明间接,是一种重要的数学思想方法.本文主要介绍了“反证法”的逻辑依据和步骤.列举了一些在分析学中比较适合用反证法解决的问题.同时指出了如何正确的运用反证法.关键字:数学分析 反证法 应用3 / 16ABSTRACTABSTRACTReductio ad absurdum isan importantmethodofmathematical proof, usecondensedindirect, isa
2、n importantmathematical thinking. This paperdescribes therationaleofthereductio ad absurdum and steps. Examplesreductioad absurdummore suitable for useintheanalysis oflearningto solveproblems.Also pointed outhow to properlyusereductio ad absurdumKeywordsKeywords: mathematical analysis, reductioad ab
3、surdum, the application4 / 16目 录1 1,引言,引言 .1 12 2 ,反证法的原理和步骤,反证法的原理和步骤 .1 13 3,反证法的应用,反证法的应用 .1 13.1 应用类型一.23.2 应用类型二.33.3 应用类型三.53.4 应用类型四.83.5 应用类型五.94.4.结束语结束语1010参考文献参考文献 .12125 / 16致致 .13131 引言反证法是分析学中经常要用到的解题方法之一.无论是在定理证明中还是在解题中,经常都要用到反证法.并且相对对一些比较抽象或者是用直接证法比较困难的命题而言,反证法具有一定的优势,效果非常明显.此外,反证法作为
4、一种间接证明的方法在分析学中应用非常广泛.首先我们来了解一下反证法.2,反证法的原理和步骤 反证法就是从反面的角度思考问题的证明方法,属于“间接证明”的一类,即肯定题设二否定结论,通过推理导出矛盾,进而证明命题. 反证法证明命题的具体步骤:(1)反设,即作出与求证结论相反的假设;(2)由反设与题设条件出发,推出与公理,定义,已知定理或题设相矛盾的结果.(3)存真,即由所得矛盾证明了反设不成立,从而肯定了原结论正确.6 / 163,反证法的应用 反证法运用巧妙,适用围广泛。一般说来,能用直接证明的命题,其证明过程都可以改写成反证法的形式.但通常我们只对那些用直接证法难以下手的问题转而使用反证法.
5、而如何判断命题“若A则B“有没有直接证明的证明依据,则是数学分析中是否建立了关于B或不B的有关理论而定.若建立了关于B的有关理论,则宜用直接证法证明,若没有建立关于B的有关理论,而建立了关于不B的有关理论,则用反证法.经过观察,以下几种命题类型用反证法证明比较合适.3.1当命题的结论中带有“函数F(x)F(x)某个特定的常数”时,适合用反证法证明.例例 1 1 设F为闭区间上的连续函数,且F(a)F(b)0,则,使得ba,ba,F()=0.证法证法1 1 不妨设F(a)0,F(b) 0.假设F(x).现将两等分,若F()0,则取,bax, 0ba,2ba 21bab=a;若F()0,则取,=b
6、. 此时,F()0,F()0.1a2ba 21baa1b1a1b再将两等分,若F()0,则取=,=;若11,ba211ba 2a1a2b211ba F()0,则取,=,此时F()0,F()0,如此211ba 2112baa2b1b2a2b下去,得一递降闭区间套:,ba,11,ba22,bannba ,=0(n+),F()0,F()0.根据实数连续nnab nab2nanb性命题(三)(闭区间套原理)知,显然,=10,nnnbaxba,limnna=.0 xlimnnb由F连续知,0F()=F()=F()0.所以有F()limnna0 xlimnnb0 x=0,又F(a)0,F(b) 0,故a,
7、b,这与假设相矛盾.因此,0 x),(0bax 必有,使得F()=0.ba,7 / 16证法证法2 2 假设F(x),由F连续知,0,s.t.F在bax, 0 x上严格同号,则开区间族baxxxx,Q=baxxxxx,为上的一个开区间覆盖,根据实数连续性命题(四)(的紧致性)知ba,ba,存在有根的子覆盖Q =。不失一般性,设1kixxiixixi,.,2 , 1,,如果,那么F与F(a)严格同1111,xxxxa111,1xxbaxba,号,从而F(a)F(b) 0,这与题设F(a)F(b)0相矛盾,因此,从而,不妨设.1111,xxxxbbaxix,12222,xxxixxxi由于,所以F
8、在与 2212211,xxxxxxx1111,xxxx上严格同号,依次得到一串开区间2222,xxxx,F在这些开区间上依次是同号的,并且kllixxiixixi其中,.,2 , 1,,所以F(a)与F(b)严格同号,这与F(a)与F(b)严llxlxlxxb,1格异号相矛盾.3.2当命题的结论中带有“极限零或某个特定的常数”时,在已知极限存在或者易证出极限存在的前提下,宜于用反证法证明;反之,则比较适合用直接法来证明.例例 2 2 设收敛,F在中一致收敛,则=0. xadxF, a xfxlim证证 假设0,则.又因为F在 xfxlim 010, 0. ., 0 xfts有 xf上一致连续,
9、故时,有, a xx当, 0 .20 xfxf于是,当时,有 =11,xxx xf= xfxfxfxfxfxf1111200208 / 16并且F(x)与F(x )同号,(否则,1矛盾).如果 201011xfxfxfxfxf与 , 0, 01xfxf则从而. 20 xf故, 22001111xxxxxdxf这就证明了,对于. ., 0, 02110tsxx. 2011xxxdxf根据无穷积分的Cauchy准则,发散,这与题设收敛矛盾. xadxF xadxF3.3当命题的结论中带有“不存在”或者类似的带有否定意味的词时,反证法相对直接证证法比较好证.例例 3 3 证明Dirichlet函数
10、D(x)=QxQRx, 1/, 0在任何点处无极限.证证 反设在点,则0与1中至少有一个不为a.不妨设,axDxxRx)(lim0,01a则存在a的开领域.于是,时,D(x) aUaU1 ,00, 0 xx当U(a).当然D(x).但因Q在R中是稠密的,必有1所以,,0 . .0 xxtsQx, 1=D()U(a),x这与1U(a)相矛盾.例例 4 4 设F在区间上可导,则导函数无第一类间断点.ba,f 证法证法1 1 假设为的第一类间断点,则与存在极限,因为F0 x xf 0 xf 0 xf9 / 16在点处可导,故F在点处连续.根据导数极限定理,有0 x0 x=. 0 xf 0 xf 0
11、xf 0 xf 0 xf所以,在点处连续,这与为的间断点相矛盾.f 0 x0 x xf 证法证法2 2 假设为的第一类间断点,则与存在极限,且0 x xf 0 xf 0 xf(或).不失一般性,设.对 00 xfxf 00 xfxf 00 xfxf00,时, 00 xfxf00, 0 xxx当, 0000212xfxfxfxf. 0000102121xfxfxfxfxfxf任取,则.在中无,s.t.001,xxx 00121xfxfxf01,xx,这与Darboux定理(导函数介值定理)的结果相矛 0021xfxff盾.例例 5 5 不存在函数F:RR,在所有无理点不连续,而在所有有理点连续.
12、证法证法1 1 假设存在函数F:RR在所有无理点不连续,而在所有有理点连续.令. nxwxfRxEfn1的振幅在显然,为闭集且为点。另一方面,设可数集Q=nEQREn/ Q=,则独点集也是无点的闭集.于是,,.,.2, 1nrrr nr R=Q. 11/nnnnErQR根据Baire定理1.3.6知,R为点,这与R中任一点都为点相矛盾.证法证法2 2 假设存在函数F:RR在所有无理点不连续,而在所有有理点连续.设Q=,取,因F在处连续,故,.,.2, 1nrrr 1*1/ rQr *1r,2,且有1*11*111,. ., 0rrrts211. 1*11*1*1,21rrxrfxf再取.*12
13、11*11*1*2,rrrQrrr10 / 16由F在处连续知,s.t.*2r02,221*11*12*22*2*121212 ,rrrrrrr且有. 2*22*22*2,21rrxrfxf如此下去,可取*1*111*11*1*,.,.,/,nnnnnnnrrrrQrrr再由F在处连续知,s.t.*nr0nnnnnnnrrrrrr*1*1,1,.,.,212 ,1*11*1nnnnnnrr且有. nnnnnnrrxrfxf*,21根据闭区间套原理知,.易见,点为无理点,且1*01,nnnnnrrx0 x,即F在无理点处连续,这与假设矛盾. 00 xwf0 x例例 6 6 设m,n 0,证明+m
14、x+n=0不存在实数根.3x例例 7 7 方程-3x+m=0(m为常数)在上不可能存两个不同的根.3x 1 , 0这两个例子都是需要证明的命题中出现了否定形式不存在的情况.因为在分析学的一些容里,例如积分中值定理、 零点定理和微分基本定理等大部分都是以至少存在一点的肯定形式出现的,所以要论证这类以否定形式出现的问题没有正面的依据来直接证明.而当作出反面假设后,则可将论证展开,因此使用反证法比较适合这类题型.3.4,当证明的命题为“函数的有界性”时,适合用反证法.例例 8 8 函数F(x)在闭区间上连续,则F在上有界.ba,ba,设S=.由分析可知,S为非空有上界数集,于是baxxafx,上有界
15、,在由确界原理,存在=sup S.现用反证法证明=b.若b,由连续函数的局部有界性,F(x)在()有界,0000,即相矛盾,所以=b.sup,00而这与使Sxx再证函数F在上有界.因为F在点b连续,于是,F在(b-上有ba,0b,界;再由b=supS,可知F在中有界,于是F在上有界. ba,ba,例例 9 9 用区间套定理证明闭区间上连续函数的有界性定理.nm,11 / 16例例 1010 证明有界闭区域D上的二元函数Z=F必有界. yx,以上两个例子中,第一个限定要用区间套定理证明,第二个是第一个的推广,在此意义下,若直接论证,构造可使论证展开的区间套极为困难,而其否定述:函数无界,则至少在
16、闭区间的二等分的子区间中的某一个上界,nm,因此可用二等分区间法构造区间套,将论证展开,故都适合用反证法证明.3.4当命题的结论中出现“唯一”,“最多只有”“必有”和“至少”等词的情况下,适合用反证法来证明.例例 1111 极限唯一性的证明:设数列有极限(实数,或+,或-),则 na极限是唯一的.证法证法1 1 设=a,与=b,a,bR.nxalimnxalim反设ab,不失一般性,设ab.令=0.02ab 由极限定义1.1.1知 N,当n时,a-a+; 1N1N0na0N,当n时,b-b+.2N2N0na0所以,当nN=max时,21,NN=b-=b-a+=a+=,2ab 2ab 002ab
17、 2ab 矛盾.即证得极限的唯一性.证法证法2 2 设=a,与=b,a,bR.nxalimnxalim反设ab.令=0,根据数列极限的定义1.1.1,0ba ,当nN时,NN 20 aan20ban所以,+=,ba baaann20200ba 矛盾.值得注意的是这种证法不能应用到极限为的情况,因此还必须给出能推,广到的证法,方法一即是.-或证法证法3 3 设=a,与=b,a,bR.nxalimnxalim反设ab.不妨设ab,则存在a的开领域与b的开领域,s.t.=.由aUbUaUbU极限定义1.1.1知,,当n时,;,当n时,NN 11NanUa NN 22N,所以,nmax时,矛盾.bnU
18、a 21,NNbanUUa例例 1212 由实数连续性命题(三)实数连续性命题(四)12 / 16实数连续性命题(三):(闭区间套原理)设递降闭区间序列 .,.,2211nnbababa其长度,则,即,nabnn0101,nnnbaxnnbax,0.表示存在惟一1Nn实数连续性命题(四)(有界闭区间的紧致性,Heine Boral 有限覆盖定理)的任何开覆盖Q(Q中的元素均为开集,且对,必有开集U Q,使ba,bax,得x U,或)必有有限子覆盖(有,即QuUba,baQUUUn,.,21覆盖).nkkUba1,证证 反设区间不能被Q中有限个开集所覆盖,将等分为两个闭区间ba,ba,与,则此两
19、个区间中必有一个不能被Q中有限个开集所覆盖,2,baabba,2记此区间为.再将等分为二,二者中又必有一个不能被Q中有限个11,ba11,ba开集所覆盖,记此区间为,如此下去,得一递降闭区间序列: 22,ba .,.,2211nnbababa其中每一个都不能被Q中有限个开集所覆盖, 且长度.nababnnn, 02因此,连续性命题(三)(闭区间套原理),.由于Q覆盖,101,nnnbaxba,故必存在.但为开集,显然,时,有000. .,UxtsQU0UNnN当,.00,Ubaxnn于是,区间被中的一个(当然是有限个)开集所覆盖。这与上面构造nnba ,不被Q中有限个开集所覆盖相矛盾.nnba
20、 ,例例 1313 设F在区间I上连续,且只有唯一的极值点,0 x(1)如果为F的极大值点,则为F的唯一的最大值点;0 x0 x(2)如果为F的极小值点,则为F的唯一的最小值点.0 x0 x证证(1)假设有,使F()F(),不妨设.Ixxx101,1x0 x1x 0 x由于F在上连续,则它必有最小值.因为为F的极大值,故,使10,xx0 x013 / 16得 F(x)F(),0 x00,xxx则必有,使F()F()(否则F(x)F(),00,xxxx0 x0 x,从而 中任何点均为F的极值点,这与只有唯一的极00,xxx00,xx值点相矛盾).由以上讨论知,与 均不为F在中的最小值点.其最0
21、x0 x1x10,xx小值点,当然为F的极小值点,这与为F的唯一的极值点相矛盾.10,xx0 x4,结束语要用好反证法, 就要正确掌握、灵活运用反设、归谬,这两个反证步骤.反设是反证法的第一步,能否正确否定结论, 对论证的正确性有着直接的影响.14 / 16参 考 文 献1得虎. 数学方法论与解题研究M . : 高等教育, 20032本旺,汪浩.数学分析中的典型例题和解题方法.:湖南科学技术,19853徐利治,克勤,方兆本,徐森林.大学数学解题法诠释.:安徽教育,19994汪林.数学分析中的问题和反例.:云南科技,19905裴礼文.数学分析中的典型问题和方法.:高等教育,1985.6胡传孝. 高等数学的问题、方法与结构M . 大学, 1997.7朱如恒. 数学教学中的逆向思维J . 工科数学, 1990, ( 6) .8顺燕.数学的思想,方法和应用M.:高等教育,20039广云.数学分析选讲M.:教育,1993.
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年度虚拟现实设备研发与委托生产合同
- 2024年度机械设备买卖合同样本
- 2024年度人力资源外包与招聘服务协议
- 2024年度物流园区建设与运营合同
- 2024年员工保密协议模板
- 2024年度自建房施工合同终止合同
- 2024年工程预付款资金监管协议
- 2024出版社与作者之间的出版合同
- 2024年度企业文化建设合作协议
- 2024年建筑企业与监理单位服务协议
- 中国女性生理健康白皮书
- 天然气巡检记录表
- 甲苯磺酸瑞马唑仑临床应用
- 民法典讲座-继承篇
- 外包施工单位入厂安全培训(通用)
- 糖尿病健康知识宣教课件
- 客户接触点管理课件
- Python语言学习通超星课后章节答案期末考试题库2023年
- 医学-心脏骤停急救培训-心脏骤停急救教学课件
- 高中英语-Book 1 Unit 4 Click for a friend教学课件设计
- 年产30万吨碳酸钙粉建设项目可行性研究报告
评论
0/150
提交评论