




已阅读5页,还剩16页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
演绎推理是证明数学结论,建立数学体系的重要思维过程。数学的结论,证明思维的发现主要依靠理性推理。复习,高2,2章数学选择2-2章推理和证明,2020/5/24,孝高江脂,2,2.2直接证明和间接证明,2.2.1合成法和分析,示例3360为a0,b0,4abc,B2 c22bc,由于a0,a(B2 C2)8805;2abc .此外,由于C2 b22bc,b0,b(c2a 2)8805;2abc .因此,a(B2 C2)b(c2a 2)8805;4abc .证明:在数学证明中,我们经常通过已知条件和一些数学定义、定理、公理、特性等推理得出想要的结论。1 .综合法,从命题的条件出发,利用定义、公理、定理、运算法则进行了一系列推理论证后,推导出最后想证明的结论成立。(也称为“净值”),注:利用p表示已知的条件,已经存在的定义,定理,公理等。如果用q表示要证明的结论,综合方法为:例如1: ABC中,三个内部角A,b,C的对应边分别为A,b,C,A,b,C等差序列,A,b,C等角序列,C等角序列2)三角形的知识是什么?(?余弦定理,如果这两者连接,可以得到什么结论,证明:A,b,C引起的等差数列,例如,2B=A C,导致的,A,b,C引起的等差数列ABC三面长度,反向等差序列,证明:证明:a,B,c是ABC 3面,因此,a CB,因此,cosB0,因此,例如证明不等式:注:从证明的结论开始,逐步寻找成立结论的条件。2。从分析,证明的结论开始,逐步寻找使之充分的条件,最后,将要证明的结论归结为明确的条件(已知,定理,定义,公理等)。这种证明的方法叫分析。(也称为逆推证),执行人,注:要证明的结论可以用q表示,分析可以用方块图表示,可以得到明确成立的条件,证据法13360关于正a,b,从分析结论开始,找出结论成立的充分条件,并把想证明到底的结论归结为明确的成立条件。只要能证明:只有证明:上述所有阶段都可以反转,因此结论成立,形式,解决方案:只需要认证,展开,认证,只需要证明2125,2125成立,所以成立就行了。练习。证明:证明,成立,成立,因为,成立,成立
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论