第5篇学科中的数学方法.pptVIP

例5.19 平面几何的公理化概括(欧氏几何) 原始概念：点、线、面 原始命题（公设和公理）如下： 公设1：两点之间可作一条直线； 公设2：一条有限直线可不断延长； 公设3：以任意中心和直径可以画圆； 公设4：凡直角都彼此相等； 公设5：在平面上，过给定直线之外的一点，存在且仅存在一条平行线，即所谓的“平行公设（公理）”。 公理1：等于同量的量彼此相等； 公理2：等量加等量，和相等； 公理3：等量减等量，差相等； 公理4：彼此重合的图形全等； 公理5：整体大于部分。 《周髀算经》中的“盖天学说” 据有关记载，《周髀算经》成书于公元前100年左右。在《周髀算经》中介绍了一个描述天象的“盖天学说”，该学说构建了一个几何宇宙模型。该学说中的公理有两个。 ①天地为平行平面，相距80000里，在北极下方的大地中央有一底面直径为23000里、高为60000里、上尖下粗的“璇玑”（即极下，极下阳光照不到，故万物不生）。 ②日照四旁各167000里。日光向四周照射的极限距离是167000里，人所见到也是这个距离。换言之，日光照不到167000里之外，人也看不见167000里之外。 从公理可以演绎出：夏至南万六千里，冬至南十三万五千里，日中立竿无影。此一者天道之数。周髀长八尺，夏至之日晷一尺六寸。髀者，股也；正晷者，勾也。正南千里，勾一尺五寸；正北千里，勾