2023学年完整公开课版《反证法》_第1页
2023学年完整公开课版《反证法》_第2页
2023学年完整公开课版《反证法》_第3页
2023学年完整公开课版《反证法》_第4页
2023学年完整公开课版《反证法》_第5页
已阅读5页,还剩15页未读 继续免费阅读

下载本文档

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

文档简介

7/29/2023反证法7/29/2023路边苦李

王戎7岁时,与小伙伴们外出游玩,看到路边的李树上结满了果子.小伙伴们纷纷去摘取果子,只有王戎在原地不动.王戎回答说:“树在道边而多子,此必苦李.”小伙伴摘取一个尝了一下果然是苦李.

王戎是怎样知道李子是苦的呢?他运用了怎样的推理方法?小故事:7/29/2023这与事实矛盾。说明李子是甜的这个假设是错的还是对的?假设李子不是苦的,即李子是甜的,那么这长在人来人往的大路边的李子会不会被过路人摘去解渴呢?那么,树上的李子还会这么多吗?所以,李子是苦的7/29/2023乙:这不可能,5月4号上午还看见你和丙在“长廊”逛街呢!甲:在五一长假里,我和爸爸、妈妈去新加坡玩了整整6天,真是太高兴了.丙:是啊,5月4号我确实和甲在“长廊”逛街!7/29/2023假设甲去新加坡玩了6天,乙:甲没有去新加坡玩了6天.那么甲从5月1号至6号或是2号至7号在新加坡,即5月4号甲在新加坡,这与“5月4号甲在达州市的“长廊””矛盾,所以假设“甲去新加坡玩了6天”不正确,于是“甲没有去新加坡玩了6天”正确.7/29/2023

在古希腊时,有三个哲学家,由于争论和天气的炎热感到疲倦,于是就在花园里的一棵大树下躺下休息睡着了。这时一个爱开玩笑的人用炭涂黑了他们的前额,当他们醒过来后,彼此相看时都笑了。一会儿其中有一个人却突然不笑了,他是觉察到什么了?他运用了怎样的推理方法?7/29/2023各抒己见假设自己的前额没有被涂黑,那么另一个哲学家也不会有异常行为,自己的前额也被涂黑了.这与另一个哲学家笑个不停矛盾,所以假设“自己的前额没有涂黑”不正确,于是自己的前额也被涂黑了.7/29/2023

这种证明方法与前面的证明方法不同,它是首先假设结论的反面成立,然后经过正确的;逻辑推理得出与已知、定理、公理矛盾的结论,从而得到原结论的正确。象这样的证明方法叫做反证法。发现知识:7/29/2023在△ABC中,AB≠AC,求证:∠B≠∠

CABC证明:假设

,则()这与

矛盾.假设不成立.∴

.∠B=∠CAB=AC等角对等边已知AB≠AC∠B≠∠C小结:

反证法的步骤:假设结论的反面不成立→逻辑推理得出矛盾→肯定原结论正确例1感受反证法7/29/2023证明:假设a与b不止一个交点,不妨假设有两个交点A和A’。因为两点确定一条直线,即经过点A和A’的直线有且只有一条,这与与已知两条直线矛盾,假设不成立。所以两条直线相交只有一个交点。小结:根据假设推出结论除了可以与已知条件矛盾以外,还可以与我们学过的定理、公理矛盾例2求证:两条直线相交只有一个交点。已知:如图两条相交直线a、b。求证:a与b只有一个交点。abA●A,●7/29/2023例3、用反证法证明:等腰三角形的底角必定是锐角.分析:解题的关键是反证法的第一步否定结论,需要分类讨论.已知:在△ABC中,AB=AC.求证:∠B、∠C为锐角.证明:假设等腰三角形的底角不是锐角,那么只有两种情况:(1)两个底角都是直角;(2)两个底角都是钝角;7/29/2023(1)由∠A=∠B=90°则∠A+∠B+∠C=∠A+90°+90°>180°,这与三角形内角和定理矛盾,∴∠A=∠B=90°这个假设不成立.(2)由90°<∠B<180°,90°<∠C<180°,则∠A+∠B+∠C>180°,这与三角形内角和定理矛盾.∴两个底角都是钝角这个假设也不成立.故原命题正确

∴等腰三角形的底角必定是锐角.说明:本例中“是锐角(小于90°)”的反面有两种情况,这时,必须分别证明命题结论反面的每一种情况都不可能成立,最后才能肯定命题的结论一定正确.此题是对反证法的进一步理解.7/29/2023假设结论的反面正确推理论证得出结论回顾与归纳反设归谬结论

得出矛盾(已知、公理、定理等)

假设不成立,原命题成立.7/29/2023巩固新知1、试说出下列命题的反面:(1)a是实数。 (2)a大于2。(3)a小于2。 (4)至少有2个(5)最多有一个(6)两条直线平行。2、用反证法证明“若a2≠b2,则a≠

b”的第一步是

。3、用反证法证明“如果一个三角形没有两个相等的角,那么这个三角形不是等腰三角形”的第一步

。假设a=b假设这个三角形是等腰三角形7/29/2023已知:在梯形ABCD中,AB//CD,∠C≠∠D求证:梯形ABCD不是等腰梯形.证明:假设梯形ABCD是等腰梯形。∴∠C=∠D(等腰梯形同一底上的两内角相等)

这与已知条件∠C≠∠D矛盾,

假设不成立。

∴梯形ABCD不是等腰梯形.4、求证:如果一个梯形同一底上的两个内角不相等,那么这个梯形不是等腰梯形。ABCD7/29/2023

美国总统华盛顿从小非常聪明,小偷翻进鲍克家偷走了许多东西,根据迹象表明小偷就是本村人,华盛顿灵机一动,对全村人讲起了故事:“黄蜂是上帝的使者,能辨别人间的真假.”忽然华盛顿大声喊道:“小偷就是他,黄蜂正在他的帽子上兜圈子,要落下来了!”大家回头张望,看着那个想把帽子上的黄蜂赶走的人,其实哪有什么黄蜂?华盛顿大喝一声:“小偷就是他!”你知道华盛顿是如何推理的吗?在应用中体会华盛顿抓小偷7/29/2023警察局里有5名嫌疑犯,他们分别做了如下口供:A说:这里有1个人说谎.B说:这里有2个人说谎.C说:这里有3个人说谎.D说:这里有4个人说谎.E说:这里有5个人说谎.

聪明的同学们,假如你是警察,你觉得谁说了真话?你会释放谁?请与大家分享你的判断!快乐驿站我来当警察7/29/2023课外延伸

古希腊哲学家亚里士多德有一个著名论点:轻重不同的两个物体从同一高度自由下落时,一定是重的物体先落地.在意大利物理学家伽利略提出反对观点以前的一千多年里人们对亚里士多德的说法深信不疑.伽利略为了证明自己的观点是正确的,在意大利的比萨斜塔上,让一个中1磅和重100磅的两个铁球同时从高空自由下落,果然是同时着地.这是科学史上一个极其有名的实验,它否定了亚里士多德的错误观点.你能用今天所学的知识来否定亚里士多德的错误观点吗?试一试.7/29/2023全课总结1、知识小结:反证法证明的思路:假设命题不成立

温馨提示

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

评论

0/150

提交评论