推理与证明-算法、偷钠理与证明、复数 2012高考一轮数学精品课件.pptVIP

【分析】本题结论以“至少”形式出现，从正面思考 有多种形式，不易入手，故可用反证法加以证明. 考点六 反证法证明 若x,y都是正实数，且x+y＞2,求证： 或 中至少有一个成立. 返回目录 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 【证明】假设 或 都不成立,则有 和 同时成立. 因为x＞0且y＞0，所以1+x≥2y,且1+y≥2x. 两式相加，得2+x+y≥2x+2y. 所以x+y≤2. 这与已知条件x+y＞2矛盾. 因此 和 中至少有一个成立. 返回目录 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 【评析】（1）当一个命题的结论是以“至多”“至少”“唯一”或以否定形式出现时，宜用反证法来证.反证法关键是在正确的推理下得出矛盾，矛盾可以是①与已知条件矛盾，②与假设矛盾，③与定义、公理、定理矛盾，④与事实矛盾等方面.反证法常常是解决某些“疑难”问题的有力工具，是数学证明中的一件有力武器. （2）利用反证法证明问题时，要注意与之矛盾的定理不能是用本题的结论证明的定理;否则，将出现循环论证的错误. 返回目录 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 已知数列{an}的前n项的和Sn满足Sn=2an-3n(n∈N*). (1)求证：{an+3}为等比数列,并求{an}的通项公式; (2)数列{an}是否存在三项使它们按原顺序可以构成等 差数列?若存在,求出一组适合条件的项;若不存在,请说 明理由. 返回目录 ＊对应演练＊ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 学案3 推理与证明 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 返回目录 一、合情推理 1.由某类事物的部分对象具有某些特征，推出该类事物的全部对象都具有这些特征的推理，或者由个别事实概括出一般结论的推理，称为归纳推理（简称归纳）.简言之，归纳推理是 、 . 由部分到整体 由个别到一般的推理 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 返回目录 2.由两类对象具有某些类似特征和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理称为类比推理（简称类比）.简言之，类比推理是 . 3. 和 都是根据已有的事实，经过观察、分析、比较、联想，再进行归纳、类比，然后提出猜想的推理，我们把它们统称为合情推理. 二、演绎推理 1.从一般性的原理出发，推出某个特殊情况下的结论，我们把这种推理称为演绎推理.简言之，演绎推理 是 . 2.“三段论”是演绎推理的一般模式，包括： 由