数学证明几种常用的证明技术 个人.docVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学证明几种常用的证明技术 个人

数学证明方法 AUTHOR xiaohui 第 PAGE 1 页 DATE \@ yyyy-M-d 2008-11-13 数学的乐趣在于形式化严谨的证明过程,一步步的推导可能会得出出人意料的结论。证明和推导是学数学的基本功,多多练习证明题目对自身逻辑能力的提高还是很重要的,下面我简便的谈谈我自己认为的几种常用的证明技术。(这只是代表个人意见,偏颇之处还请大家谅解) 首先,要说的方法就是大家都不陌生的反证法(归谬法),这个证明方法是我自己最喜欢的方法,它的运用使很多的问题都可以迎刃而解。说起这个方法大概是我最先学到的证明方法,至于它的原理一直都没弄明白,直到大二学《数理逻辑和集合论》的时候才明白它的原理,它的原理大致上是这样的:如果对于蕴涵式┐p?q,存在矛盾式q使得该蕴涵式为真,即┐p?F为真,根据蕴涵式┐p?F为真的条件,显然┐p为假,亦即p为真,这样只要在┐p前件的条件下构造一个矛盾式q即可。下面我给出一个比较经典的证明题目,来说明该方法的使用。 命题1:证明是无理数。 这里先给出无理数的定义:实数r为有理数当且仅当存在整数p和q(q!=0)满足r=p/q。如果r不是有理数则r为无理数。 证明:令命题p表示“是无理数”。假设┐p为真,则是有理数,下面将根据有理数的定义推出一个矛盾式q,使得┐p?q为真。根据假设以及有理数的定义,显然存在整数a,b满足 =a/b,其中b不为零,并且a,b没有大于1的公因子。因为 =a/b所以有2=a*a/b*b,所以有a*a=2*b*b。由此可以得出a必定为以偶数(a为偶数的证明这里就不写了),同理可得b也为偶数,所以有a,b有公因子2,不妨设命题r为“整数a,b没有公因子”,则p为r∧┐r,即┐p?r∧┐r为真,显然p为真,命题得证。 另外一种很强大的证明方法就是数学归纳法。这也是我很喜欢的方法,利用该方法和上面介绍的反证法大多数的问题都可以解决了,虽然在某些方面该方法不是完备的,但处理问题的能力是不容忽视的,相信大家对这个方法也是熟悉得不能再熟悉了。我还是要在这里说说我自己的一点儿心得看法。数学归纳法适用的命题形式是为真的情况,该方法的简要原理为:首先是基础部分命题P(1)为真,接着就是归纳部分,该部分要做的事情是证明对于每一个正整数k,蕴涵式P(k)?P(k+1)为真。所以该方法的推理规则可以表示为:。下面给出一个利用反证法来证明数学归纳法有效的证明,在证明之前还要给出一个概念“良序性”,良序性是指任何一个非空的非负整数集合必有唯一的最小元。 命题2:数学归纳法是有效的。 证明:由数学归纳法的证明过程可知,P(1)为真以及对所有的正整数k来说都有蕴涵式P(k)?P(k+1)为真。为了证明在前述条件下,对所有的P(n)都为真,其中n是正整数,我们可以假设至少存在一个正整数n使得P(n)为假,则使得命题P(n)为假的正整数集合S不为空,由前面良序性的定义可知,集合S必定有唯一的最小元m,由P(1)为真可知1不再集合S中,所以m1,由此可知m-1必为一个正整数并且m-1不在集合S中,所以P(m-1)必为真。结合蕴涵式P(k)?P(k+1)为真,可以的得知P(m)为真,亦即m不在集合S中,这与m在S中相矛盾。因此对所有的正整数n,P(n)必然为真,显然数学归纳法是有效的。 下面我给出一个利用数学归纳法证明调和级数收敛的证明过程。 命题3:证明级数是收敛的。 证明过程如下: 引理:级数≥1+,其中n为非负整数。 证明:基础部分:当n=0时,显然≥1+成立。 归纳部分:假设当n=m时,≥1+成立。则当n=m+1时有 =+≥1++≥1++=1++=1+ 显然当n=m+1时≥1+成立。 综上所述,级数≥1+成立,命题得证。 下面证明调和级数是发散的: 证明:对于任何正整数n,令m=,显然有n≥m, 所以≥≥1+≥ 由于,所以,所以调和级数是发散的,命题得证。 当然,调和级数发散的证明可以通过≥来证明。 接着,我将要介绍的证明方法是平凡证明和空证明。这个证明技术的的思想来源于蕴涵式p?q为真的条件,由于p?q等价于┐p∨q,显然只要p为假或者q为真,蕴涵式p?q即为真。因此,当我们可以证明p为假的时候就可以给出蕴涵式p?q为真的证明,此时的证明称为空证明,该方法常用来证明定理的一些特殊情形;当我们可以证明后件q为真的时候也可以给出蕴涵式p?q为真的证明,此时的证明成为平凡证明,该方法常用于定理的某些的特殊情形的证明和数学归纳法中的基础证明。下面我举一些简单的例子来说明这两种证明技术。 命题4:空集是任何集合的子集。 证明:对于任何一个集合S,蕴涵式?必为真,因为x∈?为假,根据p?q为真的条件知?为真,显然空集是任何集合S的子集,命题得证。 命题5:已知P(n)表示:对于正整数a≥b(a,b为正

文档评论(0)

zsmfjy + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档