【步步高】2017版高考数学一轮复习第十三章推理与证明、算法、复数13.2直接证明与间接证明课件理教程.ppt

(1)逆向思考是用分析法证题的主要思想，通过反推，逐步寻找使结论成立的充分条件.正确把握转化方向是使问题顺利获解的关键.(2)证明较复杂的问题时，可以采用两头凑的办法，即通过分析法找出某个与结论等价(或充分)的中间结论，然后通过综合法证明这个中间结论，从而使原命题得证. 思维升华 解析答案 跟踪训练2 而上述不等式显然成立，故原不等式成立. 命题点1　证明否定性命题 例3　已知数列{an}的前n项和为Sn，且满足an＋Sn＝2. (1)求数列{an}的通项公式； 解　当n＝1时，a1＋S1＝2a1＝2，则a1＝1. 又an＋Sn＝2，所以an＋1＋Sn＋1＝2， 题型三　反证法的应用 解析答案 (2)求证：数列{an}中不存在三项按原来顺序成等差数列. 证明　反证法：假设存在三项按原来顺序成等差数列， 所以2·2r－q＝2r－p＋1.(*) 又因为pqr，且p，q，r∈N*，所以r－q，r－p∈N*. 所以(*)式左边是偶数，右边是奇数，等式不成立. 所以假设不成立，原命题得证. 解析答案 命题点2　证明存在性问题 例4　若f(x)的定义域为[a，b]，值域为[a，b](ab)，则称函数f(x)是[a，b]上的“四维光军”函数. 解析答案 所以函数在区间[1，b]上单调递增. 由“四维光军”函数的定义可知，g(1)＝1，g(b)＝b， 因为b1，所以b＝3. 解得a＝b，这与已知矛盾.故不存在. 解析答案 命题点3　证明唯一性命题 例5　已知M是由满足下述条件的函数构成的集合：对任意f(x)∈M，(ⅰ)方程f(x)－x＝0有实数根； (ⅱ)函数f(x)的导数f′(x)满足0f′(x)1. 解　①当x＝0时，f(0)＝0，所以方程f(x)－x＝0有实数根为0； 解析答案 (2)集合M中的元素f(x)具有下面的性质：若f(x)的定义域为D，则对于任意[m，n]?D，都存在x0∈(m，n)，使得等式f(n)－f(m)＝(n－m)f′(x0)成立.试用这一性质证明：方程f(x)－x＝0有且只有一个实数根. 证明　假设方程f(x)－x＝0存在两个实数根α，β (α≠β)， 则f(α)－α＝0，f(β)－β＝0. 不妨设αβ，根据题意存在c∈(α，β)， 满足f(β)－f(α)＝(β－α)f′(c). 因为f(α)＝α，f(β)＝β，且α≠β，所以f′(c)＝1. 与已知0f′(x)1矛盾. 又f(x)－x＝0有实数根，所以方程f(x)－x＝0有且只有一个实数根. 解析答案 思维升华 应用反证法证明数学命题，一般有以下几个步骤： 第一步：分清命题“p?q”的条件和结论； 第二步：作出与命题结论q相反的假设綈q； 第三步：由p和綈q出发，应用正确的推理方法，推出矛盾结果； 第四步：断定产生矛盾结果的原因在于开始所作的假设綈q不真，于是原结论q成立，从而间接地证明了命题p?q为真. 所说的矛盾结果，通常是指推出的结果与已知公理、已知定义、已知定理或已知矛盾，与临时假设矛盾以及自相矛盾等都是矛盾结果. 思维升华 (1)求数列{an}的通项an与前n项和Sn； 跟踪训练3 解析答案 解析答案 返回 ∴假设不成立，即数列{bn}中任意不同的三项都不可能成等比数列. 返回 思想与方法系列 (1)当点B的坐标为(0,1)，且四边形OABC为菱形时，求AC的长； (2)当点B在W上且不是W的顶点时，证明：四边形OABC不可能为菱形. 思维点拨　(1)根据菱形对角线互相垂直平分及点B的坐标设出点A的坐标，代入椭圆方程求得点A的坐标，后求AC的长； (2)将直线方程代入椭圆方程求出AC的中点坐标(即OB的中点坐标)，判断直线AC与OB是否垂直. 思想与方法系列 23.反证法在证明题中的应用 解析答案 返回 温馨提醒 思维点拨 规范解答 (1)解　因为四边形OABC为菱形，则AC与OB相互垂直平分. 由于O(0,0)，B(0,1) (2)证明　假设四边形OABC为菱形， 因为点B不是W的顶点，且AC⊥OB，所以k≠0. 解析答案 温馨提醒 设A(x1，y1)，C(x2，y2)， 因为M为AC和OB的交点，且m≠0，k≠0， 所以OABC不是菱形，与假设矛盾. [13分] 所以当点B不是W的顶点时，四边形OABC不可能是菱形. [14分] 温馨提醒 (1)掌握反证法的证明思路及证题步骤，正确作出假设是反证法的基础，应用假设是反证法的基本手段，得到矛盾是反证法的目的. (2)当证明的结论和条件联系不明显、直接证明不清晰或正面证明分类较多、而反面情况只有一种或较少时，常采用反证法. (3)利用反证法证明时，一定要回到结论上去. 返回 温馨提醒 思想方法　　　　　感悟提高 1.分析法的特点：从未知看需知，逐步靠拢已知. 2.综合法的特点：从已知看可知，逐步推出未