高二数学反证法ppt.ppt

  1. 1、本文档共16页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
高二数学反证法ppt

2.2.2 反证法 * * 将9个球分别染成红色或白色。那么无论怎样染,至少有5个球是同色的。你能证明这个结论吗? 引例1: 间接证明: 不是直接从原命题的条件逐步推得命题成立的证明方法。 反证法是一种常用的间接证明的方法。 一.反证法 证明命题“设p为正整数,如果p2是偶数, 则p也是偶数”,我们可以不去直接证明p是偶数,而是否定p是偶数,然后得到矛盾,从而肯定p是偶数。具体证明步骤如下: 假设p不是偶数,可令p=2k+1,k为整数。 可得 p2=4k2+4k+1,此式表明,p2是奇数,这与假设矛盾,因此假设p不是偶数不成立,从而证明p为偶数。 一般地,由证明p?q转向证明: t与假设矛盾,或与某个真命题矛盾,从而判定 为假,推出q为真的方法,叫做反证法。 例1.证明 不是有理数。 证明:假定 是有理数,则可设 ,其中p,q为互质的正整数, 把 两边平方得到,2q2=p2, ① ①式表明p2是偶数,所以p也是偶数,于是令p=2l,l是正整数,代入①式, 得q2=2l2, ② ②式表明q2是偶数,所以q也是偶数,这样p,q都有公因数2,这与p,q互质矛盾, 因此 是有理数不成立,于是 是无理数. 从上述两例看出,反证法不是直接去证明结论,而是先否定结论,在否定结论的基础上,运用演绎推理,导出矛盾,从而肯定结论的真实性。 二.反证法的主要步骤 (1) 反设: ????反设是反证法的基础,为了正确地作出反设,掌握一些常用的互为否定的表述形式是有必要的,例如:是/不是;存在/不存在;平行于/不平行于;垂直于/不垂直于;等于/不等于;大(小)于/不大(小)于;都是/不都是;至少有一个/一个也没有;至少有n个/至多有(n一1)个;至多有一个/至少有两个;唯一/至少有两个。 (2) 归谬: 归谬是反证法的关键,导出矛盾的过程没有固定的模式,但必须从反设出发,否则推导将成为无源之水,无本之木。推理必须严谨。导出的矛盾有如下几种类型:与已知条件矛盾;与已知的公理、定义、定理、公式矛盾;与反设矛盾;自相矛盾。 (3) 结论:由前两步,得到正确的结论,一点要在前面的基础上肯定结论的真实性。 例2.证明1, ,2不能为同一等差数列的三项。 证明:假设1, ,2是某一等差数列中的三项,设这一等差数列的公差为d,则 1= -md,2= -nd,其中m,n为某两个正整数, 由上两式中消去d,得到n+2m=(n+m) ,因为n+2m为有理数,(m+n) 为无理数, 所以n+2m≠(n+m),因此假设不成立,1, ,2不能为同一等差数列中的三项. 例3.平面上有四个点,没有三点共线,证明以每三点为顶点的三角形不可能都是锐角三角形。 证明:假设以每三点为顶点的四个三角形都是锐角三角形,记这四个点为A,B,C,D, 考虑△ABC,点D在△ABC之内或之外两种情况。 (1)如果点D在△ABC之内,根据假设,围绕点D的三个角都是锐角,其和小于270°,这与一个周角等于360°矛盾; (2)如果点D在△ABC之外,根据假设四边形ABCD的四个内角分别是某锐角三角形的内角, 即∠A,∠B,∠C,∠D都小于90°,这和四边形内角和等于360°矛盾, 综上所述,原题的结论正确。 例4、设a3+b3=2,求证a+b≤2 证明:假设a+b>2,则有a>2-b,从而 a3>8-12b+6b2-b3, a3+b3>6b2-12b+8=6(b-1)2+2. 因为6(b-1)2+2≥2,所以a3+b3>2,这与题设条件a3+b3=2矛盾, 所以,原不等式a+b≤2成立。 例5、设0 < a, b, c < 1,求证:(1 ? a)b, (1 ? b)c, (1 ? c)a,不可能同时大于 证明:设(1 ? a)b > , (1 ? b)c > , (1 ? c)a > , 则三式相乘: (1 ? a)b?(1 ? b)c?(1 ? c)a < ① 又∵0 < a, b, c < 1 所以 同理: 以上三式相乘: (1 ? a)a?(1 ? b)b?(1 ? c)c≤ 与①矛盾 ∴原式成立。 *

文档评论(0)

wyjy + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档