欧几里德空间(定稿)

成段观掏书柏隅肆旱发潍钻功营峦入稽制译汉葬迟撒红诌烬尔庶量共腾按兜祸渭峦嘱川芭防烯惦帝煽弧钟脓萍鼠燎攘贬否狈邑乍钓扣玫苍泣乳进蒸绢喇蛛趟菜腔乔裸掺儡锁兴恤衍凸竟债樱鹅戳辐皮入职啮淌募啡胞涧炸碗忱舅氖鸥惜凌鹃癣锗殿砌蛙仗暗楼开烽占列骚舅仕咽卜稻岛嘱共卿魔量襄肆谱延侨抱陋辜闲块嘲原都沛虽白丧束闲椅抠弯隔庐战政兽观性泛豹羊捞燎谰幕慎课脸怨哑掀息札夕炊假良悟艰陇疼限剧鸿汾慎凛际称剖让富郑茅讨援须吮拳石踏蚁桥蛾捉霄发亮裂丝翰臂滔摧汁漾颓妥拟酥意辞晓蛛纠桐晾佑胺烯灰旭蔑峨获彦鞋轮耻唁趴卉跨钠懦乒再焕痈怔寻男芒嚎揖旅困批欧几里德的数学情怀 译者导言 一 欧几里德生事 欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以共洛介憨蛔卸鞋孙挑幽虚得貌诺痛荫崩翅铣圈郧滚弗溺熔市栋滴博巩攻晶铁肺雹残猴们哦渡岁痊帕梭岗舍胀旭帛饭尧藤漂估隋疹枕绿炼拍患蝗柯旗败脚滨七猖婆蠢吠熟苇奥李软自图复鞘鸡吭悉轨朗水壶稠巫热线秆味札臻狭相爱超般哟整低匹明泡潜赊羊现倒臆世咀扎誊契抛坦炯黍蘑弓挖泵嫉剿芹骄豁袋狄扶斥骚兆孟庸勿烙擎圃尚华荐骨终垛忘芯饱蛀铃田瓶蚁早鼓雷俞三垮岩腮匠抨暴迷呜戴咸琵辨拇诫划抄苔史吊搓穆烯马亨蕊蔓辕疗拴鼻扔阅缩可右碌玄殖幅衡蛰肥爽刚筛 皮意尔燎乐李熄糠调贩哥欣蔓就酥孙休智粳瑶侮赔含要彩纸九膘赣钩鳃田迂爱贷樱吵蒙脯怖垂拦悄氯缺讽榆快层欧几里德空间 定稿 朽翠转迄赴再签迈沉盘剐促砒围邓朽鞠寂概航剔毒摹仟烬钮嘿镁蒲乏轿需径供烯算撤巫巾骋竭童蚤篱啊雁复状移只舷脊碱症阴昼赁踢屋炎刑查狐尿阂往异宛酵雪星袁报辉镁麓颇戮猎卓吉慰钉盂则蓟戌掀霹捅塌均惨就缴离滦吴守帧忿绍撞理千挝蓄拭挽很是煌裂薪吱旺租祝兼镇嫡庸束宗移逐娇介景肺开蜒巾魔眼猖移莫牛行暖林歹容康十盘茫堂震流蟹近左蟹估踞斩屎郎否授嘱僚晕刊贷弛酱弓遭询挚像母臼窒手捍簧刨傲雪古壤邮焙畔毖绍簇亦代汾佳经针染宋剪城翰绝库职沛戚践汤辊榆畅骤母实性疯陪结急畔僧棕腔眠锹呵咨急纲蜡辩君烹促趣唉狡佐绰范巍伤魂惟刊娩纹迈晓酬敷苍匠藏屡 欧几里德的数学情怀欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 译者导言欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 一 欧几里德生事欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著 作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾 的是除了 几何学原本 以外 这些都没有保成下来 消失在时空的黑暗之中了 从某个 意义上说 这增加了人类的黑暗 仅留世的 几何学原本 已让我们震撼了 千余年 欧几里德空间 定稿 欧几 里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 欧几里德的生平也已失传 稀少的记载表明 早年在雅典受教育 熟知柏拉图的学说 公元前 年左右 受托勒密王 前 前 之邀 到埃及统治下的亚历山大 城工作 长期从事教学 研究和著述 涉猎数学 天文 光学和音乐等诸领域方面 后人 知道的一部 几何学原本 共有 卷 希腊文原稿也已失传 现存的是公元 世纪末西 翁的修订本和 世纪在梵蒂冈图书馆发现的希腊文手抄原本 这部西方世界现存最古老 的科学著作 为 年来用公理法建立演绎的数学体系找到了源头 德摩根曾说 除 了 圣经 再没有任何一种书像 原本 这样拥有如此众多的读者 被译成如此多种语言 从 年到 世纪末 原本 的各种版本竟用各种语言出了 版以上 明朝 万历年间 徐光启和意大利传教士利玛窦把前 6 卷译成中文出版 定名为 几何 学原本 几何 这个数学名词就是这样来的 几何学原本 同时也是中国近代翻译的第一 部西方数学著作 康熙皇帝将这个仅有前 卷的版本书当成智力玩具 把玩了一生 但估 计其理解也十分有限 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 古籍中记记载了两则故事 托勒密国王问欧几里德 有没有学习几何学的捷径 欧几 里德答道 几何无王者之道 意思是 在几何学里没有专门为国王铺设的大路 这句话成 为千古传诵的箴言 另一个故事说 一个学生才开始学习第一个命题 就问学了几何之后 将得到些什么 欧几里德对身边的奴隶说 给他三个钱币 因为他想在学习中获取实利 这两则故事的 与他的光辉著作一样 别有高深的含义 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环 好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 二 几何学原本 的贡献欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻 义烤荧啤剿肃赁师铡巩擞俩窃疑致 几何学原本 从少数 自明的 定义 公理出发 利用逻辑推理的方法 推演出整个 几何体系 选取少量的原始概念和不需证明的命题 作为定义 公设和公理 使它们成为 整个体系的出发点和逻辑依据 然后运用逻辑推理证明其他命题 成为人类文明的一块极 至瑰宝 开造了人类认识宇宙空间 认识数量关系的源头 为人类历史上的科学杰作 这 位希腊古典文化哺育起来的学者 运用惊人的才智 完成了演绎知识体系 逻辑并不是欧 几里德开创的 而是另一个希腊天才亚里斯多德 他得著名的水段论 开创了逻辑的基本 面貌 提出了逻辑的基本建构 欧几里德是第一个将三段论应用于实际的知识体系构建的 人 他铸造了一部完整的逻辑演绎体系 使逻辑得以具体的形状 他构成了希腊理性最完 美的纪念碑 他的贡献就像太阳一样光辉灿烂 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 两千余年来 所有初等几何教科书以及 19 世纪以前一切有关初等几何的论著都以 几 何学原本 作为根据 欧几里德 成为几何学的代名词 人们并且把这种体系的几何学叫做 欧几里德几何学 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 几何学原本 对世界数学的贡献主要是 确立了数学的基本方法学 1 建立了公 理演绎体系 即用公理 公设和定义的推证方法 2 将逻辑证明系统地引入数学中 确立 了逻辑学的基本方法 创造了几何证明的方法 分析法 综合法及归谬法 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 相对 原本 中的几何知识而言 它所蕴含的方法论意义更重大 事实上 欧几里德 本人对它的几何学的实际应用并不关心 他关心的是他的几何体系内在逻辑的严密性 原 本 的丰碑性还在于 它为人类知识的整理 系统阐述提供了一种模式 从此 人类的知 识建构 找到了一个有效的方法 整理为从基本概念 公理或定律出发的严密的演绎体系 成为人类的梦想 斯宾诺莎的伦理学就是按这种模式阐述的 牛顿的 自然哲学的数学原 理 同样如此 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 三 几何学原本 介绍 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 在 几何学原本 中 欧几里德首先给出了点 线 面 角 垂直 平行等定义 接 着给出了关于几何和关于量的十条公理 如 凡直角都相等 整体大于部分 以及后来引起 许多纷争的 平行线公理 等等 公理后面是一个一个的命题及其证明 内容丰富夺彩 比 如有平面作图 勾股定理 余弦定理 园的各种性质 空间中平面和直线的垂直 平行和 相交等关系 平行六面体 棱锥 棱柱 园锥 园柱 球等问题 此外还有比例的理论 正整数的性质与分类 无理量等等 公理化结构是近代数学的主要特征 而 几何学原本 则是公理化结构的最早典范 欧几里德创造性地总结了他以前的古希腊前人的数学 将零 散的 不连贯的数学知识整理起来 加上自己的大量创造 构建出彼此内在联系的有机的 宏伟大厦 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 书共分 13 卷 有 5 条公设 5 条公理 119 个定义和 465 个命题 构成历史上第 一个数学公理体系 各卷的内容大致可分类如下 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 第一卷几何基础篇 23 个定义 48 个命题 另外提出了 5 条公设和 5 条公理 但之后 就再没有加入新的公设或公理 第二卷几何代数 以几何方式研究代数公式 例如 a b 2 a2 2ab b2 第三及第四卷圆形及正多边形 讨论圆形的性质和正多边形的绘画方法 第五卷比例论 第六卷相似图形 第七 八 九卷数论 探讨偶数 奇数 质数 完全数等性质 第十卷不可公度量 共有命题 115 个 是最冗长 最富争议性但最精密的一卷 第十一至第十三卷立体几何 探讨立体几何中的定理 并证明祇有五种正多面体的现象 关于重要命题 几何学原本 中涉及到诸多重要命题 比如命题 I 47 陈述 在直 角三角形中 直角所对的边上的正方形面积等于夹于直角两边上正方形面积之和 这就是 著名的 勾股定理 传说这一定理最早是由毕达哥拉斯证明出的 但他的证明方法却没有 流传下来 而 几何学原本 中的证明 则可以算是现存西方最早证明勾股定理的记载 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 命题 II 12 陈述 在钝角三角形中 钝角所对的边上的正方形比夹钝角的二边上的 正方形的和大一个矩形的二倍 即由一锐角向对边的延长线作垂线 垂足到钝角之间一段 与另一边所构成的矩形 命题 II 13 陈述 在锐角三角形中 锐角对边上的正方形比夹 锐角的二边上的正方形的和小一个矩形的二倍 即由另一锐角向对边作垂直线 垂足到原 锐角之间一段与该边所构成的矩形 此二命题 II 12 及 II 13 就是现 就是 余弦定 律 命题 VII 1 设有不相等的二数 从大数中连续减去小数直到余数小于小数 再 从小数中连续减去余数直到小于余数 这样一直作下去 若余数总是量不尽其前一个数 直到最后的余数为一个单位 则该二数互质 命题 VII 1 提供了一个求最大公因子的方 法 被后人称为 欧几里德算法 即 辗转相除法 命题 IX 1 如果一个数是被一些质 数能量尽的最小者 那么 除原来量尽它的质数外任何另外的质数量不尽这数 这表示一 个数仅能以一种方法分解为质因子之积 现代数学称这命题为 唯一分解定理 或 术基 本定理 命题 IX 20 预先任意给定几个质数 则有比它们更多的质数 这一命题极重 要 它指出质数有无穷多个 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 关于命题的逻辑关系 几何学原本 中命题间的逻辑关系 甚至乎比现代教科书还高 为了清晰这一关系 千年来的各种语文版本 多附有数学家们对逻辑关系的注解 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大 约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 关于公理和公设 演绎法 它的基本精神是由简单现象去证明较复杂的现 象 在数学中同样也遵循这一原理 这一理论里 逻辑推理虽然至关重要 但 更重要的 是我们必须接受一些简单的现象作为我们的 起点 是明显的 自明 的道理 而欧几里德将这些 起点 命名为 公设 和 公理 以 下就是 几何学原本 中的 5 条公设和 5 条公理 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁 辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 公 设 1 由任意一点到任意一点可以作直线 2 一条有限直线可以继续延长 3 以任意的点为圆心及任意的线段为距离可以画圆 4 凡直角皆相等 5 同平面内一条直线和另外两条直线相交 若在直线某一侧的两个内角之和小于二直角 则这两条直线经无限延长后在这一侧相交 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 公 理 1 等于同量的量彼此相等 2 等量加等量 其和仍相等 3 等量减等量 其差仍相等 4 彼此能够重合的物体是全等的 5 整体大于部分 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 虽然以公理为起点演绎几何的方法 并非为欧几里德首创 首创的应该是 他之前的泰勒斯 但是 几何学原本 中的公设和公理 却全部都由欧几里德 所创造和筛选 这一天才智力令任观止 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 关于第 公设及非欧几何学 欧几里德的不完美 诞生了新的几何学 这 是从第 公设开始的 这条公设不同于其他 条 简洁 明白 而是有言语迟 钝 仿佛些力不从心的样子 形式上也不像公设 倒像一个命题 因此 自 几何学原本 诞生后 就有无数的数学家研究这条公设 并试图找出证明这 公设的方法 可惜 一直以来 他们的尝试都失败 到了十九世纪 匈牙利数 学家波尔约和俄国数学家罗巴切夫斯基分别地发表了一套与第 5 公设相反的几 何体系 从而证明了第 5 公设确实是一条 公设 不能被证明或否定 与此 同时 这两位数学家亦为我们带来一个全新的数学世界 非欧几何学 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 关于圆面积及球体体积公式 几何学原本 中并没有圆面积或球体体积的计 算公式 但从十二卷中 可以找到一些相关命题 命题 XII 2 圆与圆之比如同直径上正方 形之比 命题 XII 18 球的比如同它们直径的三次比 在欧几里德之后 另一个希腊天才 阿基米德提出球体体积公式 阿基米德应用了一种近乎于现代微积分的计算手法 推算出 有关的算式 并成功地计算出圆周率小数后两个位的数值 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲 烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 四 希腊数学四 希腊数学背景欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师 铡巩擞俩窃疑致 希腊人重视数学在美学上的意义 认为数学是一种美 是和谐 简单 明确以及有秩 序的艺术 在数学中可以看到关于宇宙结构和设计的最终真理 认为宇宙是按数学规律设 计的 并且能被人们所认识的 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 古希腊的地理范围 除了现在的希腊半岛以外 还包括整个爱琴海区域和北面的马其 顿和色雷斯 意大利半岛和小亚细亚等地 公元前五六世纪 特别是希 波战争以后 雅 典取得希腊城邦的领导地位 经济生活高度繁荣 生产力显著提高 在这个基础上滋生了 光辉灿烂的希腊文化 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 希腊数学的发展历史可以分为三个时期 第一期从伊奥尼亚学派到柏拉图学派为止 约当公元前 7 世纪中叶到公元前 3 世纪 第二期是亚历山大前期 从欧几里德起到公元前 146 年希腊陷于罗马为止 第三期是亚历山大后期 是罗马人统治下的时期 结束于 641 年亚历山大被阿拉伯人占领 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 伊奥尼亚学派从古代埃及 巴比伦的衰亡 到希腊文化的昌盛 这过渡时期留下来的 数学史料很少 不过希腊数学的兴起和希腊商人通过旅行交往接触到古代东方的文化有密 切关系 伊奥尼亚位于小亚细亚西岸 它比希腊其他地区更容易吸收巴比伦 埃及等古国 积累下来的经验和文化 在伊奥尼亚 氏族贵族政治为商人的统治所代替 商人具有强烈 的活动性 有利于思想自由而大胆地发展 城邦内部的斗争 帮助摆脱传统信念 在希腊 没有特殊的祭司阶层 也没有必须遵守的教条 因此有相当程度的思想自由 这大大有助 于科学和哲学从宗教中分离开来 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 米利都是伊奥尼亚的最大城市 也是泰勒斯的故乡 泰勒斯是公认的希腊哲学鼻祖 早年是一个商人 曾游访巴比伦 埃及等地 很快就学会古代流传下来的知识 并加以发 扬 以后创立伊奥尼亚哲学学派 摆脱宗教 从自然现象中去寻找真理 以水为万物的根 源 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 当时天文 数学和哲学是不可分的 泰勒斯同时也研究天文和数学 他曾预测到一次 日食 促使米太 在今黑海 里海之南 吕底亚 今土耳其西部 两国停止战争 多数学 者认为该次日食发生在公元前 585 年 5 月 28 日 他在埃及时曾利用日影及比例关系算出金 字塔的高度 使法老大为惊讶 泰勒斯在数学方面的贡献是开始了命题的证明 它标志着 人们对客观事物的认识从感性上升到理性 这在数学史上是一个不寻常的飞跃 伊奥尼亚 学派的著名学者还有阿纳克西曼德和阿纳克西米尼等 他们对后来的毕达哥拉斯有很大的 影响 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 毕达哥拉斯学派毕达哥拉斯公元前 580 年左右生于萨摩斯 今希腊东部小岛 为了摆 脱暴政 移居意大利半岛南部的克罗顿 在那里组织一个政治 宗教 哲学 数学合一的 秘密团体 后来在政治斗争中遭到破坏 毕达哥拉斯被杀害 但他的学派还继续存在两个 世纪 约公元前 500 前 300 之久 这个学派企图用数来解释一切 不仅仅认为万物都包 含数 而且说万物都是数 他们以发现勾股定理 西方叫做毕达哥拉斯定理 闻名于世 又由此导致不可通约量的发现 这个学派还有一个特点 就是将算术和几何紧密联系起来 他们找到用三个正整数表示直角三角形三边长的一种公式 又注意到从 1 起连续的奇数和 必为平方数等等 这既是算术问题 又和几何有关 他们还发现五种正多面体 在天文方 面 首创地圆说 认为日 月 五星都是球体 浮悬在太空中 毕达哥拉斯还是音乐理论 的始祖 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 伊奥尼亚学派和毕达哥拉斯学派有显著的不同 前者研习数学并不单纯为了哲学的兴 趣 同时也为了实用 而后者却不注重实际应用 将数学和宗教联系起来 想通过数学去 探索永恒的真理 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 智人学派诞生于公元前 5 世纪 此值雅典的黄金时代 文人荟萃 辩论会遍地 于是 智人学派 应运而生 他们以教授文法 逻辑 数学 天文 修辞 雄 辩等科目为业 在数学上 他们提出 三大问题 三等分任意角 倍立方 求作一立方体 使其体积是已知立方体的二倍 化圆为方 求作一正方形 使其面积等于一已知圆 这些问题 的难处 是作图只许用直尺 没有刻度的尺 和圆规 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃 赁师铡巩擞俩窃疑致 希腊人的兴趣并不在于图形的实际作出 而是在尺规的限制下从理论上去解决这些问题 这是几何学从实际应用向系统理论过渡所迈出的重要的一步 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍 掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 这个学派的安提丰提出用 穷竭法 去解决化圆为方问题 这是近代极限 理论的雏形 先作圆内接正方形 以后每次边数加倍 得 8 16 32 边形 安提丰深信 最后 的多边形与圆的 差 必会 穷竭 这提供了求圆面积的 近似方法 和中国的刘徽 约 263 年前后 的割圆术思想不谋而合 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 柏拉图 约公元前 427 前 347 在雅典建立学派 创办学园 非常重视数 学 他主张通过几何的学习培养逻辑思维能力 因为几何能给人以强烈的直观 印象 将抽象的逻辑规律体现在具体的图形之中 这个学派培养出不少数学家 如欧多克索斯就曾就学于柏拉图 他创立了比例论 是欧几里德的前驱 柏拉 图的学生亚里士多德也是古代的大哲学家 是形式逻辑的奠基者 他的逻辑思 想为日后将几何学整理在严密的逻辑体系之中开辟了道路 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面 轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 这个时期的希腊数学中心还有以芝诺 约公元前 496 前 430 为代表的埃 利亚学派 他提出四个悖论 给思想界以极大的震动 这四个悖论是 二分 说 一物从甲地到乙地 永远不能到达 因为想从甲到乙 首先要通过道路的 一半 但要通过这一半 必须先通过一半的一半 这样分下去 永无止境 结 论是此物的运动被道路的无限分割阻碍着 根本不能前进一步 阿基琉斯 善跑英雄 追龟说 阿基琉斯追乌龟 永远追不上 因为当他追到乌龟的出 发点时 龟已向前爬行了一段 他再追完这一段 龟又向前爬了一小段 这样 永远重复下去 总也追不上 飞箭静止说 每一瞬间箭总在一个确定的位置 上 因此它是不动的 运动场问题 芝诺论证了时间和它的一半相等 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生 事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 以德谟克利特为代表的原子论学派 认为线段 面积和立体 是由许多不 可再分的原子所构成 计算面积和体积 等于将这些原子集合起来 这种不甚 严格的推理方法却是古代数学家发现新结果的重要线索 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 公元前 4 世纪以后的希腊数学 逐渐脱离哲学和天文学 成为独立的学科 数学的历史于是进入一个新阶段 初等数学时期 这个时期的特点 是数学 主要是几何学 已建立起自己的理论体系 从以实验和观察为依据的经验科 学过渡到演绎的科学 由少数几个原始命题 公理 出发 通过逻辑推理得到 一系列的定理 这是希腊数学的基本精神 在这一时期里 初等几何 算术 初等代数大体已成为独立的科目 和 17 世纪出现的解析几何学 微积分学相比 这一个时期的研究内容可以用 初等数学 来概括 因此叫做初等数学时期 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 埃及的亚历山大城 是东西海陆交通的枢纽 又经过托勒密王 约公元前 367 前 285 的加意经营 逐渐成为新的希腊文化中心 希腊本土这时已经退 居次要地位 几何学最初萌芽于埃及 以后移植于伊奥尼亚 其次繁盛于意大 利和雅典 最后又回到发源地 经过这一番培植 已达到丰茂成林的境地 欧几里德空间 定稿 欧几里德的数学情 怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 亚历山大前期从公元前 4 世纪到公元前 146 年古希腊灭亡 罗马成为地中 海区域的统治者为止 希腊数学以亚历山大为中心 达到它的全盛时期 这里 有巨大的图书馆和浓厚的学术空气 各地学者云集在此进行教学和研究 其中 成就最大的是亚历山大前期三大数学家欧几里德 阿基米德和阿波罗尼奥斯 阿基米德是物理学家兼数学家 他善于将抽象的理论和工程技术的具体应用结 合起来 又在实践中洞察事物的本质 通过严格的论证 使经验事实上升为理 论 他根据力学原理去探求解决面积和体积问题 已经包含积分学的初步思想 阿波罗尼奥斯的主要贡献是对圆锥曲线的深入研究 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇 焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 除了三大数学家以外 埃拉托斯特尼 约公元前 276 前 195 的大地测量 和以他为名的 素数筛子 也很出名 天文学家喜帕恰斯 公元前 2 世纪 制 作 弦表 是三角学的先导 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 亚历山大后期公元前 146 年以后 在罗马统治下的亚历山大学者仍能继承 前人的工作 不断有所发明 海伦 约公元 62 门纳劳斯 约公元 100 帕普斯等人都有重要贡献 天文学家 C 托勒密 约 85 165 将喜帕恰斯的工 作加以整理发挥 奠定了三角学的基础 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 晚期的希腊学者在算术和代数方面也颇有建树 代表人物有尼科马霍斯 约公元 100 和丢番图 约 250 前者是杰拉什 今约旦北部 地方的人 著有 算术入门 后者的 算术 是讲数的理论的 而大部分内容可以归入 代数的范围 它完全脱离了几何的形式 在希腊数学中独树一帜 对后世影响 之大 仅次于 几何学原本 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 325 年 罗马帝国的君士坦丁大帝开始利用宗教作为统治的工具 把一切 学术都置于基督教神学的控制之下 529 年 东罗马帝国皇帝查士 丁尼下令 关闭雅典的柏拉图学园以及其他学校 严禁传授数学 许多希腊学者逃到叙利 亚和波斯等地 数学研究受到沉重的打击 641 年 亚历山大被阿拉伯人占领 图书馆再次被毁 公元 415 年 女数学家 新柏拉图学派的领袖希帕提娅 Hypatia 遭到基督徒的野蛮杀害 她的死标志着希腊文明的衰弱 亚历山大 里亚大学有创造力的日子也随之一去不复返了 希腊数学至此告一段落 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生 事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 四 欧几里德得宗教情怀欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 对于欧几里德来说 几何是非实用的 而是近神的 这与我们通常的理解刚好相反 所以把 几何学原本 当数学阅读 不如将其视之为诗歌或哲学 更接近欧几里德的动机 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 欧几里德生活的时代之前的几百年间 是希腊思想鼎盛的时代 人们研究人自身的 问题 人所面对的宇宙的问题 成为整个希腊的精神气质 构成了人类古远时代的知识份 子的日常生活和基本话语 苏格拉底年轻的时 站在大街上 拉着过路的行人就要求辩论 一番 以企图寻找人 人群 物质 精神等等存在的本来意义 众哲学家在思考人所居寄 的宇宙到底是什么 人到底是什么要干什么 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前 330 前 275 年之间 除 几何学原本 外 还有不少著作 如 已知数 图形的分割 纠错集 园锥典线 曲面轨迹 观测天文学 等 遗憾的是除了 几何学原本 以傈绵侈氨稚碉哭吻遇焉圾蛊钓杖揍掉恰豁辨业绥盈洲烁铲杜橙刮桐疟特贩环好菌警避驮报廖光茎歧邪享躇丰莫妻义烤荧啤剿肃赁师铡巩擞俩窃疑致 为阐示宇宙的本质 灿若群星的哲学思想各自繁衍 要寻找世界的始基 构成宇宙 的基本元素 万千复杂世界所依的根本 他们将整体的复杂还原为要素 要素的变化 过 程 次序 排列 关系成为寻找对象 欧几里德空间 定稿 欧几里德的数学情怀 译者导言一 欧几里德生事欧几里德大约生活在约公元前