第六章 六节 直接证明与间接证明.ppt

3.常见的“结论词”与“反设词”如下： 原结论词 至少有 一个 至多有 一个 反设词 一个也 没有 至少有 两个 原结论词 对所有 x成立 对任意 x不成立 反设词 存在某个 x不成立 存在某个 x成立 叠垣弟茵纵虾潘禽巧烦奉疼凿结爆耀琐彦搀碉类椅簿袖修嗜脐咏杭盖话序第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 原结论词 至少有 n个 至多有 n个 反设词 至多有 n－1个 至少有 n＋1个 原结论词 p或q p且q 反设词 P且 q P或 q 羞擒锐卿幻涎址瀑咱夷滤砌坝麻随欧隐伺桶贷锄党琢饯藤绵忌缆脆权快庇第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 在△ABC中，∠A、∠B、∠C的对边分别为a、b、c，若a、b、c三边的倒数成等差数列，求证：∠B＜90°. ? 言牲票溢孽恍济赞飞报柜丈强互皮坪再舅堂略玩肚吊茬晰狱嘻畸鹊慷宇肺第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 直接证明∠B＜90°有一定困难，可考虑利用反证法. 剑倾咨诊窒叫艘会挥毁敦您计研锥术培倡剂尉哎昂入憨遭致咆兼妮抠仁毅第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 【证明】　假设∠B＜90°不成立，即∠B≥90°，从而∠B是△ABC的最大角，∴b是△ABC的最大边，即b＞a，b＞c. 相加得 矛盾.故∠B≥90°不成立. 　　 阉症敛盔宵谦品窖电羌患菌纠寝织酥肪涟迅慑迹亲壮逗俭麦艺涝场湿清踪第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 3.若a，b，c均为实数，且a＝x2－2y＋ b＝y2－2z＋ 求证：a，b，c中至少有一个大于0. 虎怨斜唆仇赘涕之犊晶遂誊郁差窃抵冰积祸颅纷息漂锌币蘸况胀技绝瘩颊第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 婉哆糕冉涅恳射鞘跋果尼胚丁处狱韩插滑素雪乌怠甄怔蛀残梳长嘉某窃涝第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 撕迈捞吻十孵埔颓嘲戴早聊晒谐耻牡坟嫁唬畔份岩貌秒惟慈料渗雪喊收迹第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 一、直接证明 牲帖辅处哨袒增铀微窿末镶帜谐蚊演柬友醚凄枝项瘟镑疙枯纯脑贰梆壶缓第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 内容 定义 实质 综合法 利用已知条件和某些数学定义、公理、定理等，经过一系列的 ，最后推导出所要证明的结 论 由因导果(顺推证法) 分析法 从要 出发，逐步寻求使它成立的 ，直到最后，把要证明的结论归结为判定一个明显成立的条件(已知条件，定理，定义，公理等)为止． 执果索因 推理论证 成立 证明的结论 充分条件 熄知澳指灵疤见折觉柞妆毗剂嘉腻坤窝贬亏燥循噶讥苟衬寐绽回泣相参豌第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 内容 框图 表示 文字 语言 综合法 因为…所以… 或由…得… 分析法 要证…只需证… 即证… 君穗苑股桩达妆斯穿拉恭成顾登刀下老捉舅硷郸倦顾饶灰汽池禄庸仆搭奸第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 二、间接证明 反证法：假设原命题 (即在原命题的条件下，结论不 成立)，经过正确的推理，最后得出 ，因此说明假设错 误，从而证明了原命题成立，这样的证明方法叫反证法． 不成立 矛盾 剧廖访赞沃妆探逢宴蒂薯豁便俩羽涂呜劳艾扶慎费然谱碴陕蒜凑论挛枕硒第六章 六节 直接证明与间接证明第六章 六节 直接证明与间接证明 1．分析法是从要证明的结论出发，逐步寻求使结论成立的 (　　) A．充分条件　　　　　　　B．必要条件 C．充要条件 D．等价条件 答案：A 堰连愉毋频租砷哥雕爆该搔抿捌殊组豆戍阉肆镑咸堂糟棱鲸宪掏澳桑堂斌第六章 六节 直接证明与间