第六节 直接证明与间接证明
1.直接证明
内容
综合法
分析法
定义
利用已知条件和某些数学定义、公理、定理等,经过一系列的___________,最后推导出所要证明的结论_______
从要_____________出发,逐步寻求使它成立的____________,直至最后,把要证明的结论归结为判定一个明显成立的条件
推理论证
成立
证明的结论
充分条件
2.间接证明
反证法:假设原命题 ___________(即在原命题的条件下,结论不成立),经过正确的推理,最后得出_______.因此说明假设错误,从而证明了原命题成立,这样的证明方法叫做反证法.
不成立
矛盾
1.综合法和分析法的区别和联系是什么?
【提示】 综合法的特点是:从“已知”看“可知”,逐步推向“未知”,其逐步推理实际上是寻找它的必要条件.分析法的特点:从“未知”看“需知”,逐步靠拢“已知”.其逐步推理实际上是寻求它的充分条件.在解决问题时,经常把综合法和分析法结合起来使用.
2.反证法的关键是推出矛盾,所谓矛盾主要是指什么?
【提示】 反证法的关键是在正确的推理下得出矛盾,这个矛盾可以是与已知条件矛盾,或与假设矛盾,或与定义、公理、定理、事实矛盾等.
1.(人教A版教材习题改编)用反证法证明命题“三角形三个内角至少有一个不大于60°”时,应假设( )
A.三个内角都不大于60°
B.三个内角都大于60°
C.
您可能关注的文档
最近下载
- 浙江工业大学 957自动控制原理(II) 2016年考研专业课真题.pdf VIP
- 浙江工业大学专业课考研真题844自动控制原理(1)2017年.pdf VIP
- 浙江工业大学 957自动控制原理(II) 2015年考研专业课真题.pdf VIP
- 浙江工业大学自动控制原理近年真题对比解析.pdf VIP
- 浙江工业大学自动控制理论2012年考研真题.pdf VIP
- 浙江工业大学自动控制理论2011年考研真题.pdf VIP
- 浙江工业大学自动控制理论2019年考研真题.pdf VIP
- 浙江工业大学自动控制原理Ⅰ2018年考研真题.pdf VIP
- 浙江工业大学专业课考研真题844自动控制原理(I)2016年.pdf VIP
- 岩板业务专业知识培训课件.pptx VIP
原创力文档

文档评论(0)