- 2
- 0
- 约 12页
- 2017-08-31 发布于安徽
- 举报
§7.5 直接证明与间接证明
1.直接证明
综合法 分析法 定义 从已知条件和某些数学定义、定理、公理等出发,经过一系列的推理论证,最后推导出所要证明的结论成立. 从要证明的结论出发,逐步寻求使结论成立的充分条件,最后把要证明的结论归结为判定一个明显成立的条件. 思维过程 由因导果 执果索因 证题步骤 P(已知)P1
?P2?…
?Pn?Q(结论)Q(结论)Q1
?Q2?…
?Qn?P(已知) 文字语言 因为…,所以…或由…,得…要证…,只需证…,即证… 符号语言 ? 2.间接证明
反证法 定义 要证明某一结论Q是正确的,但不直接证明,而是先去假设Q不成立(即Q的反面非Q是正确的),经过正确的推理,最后得出矛盾,因此说明假设非Q是错误的,从而断定结论Q是正确的,这种证明方法叫做反证法. 证明步骤 (1)分清命题的条件和结论;(2)假设命题的结论不成立,即假设结论的反面成立;(3)由假设出发进行正确的推理,直到推出矛盾为止;(4)由矛盾断言假设不成立,从而肯定原命题的结论成立. 适用范围 (1)否定性命题;(2)命题的结论中出现“至少”、“至多”、“惟一”等词语的;(3)当命题成立非常明显,而要直接证明所用的理论太少,且不容易说明,而其逆否命题又是非常容易证明的;(4)要讨论的情况很复杂,而反面情况很少.
1.判断下面结论是否正确(请在括号中打“√”或“×”)
您可能关注的文档
- (新课标版)2015届高考政治分类题库 考点1 生活和消费 (2011年).doc
- (新课标版)2015届高考政治分类题库 考点1 生活与消费(2010年).doc
- (新课标版)2015届高考政治分类题库 考点2 生产、劳动与经营 (2011年).doc
- (新课标版)2015届高考政治分类题库 考点2 生产、劳动与经营(2010年).doc
- (新课标版)2015届高考政治分类题库 考点3 收入与分配 (2011年).doc
- (新课标版)2015届高考政治分类题库 考点14 探索世界与追求真理(2010年).doc
- (新课标版)2015届高考政治分类题库 考点15 思想方法与创新意识 (2011年).doc
- (新课标版)2015届高考政治分类题库 考点15 思想方法与创新意识(2010年).doc
- (新课标版)2015届高考政治分类题库 考点16 认识社会与价值选择 (2011年).doc
- (新课标版)2015届高考政治分类题库 考点16 认识社会与价值选择(2010年).doc
- 四川省成都市嘉祥教育集团2024-2025学年七年级下学期期中数学试题(解析版).docx
- 四川省成都市青羊区石室联合中学2024-2025学年七年级下学期期中考试数学试题(解析版).pdf
- 四川省成都市青羊区石室联合中学2024-2025学年七年级下学期期中考试数学试题(解析版).docx
- 四川省成都市武侯区北京第二外国语学院成都附属中学2024-2025学年七年级下学期期中数学试题(解析版).docx
- 四川省成都市武侯区北京第二外国语学院成都附属中学2024-2025学年七年级下学期期中数学试题(解析版).pdf
- 四川省绵阳市涪城区2024-2025学年七年级下学期5月期中考试数学试题(解析版).pdf
- 四川省绵阳市涪城区2024-2025学年七年级下学期5月期中考试数学试题(解析版).docx
- 四川省绵阳市江油市2024-2025学年七年级下学期5月期中数学试题(解析版).pdf
- 四川省绵阳市江油市2024-2025学年七年级下学期5月期中数学试题(解析版).docx
- 四川省绵阳市游仙区2024-2025学年七年级下学期5月期中考试数学试题(解析版).docx
最近下载
- PROTOS70 卷烟机日常保养与维修.ppt VIP
- 中建高效建造关键技术实施指南-高层住宅篇.doc VIP
- 2026年高考语文万能答题模板(可打印版).docx
- 00041 基础会计学.doc VIP
- 中建高层住宅项目高效建造关键技术实施指南,提质增效!.pptx VIP
- 新能源企业成本控制管理措施.docx VIP
- 2026年新能源企业财务经理招聘面试题集及解析.docx VIP
- 自考 13142 广告学(2024 版)・可直接背诵精简版.docx VIP
- 内科学食管癌.pptx VIP
- GB 45673-2025危险化学品企业安全生产标准化规章制度之22:双重预防机制建设管理制度(编制-2025A0).docx VIP
原创力文档

文档评论(0)