欧几里得《原本》与公理化方法 导学案公开课教案教学设计课件.docxVIP

欧几里得《原本》与公理化方法 导学案 一.引入 求证：夹在两个平行平面间的平行线段相等. 公理2（推论） 公理2（推论）： 过两条平行直线，有且只有一个平面. 2. 平面与平面平行性质定理 平面与平面平行性质定理：如果两个平行平面同时和第三个平面相交，那么它们的交线平行. 3.推理结构分析 公理化方法 数学公理化方法，就是从尽可能少的原始概念（基本概念）和尽可能少的一组不加证明的原始命题（公理，公设）出发应用严格的逻辑推理，推导出其余的命题，使某一数学分支成为演绎系统的一种方法. 基本概念是一些不加定义的原始概念，它们必须是真正基本的，无法用更原始、更基本的概念去定义的. 公理是对基本概念间的相互关系和基本性质所作的一种阐述和规定. 第一次给出公理化的数学体系——欧几里得几何《原本》 《原本》简介 历史起源 古代几何最早记载可以追溯到古印度、古巴比伦、古埃及.早期的几何学是关于长度，角度，面积和体积的经验原理，被用于满足在测绘，建筑，天文，和各种工艺制作中的实际需要. 后经过泰勒斯、毕达哥拉斯等几何学家的发展，古希腊数学已经积累了大量的、具体的成果.但是这些知识缺乏系统性, 大多数都是片断的、零散的知识. 2.《原本》诞生 欧几里得将公元前7世纪以来希腊几何学家积累起来的丰富成果整理、收集起来，并加以系统化.他从少数已被经验反复验证的公理出发，运用逻辑推理以及数学运算方法演绎出一系列定理与推论，写成了十三卷在数学史上的数学巨作《原本》，使几何学成为一门独立、演绎的科学. 3.历史意义 欧几里得《原本》在人类数学史中第一次给出了公理化的数学体系，成为理性思维的象征.对整个数学发展产生了深远的影响. 内容简介 1.整体概述： 第1,2，3,4，6卷包含了平面几何的一些基本内容，如全等形，平行线，多边形，圆，初等作图及相似形等.第五卷讲比例论，第七八九卷是关于数论的，第十卷讨论不可公度量，后三卷主要是立体几何的内容. 第I卷内容框架 （1）23个定义，五个公设，五个公理. 命题I.1 已知一条线段可作一个等边三角形. 证明： （3）命题I.3给定两条不等线段，可以在较长的线段切取一条线段等于较短的线段. 证明： 上述两个命题的推理结构： （4）命题I.11过直线上的一点，可以作该直线的垂线. .非欧几何的创立 1.从第五公设到非欧几何的创立 同平面内一条直线和另外两条直线相交，若在直线同侧的两个内角之和小于180度，则这两条直线经无限延长后在这一侧一定相交. 罗巴切夫斯基认为第五公设不能被证明，把第五公设换成一条新的公设“平面内过已知直线外一点至少可以引两条直线与已知直线不相交”，提出新的几何学. 2.对比欧式几何和罗氏几何的公理体系 3.欧式几何和非欧几何. 欧式几何：过直线外一点有且只有一条直线与已知直线平行. 罗氏几何：过已知直线外一点至少可以引两条直线与已知直线不相交. 黎曼几何：在同一平面内任何两条直线都有公共点. 公理化方法的作用 1. 概括整理数学知识.2.促进新理论的创建.3.对其他的学科有示范作用. 小结 请学生谈谈这节课的收获和感悟. 作业布置 1.细读欧几里得《原本》的若干定义、公理、公设和命题. 2.简述《原本》在数学史上的意义. 3.写一篇有关公理化方法的小论文.