数学分析中反证法的应用.doc
《数学分析中反证法的应用.doc》由会员分享,可在线阅读,更多相关《数学分析中反证法的应用.doc(14页珍藏版)》请在沃文网上搜索。
1、丽水学院2012届学生毕业论文数学分析中反证法的应用理学院 数学082 董泽刚 指导师:胡亚红 摘要:本文研究了数学分析中不同问题的反证法。对数学分析中的反证法进行总结研究,共分为数列极限的唯一性和收敛性,函数的连续、有界、极限和单调性,导数和积分,级数等四个部分,各部分之间并非完全独立。本文对理解数学分析的基本概念,掌握数学分析的基本理论和技巧很有好处。关键词:反证法 ;命题;应用 在数学解题中经常使用反证法,牛顿曾经说过:“反证法是数学家最精当的武器之一”。具体、简单的命题;或者直接证明难以下手的命题,改变其思维方向,从结论入手进行反面思考,问题可能解决得十分干脆。它不仅是解决问题的有力手
2、段,而且推动了数学的发展,开辟了数学领域的新天地.数学是在归纳、发现、推广中发展的。反证法在数学的发展中功不可没。反证法不但在数学的发展和证明中有同等重要的作用,而且,在学习、领会和深入钻研数学的时候,也离不开反证法.因为条件的强弱,使用范围的宽窄,都需要用反证法作对比,才能加深理解,如果命题有错误,证明有漏洞,也只有靠反证法去证实,并从反证法中得到修补的启示。反证法是一种重要的反证手段,往往会成为数学殿堂的基石。学会构造反证法是一种重要的数学技能。反证法的重要性要想充分的发挥出来,关键还在于具体的作出所需的反证法。至于反证法的作法,也如证明一样,因题而异,方式多变。1 反证法的基本思想反证法
3、是一种间接的证明方法,它的基本思想是“否定-推理-矛盾-肯定”,这种证明方法之所以令学生难以理解,是因为在证明过程中,每一步的结论到下一步完全符合逻辑,但每一步的结论却其实不能发生,从逻辑的观点来看,反证法实际上是通过证明与命题逻辑等价的命题为真,从而间接证明了命题,显然这个等价命题的条件中含有命题的结论的否定,反证法历史悠久,曾被用来解决数学中许多重要结论. 所谓反证法是指通过证明论题的否定论题不真实而肯定论题真实的方法.通常包括以下三个步骤:(l)反设假定原命题的结论不成立;(2)归谬根据反设进行严密推理,直到得出矛盾;(3)结论肯定原命题正确。一般来说,如果命题的结论不易直接证明,结论的
4、反面却容易否定,那么反证法是可行的。但是由于数学命题的多样性、复杂性,要对哪些命题宜用反证法做出确切的回答是困难的。2 怎样正确写出数学分析中一些命题的否命题反证法是分析问题和解决问题的一种科学方法,它是通过证明与论题相矛盾的反正题虚假,来确定论题是正确的间接证明法。在应用反证法时,首先要假设,即假定原命题的反面正确,然后从假设出发,利用正确的逻辑推理推导出谬误的结果,即从反设出发作为推论引出违背科学的基本规律(定律或概念)与已知条件相矛盾的结果,最后肯定原结论正确。在运用反证法论证命题时,首先要求能很正确的否定命题的结论,这是正确证明命题的基础,在有些情况下,一个结论的否定往往很容易得到。例
5、如命题“”的否定就是“”,但对命题“在上有界”,尽管其否定很显然就是“在上无界”,若要用它做进一步推理时,还需要对函数有界与无界的定义深刻的认识,所谓“在上有界”是指“存在某个正数,对所有的,使得 成立”,这类命题中出现了量词“对所有的”和“存在”,要写出它们的否定形式相对就比较困难了.一般地,命题中若出现量词“对所有的”或“存在”时,其否定形式必须将“对所有的”变成“存在”,“存在”变成“对所有的”,并否定“这件事情发生”。于是,要将命题“在上有界”否定,其形式应为“对所有的正数,存在,使得成立”。在数列中的否定:一个数列收敛于a的数学表述为:|-a|N时,有,令N=max,则当nN时,有.
6、由的任意性可知:A=B,矛盾,从而知收敛数列的极限是惟一的例2. 证明命题“数列与均为发散数列,因而数列发散”是错误的.对于此类证明题,不妨寻找一个相反的梨子从反面论证起收敛如:取数列1,0,1,0,1,0 ,及数列0,0,0, ,显然,这两个数列都发散,但其对应项相加所组成的数列是1,1,1,它是一个收敛数列,因此命题是错误的由此可见某些发散数列经过四则运算,结果也是收敛的.数列有界性仅是数列收敛的必要条件,不是充分条件,即数列有界但不一定收敛。在数列题型中,证明它们的极限的唯一或者是它们的极限等于某个确定的数时,在这些题型中,反证法有很大的优势,容易证明,过程明了简单,学者看了容易理解接受
7、,如果这类题型直接去证明,难度就提高了一个档次。3.2 函数的极限、连续性、有界以及单调性反证法的应用定义2.1 设为定义在D上的函数,若存在正数M,使得对每一个,有M,则称为D上的有界函数 无界函数的定义与函数趋于无穷大的定义有些相似.然而,这两个概念有本质上的差别.若时,则在 的每个邻域内必定无界。反之,函数在的任何邻域内都是无界的,但当时,并不趋于无穷大。例3 设,则对无论多大的正数M,总有充分接近于x =0的点,使证明 取,则,故当 时,就有因此,函数在x =0的任何邻域内都是无界的然而,若取,则当n时,,此时即并不趋于无穷大例4 试证明:若函数在有限区间内可微,但无界,则其导函数也无
8、界。证明 设 在内有界,即,取定由拉格朗日中值定理知,在与之间存在,使得,而,故,此与已知无界相矛盾,故无界例5 设 ,则,使证明 假设即有,1=令 例6 设函数在上连续,则在 上有界证明 假若在上没有上界,则,必有,使得依次取,便得一列含于 的数列因而它含有一个收敛子列设,则,则在上连续可知而由的选取方法有 ,从而产生矛盾于是证得在 上有界.类似可证有下界故的在上有界例7 设在上满足函数方程,并且,证明 ,。 证明 假设存在,使得,则由已知的函数方程推得:另一方面由于,则对于, 当时,有 ,取足够大的设,此时应满足 导致出现矛盾的关系式于是证明了 , 例8 设函数在上连续,对上任意两个有理数
9、,有,则在上为递增函数。证明 假设存在 ,但(即若不是单调递增函数)由于的连续性,对于数必定存在使得因为有理数具有稠密性,故必存在有理数与,且这与假设相矛盾,所以在上为递增函数(且必为严格地增) 例9 函数在区间上一致连续的充要条件是:,当时,有 。 证明 必要性 因为一致连续,故当时,有在已知时,对于,自然数,必有,因而 充分性 设在上不一致连续,则有由,取由,这显然时,有矛盾所以在上必然一致连续例10 设f(x,y)在有界闭区域上连续,证明:一定存在点(),使对有。证明 因为f (x,y)在有界闭区域上连续,所以f (x,y)在上有界,从而有上确界,记以下证明一定存在点,使.若否,则.令则
10、F(x,y)在上连续且恒为正,从而对,这说明为函数f (x,y)在上的一个上界.这与是函数f (x,y)在上的上确界矛盾”故一定存在点,使对有当然,在函数中的很多定理是充分而非必要条件.,所采用的证明方法往往不是单一的,应根据题目的条件、结论综合分析,选择适用的证明方法,例如在需要证明其逆命题是否成立时,若考虑一般情况很难说明,不妨从一些反面能举一些反例,则既简单又明了,而且也很容易掌握.。3.3导数及其积分反证法的应用定理1 若函数f 在点可导,则f 在点连续.可导仅是函数在该点连续的充分条件,而不是必要条件.如函数= x 在点x =0处连续,但不可导.而且,函数f 在某点可微,只能保证f
- 1.请仔细阅读文档,确保文档完整性,对于不预览、不比对内容而直接下载带来的问题本站不予受理。
- 2.下载的文档,不会出现我们的网址水印。
- 3、该文档所得收入(下载+内容+预览)归上传者、原创作者;如果您是本文档原作者,请点此认领!既往收益都归您。
下载文档到电脑,查找使用更方便
10 积分
下载 | 加入VIP,下载更划算! |
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学分析 反证法 应用