《数学第十章 算法、复数、推理与证明 第三节 直接证明与间接证明实用 文》由会员分享,可在线阅读,更多相关《数学第十章 算法、复数、推理与证明 第三节 直接证明与间接证明实用 文(39页珍藏版)》请在金锄头文库上搜索。
第三节 直接证明与间接证明突破点(一)直接证明02突破点突破点( (二二) )间接证明间接证明 课时达标检测课时达标检测030101突破点(一)直接证明内容内容综合法合法分析法分析法定定义利利用用已已知知条条件件和和某某些些数数学学定定义、公公理理、定定理理等等,经过一一系系列列的的推推理理论证,最最后后推推导出出所所要要证明明的的结论成立成立从从要要证明明的的结论出出发,逐逐步步寻求求使使它它成成立立的的充充分分条条件件,直直至至最最后后,把把要要证明明的的结论归结为判判定定一一个个明明显成成立立的的条条件件(已已知知条条件件、定定理理、定定义义、公理等公理等)为止止思思维过程程由因由因导果果执果索因果索因02突破点(二)间接证明原原结论词反反设词原原结论词反反设词至少有一个至少有一个一个都没有一个都没有对任意任意x成立成立存在某个存在某个x不成立不成立至多有一个至多有一个至少有两个至少有两个对任意任意x不成立不成立存在某个存在某个x成立成立至少有至少有n个个至多有至多有(n1)个个p或或q綈綈p且綈且綈q至多有至多有n个个至少有至少有(n1)个个p且且q綈綈p或綈或綈q都是都是不都是不都是不都是不都是都是都是谢 谢 观 看