好文档就是一把金锄头!
欢迎来到金锄头文库![会员中心]
电子文档交易市场
安卓APP | ios版本
电子文档交易市场
安卓APP | ios版本

直接证明与间接证明——综合法和分析法.ppt

9页
  • 卖家[上传人]:hs****ma
  • 文档编号:590731034
  • 上传时间:2024-09-15
  • 文档格式:PPT
  • 文档大小:1.16MB
  • / 9 举报 版权申诉 马上下载
  • 文本预览
  • 下载提示
  • 常见问题
    • 1.综合法:(顺推证法)(由因导果法)从已知条件和某些数学定义,定理,公理等出发,经过一系列推理论证,最后推导出所要证明的结论成立的证明方法.P Q1Qn 2 Q3Q1 Q2…用P表示已知条件,已有的定义,定理,公理等.Q表示所要证明的结论,则综合法可用框图表示为: 符号语言图形语言文字语言学会语言转换找出隐含条件 2.2.分析法分析法.(.(逆推证法逆推证法)()(执果索因法执果索因法) )从证明的结论出发从证明的结论出发, ,逐步寻求使它成立的逐步寻求使它成立的充充分条件分条件, ,直至最后直至最后, ,把要证明的结论归结为判把要证明的结论归结为判定一个明显成立的条件定一个明显成立的条件( (已知已知, ,定理定理, ,定义定义, ,公公理等理等).).这种证明的方法叫做这种证明的方法叫做分析法分析法. . 此式显然成立此式显然成立,因此原不等式立因此原不等式立.用用Q Q表示所要证明的结论表示所要证明的结论, ,则分析法可用框图表示为则分析法可用框图表示为: :得到一个明显成立的条件Q P1P1 P2P2 P3… ABCSEF 用用P表示已知条件表示已知条件,定义定义,定理定理,公理等公理等,用用Q表示要证的结论表示要证的结论,则上述过程可用框图表示则上述过程可用框图表示为为:……P P1P1 P2Pn-1 PnQm-1 QmQ Q1Q1 Q2 。

      点击阅读更多内容
      关于金锄头网 - 版权申诉 - 免责声明 - 诚邀英才 - 联系我们
      手机版 | 川公网安备 51140202000112号 | 经营许可证(蜀ICP备13022795号)
      ©2008-2016 by Sichuan Goldhoe Inc. All Rights Reserved.