合情推理与演绎推理课件.pptVIP

2021/3/17 * 2021/3/17 * 2021/3/17 * 地图的”四色猜想” 歌尼斯堡七桥猜想 卡拉比猜想 数学中的猜想 欧氏第五公设猜想 西塔潘猜想 费马大定理 2021/3/17 * 欧氏第五公设猜想 数学中的猜想: 欧氏几何 同平面内一条直线和另外两条直线相交,若在某一侧的两个内角的和小于两直角,则这一直线经无限延长后在这一侧相交。 黎曼几何 在同一平面内任何两条直线都有公共点(交点)。 罗氏几何 从直线外一点,至少可以做两条直线和这条直线平行 非欧几何 2021/3/17 * 费马大定理 当整数n 2时,关于x, y, z的不定方程 无正整数解。 ……… 32+42=52,52+122=132...… 维尔斯于1994年9月彻底圆满证明了“费马大定理” 。 数学中的猜想: 2021/3/17 * 地图的“四色猜想” 数学中的猜想: 每幅地图都可以用四种颜色着色,使得有共同边界的地区着上不同的颜色。 2021/3/17 * 歌尼斯堡七桥猜想 18世纪在哥尼斯堡城(今俄罗斯加里宁格勒)的普莱格尔河上有7座桥,将河中的两个岛和河岸连结,如图所示。城中的居民经常沿河过桥散步,于是提出了一个问题:能否一次走遍7座桥,而每座桥只许通过一次,最后仍回到起始地点。?????????????????????????????????? 数学中的猜想: 2021/3/17 * 卡拉比猜想源于代数几何,是由意大利著名几何学家卡拉比在1954年国际数学家大会上提出的:在封闭的空间,有无可能存在没有物质分布的引力场?卡拉比认为是存在的,可是没有人能证实,包括卡拉比自己。 数学家丘成桐27岁攻克几何学上难题“卡拉比猜想”,并因此在1982年(33岁)获得数学界的“诺贝尔奖”——菲尔兹奖 卡拉比猜想 数学中的猜想: 2021/3/17 * 中国目前最年轻的教授刘路,90年生,22岁被聘任为中南大学正教授级研究员 数学中的猜想: “西塔潘猜想” “西塔潘猜想”是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。在组合数学上,拉姆齐（Ramsey）定理是要解决以下的问题:要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识。2011年5月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,中南大学数学科学与计算技术学院酷爱数理逻辑的刘路的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了西塔潘的猜想。 2021/3/17 * 你认为平面几何中的哪一类图形可以作为四面体的类比对象? 从构成几何体的元素数目看,四面体由4个平面围成,它是空间中由数目最少的基本元素（平面）围成的封闭几何体; 从构成几何体的元素数目看,三角形由3条直线围成, 它是平面内由数目最少的基本元素（直线）围成的封闭图形。 从这个角度看,我们可以把三角形作为四面体的类比对象。 2021/3/17 * 例3 类比平面内直角三角形的勾股定理,试给出空间中四面体性质的猜想。 B C A a c b P F E D S1 S2 S3 解:考虑到直角三角形的两条边互相垂直,我们可以选取有3个面两两互相垂直的四面体,作为直角三角形的类比对象。 如图,Rt△ABC中有勾股定理:a2+b2=c2。 类似地,在四面体P-DEF中,∠PDF= ∠PDE= ∠EDF=900。 设S1,S2,S3和S分别表示△PDF, △PDE, △EDF 和△PEF的面积。 直角三角形有2条直角边a,b和1条斜边c,类似于四面体P-DEF有3个“直角面” S1,S2,S3和1个“斜面”S. 于是,类比勾股定理的结构,我们猜想 S2=S12+S22+S32。 2021/3/17 * 平面图形与空间图形常见类比对象 平面图形 空间图形 直线 三角形 正方形 圆 图形面积 切线 垂线 线线角 平面坐标系 平面 四面体 正方体 球 几何体体积 切面 垂面 面面角 空间坐标系 2021/3/17 * R2 P O P1 O1 Q P2 R1 Q2 Q1 O2 O3 运用类比思想,提升推理能力 R 2021/3/17 * 同样地,类比推理所得的结论也不一定可靠。 例如, “平面内,同时垂直于一条直线的两条直线互相平行” 得到猜想: “空间中,同时垂直于一个平面的两个平面互相平行” 显然,这个猜想是错误的。 2021/3/17 * 合情推理 归纳推理和类比推理都是根据已有的事实,经过观察、分析、比较、联想,再进行归纳、类比,然后提出猜想的推理,我们把它们统称为合情推理。 通俗地说,合情推理是指“合乎情