《综合法和分析法》(上课用)_第1页
《综合法和分析法》(上课用)_第2页
《综合法和分析法》(上课用)_第3页
《综合法和分析法》(上课用)_第4页
《综合法和分析法》(上课用)_第5页
已阅读5页，还剩17页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

2.2直接证明与间接证明,演绎推理是证明数学结论、建立数学体系的重要思维过程.,数学结论、证明思路的发现,主要靠合情推理.,复习,合情推理得到的结论是不可靠的，需要证明。数学中证明的方法有哪些呢？,例:已知a0,b0,求证a(b2+c2)+b(c2+a2)4abc,因为b2+c22bc,a0所以a(b2+c2)2abc.,又因为c2+b22bc,b0所以b(c2+a2)2abc.,因此a(b2+c2)+b(c2+a2)4abc.,证明:,在数学证明中，我们经常从已知条件和某些数学定义、定理、公理、性质等出发通过推理导出所要的结论。,.综合法,由因导果,从命题的条件出发，利用定义、公理、定理及运算法则，经过一系列的推理论证，最后推导出所要证明的结论成立.(又称顺推证法),注：用P表示已知条件,已有的定义,定理,公理等.Q表示所要证明的结论,则综合法可用框图表示为:,练习：求证：,证明：因为,所以,左式=log195+2log193+3log192=log19(53223)=log19360.,因为log19360log19361=2，,所以,例：求证不等式：,.,注：从求证的结论出发，逐步寻求使结论成立的条件。,2.分析法,从证明的结论出发,逐步寻求使它成立的充分条件,直至最后,把要证明的结论归结为判定一个明显成立的条件(已知,定理,定义,公理等).这种证明的方法叫做分析法.（又称倒推证法）,执果索因,注：用Q表示所要证明的结论,则分析法可用框图表示为:,得到一个明显成立的条件,证法1:对于正数a,b,有,综合法,分析法,表达简洁!,目的性强,易于探索!,【分析法】,从结论出发，寻找结论成立的充分条件直至最后，把要证明的结论归结为判定一个明显成立的条件。,要证：只要证：只需证：显然成立上述各步均可逆所以结论成立,格式,解:要证,只需证,展开,只需证,只需证2125,因为2125成立,所以成立.,例3：在中，三个内角、对应的边分别为a、b、c，且、成等差数列，a、b、c成等比数列，求证为等边三角形,分析：把题中的文字语言转化为符号语言：A+C=2B，b2=ac,由（1）联想到内角各能得到什么？,由（2）联想到三角形什么知识？余弦定理，二者联系起来能得到什么结论,证明：,由A，B，C成等差数列，有,2B=A+C,由，得,由于，a，b，c成等比数列，有,由余弦定理及，可得,再由，得,因此，a=c,从而有A=C,由，得,证:,例：,上述过程可用框图表示:,直接证明(回顾小结),分析法解题方向比较明确，利于寻找解题思路；综合法条理清晰，易于表述。,通常以分析法寻求思路，再用综合法有条理地表述解题过程,分析法综合法,概念,直接证明（综合法和分析法）,都是直接证
人人文库> 全部分类> 应用文书 > 事务文书

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论