几何原本与几何基础的公理标准体系和我国平面几何课本的历史演变.docVIP

欧氏几何公理体系和中国平面几何书本历史演变 几何原本和几何基础 我们全部知道，两千多年前，古希腊数学家欧几里得写了一本著名书《原本》。在古往今来浩瀚书海中，《原本》用各国文字出版印数仅次于《圣经》而居世界第二位。中国最早中译本是在明朝末年由外国传教士利玛窦和中国科学家徐光启翻译，16出版，书名定为《几何原本》。以后，中国出版多种译本全部沿袭这一名称叫做《几何原本》。 《几何原本》列出了五条公设和五条公理，并在各章开头给出了一系列定义，然后依据这些定义，公理和公设推导出了465个数学命题，（根据现在通行希思英译本《Euclid’s Elements》13卷计算, 该书中译本于1990年出版），其系统之严谨，推理之严密，令人叹为观止。《几何原本》内容包含初等数学各个领域，包含代数，数论，平面几何，立体几何，甚至现代极限概念雏形，但各部分表述大全部是从图形出发。第一卷讲直线形，包含点、线、面、角概念，三角形，两条直线平行和垂直，勾股定理等；第二卷讲代数恒等式，如两项和平方，黄金分割；第三卷讨论圆、弦、切线等和圆相关图形；第四卷圆内接和外切三角形，正方形，内接正多边形（5，10，15边）作图；第五卷百分比论，取材于欧多克索斯（Eudoxus）公理法，使之适适用于一切可公度和不可公度量；第六卷将百分比论应用平面图形，研究相同形；第七八九卷是初等数论，其中给出了辗转相除法，证实了素数有没有穷多；第十卷篇幅最大，占全书四分之一，关键讨论无理量，能够看作是现代极限概念雏形；第十一卷讨论空间直线和平面；第十二卷证实了圆面积比等于直径平方比，球体积比等于直径立方比，但没有给出百分比常数；第十三卷具体研究了五种正多面体。 欧几里得《几何原本》中内容已在现代中等教育中分成了若干部分，分别归入平面几何，代数，三角，立体几何。初中平面几何内容关键取材于《几何原本》前六章，大致能够概括为点、线、面、角概念，三角形，两条直线位置关系（包含平行，垂直），四边形，圆，相同形，求图形面积这么多个部分。在全书开头列出5个公设和五个公理以下。公理适适用于数学各个领域： 等于同量量相互相等。 等量加等量，其和相等。 等量减等量，其差相等。 相互能重合物体是全等。 整体大于部分。 公设适适用于几何部分： 由任意一点到任意（另）一点可作直线。 一条有限直线能够继续延长。 以任意点为心及任意距离能够画圆。 凡直角全部相等。 同平面内一条直线和另外两条直线相交，若在某一侧两个内角和小于而直角，则这二直线经无限延长后在这一侧相交。 当然，根据现代数学公理化体系去衡量，《几何原本》公理体系不是很完备，比如对点、线、面等原始概念定义不甚清楚，关联，次序，运动，连续性等方面公理还有待补充，部分公理欠独立性。部分命题证实基于公理4几何直观，即：相互能重合物体是全等。也就是说，一个平面图形能够不改变形状和大小从一个位置移动到另一个位置。这实际上是不加定义默认了平面刚体运动。后者在现代数学中严格定义是平面到本身保持距离不变一个映射。 1899年数学泰斗希尔伯特Hilbert 出版了她著作《几何基础》，并于30多年间不停地修正和精炼，于1930年出了第七版。《几何基础》一书为欧几里得几何补充了完整公理体系，给出了点、线、面、关联、次序、协议这些原始概念正确定义。 《几何基础》将公理体系分为下述五类。第一类叫做关联公理，由两点确定一条直线；一条直线上最少有两个点，最少有三个点不在一条直线上，等8个公理组成。 第二类叫做次序公理，由下述四个公理组成。1. 设A,B,C是一条直线上三点，假如B在A,C之间，则B也在C, A之间。 2. 已知A, B是直线上两点，则直线上最少有一点 C, 使得B在A, C之间。3. 一条直线三点中，最少有一点在其它两点之间。 4. 若直线a 不经过三角形ABC顶点，且和线段AB相交，则a和AC或BC相交。 由此能够证实（见《几何基础》第一章第4节定理8）：平面上任意一条直线将该平面上其它点分为两个区域，一个区域每一点A和另一区域每一点B所确定线段AB内，必含有a一个点，而同一个区域任意两点A和A’所确定线段AA’内，不含有直线a点。有了这个定理，我们才能够定义平面上直线a同侧或异侧。 我们还能够依据次序公理前三条，定义直线a上一点O将直线分为两侧：设A、A’、O 和B是一直线a上四点，若O不在点A, A’ 之间，称A, A’ 在O同侧；若O在点A, B之间，称A, B在O异侧。所以直线上点O同侧点集合，叫做始于O点一条射线。 第三类是协议公理，（或全等公理）。 1. 已知直线a及 a上线段 AB, 给出直线 a’ 及其上点A’并指定a’上点A’一侧。则在a’ 上点A’该侧存在点B’, 使A’B’协议于（或等于）AB. 记作AB=A’B’. 2. 若 A’ B’ =