2019-2020学年高中数学 第2章 推理与证明 2.2.2 反证法课件 新人教B版选修1-2

第二章推理与证明2.2直接证明与间接证明2.2.2反证法学习目标核心素养1．了解反证法是间接证明的一种基本方法．2．理解反证法的思考过程，会用反证法证明数学问题．(重点、难点)通过反证法证明数学问题的学习，提升学生的逻辑推理、数学抽象素养.自主预习探新知一、反证法一般地，由证明p⇒q转向证明¬q⇒r⇒…⇒t，t与矛盾，或与某个矛盾，从而判定，推出的方法，叫做反证法．q为真假设真命题¬q为假二、反证法常见的矛盾类型反证法的关键是在正确的推理下得出矛盾．这个矛盾主要是指：(1)与矛盾；(2)与、、、或已被证明了的结论矛盾；(3)与公认的简单矛盾．假设数学公理定理公式定义事实1．判断(正确的打“√”，错误的打“×”)(1)反证法属于间接证明问题的方法．()(2)反证法的证明过程既可以是合情推理也可以是一种演绎推理．()(3)反证法推出的矛盾不能与已知相矛盾．()[解析](1)正确．反证法其实是证明其逆否命题成立，所以它属于间接证明问题的方法．(2)错误．反证法从证明过程看是一种严谨的演绎推理．(3)错误．反证法推出的矛盾可以与已知相矛盾．[答案](1)√(2)×(3)×2．用反证法证明命题：“三角形的内角中至少有一个不大于60°”，假设正确的是()A．假设三个内角都不大于60°B．假设三个内角都大于60°C．假设三个内角至多有一个大于60°D．假设三个内角至多有两个大于60°[解析]根据反证法的定义，假设是对原命题结论的否定，故假设三个内角都大于60°.[答案]B3．用反证法证明“若x2－1＝0，则x＝－1或x＝1”时，应假设__________．[解析]“x＝－1或x＝1”的否定是“x≠－1且x≠1”．[答案]x≠－1且x≠1合作探究提素养用反证法证明否定性命题【例1】等差数列{an}的前n项和为Sn，a1＝1＋2，S3＝9＋32.(1)求数列{an}的通项an与前n项和Sn；(2)设bn＝Snn(n∈N*)，求证：数列{bn}中任意不同的三项都不可能成为等比数列．[思路探究]第(1)问应用an＝a1＋(n－1)d和Sn＝na1＋12n(n－1)d两式求解．第(2)问先假设存在三项bp，bq，br成等比数列，再用反证法证明．[解](1)设等差数列{an}的公差为d，由已知得a1＝2＋1，3a1＋3d＝9＋32，∴d＝2，故an＝2n－1＋2，Sn＝n(n＋2)．(2)证明：由(1)得bn＝Snn＝n＋2.假设数列{bn}中存在三项bp，bq，br(p，q，r∈N*互不相等)成等比数列，则b2q＝bpbr，即(q＋2)2＝(p＋2)(r＋2)，∴(q2－pr)＋(2q－p－r)2＝0.∵p，q，r∈N*，∴q2－pr＝0，2q－p－r＝0，∴p＋r22＝pr，(p－r)2＝0，∴p＝r，这与p≠r矛盾．所以数列{bn}中任意不同的三项都不可能成为等比数列．1．当结论中含有“不”“不是”“不可能”“不存在”等词语的命题，此类问题的反面比较具体，适合应用反证法．例如证明异面直线，可以假设共面，再把假设作为已知条件推导出矛盾．2．反证法必须从否定结论进行推理，即应把结论的反面作为条件，且必须根据这一条件进行推证，否则，仅否定结论，不从结论的反面出发进行推理，就不是反证法．3．常见否定词语的否定形式如下表所示：否定词语否定词语的否定形式没有有不大于大于不等于等于不存在存在1．已知方程f(x)＝ax＋x－2x＋1(a1)，证明：方程f(x)＝0没有负数根．[证明]假设x0是方程f(x)＝0的负数根，则x00，x0≠－1且ax0＋x0－2x0＋1＝0，所以ax0＝－x0－2x0＋1.又当x00时，0ax01，故0－x0－2x0＋11，即0－1＋3x0＋11,13x0＋12，解得12x02.这与x00矛盾，所以假设不成立，故方程f(x)＝0没有负数根．用反证法证明“至多”“至少”问题【例2】已知x，y，z均大于零，求证：x＋4y，y＋4z，z＋4x这三个数中至少有一个不小于4.[思路探究]本题中含有“至少”，不宜直接证明，故可采用反证法证明．[解]假设x＋4y，y＋4z，z＋4x都小于4，即x＋4y4，y＋4z4，z＋4x4，于是得x＋4y＋y＋4z＋z＋4x12，而x＋4y＋y＋4z＋z＋4x＝x＋4x＋y＋4y＋z＋4z≥2x·4x＋2y·4y＋2z·4z＝12，这与x＋4y＋y＋4z＋z＋4x12矛盾，因此假设错误，即x＋4y，y＋4z，z＋4x中至少有一个不小于4.1．用反证法证明“至少”“至多”型命题，可减少讨论情况，目标明确．否定结论时需弄清楚结论的否定是什么，避免出现错误．2．用反证法证明“至多、至少”问题时常见的“结论词”与“反设词”如下：结论词反设词结论词反设词至少有一个一个也没有对所有x成立存在某个x0不成立至多有一个至少有两个对任意x不成立存在某个x0成立至少有n个至多有n－1个p或q¬p且¬q至多有n个至少有n＋1个p且q¬p或¬q2．若x0，y0，且x＋y2，求证：1＋yx与1＋xy至少有一个小于2.[证明]假设1＋yx与1＋xy都不小于2，即1＋yx≥2，1＋xy≥2.∵x0，y0，∴1＋y≥2x,1＋x≥2y，两式相加得2＋(x＋y)≥2(x＋y)．∴x＋y≤2，这与已知中x＋y2矛盾．∴假设不成立，原命题成立．故1＋yx与1＋xy至少有一个小于2.用反证法证明“唯一性”命题[探究问题]1．用反证法证明数学命题的步骤是什么？[提示](1)反设：假设命题的结论不成立，即假定原结论的反面为真．(2)归谬：从反设和已知条件出发，经过一系列正确的逻辑推理，得出矛盾的结果．(3)存真：由矛盾的结果断定反设不真，从而肯定原结论成立．2．如何证明两条相交直线有且只有一个交点？[提示]假设两条直线a，b不只有一个交点，则至少有两个交点A和B，这样同时经过点A，B的直线就有两条，这与“经过两点有且只有一条直线”相矛盾．所以两条相交直线有且只有一个交点．【例3】已知一点A和平面α.求证：经过点A只能有一条直线和平面α垂直．[思路探究][解]根据点A和平面α的位置关系，分两种情况证明．(1)如图①，点A在平面α内，假设经过点A至少有平面α的两条垂线AB，AC，那么AB，AC是两条相交直线，它们确定一个平面β，平面β和平面α相交于经过点A的一条直线a.因为AB⊥平面α，AC⊥平面α，a⊂α，所以AB⊥a，AC⊥a，在平面β内经过点A有两条直线都和直线a垂直，这与平面几何中经过直线上一点只能有已知直线的一条垂线相矛盾．图①(2)如图②，点A在平面α外，假设经过点A至少有平面α的两条垂线AB和AC(B，C为垂足)，那么AB，AC是两条相交直线，它们确定一个平面β，平面β和平面α相交于直线BC，因为AB⊥平面α，AC⊥平面α，BC⊂α，所以AB⊥BC，AC⊥BC.在平面β内经过点A有两条直线都和BC垂直，这与平面几何中经过直线外一点只能有已知直线的一条垂线相矛盾．综上，经过一点A只能有一条直线和平面α垂直．图②证明“有且只有一个”的问题，需要证明两个命题，即存在性和唯一性.当证明结论以“有且只有”“只有一个”“唯一存在”等形式出现的命题时，由于反设结论易于导出矛盾，所以用反证法证其唯一性就较简单明了.3．若函数f(x)在区间[a，b]上的图象连续不断，且f(a)0，f(b)0，且f(x)在[a，b]上单调递增，求证：f(x)在(a，b)内有且只有一个零点．[证明]由于f(x)在[a，b]上的图象连续不断，且f(a)0，f(b)0，即f(a)·f(b)0，所以f(x)在(a，b)内至少存在一个零点，设零点为m，则f(m)＝0，假设f(x)在(a，b)内还存在另一个零点n，即f(n)＝0，则n≠m.若nm，则f(n)f(m)，即00，矛盾；若nm，则f(n)f(m)，即00，矛盾．因此假设不正确，即f(x)在(a，b)内有且只有一个零点.当堂达标固双基1．应用反证法推出矛盾的推理过程中可作为条件使用的是()①结论的否定；②已知条件；③公理、定理、定义等；④原结论．A．①②B．②③C．①②③D．①②④[解析]根据反证法的基本思想，应用反证法推出矛盾的推导过程中可把“结论的否定”“已知条件”“公理、定理、定义”等作为条件使用．[答案]C2．实数a，b，c不全为0等价于()A．a，b，c均不为0B．a，b，c中至多有一个为0C．a，b，c中至少有一个为0D．a，b，c中至少有一个不为0[解析]不全为0即至少有一个不为0，故选D.[答案]D3．命题“△ABC中，若AB，则ab”的结论的否定应该是()A．abB．a≤bC．a＝bD．a≥b[解析]“大于”的否定是“不大于”，即“小于或等于”，故选B.[答案]B4．用反证法证明某命题时，对某结论：“自然数a，b，c中无偶数”，正确的假设为________．[解析]a，b，c中无偶数，即a，b，c都是奇数，反设应是“a，b，c中至少有一个偶数”．[答案]a，b，c中至少有一个偶数5．若a，b，c是互不相等的非零实数，证明：三个方程ax2＋2bx＋c＝0，bx2＋2cx＋a＝0，cx2＋2ax＋b＝0至少有一个方程有两个相异实根．[证明]假设三个方程中都没有两个相异实根，则Δ1＝4b2－4ac≤0，Δ2＝4c2－4ab≤0，Δ3＝4a2－4bc≤0.相加得a2－2ab＋b2＋b2－2bc＋c2＋c2－2ac＋a2≤0，(a－b)2＋(b－c)2＋(c－a)2≤0，∴a＝b＝c，这与a，b，c互不相等矛盾．∴假设不成立，即三个方程中至少有一个方程有两个相异实根．