Hero Image
拉格朗日的遗产

拉格朗日是数学科学中的一座高耸的金字塔。 — 拿破仑·波拿巴,据同时代人记载 拉格朗日没有留下像帕斯卡那样少年天才的轶事,也没有留下欧拉那样规模的著作。他留下了另一样东西:一种做数学的方式。别人画图的地方,他计算;别人为每个问题找一个技巧的地方,他寻找能解释所有技巧的规则。他做的几乎每件事都以他的名字留在教科书里:欧拉-拉格朗日方程、拉格朗日量、拉格朗日点、拉格朗日定理、拉格朗日余项、拉格朗日乘数。 谈牛顿 拉格朗日最敬佩的是牛顿,但也毫不掩饰地带着一丝羡慕。他的传记作者德朗布尔记下了他常说的话: 牛顿是有史以来最伟大的天才,也是最幸运的,因为世界体系只能被建立一次。 — 约瑟夫-路易·拉格朗日,据德朗布尔(1814) 米与十进制 1790 年起,在创立公制的委员会中,拉格朗日支持所有度量都采用十进制划分,反对主张因数更多的十二进制的人。据说,为了说明 12 的众多因数并不那么重要,他甚至半开玩笑地提议用 11 进制,因为 11 是素数。米、升和克都按 10 划分,其中也有他的一份功劳。 穿过给定点的多项式 在 1795 年巴黎高等师范学校的课上,拉格朗日给出了求穿过给定点的多项式的公式。对于三个点 $(x_0,y_0)$、$(x_1,y_1)$ 和 $(x_2,y_2)$,它是 $$\begin{aligned}P(x)={}&y_0\,\frac{(x-x_1)(x-x_2)}{(x_0-x_1)(x_0-x_2)}\\&+y_1\,\frac{(x-x_0)(x-x_2)}{(x_1-x_0)(x_1-x_2)}\\&+y_2\,\frac{(x-x_0)(x-x_1)}{(x_2-x_0)(x_2-x_1)}.\end{aligned}$$思路很简单:每个分式在自己的点上等于 $1$,在另外两个点上等于 $0$,所以 $P(x_0)=y_0$,$P(x_1)=y_1$,$P(x_2)=y_2$。英国人爱德华·华林在 1779 年已经发表过同一个公式,欧拉也知道它,但它保留了拉格朗日插值的名字。今天,它存在于计算器和计算机的数值方法中,甚至存在于一种把秘密分给多人保管的密码学方法中。 留下了什么 物理。 《分析力学》把力学变成了分析的一个分支。相对论、量子力学和标准模型至今仍以拉格朗日量 $L=T-V$ 的形式写成。 变分法。 拉格朗日与欧拉一起创立了选择最佳曲线的数学,从光学到火箭控制都在使用。 天文学。 拉格朗日点上停着空间望远镜,也聚集着成千上万颗特洛伊小行星。 数论。 四平方和定理为华林问题和二次型的研究开辟了道路,勒让德和高斯继续了这些研究。 代数。 关于根的置换的思考为鲁菲尼、阿贝尔和伽罗瓦的工作以及群论做了准备。 分析。 记号 $f'(x)$、“导数”一词、中值定理和拉格朗日余项出现在每一门微积分课程中。 拉格朗日在他出生的城市都灵的雕像。Twice25 · Wikimedia Commons · CC BY-SA 3.0 许多地方的名字 拉格朗日安葬在巴黎先贤祠,他的名字是埃菲尔铁塔上镌刻的 72 个名字之一。都灵有一座以他命名的广场、一条街和他的一座雕像,意大利和法国至今还在争论他究竟是意大利数学家还是法国数学家。月球上有一座拉格朗日环形山,正是他 28 岁时解释了其天平动的那个月球;还有一颗名叫 1006 Lagrangea 的小行星。 意大利人还是法国人? 拉格朗日生于都灵,家族有法国血统;他最早的论文用拉丁文和意大利文写成,之后几乎全用法文。他在意大利生活了 30 年,在普鲁士 20 年,在法国 26 年。意大利人称他为朱塞佩·路易吉·拉格朗吉亚,法国人称他为约瑟夫-路易·拉格朗日。

Hero Image
欧几里得的遗产

