(高三推理证明与数学归纳法一轮复习.docVIP

第十六模块 推理证明与数学归纳法 第一部分 合情推理与演绎推理 推理 推理分类 合情推理：前提为真，结论可能为真的推理 演绎推理：前提为真，结论必然为真的推理 合情推理的意义，可以根据条件猜测结论，为证明提供方向。 归纳推理：根据一类事物部分对象具有的性质推出这类事物所有对象都具有这种性质的推理，叫做归纳推理。 类比推理：根据两类事物A与B有某些性质P类似（或完全相同）。若A类事物还有性质q可猜测B事物也有q的性质。 例母鸡与母鸭都是家禽类，母鸭会下蛋，类比推理母鸡也会下蛋。 母鸡与母鸭都是家禽类，母鸭会游泳，类比推理母鸡也会游泳。 白母鸭与黑母鸭都是家禽类，白母鸭会游泳，类比推理黑母鸭也会游泳。 三段论推理： 大前提：一般性的判断，如性质，公理，定理，公式，已知常识等 小前提：已知条件 结论：由大前提和小前提推出的判断 例：用三段论推理证明下面问题 已知：AB//CD, 求证：∠1=∠2 大前提：两直线平行，同位角相等 小前提：∠1与∠2是同位角， 结论：∠1=∠2 第二部分 直接证明与间接证明 证明方法 综合法由因到果（略） 分析法：由果索因 若a,b,c是不全相等的正数，求证： 要想结论成立 只需成立 由于y=lgx在上为增函数 故这只需①成立 因为由于a,b,c是不全相等的正数故 所以a,b,c是不全相等的正数，所以等号取不到 所以①成立。 所以原命题正确 分析法套话：要想…成立 只需…成立 这只需…成立 即…成立（变形） 因为…所以…显然成立 所以原命题正确 反证法： 证明格式：首先做出与问题结论相反的假设 从假设出发，经过推理论证得出矛盾 所以假设不成立，原命题正确 注：这里的矛盾指的是与已知的矛盾，与假设矛盾，与公理，性质，定理矛盾。 例已知a+b+c0,ab+bc+ca0,abc0 求证：a0,b0,c0 师生活动：把“全（都）”，“不全（都）”，“至多”，“至少”化成恰好，找到原命题结论的否定结论。 A,b,c有3个数大于0，有0个数小于或等于0 a,b,c有2个数大于0，有1个数小于或等于0 a,b,c有1个数大于0，有2个数小于或等于0 a,b,c有0个数大于0，有3个数小于或等于0 从上面的分析可以看出，a,b,c全都大于0的反面是a,b,c至少有一个数小于或等于0 不妨设c≤0 由于abc0故c≠0,故c0以下略 第三部分 数学归纳法 数学归纳法证明步骤 奠基步：验证时命题成立（是使命题成立的最小自然数） 递推步：假设n=k时命题正确（此时默认时命题正确，所以这一步也叫做归纳假设） 验证n=k+1时命题正确 综上：命题成立 数学归纳法类型题 等式问题 例求证： 分析：⑴当n=1(从哪看出来？) 左=？怎么算？两头代中间夹。 右=？两头代中间夹 ∴左=右 ∴n=1时命题正确 ⑵假设n=k时命题正确。即 （把n换成k抄一遍） 当n=k+1时 左=？直接代入，再用“两头代中间夹”变形技巧把归纳假设找出来，用归纳假设证明问题。 右=？直接代入 ∴n=k+1时命题正确 综上命题成立 证明：⑴当n=1时 左=1+1=2，右= ∴左=右 ∴n=1时命题正确 ⑵假设n=k时命题正确。即 当n=k+1时 右 左= =右 ∴n=k+1时命题正确 综上命题成立 不等式问题 用数学归纳法证明 证明：当n=2时 左= 右=2 ∴左右 ∴n=2时命题正确 假设n=k时命题正确，即成立 当n=k+1时 左= k+1=右 ∴n=k+1命题成立 ∴命题成立 数列问题 整除问题 是否存在正整数m使得对任何能被m整除？若存在，求出最大m的值，若不存在说明理由 解释“最大”的含义 例6,8,12能被1,2整除，其中最大的且能整除这3个数是2，这个 2也叫6,8,12最大公约数。其中本题“最大的m”指所有项的最大公约数 f（1）=36,f（2）=108=3×36,f（3）=360 猜想m=36 下证能被36整除 证明：n=1时显然成立 假设n=k时命题成立，即能被36整除 当n=k+1时 由二项式定理 显然能被2整除 ∴能被36整除 ∴f（k+1）能被36整除 ∴n=k+1时命题成立 综上命题成立 三常见问题 投机取巧：奠基步不证明，例当时，左边=右边，所以时命题正确 把归纳假设证明了 格式不完整，缺少最后总结语 推理中没有用到归纳假设。在变形中一定要把假设变出来再用假设证明问题。 1 2