（寒假总动员）2015年高三数学寒假作业 专题17 推理、证明（背）.doc

《（寒假总动员）2015年高三数学寒假作业 专题17 推理、证明（背）.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、（寒假总动员）2015年高三数学寒假作业专题17推理、证明（背）1．合情推理(1)归纳推理：由某类事物的部分对象具有某些特征，推出该类事物的全部对象都具有这些特征的推理，或者由个别事实概括出一般结论的推理，称为归纳推理．简言之，归纳推理是由部分到整体、由个别到一般的推理．(2)类比推理：由两类对象具有某些类似特征和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理称为类比推理．简言之，类比推理是由特殊到特殊的推理．(3)合情推理：归纳推理和类比推理都是根据已有的事实，经过观察、分析、比较、联想，再进行归纳、类比，然后提出猜想的推理，我们把它们统称为合情推理

2、．3．直接证明(1)综合法①定义：利用已知条件和某些数学定义、公理、定理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法．②框图表示：P⇒Q1→Q1⇒Q2→Q2⇒Q3→…→Qn⇒Q(其中P表示已知条件、已有的定义、公理、定理等，Q表示要证的结论)．③思维过程：由因导果．(2)分析法①定义：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)为止．这种证明方法叫做分析法．②框图表示：Q⇐P1→P1⇐P2→P2⇐P3→…→得到一个明显成立的条件(其中Q表示要证明的

3、结论)．③思维过程：执果索因．4．间接证明反证法：假设原命题不成立(即在原命题的条件下，结论不成立)，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立的证明方法．1