他在当过国会议员之后,研读并几乎掌握了欧几里得的前六卷。 — 亚伯拉罕·林肯,自传笔记(1860) 除《圣经》之外,《几何原本》是历史上被抄写、翻译和印刷次数最多的书之一。自 1482 年在威尼斯出版第一个印刷版以来,已有一千多个版本。两千多年来,“学几何"就意味着"学欧几里得”。 《几何原本》的第一个印刷版,1482 年埃哈德·拉特多尔特在威尼斯印制,拉丁文译本。图形印在页边,紧挨着正文;一位早期读者在书页上写满了批注。Folger Shakespeare Library · Wikimedia Commons · CC BY-SA 4.0 一本书的多种面貌 本站旧的三角学课程收集了几个改变了欧几里得呈现方式的版本: 年份 作者 版本 约 1120 巴斯的阿德拉德 由阿拉伯文译成拉丁文 1482 埃哈德·拉特多尔特 第一个印刷版,威尼斯 1570 亨利·比林斯利 第一个英译本,附有可折成立体的纸制图形 1607 利玛窦与徐光启 前六卷的中译本,北京 1698 萨穆埃尔·赖尔 Euclides… mit algebraischen Zeichen,用代数符号写的欧几里得 1847 奥利弗·伯恩 The First Six Books of the Elements of Euclid,用颜色代替字母 伯恩 的版本是印刷史上最美的书之一。他不说"三角形 $ABC$",而是把三角形画成黄色、红色和蓝色,证明变成了一连串彩色小图。当时它在商业上是失败的;如今它是博物馆藏品,也是设计师的灵感来源。 《几何原本》的阿拉伯文版,纳西尔丁·图西的校订本,1594 年印于罗马。哈佛大学霍顿图书馆 · Wikimedia Commons · 公有领域 方法 比定理更重要的是 方法。牛顿仿照《几何原本》写成《自然哲学的数学原理》(1687):定义、公理(他称之为运动定律),以及逐一证明的命题。斯宾诺莎"按几何学的顺序"写了《伦理学》(1677),用定义、公理和命题来谈论上帝和灵魂。美国《独立宣言》以一些被认为不言而喻的真理开头,如同公理,再由它们推出独立的权利。

Hero Image
空气的重量:多姆山实验

两千年来,学者们一直重复着亚里士多德的一句话:自然厌恶真空。你用吸管吸走空气,液体就会上升,因为自然不允许那里空着。这似乎能解释一切。 可是佛罗伦萨的掘井工人遇到了一个难题:不管怎么努力,抽水泵都无法把水抽到大约 10 米以上。为什么自然对真空的厌恶偏偏止步于 10 米? 托里拆利的管子 1643 年,伽利略的学生、意大利人埃万杰利斯塔·托里拆利,把一根一端封闭、长一米的玻璃管灌满水银。他用手指堵住另一端,把管子倒过来插进一盆水银里,然后松开手指。水银往下降,停在大约 76 厘米的高度,在管子顶部留下一段空的空间。 托里拆利的解释很大胆:撑住水银柱的不是对真空的厌恶,而是压在水银盆表面上的空气的重量。他写道,我们生活在一片空气海洋的底部。水银的密度大约是水的 13.6 倍,而 $76\ \text{cm}\times13.6\approx10.3$ m:正是佛罗伦萨抽水泵的极限。 帕斯卡把实验搬上高处 帕斯卡在 1646 年听说了这个实验,并在鲁昂用装满水和葡萄酒的巨大玻璃管重复了它。但他想要一个决定性的检验。他的推理是:如果撑住水银的是空气的重量,那么在山顶上,上方的空气更少,水银柱就一定更低。如果原因是对真空的厌恶,海拔就不会有任何影响。 帕斯卡住在巴黎,身体又不好。1647 年 11 月,他写信给住在克莱蒙的姐夫弗洛林·佩里耶。克莱蒙就在多姆山脚下,那是一座高近 1500 米的死火山。 1648 年 9 月 19 日 佩里耶和克莱蒙的一群神父和名人一起登山,好让他们作见证。他们带了两根管子和水银。这个实验里有一个很现代的想法:登山之前,他们先在城里地势最低的米尼姆修道院的花园里装好两根管子,确认两者的高度相同。一根管子留在那里,由一位神父——沙斯坦神父——负责整天看守。另一根带上了山。 多姆山顶纪念 1648 年实验的标志石,摄于 1923 年帕斯卡诞辰三百周年之际。Agence Rol,1923 年 · 法国国家图书馆 · Wikimedia Commons · 公有领域 用当时的单位,测量结果是: 地点 水银柱高度 克莱蒙的米尼姆修道院花园 26 法寸 3½ 法分 多姆山顶,约高出 500 突阿斯 23 法寸 2 法分 一法寸大约是 $27.07$ 毫米,一法分是一法寸的 $\frac1{12}$。换算一下:

