- 7
- 0
- 约1.39千字
- 约 18页
- 2017-02-07 发布于湖北
- 举报
* * 直线与平面间平行的判证明问题 复习: 推 理 与 证 明 合情推理 (或然推理) 演绎推理 (必然推理) 归纳 (特殊到一般) 类比 (特殊到特殊) 三段论 (一般到特殊) 演绎推理是证明数学结论、建立数学体系的重要思维过程. 数学结论、证明思路的发现,主要靠合情推理. 证明问题的两种常用的思维形式 直接从原命题的条件逐步推得命题成立的证明方法称为直接证明,其一般形式为: (1)直接证明 本题条件 已知定义 已知定理 已知公理 本题结论 正向思维 从已知条件出发,以已知定义、公理、定理等 为依据, 逐步下推,直到推出要证明的结论为 止,这种证明方法叫做综合法(顺推证法) 用P表示已知条件、已有的定义、公理、定理 等,Q表示所要证明的结论. 思维特点:“由因导果”——正向思维 综合法定义 证明问题的两种常用的思维形式 2.间接证明——逆向思维 不直接从原命题的条件出发,而是从结论或结论的否定出发,间接地来推得命题成立的证明方法称为间接证明. 主要证明形式:反证法和分析法 分析法一般地,从要证明的结论出发,逐步寻求 推证过程中,使每一步结论成立的充分条件,直 至最后,把要证明的结论归结为判定一个明显成 立的条件(已知条件、定理、定义、公理等)为止, 这种证明的方法叫做分析法(也叫逆推证法或执果 索因法). 反证法:假设命题结论的反面成立,经过正确 的推理,引出矛
原创力文档

文档评论(0)