2024-2025学年沪科版初中数学八年级下册课件 19.4 综合与实践_第1页
2024-2025学年沪科版初中数学八年级下册课件 19.4 综合与实践_第2页
2024-2025学年沪科版初中数学八年级下册课件 19.4 综合与实践_第3页
2024-2025学年沪科版初中数学八年级下册课件 19.4 综合与实践_第4页
2024-2025学年沪科版初中数学八年级下册课件 19.4 综合与实践_第5页
已阅读5页，还剩14页未读， 继续免费阅读

下载本文档

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

文档简介

第19章四边形义务教育沪科版数学八年级下册19.4综合与实践 多边形的镶嵌情景导入如图19－50，我们常常可以看到用各种形状的地砖(或墙砖)铺砌成的平面图案.平面镶嵌的概念.

这种用形状相同或不同的平面封闭图形，覆盖平面区域，使图形间既无缝隙又不重叠地全部覆盖，在几何里面叫做平面镶嵌.使用给定的某种正多边形，当围绕一点拼在一起的几个正多边形的内角加在一起恰好组成一个周角时，就可以作平面镶嵌.用一种正多边形作平面镶嵌是比较简单的情形.如图19－51正三角形正方形和正六边形都可以用来作平面镶嵌，这是因为在一个顶点处的几个内角恰好拼成一个周角，这样镶嵌不重叠、无缝隙.正三角形(1)正方形(2)正六边形(3)而正五边形却不能用来作平面镶嵌，如图19－52.除了上面几种正多边形可以用来作平面镶嵌外，一般的角形和四边形也可以用来作平面镶嵌(图19－53).一般四边形(2)一般三角形(1)这里提出两个课题：(每位同学从两个中任选一个)1.收集生活中的各种镶嵌地板、地砖、墙壁、墙纸的图案，把它们复制下来与同学交流，并研究它们的构成和拼接方法.2.请你分别按下列要求设计一个多边形的镶嵌图案：(1)只用一种正多边形；(2)同时用两种正多边形；(3)用一种非正多边形.数学史话几何定理的机器证明1950年，波兰数学家塔斯基指出：所有的代数或几何命题都可以判其真伪.这一发现，是机器(指电脑)证明的理论基础.现在，电脑的运算速度非常快，它的证明潜力也正在逐渐地被认识被开发.任意三角形的内角三等分线必交于一个正三角形的顶点，这就是莫勒定理，它的证明很不容易，如果再要考虑外角三等分线的话，就更困难了.但若先将其化成代数问题，再让电脑去处理则很快就能得出结果.中国科学院院士、著名的数学家吴文俊(1919-2017)在机器证明方面做出了很大的贡献.20世纪70年代后期，在计算机技术广泛应用的背景下，他继承和发展了中国古代数学的算法化思想，进行几何定理的机器证明研究，取得了一系列国际领先成果，并应用于国际上当前流翩穿眺行的符号计算软件，这些研究作为国际自动推理界先驱性工作，被称为“吴方法”，产生了很大影响.2001年吴文俊荣获首届“国家最高科学技术奖”(2000年度).吴文俊的机器证明可以分成下面三个主要步骤：第一步(几何的代数化与坐标化)把几何问题代数化，就是把命题的假设和结论表示成多项式方程组.第二步(几何的机械化)证明定理就是从假设推导出结论几何定理证明的机械化，就是要从定理的假设部分的多项式方程组依确定步骤推导出结论部分的多项式方程组.第三步依据第二步中的确定步骤编成程序，并在计算机上实施，以得出定理是否成立的最后结论.吴文俊于1977年提出来的证明几何定理的吴方法适用于证明等式型”的几何定理(即定理的假设和结论都可以用多项式方程组来表示的定理)，而且证明的效率很高，一般用几分钟、几秒钟就可以证出不简单的定理，甚至还能自动发现定理.但是，不能用多项式方程组表示的几何性质(

人人文库> 全部分类> 教育资料 > 备课教案

温馨提示

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

最新文档

评论

0/150

提交评论