Hero Image
费马大定理:从页边到怀尔斯的证明

人人都知道勾股定理:$3^2+4^2=5^2$。这样的整数三元组有无穷多个,比如 $5,12,13$ 和 $8,15,17$。 那么立方呢?是否存在正整数满足 $a^3+b^3=c^3$?四次方呢? 页边的批注 1670 年版丢番图《算术》中第 II.8 题的一页。题目下方就是“Observatio Domini Petri de Fermat”:费马写在页边的注记,由他的儿子付印。丢番图,萨米埃尔·德·费马编(1670) · Wikimedia Commons · 公有领域 大约 1637 年,费马在读丢番图关于把一个平方数分成两个平方数之和的问题时,在书的页边用拉丁文写道: 不可能把一个立方数分成两个立方数之和,或把一个四次方数分成两个四次方数之和,一般地,不可能把任何高于二次的幂分成两个同次幂之和。我已找到一个真正绝妙的证明,可惜这里的页边太窄,写不下。 — 皮埃尔·德·费马,约 1637 年 用今天的语言说:当 $n>2$ 时,不存在正整数 $a$、$b$、$c$ 使得 $$a^n+b^n=c^n.$$这条批注直到 1670 年费马的儿子出版附有父亲批注的书时才公之于众。那个证明从未被找到。页边上的其他所有论断后来都被证明或否定了,只有这一条坚持到最后,所以被称为“最后的定理”(在中文里通称费马大定理)。 358 年的尝试 费马本人用无穷递降法证明了 $n=4$ 的情形。其他情形一个接一个地被攻克: 1770 年:欧拉证明 $n=3$ 的情形。 1825 年:狄利克雷和勒让德证明 $n=5$ 的情形。 1820 年代:索菲·热尔曼(她用男性的名字署名写信,以便被认真对待)证明了适用于一整类质数的一般结果。 1839 年:拉梅证明 $n=7$ 的情形。 1847 年:恩斯特·库默尔提出新思想,证明了 100 以内除三个以外所有“正则”质数的情形。 但没有人能给出对所有指数都成立的证明。 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。

Hero Image
莱布尼茨的遗产

