公选课第7讲：数学与人类思想解放.pptVIP

遵义师范学院  2012—2013学年度第二学期 《数学文化》公共选修课第 7 讲 数学与人类思想解放 一、解析几何与微积分的发明 公元前3世纪，古希腊数学家欧几里得(生卒年不详，鼎盛期约在公元前300年)写了一本划时代的巨著《几何原本》，这本书在科学上开创了公理化方法的先河，它最早用公理化方法去建立演绎数学体系。《几何原本》共13卷，它的开头是23个定义，诸如点没有大小、线有长度没有宽度线的界是点、面只有长度和宽度、面的界是线等等。 定义的后面是5个公设， 前4个公设分别是：两点间可连一条直线、直线可无限延长、以任一点为圆心以任一半径可作一圆、凡直角都相等。 公设之后是个公理，分别是：等于同量的量相等、等量加等量和相等、等量减等量差相等、可重合的图形全等、整体大于部分。 《几何原本》就是从定义、公设、公理出发，通过逻辑推理从而得出一系列的定理。《几何原本》后来成为后世学习几何知识的标准教材，它记载的几何学也被称为欧氏几何。 《几何原本》的第五公设是“如果一条直线与两条直线相交，所形成的同侧内角和小于两直角和，那么这两条直线延长以后必在内角和小于两直角和的这一侧相交。”这条公设又被称为平行公设，它比前面四条公设复杂，看起来很像一条定理。于是自《几何原本》问世以后，数学家们企图由其它公设和公理推出第五公设，或者用更加自明的公设