2.2直接证明与间接证明PPT优秀课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《2.2直接证明与间接证明PPT优秀课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2.2 直接 证明 间接 PPT 优秀 课件
- 资源描述:
-
1、直接证明与间接证明直接证明与间接证明2.2.:.,证证明明与与间间接接证证明明直直接接证证明明方方法法我我们们将将学学习习两两类类基基本本的的本本节节加加以以证证明明辑辑推推理理的的方方式式须须通通过过逻逻数数学学结结论论的的正正确确性性必必科科学学的的显显著著特特点点这这正正是是数数学学区区别别于于其其他他是是需需要要证证明明的的确确性性合合情情推推理理所所得得结结论论的的正正我我们们知知道道综合法和分析法综合法和分析法1.2.2.,用用的的思思维维方方式式也也是是解解决决数数学学问问题题时时常常法法两两种种方方是是直直接接证证明明中中最最基基本本的的综综合合法法和和分分析析法法综合法综合法
2、1.abc4acbcba,0b,a:,2222求求证证已已知知例例如如结结论论通通过过推推理理推推导导出出所所要要的的义义、公公理理、定定理理等等出出发发某某些些数数学学定定我我们们经经常常从从已已知知条条件件和和在在数数证证明明中中.abc2cba,0a,bc2cb2222所以因为证明 .abc2acb,0b,ac2ac2222 所以又.abc4acbcba2222因此.methodlsynthetica,这这种种证证明明方方法法叫叫做做要要证证明明的的结结论论成成立立最最后后推推导导出出所所经经过过一一系系列列的的推推理理论论证证定定理理等等学学定定义义、公公理理、利利用用已已知知条条件件
3、和和某某些些数数一一般般地地综综合合法法.,果法果法又叫顺推证法或由因导又叫顺推证法或由因导综合法综合法:,Q,P表表示示为为则则综综合合法法可可用用框框图图表表示示所所要要证证明明的的结结论论等等定定义义、公公理理、定定理理表表示示已已知知条条件件、已已有有的的用用1QP 21QQ 32QQ QQn .ABC,c,b,a,C,B,A,c,b,aC,B,A,ABC1为等边三角形为等边三角形求证求证成等比数列成等比数列成等差数列成等差数列且且对应的边分别为对应的边分别为三个内角三个内角中中在在例例;CAB2,C,B,A转化为符号语言就是转化为符号语言就是成等差数列成等差数列将将分析分析这这是是个
4、个隐隐含含条条的的内内角角为为,ABCC,B,A;CBA,明确表示出来是明确表示出来是件件.acb,c,b,a2转化为符号语言就是转化为符号语言就是成等比数列成等比数列.,.,为工具进行证明可以用余弦定理于是余弦定理正好满足要求状进而判断三角形的形系步寻找角和边之间的关那么就可以进一来如果能把角和边统一起此时.CAB2,C,B,A有成等差数列由证明.CBA,ABCC,B,A所以的内角为因为.3B,得由.acb,c,b,a2有成等比数列由.accaBcosac2cab,22222 可得由余弦定理及,0ca,acacca,222即得再由.CA.ca从而有因此.ABC.3CBA,是等边三角形所以得由
5、.,.,出来出来表示表示把其中的隐含条件明显把其中的隐含条件明显还要通过细致的分析还要通过细致的分析形语言等形语言等或把符号语言转换成图或把符号语言转换成图转换成符号语言转换成符号语言如把文字语言如把文字语言往往先作语言转换往往先作语言转换解决数学问题时解决数学问题时分析法分析法.2.PP,P;PP,P,PQ,Q,Q,3222111为为止止、公公理理等等已已知知条条件件、定定理理、定定义义的的条条件件直直到到找找到到一一个个明明显显成成立立充充分分条条件件成成立立的的再再去去寻寻求求成成立立为为了了证证明明充充分分条条件件成成立立的的再再去去寻寻求求成成立立为为了了证证明明充充分分条条件件成成
6、立立的的即即使使成成立立的的条条件件寻寻求求保保证证反反推推回回去去出出发发还还经经常常从从要要证证明明的的结结论论证证明明数数学学命命题题时时 .0b,0aab2ba,就就用用了了上上述述方方法法的的证证明明基基本本不不等等式式例例如如,ab2ba,ab2ba只需证要证,ab2ba0 0只需证.0ba只需证.,0ba因此原不等式成立显然成立由于).methodanalytical(.)(,这这种种证证方方法法叫叫做做为为止止公公理理等等、已已知知条条件件、定定理理、定定义义定定一一个个明明显显成成立立的的条条件件判判把把要要证证明明的的结结论论归归结结为为直直到到最最后后的的充充分分条条件件
7、逐逐步步寻寻求求使使它它成成立立从从要要证证明明的的结结论论出出发发一一般般地地分析法分析法.,因法因法又叫逆推证法或执果索又叫逆推证法或执果索分析法分析法:,Q为为则分析法可用框图表示则分析法可用框图表示表示要证明的结论表示要证明的结论用用1PQ 21PP 32PP 成立的条件成立的条件得到一个明显得到一个明显 .SCAF.F,SCE,E,SBA,BCAB,ABCSA,12.22求证求证垂足为垂足为垂线垂线的的作作过过垂足为垂足为的垂线的垂线作作过过平面平面所示所示如图如图例例ABCSEF12.2图图.,.,件件当当前前命命题题成成立立的的充充分分条条寻寻求求使使逐逐步步反反推推可可以以从从
8、结结论论出出发发这这时时较较困困难难因因而而用用综综合合法法比比它它们们确确定定如如何何在在证证明明中中使使用用我我们们不不容容易易垂垂直直条条件件较较多多中中本本例例所所给给的的已已知知条条件件分分析析.,垂垂直直的的问问题题转转化化为为证证明明直直线线与与平平面面的的问问题题线线互互相相垂垂直直通通常常可可以以把把证证明明两两条条直直在在立立体体几几何何中中ABCSEF12.2图图.EFSC,AESC,AEFSC;BCAF,SBAF,SBCAF.AEFSCSBCAF,成立成立需要证需要证面面平平要证要证成立成立要证要证需需平面平面证证要要平面平面证证或或平面平面证证可以考虑可以考虑在本例中
9、在本例中 .AEFSC,AEFSC)SCEF(F,SCE这个方向努力这个方向努力平面平面可以朝证明可以朝证明因此因此一个一个所需要的两个条件中的所需要的两个条件中的平面平面已经满足了已经满足了为符号语言就是为符号语言就是转化转化垂足为垂足为的垂线的垂线作作过过而已知条件而已知条件 ABCSEF12.2图图,AEFSCSCAF平面只需证要证证明 ,SBCAE平面只需证,SABBC平面只需证.SCAF,.,ABCSA 所以上式成立可知平面由),(SCAE因为只需证),(BCAE因为只需证),(SABC因为只需证.,.,新新认认识识你你对对这这两两种种证证明明方方法法的的说说说说回回顾顾以以往往的的
10、数数学学学学习习它它们们各各自自的的特特点点说说出出行行比比较较请请对对综综合合法法与与分分析析法法进进思思考考.,QP.P,;Q,:,下下面面来来看看一一个个例例子子成成立立就就可可以以证证明明结结论论成成立立可可以以推推出出若若由由得得到到中中间间结结论论的的结结构构特特点点去去转转化化条条件件根根据据结结论论得得到到中中间间结结论论点点去去转转化化结结论论根根据据条条件件结结构构特特和和分分析析法法结结合合起起来来使使用用我我们们经经常常把把综综合合法法在在解解决决问问题题时时事事实实上上 .tan12tan1tan1tan1:,sincossin,sin2cossin,Zk2k,322
展开阅读全文