微积分之争 莱布尼茨在 1684 年和 1686 年发表了微积分。牛顿早在 1665–1666 年就得到了同样的思想,却把一切都留在手稿里。十五年间,没有人争什么。 1699 年,牛顿的朋友、瑞士数学家尼古拉·法蒂奥·德迪利耶在一本书中暗示莱布尼茨借鉴了牛顿。1708 年,苏格兰人约翰·基尔更进一步,指控莱布尼茨剽窃。理由是:1676 年莱布尼茨访问伦敦时,见过牛顿《分析》的一份抄本。 身为皇家学会会员的莱布尼茨请求学会进行公正调查。1712 年,一个委员会认定牛顿是第一发明人。莱布尼茨从未被请去陈述自己的理由,而那份报告是由学会会长牛顿本人秘密写成的。 莱布尼茨以一本匿名小册子回应,并试图把争论变成一场数学挑战。他于 1716 年去世,问题悬而未决。据说牛顿听到他的死讯时说,自己“伤透了莱布尼茨的心”。 今天历史学家的结论很清楚:两人是各自独立发明微积分的。莱布尼茨的手稿一步一步地记录了他得出这些思想的过程,那是一条不同于牛顿的道路。牛顿先得到,莱布尼茨先发表,而且记号更好。 在牛顿的遗产一篇中,可以看到从牛顿一方讲述的同一个故事。 胜出的记号 这场争执有一个意外的赢家:记号。欧洲大陆的数学家,如伯努利家族、欧拉和拉格朗日,使用莱布尼茨的 $dx$ 和 $\int$,在 18 世纪把微积分推向了很远。在英国,出于对牛顿的忠诚,人们坚守小点记号,英国数学因此落后。1812 年,剑桥学生创立了分析学会,正是为了采用莱布尼茨的记号,他们戏称这是在推崇“纯粹的 d 主义”,反对大学里的“点时代”。 莱布尼茨留给数学的有: 符号 $dx$、$\dfrac{dy}{dx}$ 和 $\int$; 数学意义上的函数和坐标这两个词; 用点“$\cdot$”表示乘法、用冒号“:”表示除法; 相似符号 $\sim$ 和全等符号 $\cong$(与今天相近的形式)。 数学之外 莱布尼茨也是历史上伟大的哲学家之一,著有《单子论》和《神义论》。在物理学中,他与笛卡儿的追随者争论如何度量运动物体的“力”,他的“活力”($mv^2$)是动能概念的前身。在计算领域,二进制和用计算来推理的梦想预示了直到 20 世纪才实现的思想。 控制论的创始人诺伯特·维纳称莱布尼茨为这一领域的“守护神”。在德国,最重要的科学研究奖项就叫戈特弗里德·威廉·莱布尼茨奖。 要点回顾 莱布尼茨生于 1646 年,卒于 1716 年,除了是数学家,还是法学家、外交官、图书馆馆长和哲学家。 他成年后才在巴黎跟随惠更斯认真学习数学。 他在 1675 年创造了符号 $d$ 和 $\int$,并于 1684 年和 1686 年发表了微积分。 链式法则 $\dfrac{dz}{dx}=\dfrac{dz}{dy}\cdot\dfrac{dy}{dx}$ 借助记号看起来就像约分。 乘积的导数是 $u\,dv+v\,du$,而不是 $du\,dv$。 $\int$ 和 $d$ 是互逆运算:把差加起来就得到总量。 他系统整理了二进制算术,并于 1703 年发表。 他用阶梯轮造出了一台会做乘法的机器。 他发现了 $\dfrac\pi4=1-\dfrac13+\dfrac15-\cdots$,马德哈瓦和格雷戈里此前已知道。 牛顿和莱布尼茨各自独立发明了微积分。 资料来源: 生平与著作,MacTutor · 戈特弗里德·威廉·莱布尼茨图书馆藏莱布尼茨文献。

Hero Image
牛顿的遗产

牛顿是有史以来最伟大的天才,也是最幸运的:宇宙只有一个,而发现它的机会也只有一次。 — 约瑟夫-路易·拉格朗日,据同时代人记述 微积分之争 牛顿在 1665–1666 年创立了流数法,但没有发表。莱布尼茨在 1675 年独立地得到了微积分,并于 1684 年发表。最初几年里,没有人争执。1676 年,两人甚至通过亨利·奥尔登堡友好地通信,牛顿还把自己的想法藏在一个字谜里。 大约 1700 年,气氛开始恶化。牛顿的追随者暗示莱布尼茨抄袭了他在伦敦见过的手稿。莱布尼茨向皇家学会申诉,请求公正调查。皇家学会任命了一个委员会,并于 1712 年发表报告,裁定牛顿胜诉。 当时很少有人知道:皇家学会会长正是牛顿本人,报告也是他亲手写的。之后,他还匿名发表了一篇赞扬这份报告的书评。 今天的历史学家一致认为,两人是各自独立发明微积分的。牛顿先得到,莱布尼茨先发表,并创造了最终胜出的记号。这场争执代价高昂:出于民族自尊,英国数学家一百多年里坚守牛顿的小点记号,而欧洲大陆则借助莱布尼茨的 $dx$,在伯努利家族和欧拉手中突飞猛进。直到 1812 年,一群剑桥学生成立了分析学会,才把莱布尼茨的记号重新带回英国。 在莱布尼茨专题中可以看到这个故事的另一面。 牛顿力学的边界 两百多年里,牛顿定律似乎处处成立。20 世纪初,两大理论揭示了它的界限: 相对论。 在接近光速时,时间和空间不再像牛顿所设想的那样是绝对的。在相对论中,运动时钟测得的时间间隔 $t'$,对于静止的观察者对应更长的时间间隔: $$t=\frac{t'}{\sqrt{1-\dfrac{v^2}{c^2}}}.$$当速度 $v$ 远小于光速 $c$ 时,根号几乎等于 1,我们回到了牛顿的世界:$\displaystyle\lim_{v\to0}t=t'$。而当 $v\to c$ 时,差别无限增大。 量子力学。 对于原子和粒子,明确的运动轨迹不再有意义。 这并不意味着牛顿在日常生活中是错的。对于桥梁、汽车、飞机和火箭,他的力学精确到至今仍是首选工具。相对论没有抹去牛顿,而是指明了他适用的范围。 纪念 “他的才智超越了全人类” 剑桥三一学院的礼拜堂里有一尊牛顿手持棱镜的大理石雕像,由路易-弗朗索瓦·鲁比利亚克于 1755 年创作。底座上刻着罗马诗人卢克莱修的一句话:Qui genus humanum ingenio superavit,“他的才智超越了全人类”。曾在那里求学的诗人华兹华斯形容这尊雕像是“一颗心灵的大理石标志,它永远独自航行在思想的奇异海洋之中”。 牛顿安葬在威斯敏斯特教堂,与历代君王为邻。他的墓碑上刻着手持棱镜、反射望远镜和新铸钱币的小天使,还有一个标出 1680 年彗星轨迹的天球。 要点回顾 按当时英国的历法,牛顿生于 1642 年;按我们的历法,生于 1643 年。 22 岁时,因瘟疫隔离在家,他创立了二项式级数、流数法和颜色理论。 二项式 $(1+x)^\alpha$ 对任意指数成立,只要 $|x|<1$。 流数 $\dot x$ 度量变化率;面积是它的逆运算。 牛顿法沿着切线逼近方程的根:$x_{n+1}=x_n-f(x_n)/f'(x_n)$。 《原理》(1687)包含三大运动定律和万有引力定律。 月球检验表明地球引力随距离的平方减弱。 棱镜分开的是白光中本来就有的颜色,而不是制造颜色。 牛顿和莱布尼茨各自独立发明了微积分。 资料来源: 手稿导读,牛顿项目 · MacTutor 传记。

