关于高中立体几何公理化问题的思考--基于与《几何原本》的比较.pdfVIP

关于高中立体几何公理化问题的思考 — — 基于与 《几何原本》的比较 徐兴 国 (扬州市职业大学师范学院，2256OO) 《几何原本》是数学史上最为璀璨耀眼的 有且只有一个平面。 明珠之一，其公理化思想和严密的逻辑推理 公理4 平行于同一条直线的两条直线 在2000多年的历史长河中魅力不减。作为 互相平行。 对比，我们讨论关于高中立体几何内容公理 第 1个问题 ：教材中的公理 4可不可以 化体系的几个问题。 作为定理? 笔者参阅了新中国成立后各个时期、多 首先，由公理2可以得到以下定理： 个版本的高中数学教材 中的立体几何内容， 定理 l 若三个平面两两相交，且有三条 其中有 1957年人教版的 《立体几何》分册， 交线，则这三条交线要么交于一点，要么互相 1981年人教版的 《立体几何(全一册)》分册， 平行 。 以及现行人教版、北师大版、苏教版、沪教版 其符号表述如下 ： 的立体几何部分，发现尽管教学的内容作了 已知：平面a、、7，dn卢一Z1，卢n)，一Z2，an 取舍，次序作 了调整，但一个基本的、共 同的 y— 3，Z1、z2、Z3两两不重合。求证 ：Zl、Z2、Z3交 特点没有任何变化，这就是所有立体几何内 于一点或互相平行。 容始终全部是由以下4个公理演绎推理出来 其证明过程如下 ： 的，也就是整个立体几何体系始终全部是建 由Z1、Z2共面，则 Z1、Z2相交或平行。若 立在以下4个公理的基础上的，而且这 4个 ZlnZ2一O，如 图1，因为0∈Z1，Z1c 口，O∈￡2， 公理的表述方式也始终全部一样： Z2Cy，所 以O∈aN)，，又因为aN7=l3，所以0 公理 1 如果一条直线上的两点在一个 ∈Z3，即Z1、Z2、Z3交于一点。 平面内，那么这条直线上所有的点都在这个 平面 内。 公理2 如果两个平面有一个公共点，那 么它们还有其他公共点，这些公共点的集合 是经过这个公共点的一条直线。 公理3 经过不在 同一条直线上的三点， 图 l 2014年第8期 教育研究与评论 ·课堂观察 若z1∥z2，如图2，假设z2与z3相交，由上 面证明的结论，可得 Z1、Z2、Z3交于一点，这与 z1∥z2矛盾，故 z2与 z3不相交，又 由z2、z3共 面，故z2∥z3。同理，1／／z3。 12 图4 这说明公理4不是一个公理，而是一个 定理。 ／2 第2个问题：为什么教材中的公理可以 图 2 作为定理? 其次，我们尝试由定理 1推出公理4。 讨论这个问题要从两个方面谈起 ：一是 公理 4的符号表述如下： 《几何原本》的公理化体系；二是高中数学教 已知：z1∥z2，z1∥z