Hero Image
Egregium 定理和曲率

在测量汉诺威时,高斯对如何绘制弯曲地球的地图思考了很多。在 1827 中发表了 他将结果称为Theorema Egregium,即“非凡定理”:表面的曲率可以 由住在里面的人来衡量,而不是从外面去看。 结果:在平面中,三角形的内角之和为 180°。在一个范围内,它们加起来达到更多。采取 一个顶点位于北极,另外两个顶点位于赤道的三角形: 赤道上的两个角都是直角。以 90° 为极点,三角形有三个直角:270°。 Ative o JavaScript para ver esta figura interativa. 赤道处的两个角度为 90°,因为经线与赤道成直角。添加 杆的角度 $\alpha$: $$90° + 90° + \alpha = 180° + \alpha.$$ 任何高于 180° 的值都与三角形的面积成正比,表明该表面是弯曲的。这就是为什么 没有完美的地球平面地图:距离、角度或面积总是存在扭曲。 披萨技巧 您是否注意到,为了吃一片披萨而不让披萨尖脱落,我们需要将披萨对折?这是 Egregium 定理的应用。切片开始时是平坦的(零曲率)并且不能在两个方向上弯曲 同时。通过将其一侧弯曲,另一侧就会变硬,尖端就会停止脱落。 高斯还意识到,可能存在欧几里得平行公设不存在的几何结构。 值得的。但他没有发表任何内容:在一封来自1829的信中,他说他害怕“维奥蒂亚人的喊叫”,那些不这样做的人 会明白的。非欧几里得几何最终由 Lobachevsky 和 ​​János Bolyai 发表。 卡尔·弗里德里希·高斯的所有主题 · ← 正态曲线,高斯钟 · 方程组:行列式和高斯消元法 → 图片来源和来源.

Hero Image
艾伦·图灵的遗产

图灵相信机器会思考。图灵和男人睡觉。所以机器不会思考。 — 艾伦·图灵,致诺曼·劳特利奇的信(1952) 这个苦涩的三段论,是图灵在被定罪后不久写给一位朋友的,它概括了他的一生:一个用逻辑思考的人,被不理解他的人审判。然而,他留下的成果无处不在。 在计算机科学中 图灵机仍然是“计算”的正式定义。当计算机科学家说一个问题“没有算法”时,意思是没有图灵机能解决它;当他们说一个问题“难”时,数的是图灵机需要走多少步。 从这种计数中产生了这个领域最著名的问题——P 与 NP:每个解很容易验证的问题,是否也都很容易找到解?拼一幅拼图很难;检查一幅拼好的拼图很容易。没有人知道这种差别是真实存在的,还是只是我们不够聪明。克雷研究所悬赏一百万美元,奖给回答这个问题的人。 自 1966 年起,美国计算机协会每年颁发图灵奖,它被视为计算机领域的诺贝尔奖。 在密码学和统计学中 对恩尼格玛的战争表明,一种密码的安全不在于密钥的数量,而在于没有能一下子排除大部分密钥的缺陷。现代密码学就诞生于这个教训。而分班经由 I. J. 古德,帮助把贝叶斯统计带回了科学的中心。 在生物学和人工智能中 形态发生的方程是一整个领域——图案的数学生物学——的基础。而模仿游戏在机器已经能够对话的今天,仍是任何关于机器能否思考的讨论的参照。 曼彻斯特萨克维尔公园里的图灵雕像,2001 年揭幕。他坐在长椅上,手里拿着一个苹果。David Dixon · Wikimedia Commons · CC BY-SA 2.0 补偿 几十年里,图灵在战争中的工作是国家机密,他的定罪则是不被提起的话题。1983 年,数学家安德鲁·霍奇斯写的传记出版,情况开始改变。随后有了: 2001 年,在大学旁边的一座公园里,竖起了曼彻斯特的雕像; 2009 年,英国政府的道歉; 2013 年的王室赦免,以及 2017 年赦免其他被定罪者的法律; 印有他头像的 50 英镑纸币,于 2021 年 6 月 23 日——他的生日——发行。 要记住的 1936 年:图灵机定义了什么是计算,通用机预示了存储程序计算机。 1936 年:停机问题表明有些问题没有机器能回答,可计算数表明几乎每个实数都遥不可及。 1939–1945 年:恩尼格玛的计数与缺陷、炸弹机,以及带着分班的班伯里法。 1950 年:模仿游戏用一个测试取代了“机器会思考吗?”这个问题。 1952 年:形态发生解释了扩散如何产生图案。 练习:验证很容易有人说 $8633=89\cdot97$。验证它要花多少功夫?如果没有提示,要找到这两个因数又要花多少功夫? 验证只需一次乘法:$89\cdot97=89\cdot100-89\cdot3=8900-267=8633$。寻找则要试除到 $\sqrt{8633}\approx93$ 为止:从 2 到 89 一共 24 个素数,只有最后一个成功。对于几百位长的数,验证仍然瞬间完成,寻找却变得不可行。互联网的密码学就建立在这种不对称上。

Hero Image
图片来源

历史图片 全部来自维基共享资源(Wikimedia Commons)。我们使用共享资源提供的缩略图,未作编辑。欧几里得生前没有留下任何画像;流传的欧几里得形象都是很久以后的艺术家想象出来的。 俄克喜林库斯纸草,载有命题 II.5,约公元 100 年,宾夕法尼亚大学博物馆:原始页面 · 公有领域。 《雅典学院》局部,拉斐尔,1509–1511 年:原始页面 · 公有领域。 奥利弗·伯恩版中的命题 I.47,伦敦,1847 年,Mirko Junge 扫描:原始页面 · 公有领域。 《几何原本》第一个印刷版,埃哈德·拉特多尔特,威尼斯,1482 年,Folger Shakespeare Library:原始页面 · CC BY-SA 4.0。 《几何原本》阿拉伯文版,纳西尔丁·图西校订本,罗马,1594 年,霍顿图书馆:原始页面 · 公有领域。 本站绘图 封面、等边三角形的作图、毕达哥拉斯定理的图和配方的图都是本站原创插图,并为网站的每种语言制作了相应版本。配方的例子 $x^2+10x=39$ 和练习 $x^2+8x=65$ 来自本站旧的巴斯卡拉公式课程,其中的图已重新绘制;3、4、5 和 6、8、10 的例子以及版本表来自旧的几何和三角学课程。 记录 文件 data/euclides_imagens.json 记录了每张下载图片的来源、许可、核实日期和 SHA-256 哈希值。各主题的历史资料来源列在每篇文章末尾。 欧几里得的全部主题 · ← 欧几里得的遗产