英才学习网

化学118种元素名称是咋来的？

Wed, 30 Sep 2026 11:44:02 +0800

化学118种元素名称是咋来的？

元素名称有的是约定俗成，而后来逐渐发现的元素中，有的以人名命名，有的以地名、河流、国家来命名，也有的以星球或神的名字命名，科学家以能命名一种元素，或被命名为一种元素为荣，可惜元素周期表已经排满！

1. 氢，H(Hydrogenium, [En]Hydrogen)，即形成水的元素，由希腊语Ydor(意思是水，演变为拉丁语就是Hydra和Gennao(我产生)构成。

2. 氦，He(Helium)，这是从日光光谱中发现的元素，所以用希腊语Helios(太阳)命名。

3. 锂，Li(Lithium)，因从叶石中发现而得名，希腊语Lithos意思是石头。

4. 铍，Be(Beryllium)，因从绿宝石(Beryl)中发现而得名。

5. 硼，B(Borum, [En]Boron)，得名于硼砂，硼砂的拉丁语是Boron，因为它可以熔融金属，阿拉伯语Boron的意思是焊接。

6. 碳，C(Carboneum, [En]Carbon)，古代就已发现，得名于炭(Carbon)。

7. 氮，N(Nitrogenium, [En]Nitrogen)，即形成硝石的元素，由希腊语Nitron(意思是硝石，演变为拉丁语就是Nitre)得名，后缀-gen参见氢(1)。

8. 氧，O(Oxygenium, [En]Oxygen)，即形成酸的元素，希腊语Oxys(酸)，后缀-gen参见氢(1)。

9. 氟，F(Fluorum, [En]Fluorine)，得名于萤石(拉丁语Fluor，原意是熔剂)，化学成分是氟化钙。

10. 氖，Ne(Neon)，来自希腊语Neon(新的)。

11. 钠，Na(Natrium)，英语为Sodium，因电解苏打(Soda，化学成分是碳酸钠)制得而得名。拉丁语Natrium意思也是苏打。

12. 镁，Mg(Magnesium)，得名于苦土(Magnesia，希腊一个盛产苦土的地方)。

13. 铝，Al(Aluminium)，得名于明矾(拉丁语Alumen，原意是具有收敛性的矾)，化学成分是硫酸铝钾。

14. 硅，Si(Silicium, [En]Silicon)，得名于石英玻璃(Silex)。

15. 磷，P(Phosphorus)，因会发出冷光而得名，由希腊语Phos(光)和Phoros(带来)构成。

16. 硫，S(Sulfur)，古代就已发现，因其晶体呈黄色而得名(梵语Sulvere，意思是鲜黄色)。

17. 氯，Cl(Chlorum, [En]Chlorine)，以氯气的颜色绿色而得名，希腊语Chloros 意思是绿色。

18. 氩，Ar(Argon)，来自希腊语Argon(懒惰)。

19. 钾，K(Kalium)，英语为Potassium，因电解木灰碱(Potash，化学成分是碳酸钾 )制得而得名。拉丁语Kalium意思也是木灰碱。

20. 钙，Ca(Calcium)，得名于石灰(Calx)。

21. 钪，Sc(Scandium)，因其发现者是瑞典人，为纪念他的祖国(Scandinavia，斯堪的纳维亚)而得名。

22. 钛，Ti(Titanium)，以希腊神话人物Titan命名。

23. 钒，V(Vanadium)，以北欧女神Vanadis命名。

24. 铬，Cr(Chromium)，因其化合物具有多种颜色而得名，希腊语Chroma意思是"美丽的颜色"。

25. 锰，Mn(Manganum, [En]Manganese)，因该矿产的产地Manganesia(位于土耳其)而得名。

26. 铁，Fe(Ferrum)，古代就已发现，英语为Iron(从Iren演变过来)，德语为Eisen。

27. 钴，Co(Cobaltum, [En]Cobalt)，意思是"地下小魔"(德语Kabalt)，因为它能使玻璃变成蓝色。

28. 镍，Ni(Niccolum, [En]Nickel)，意思是"骗人的小鬼"(德语为Nickle)，因为它和钴(27)有同样的性质，能使玻璃变成绿色。

29. 铜，Cu(Cuprum, [En]Copper)，古代就已发现，因首次从塞浦路斯岛(Aes Cyprium)获得该金属而得名。

30. 锌，Zn(Zincum, [En]Zinc)，古代就已发现，名称起源尚不清楚，可能来自德语Zinke(穗状或锯齿状物)。

31. 镓，Ga(Gallium)，因其发现者是法国人，为纪念他的祖国(Gallo，高卢，法国的古称)而得名。

32. 锗，Ge(Germanium)，因其发现者是德国人，为纪念他的祖国(German，日耳曼，一般就指德国)而得名。

33. 砷，As(Arsenicum, [En]Arsenic)，希腊语是Arsenikon。关于它的词源，一种说法是出自Arsen(Arsen，意思是强烈)，因为砒霜(砷的氧化物)是一种烈性毒药；另一种说法是由波斯语Az-Zarnikh(雌黄，Az是阴性冠词，Zar意思是黄金)演变而来。

34. 硒，Se(Selenium)，意思是月亮的元素(Selene，希腊神话中的月亮女神)。

35. 溴，Br(Bromum, [En]Bromine)，因恶臭的特性而得名，希腊语Bromos意思是恶臭。

36. 氪，Kr(Krypton)，来自希腊语Krypton(隐藏)。

37. 铷，Rb(Rubidium)，因其光谱是红色(Rubidus，拉丁语深红色)而得名。

38. 锶，Sr(Strontium)，据说这种元素来自于苏格兰的Strontian铅矿，所以得名Strontia(锶土)。

39. 钇，Y(Yttrium)，因钇土原产于瑞典的Ytterby而得名。

40. 锆，Zr(Zirconium)，得名于锆矿(Zircon)，阿拉伯语意思是朱砂，波斯语意思是金色。

41. 铌，Nb(Niobium)，旧称Cb(Columbium，钶)，因首先在北美的钶矿石中发现这种元素，而以哥伦布(Columbus)的名字命名。后来从钶矿中分离出钽(73)，才真正得到该元素，遂用Tantalus的女儿Niobe命名之。

42. 钼，Mo(Molybdaenum, [En]Molybdenum)，其硫化物和石墨一样都是黑色矿物，德语通称为Molybdon，由此得名。

43. 锝，Tc(Technetium)，它是人造元素，所以用希腊语Technetos(人工制造)。

44. 钌，Ru(Ruthenium)，因其发现者是两名俄国化学家，为纪念他们的祖国(Russi a，俄罗斯)而得名。

45. 铑，Rh(Rhodium)，因其化合物呈玫瑰红色而得名，希腊语Rodon意思是玫瑰花。

46. 钯，Pd(Palladium)，为纪念不久前发现的武女星Pallas而得名。

47. 银，Ag(Argentum)，古代就已发现，来源于希腊语Argyros(词头Argos意思是光泽或白色)来的，英语为Silver。阿根廷曾被认为是产银之国，所以阿根廷的英文就是Argentina。

48. 镉，Cd(Cadmium)，得名于水锌矿Calamine，希腊语是Cadmein(可能是以希腊神话人物Cadmus命名的)。

49. 铟，In(Indium)，因其光谱是靛蓝色(Indigo)而得名。

50. 锡，Sn(Stannum)，古代就已发现，原意是坚硬，因为铜被掺入锡后会得到更加坚硬的青铜，英语为Tin。

51. 锑，Sb(Stibium)，古代就已发现，英语为Antimony，词头Anti-意思是反对，词尾是从Monk(僧侣)变化而来的，传说辉锑矿可以治疗僧侣的常见病癞病，但是很多僧侣服用后病情反而恶化，故被认为是僧侣的客星。

52. 碲，Te(Tellurium)，按照同族元素硒(34)的命名方法，称其为地球的元素(Tel lus，罗马神话中的大地女神特勒斯)。

53. 碘，I(Iodum, [En]Iodine)，以碘的紫色而得名，希腊语Iodhs意思是紫色。

54. 氙，Xe(Xenon)，来自希腊语Xenon(奇异)。

55. 铯，Cs(Cesium)，因其光谱是蓝色，取名拉丁语天蓝色(Caesius）。

56. 钡，Ba(Barium)，来源于重晶石(Baryta)，因该矿石产于意大利的博罗尼亚(Bologna)而得名。

57. 镧，La(Lanthanum)，因其隐藏在稀土中而得名，希腊语Lanthanein意思是隐藏。

58. 铈，Ce(Cerium)，为纪念第一颗刚发现的小行星Ceres(罗马神话中谷类的女神) 的发现而得名。

59. 镨， Pr(Praseodymium)，来自镨土(Praseodymia)，是由希腊语Pratos(葱绿) 和Didymos(孪晶)构成的，意思是绿色的孪晶。

60. 钕，Nd(Neodymium)，来自钕土(Neodymia)，意思是新的孪晶，参见氖(10)和镨(59)。

61. 钷，Pm(Promethium)，得名于希腊神话人物普罗米修斯(Prometheus)。

62. 钐，Sm(Samrium)，得名于钐土(Samaria)，是俄国矿物学家В. Е. Самарский(V. E. Samarskii)发现的。

63. 铕，Eu(Europium)，用来纪念欧洲(Europa)。

64. 钆，Gd(Gadolinium)，得名于钆土(Gadoina)，为了纪念芬兰化学家加多林(J. Gadolin)，他发现了第一个稀土元素钇(39)。

65. 铽，Tb(Terbium)，得名于瑞典的Ytterby，参见钇(39)。

66. 镝，Dy(Dysprosium)，得名于希腊语Dysprositos，意思是难以获得的。

67. 钬，Ho(Holmium)，因其发现者是瑞典人，为纪念他的故乡斯德哥尔摩(Stockholm)而得名。

68. 铒，Er(Erbium)，得名于瑞典的Ytterby，参见钇(39)。

69. 铥，Tm(Thulium)，因其发现者是瑞典人，就以斯堪的纳维亚的古名Thule(北极的陆地)命名。

70. 镱，Yb(Ytterbium)，得名于瑞典的Ytterby，参见钇(39)。

71. 镥，Lu(Lutetium)，其发现者是法国人，为纪念他的故乡巴黎(Lutetia，巴黎的旧称)而得名。

72. 铪，Hf(Hafnium)，因其发现者在哥本哈根(Kobenhavn，也称Hafnia)取得的成就而得名。

73. 钽，Ta(Tantalum)，因其不被酸腐蚀的性质而和希腊神话中宙斯之子Tantalus(因受罚而浸在水中，但不能吸收水分)相提并论。

74. 钨，W(Wolframium)，得名于德国的黑钨矿(Wolframite)，所以德语称其为Wolfram。其英语名称Tungsten原意是重石，主要成分是钨酸钙。

75. 铼，Re(Rhenium)，为纪念莱茵河(Rhine)而得名。

76. 锇，Os(Osmium)，因其化合物带有臭味而得名，希腊语Osme意思是臭味。

77. 铱，Ir(Iridium)，因其化合物呈彩色而得名，希腊语Iris意思是虹。

78. 铂，Pt(Platinum)，得名于Platina Del Pinto的金属，当铂的价值未被发现时，它常被奸商掺在黄金中。

79. 金，Au(Aurum)，古代就已发现，英语为Gold。

80. 汞，Hg(Hydrargyrum)，是由拉丁语Hydra(水)和Argyrum(银)组成的，参见氢(1)和银 (47)。英语为Mercury，是罗马神话中众神的信使，说明该金属有流动性，古代就已发现。

81. 铊，Tl(Thallium)，因其光谱是绿色而得名(Thallium，拉丁语绿枝的意思)。

82. 铅，Pb(Plumbum)，原指铅(Plumbum Nigrum，黑铅)和锡(Plumbum Album，白铅)，古代就已发现。英语为Lead，原意为领导，可能逐步引申为导线和铅锤。

83. 铋，Bi(Bismuthum, [En]Bismuth)，是从德语Wismut(可能得名于白色金属，或是褐铁矿石)翻译过来的。

84. 钋，Po(Polonium)，这是居里夫人为纪念她的祖国波兰(拉丁语为Polonia)而起的名字。

85. 砹，At(Astatium, [En]Astatine)，来自希腊语Astatos，意思是不稳定。

86. 氡，Rn(Radon)，也称镭射气，这是由镭(88)衰变而来的元素，后缀-on表示惰性气体。

87. 钫，Fr(Francium)，因发现者是法国人，为纪念自己的祖国(France，法兰西) 而命名。

88. 镭，Ra(Radium)，意思是射线(Radiation)的给予者。

89. 锕，Ac(Actinum)，因为放射性衰变而得名，Active是活动的意思。

90. 钍，Th(Thorium)，以北欧神话中的雷神(Thor)命名。

91. 镤，Pa(Protactinium)，意思是原始的(前缀Proto-)锕(Actinum)，因为镤可以衰变为锕(89)。

92. 铀，U(Uranium)，为纪念不久前发现的天王星(Uranus，希腊神话人物)而得名。

93. 镎，Np(Neptunium)，按照铀(92)的命名方法，用海王星(Neptune，罗马神话中的海神)命名。

94. 钚，Pu(Plutonium)，按照铀(92)和镎(93)的命名方法，用冥王星(Pluto，冥王)命名。

95. 镅，Am(Americium)，因发现者是美国人，为纪念他的国家(America，美洲)而得名。

96. 锔，Cm(Curium)，以纪念法籍波兰科学家居里夫人(Marie Curie, 1867-1934)，她发现了钋(84)和镭(88)，是1903年诺贝尔物理学奖和1911年诺贝尔化学奖获得者。

97. 锫，Bk(Berkelium)，因该元素发现于伯克利大学(Berkeley)而得名。

98. 锎，Cf(Californium)，得名于发现该元素的伯克利大学的所在地加利福尼亚(C alifornia)。

99. 锿，Es(Einsteinium)，以纪念犹太裔德国物理学家爱因斯坦(AlbertEinstein)，他创立了相对论，是1921年诺贝尔物理学奖获得者。

100. 镄，Fm(Fermium)，以纪念美籍意大利核物理学家费米(Enrico Fermi)，他是1938年诺贝尔物理学奖获得者。

101. 钔，Md(Mendelevium)，以纪念俄国化学家门捷列夫(Д.И.Менделеев, D.I.Mendeleev)，他发现了元素周期律。

102. 锘，No(Nobelium)，以纪念瑞典化学家诺贝尔(Alfred Bernard Nobel)，他被誉为炸药之父，是诺贝尔奖的创立者。

103. 铹，Lr(Lawrencium)，以纪念美国核物理学家劳伦斯(Ernest Orlando Lawrence)，他是1939年诺贝尔物理学奖获得者。

104. 𬬻，Rf(Rutherfordium)，以纪念英国核物理学家卢瑟福 (Ernest Ruther-ford)，他获得过1909年诺贝尔化学奖，还发现了原子核和质子(获奖后的贡献)。

105. 𬭊，Db（Dubnium），过去称Ha(Hahnium)，以纪念犹太裔德国核物理学家哈恩 (Otto Harn)，他发现了铀原子的核裂变反应，是1944年诺贝尔化学奖奖获得者。现在称Db(Dubnium)，是以莫斯科杜布纳(Dubna)核研究中心命名的。

106. 𬭳，Sg(Seaborgium)，以纪念美国核物理学家西伯格(Glenn Theodore Sea-borg, 1912-1999)，他发现了镎(93)，是1951年诺贝尔化学奖获得者。接下来的数年，他和他的团队又先后发现94~102元素。

107. 𬭛，Bh(Bohrium)，以纪念丹麦物理学家玻尔(Niels Henrik David Bohr, 1885-1962)，他是量子力学的奠基人之一，1922年诺贝尔物理学奖获得者。

108. 𬭶，Hs(Hassium)，该原子由德国达姆施塔特(Darmstardt )重离子研究中心获得，用该实验室的所在地黑森州(Hessen)命名。

109. 鿏，Mt(Meitnerium)，以纪念犹太裔瑞典核物理学家麦特纳(Lise Meitner, 1878-1968)，他和哈恩(参见第105号元素)共同发现了铀原子的核裂变反应。

110. 𫟼，Ds（Darmstadtium），也即1-1-0-ium，以纪念发现这元素的德国GSI团队所在地达姆施塔特(Darmstadt) 。此外，由于110也是德国报警时所拨的号码，110又有另外一个外号叫policium（警察元素）。

111. 𬬭，Rg（Roentgenium）。命名理据是为纪念发现X射线（亦称“伦琴射线”）的科学家Wilhelm Conrad Roentgen。

112. 鿔，Cn（Copernicium），相应以纪念著名天文学家哥白尼（Nicolaus Copernicus）。

113. 鿭， Nh（Nihonium），因有日本研究团队参与，所以用“日本”来命名，Nihon是日本的日语发音。

114. 𫓧，Fl（Flerovium）,纪念俄罗斯的Flerov核反应实验室。

115. 镆，Mc（Moscovium），因有俄罗斯研究团队参与，所以用“莫斯科”来命名。

116. 𫟷，Lv （Livermorium），纪念美国劳伦斯Livermore国家实验室。

117. 鿬，Ts（Tennessee），是个美国州名，以纪念为研究作出重要贡献的位于美国田纳西州的美国橡树岭国家实验室。

118. 鿫，Og（Oganesson），以纪念俄罗斯杜布纳联合核研究所的Yuri Oganessian。

综上所述，汇总一下118种元素的命名出处：
纪念科学家人名：17 种
地名、国家、实验室、矿区：32 种
天体、行星、日月星辰：11 种
神话神祇、传说：14 种
理化外观 / 性质词源：36 种
矿物矿石古名：12 种
超重人造元素（104–118，重复归入人名 / 地名大类，单独列出便于教学）：15 种

大数学家欧多克索斯的比例论与穷竭法

Tue, 29 Sep 2026 10:48:58 +0800

面对一个"说不出的长度"，古希腊人没有沉没，反而造出一件更结实的工具：一套不依赖"整数比"的比例理论，和一种用来逼近曲线图形面积的"穷竭法"。这两样东西，连同《几何原本》与三大尺规作图难题，一起铸成了"证明"这门手艺的骨架。

一、一本没有原件的书，和一次必须解决的危机

先看一件实物。现藏于牛津博德利图书馆的《几何原本》抄本，其中一页至今清晰可读——但没有任何一页出自欧几里得本人之手。欧几里得的亲笔原稿早已失传，我们今天所见的《几何原本》，全部来自后世一代代抄写与翻译的文本。现存最早的相关实物，不是羊皮卷，而是六块刻在陶片上的残片：1906/07年，考古者在埃及南部的象岛（Elephantine）发现它们，上面载有一段文本和一个图形，据古文字学断代，约在公元前3世纪第三季度，也就是欧几里得活动之后大约一百年。这几块陶片涉及《几何原本》第十三卷里关于五边形、六边形、十边形与二十面体的艰深内容，而且文字并不完全照抄通行版本，更像某个读者为弄懂这些难题而留下的研习笔记。

这个细节值得停一停。它说明两件事：其一，《几何原本》在成书后不到百年，就已经传到了远离亚历山大里亚的地方，被当作需要钻研的文本；其二，"欧几里得的几何"从一开始就不是某个人一夜之间凭空写就的成品，而是一套在传播、抄写、讲解中不断被使用和打磨的传统。这为我们理解本篇的主角——欧多克索斯——提供了一个必要的背景。

在欧多克索斯之前，希腊数学正卡在一个具体的问题上。上一篇我们讲到，正方形的对角线 √2 与边长 1 不可公度：找不到一个共同的尺度，把二者同时量成整数倍。这是严格证明过的结论。但麻烦随之而来——古希腊人关于"比例"的整套说法，都默认两个量可以被同一个单位量尽。一旦出现不可公度的量，旧的比例定义就失效了，那么"两个圆面积之比等于直径平方之比"这一类命题，还怎么表述、怎么证明？

欧多克索斯（Eudoxus of Cnidus）正是被传统归于解决这个问题的人。按 MacTutor 数学史档案的整理，他的生卒通常记作约公元前408—前355年，生于小亚细亚西南的克尼多斯（今土耳其境内）。他年轻时到过塔伦图姆，师从毕达哥拉斯学派的阿尔希塔斯（Archytas），后来又到雅典听过柏拉图的课，再赴埃及跟随赫利奥波利斯的祭司学习天文。这些经历里，哪些是可靠记载、哪些是后人的拼合，需要谨慎——欧多克索斯本人的所有著作都已失传，我们对他的了解，主要来自后世评注家（如普罗克洛斯）的转述，以及欧几里得、阿基米德在著作中对他的指名引用。但有一点是可靠的：阿基米德在自己的著作里，明确把比例论与穷竭法归到欧多克索斯名下。这是本篇一切讨论的锚点。

欧多克索斯同时是一位重要的天文学家。他提出一套"同心球"体系，用多组绕地球旋转的天球来解释行星看似时而停住、时而倒退的运行，这套模型影响过亚里士多德。相关著作《论速度》同样失传，只靠后世转述，但它提示我们：欧多克索斯处理"量"与"运动"的严谨习惯，是同一套心智在几何与天文两个领域的体现。

二、比例论：把"相等"重新定义一遍

欧多克索斯的贡献，不是去证明 √2 到底等于多少，而是绕开了"必须写成整数比"这个死结，重新回答了一个更基本的问题：两个比，什么时候算"相等"？

旧的思路是"同度法"：要找两个长度之比 a:b，就找一个共同的单位 t，让 a = m·t、b = n·t，于是 a:b = m:n。这条路对 1 和 √2 走不通，因为没有这样的 t。

欧多克索斯的办法，用现代记号转述（务必记住：下面的字母和符号是两千多年后的写法，古人用词语陈述，不用这些符号）是这样的。他不预设两个量可公度，而是直接给出"两个比相等"的判据：对任意选定的正整数 m 和 n，比较 m·a 与 n·b 的大小，同时也比较 m·c 与 n·d 的大小；如果在所有 m、n 的选择下，前者"同时大于、同时等于、同时小于"后者，就说 a:b 与 c:d 是同一个比。

这句话读起来拗口，但它极其关键。它把"比相等"从"两个整数比相同"，改写成了"对一切放大倍数的比较结果都一致"。于是，哪怕 a、b、c、d 都是不可公度的长度，只要它们满足这套同时大于、等于、小于的条件，就仍然可以谈"成比例"。这个定义，被收进《几何原本》第五卷，成为该卷的定义 4 与定义 5；其中定义 4 又被阿基米德称为"欧多克索斯公理"，大意为：两个同类量，只要把较小的一个反复加倍，总能超过较大的一个。这条公理在后来被称为"阿基米德公理"（阿基米德本人明确把它归给欧多克索斯），它排除了"无穷小"和"无穷大"这种异常量，保证两个正量之间总有有限可比的关系。

可以举一个极小的示意。要判断 1 与 √2 的比，是否等于 2 与 2√2 的比（答案是"是"）。旧方法要求找到单位 t 同时量尽 1、√2、2、2√2，做不到；新方法只要求，对任何 m、n，比较 m·1 与 n·√2、以及 m·2 与 n·2√2——后一组恰好是前一组的 2 倍，所以两边总是同时大于、等于或小于，于是这两个比相等。古人不这么写，但推理的骨架就是这个。这里"√2""·"等记号都是现代转写，古人只以线段和"量"来说话。

比例论的意义，要到它解决的困难里去找。它让希腊数学在"数"之外，另立了一个更宽的对象——"量"（magnitude），可以是长度、面积、体积、时间，彼此不一定可公度，却仍能严格比较和运算。这是把"会算"推进到"为什么必然成立"的关键一步：不是新算了什么，而是把旧算式的合法性重新奠基。

三、穷竭法：不用无穷，也能逼近曲线

比例论一旦就位，另一件工具便顺理成章——穷竭法（method of exhaustion）。名字叫"穷竭"，但它其实刻意回避了"无穷"这个当时让人不安的概念。

问题是这样：圆的面积、锥体和球体的体积，该怎么严格证明？圆的周长和面积无法用直尺直接量成整数，希腊人又对"无穷分割"心存戒备。于是他们换了一条路：用不断加边的内接正多边形去逼近圆——先内接正方形，再八边形、十六边形，边数逐次翻倍。这个想法更早可追溯到安提丰（Antiphon）与布里松（Bryson），但安提丰的论证有漏洞（他几乎等于把圆当成了边数无限的多边形）。是欧多克索斯把它改造成严格的形式。

穷竭法的核心是"双重夹逼 + 反证"。现代记号转述如下：设要证明某个量 S 等于目标值 K。第一步，把 S 拆成一系列越来越逼近 K 的项，使得每一步与 K 的差距都能被压到任意小（这一步恰恰依赖比例论和"欧多克索斯公理"：只要差距是正量，反复减半终能小于任何给定的量）。第二步，用反证法排除 S 不等于 K 的两种可能：若 S 大于 K，则能构造出一个项，使它与 K 的差距小于 S−K，从而推出矛盾；若 S 小于 K，同理也矛盾。于是 S 只能等于 K。整个过程不需要"取极限"，不需要说"无穷多项加起来"，只用有限步的逼近和反证就完成了证明。

用这套方法，欧多克索斯严格证明了两个由德谟克利特先提出的结论：棱锥体积等于同底等高棱柱体积的三分之一；圆锥体积等于同底等高圆柱体积的三分之一。这两条结果后来被欧几里得收入《几何原本》第十二卷，阿基米德也明确把它们连同方法一起归于欧多克索斯。严格说，"穷竭法"这个名称也是后人所起，古人自己只是把它当作一种证明技巧来用。

穷竭法也有它的局限：它能严格证明"某个面积或体积等于某值"，却很难用来"发现"新的结果——你得先猜到答案，再用它去证明。真正把穷竭法用到出神入化、并用它发现一大批新定理的，是下一个人，阿基米德。这一伏笔，留到下一篇再展开。

四、《几何原本》：一部"拼装"出来的教科书

欧多克索斯的比例论与穷竭法，最终以命题的形式落进了《几何原本》。这部书的成书，是理解"证明传统如何制度化"的最好样本。

关于欧几里得（Euclid of Alexandria）本人，可确知的事实极少。现存最早、也最常被引用的生平线索，来自约公元450年的哲学家普罗克洛斯：欧几里得活动于托勒密一世时代（约公元前300年前后），在亚历山大里亚建立了一个活跃的数学学派；阿基米德在自己的著作中提到过他。普罗克洛斯还转述了一则轶事：托勒密问欧几里得，学几何有没有比《几何原本》更便捷的路径，欧几里得回答"几何学中没有王者之路"。这则轶事流传极广，但它属于晚出数百年、又无同时代证据的记载，只能当作"传说"，不能当作可靠生平。至于阿拉伯作者所说欧几里得之父名"瑙克拉底斯"、或把欧几里得与早约一百年的"墨伽拉的欧几里得"混为一谈，史学界多认为是讹传。

更靠谱的，是看这部书本身。法国学者伊塔尔（Itard）等现代研究者甚至提出三种可能：欧几里得是真实个人，独立撰成此书；欧几里得是亚历山大里亚一个团队的领袖，集体编成"欧几里得全集"；或者"欧几里得"本就是一个团队共用的署名，如同二十世纪的布尔巴基。大多数学者按第一种假说工作，但后两种也非全无道理。无论哪一种成立，结论都指向同一件事：《几何原本》不是凭空写成的天才之作，而是对约三个世纪希腊数学成果的一次系统整理与重新编排——其中的比例论来自欧多克索斯，无理数理论主要来自泰阿泰德，五种正多面体的讨论基于更早的论著。欧几里得的功劳，在于把这批材料纳入一个统一的逻辑秩序。

全书十三卷，结构严整。开篇是一系列定义、五条公设和五条"共同概念"（公理），之后是层层推进的命题。第一卷建立三角形、平行线与平行四边形的基本性质；第五卷是欧多克索斯的比例理论，同时适用于可公度与不可公度的量；第六卷把第五卷用到平面图形上；第七至九卷是数论，包含求最大公约数的"欧几里得算法"；第十卷是无理数理论；第十一至十三卷是立体几何，其中第十二卷用穷竭法证明"圆面积之比等于直径平方之比""球体积之比等于直径立方之比"，第十三卷证明恰好存在五种正多面体。

《几何原本》对后世的影响，几乎不需要渲染。荷兰学者范德瓦尔登说过，除了《圣经》，它或许是西方世界翻译最多、出版最多、研究最多的书。1482年它首次付印，此后版本超过一千种。它的严谨标准，成了后来微积分奠基者们竭力企及、却迟迟无法完全达到的标杆——这是下一篇乃至更后面才会展开的长线。

五、公理、定义、命题与证明：一门学科的骨架

《几何原本》真正的遗产，不是某一条定理，而是它示范的"组织方式"：定义、公设、公理、命题、证明，层层咬合。

先分清两组容易混淆的概念。公设（postulates）是几何作图的基本许可：过两点可作一条直线、直线可任意延长、以任意圆心和半径作圆。前三条直接对应"尺规"这种工具的合法操作，这正是三大作图难题的规则来源。公理（common notions，又译"共同概念"）则是更普遍的常识，例如"等于同量的量彼此相等"。公设偏几何、偏"能做什么"，公理偏逻辑、偏"什么显然为真"。两者合起来，是不需要证明的出发点。

定义交代词的意义，比如"点是没有部分的东西""线是没有宽度的长度"——这些定义今天看并不严格，甚至被后世（如西顿的芝诺）指出书里偷偷用了没说明的假设，但作为一套开风气之先的体系，它的价值在于示范：一切结论都应能追溯到明说的起点。命题是待证或已证的陈述，每个命题配一个证明，从定义、公设、公理和已证的命题出发，一步步推到底。

这套程序的真正含义，是上一篇结尾预告的那场转向的落地：数学不再是一堆"这里有个算法，照着算就对了"的配方，而是一棵可以追溯根部的推理树。你问"为什么"，它就给你指到"因为某某公理"或"因为某某已证的命题"。正是这个可追溯性，让数学第一次成为可以公开展开争论、可以由他人独立检验的东西——这与三大作图难题里那些"我找到了方法"却无法自圆其说的尝试，形成了鲜明对照。

这里要补一句公平话：希腊不是唯一在组织知识的文明。几乎同一时期，中国在《周髀算经》《九章算术》里发展着以算筹、算法和数值解为重心的数学传统，与希腊以演绎证明为重心形成对照，却同样成熟而深刻；印度与中美洲文明也在各自轨道上独立推进。把这些线索说成"希腊一家独大"是错的，但就"把证明制度化"这一点而言，希腊传统确实走在了前面，且影响至今未散。

六、三大尺规作图难题：规则的边界，要等两千年

《几何原本》设定的"尺规"规则，直接逼出了希腊数学最著名的三个难题：三等分任意角、倍立方（作一个体积为给定立方体两倍的立方体）、化圆为方（作一个与给定圆面积相等的正方形）。三者都要求只用无刻度的直尺和圆规完成，而这条"只用尺规"的限制，正是从《几何原本》那几条作图公设里生长出来的。

这三个难题之所以伟大，不在难度本身，而在它们逼迫数学不断扩张工具。先说化圆为方。现存最早的相关记录，是《莱因德纸草书》（约公元前1650年前后抄写）里给出的一个近似做法：把直径削去九分之一，以余下部分为边作正方形，得到 π≈3.1605 的近似值。但这是近似，不是严格作图。希腊式的化圆为方问题，是要严格作出一个与圆等面积的正方形。尝试者名单很长：安提丰用内接多边形逼近、布里松又加上外切多边形把圆夹在中间；希俄斯的希波克拉底证明了某些"月牙形"可以化为等面积的正方形（这一漂亮结果虽未解决化圆为方，却开创了"用已知面积图形替换未知面积"的思路）；

![希波克拉底的月牙形化方](插图/图9_月牙形化方.png)传统上认为，割圆曲线（quadratrix）是希皮亚斯发明的，而把它用于化圆为方则归于迪诺斯特拉图斯——这条曲线确实能解决问题，但它本身要靠机械运动来描，等于偷偷借用了"圆弧与线段之比"这个本待证明的量，所以并不算尺规作图。

倍立方另有来历。流传最广的版本，说提洛岛人因瘟疫求问神谕，神谕命他们筑一座体积加倍的祭坛，工匠无计可施，于是去问柏拉图。但这则传说经埃拉托色尼转述，年代本身就有矛盾——雅典大瘟疫约在公元前430年，而柏拉图公元前427年才出生，故事里他不可能出面解答。所以它只能当作后世附会，不能作为倍立方起源的证据。可考的是，阿尔希塔斯（欧多克索斯的老师）给出过一种用三维曲面相交来解倍立方的方案。三等分角则引出了割圆曲线等多种"超出尺规"的曲线方法。换句话说，希腊人在这些难题上贡献的不是"答案"，而是"规则"——他们清楚地意识到，某些问题在尺规限制下做不出来，于是不断发明新曲线、新工具，客观上把几何的版图越撑越大。

真正的答案，要等到十九世纪。1837年，法国数学家万泽尔（Wantzel）证明：三等分任意角和倍立方，在尺规限制下不可能；1882年，林德曼（Lindemann）证明 π 是超越数，从而证明化圆为方也不可能。这三个"不可能"，用的是希腊人绝想不到的工具——代数与域论。它们给这段两千年的追逐画上了句号，也再次印证了同一个道理：数学的进步，常常不在于解开了某个难题，而在于精确地说清了"为什么解不开"。

七、从"会算"到"为什么必然成立"

把这四样东西——比例论、穷竭法、《几何原本》、三大作图难题——放在一起看，它们的联系就清楚了。它们同属一个历史阶段（约公元前600—前200年），也同属一场共同的转向：把数学从"一套会算的配方"，升级为"一门能问'为什么必然成立'的学问"。

比例论回答的是"数的裂缝"：当整数比不够用时，如何不放弃严格性而扩展"量"的范围。穷竭法回答的是"无穷的阴影"：如何逼近曲线图形的面积，却不真的碰"无穷"。《几何原本》把这两者连同前三个世纪的成果，收进一套公理化秩序，让"证明"第一次成为可以检验、可以传授、可以争论的公共标准。而三大作图难题，则是这套规则的反面教材与压力测试：它划定了尺规的边界，逼出了规则之外的新工具，也逼出了两千年后关于"不可能"的严格证明。

这场转向的代价是：希腊数学从此对"无穷""无理""无限过程"格外警惕，宁可绕远路，也不肯在根基上含糊。它的收获更大：留下了一套直到今天仍在使用的组织方式——定义、公理、定理、证明。我们今天读任何一篇数学论文，翻开任何一本教科书，看到的"定义→引理→定理→证明"的格式，源头都在这里。

关于后世如何纪念，只需一句：把穷竭法用到极致的那位阿基米德，他的头像至今镌刻在菲尔兹奖章上。这个细节我们留到更后面，等讲到二十世纪时再回来。

回到开篇那六块陶片。一个公元前3世纪的读者，在远离学术中心的地方，吃力地研读《几何原本》第十三卷的难题，并留下笔记。这个人是谁、他最终有没有读懂，我们永远无从知晓。但他的存在，比任何"天才神话"都更能说明问题：证明这门手艺，从诞生那一刻起，就是一门可以离开它的作者、被任何认真的人拿起来反复锤炼的手艺。欧多克索斯的比例论与穷竭法，正是这门手艺最早的两块基石。

而真正把这门手艺推向极致的，是下一个人。他证明球的体积、逼近圆周率、在浴缸里喊出"尤里卡"、又在叙拉古城破时死去——阿基米德，以及他用穷竭法征服的面积、体积与浮力，是下一篇的主角。

泰勒斯：第一个学会证明的数学家

Tue, 29 Sep 2026 10:44:31 +0800

在古埃及人依靠经验丈量土地之后，一位来自米利都的智者，把几何学从田野间的经验，变成了可以推理、可以证明的科学。他就是泰勒斯，古希腊七贤之首，西方历史上第一位留下名字的数学家，也被称为论证几何学的鼻祖。

一、游历埃及，带回几何的智者

泰勒斯（约公元前624—公元前546年），出生于米利都城。他早年经商，曾远赴埃及学习古埃及的土地测量技术。

古埃及人掌握大量几何计算公式，但是只会拿来直接用，没有去证明为什么公式成立。泰勒斯敏锐地发现：经验得到的结论不一定永远可靠，只有经过推理证明，才是普遍成立的真理。

他把埃及几何带回希腊，开启了古希腊数学全新的方向：用逻辑推理证明几何命题，这是数学史上划时代的一步。

流传最广的故事：泰勒斯在埃及，利用影子和物体高度成正比，只用一根木棍，就算出了金字塔的高度，令埃及祭司大为惊叹。这个故事，也是相似三角形思想最早的经典应用，如今是初中数学的重要知识点。

二、五大几何命题，初中课本里的定理

泰勒斯整理并证明了五条基础几何命题，这些内容直到今天，依然是初等平面几何的核心内容：

1. 圆的直径平分这个圆；

2. 等腰三角形的两个底角相等；

3. 两直线相交，对顶角相等；

4. 两角及一边对应相等，两个三角形全等（ASA全等）；

5. 泰勒斯定理：直径所对的圆周角，一定是直角。

古埃及、古巴比伦人早就发现过这些几何现象，但仅仅停留在观察。泰勒斯第一次对命题做逻辑证明，把零散的几何经验，升级为普适的数学定理。这就是古希腊数学和古埃及数学最大的区别。

三、泰勒斯的伟大：把证明引入数学

在泰勒斯之前，古人学数学，是“看到一个现象，拿来直接用”，属于经验数学。

泰勒斯提出：数学结论，必须依靠逻辑推理来证明。

这个思想，直接奠定了后世欧几里得《几何原本》的根基。从他开始，数学不再只是计算工具，变成依靠公理、推理、证明构建的严谨体系。这也是整个西方科学理性精神的源头。

四、不止数学：横跨天文与哲学

泰勒斯的成就不止几何学。他曾成功预测一次日食，传说交战两国看见日食，当即停战。他提出“水是万物之源”，不再用神来解释世界，尝试用自然本身解释万物，是西方哲学的开端。

五、历史意义：连接古埃及与古希腊数学

如果说古埃及数学，是在土地丈量中诞生的实用计算；那么泰勒斯，就是把经验数学升级为论证几何的引路人。

他搭建起桥梁，把尼罗河畔的测量学问带到希腊，种下逻辑证明的火种，后面毕达哥拉斯、欧几里得的辉煌，都从这里起步。

结语

泰勒斯最珍贵的贡献，不是那几条几何定理，而是理性思考的思维方式。

正如那句感悟：观察能看见现象，逻辑才能发现真理。这也是我们今天学习平面几何，学习证明的意义。

埃拉托色尼筛法与素数

Tue, 29 Sep 2026 10:06:59 +0800

导语：一把两千多年前的"筛子"，第一次把无穷多个素数从自然数里挑了出来。沿着它走下去，你会遇见圆锥曲线、第一张三角函数表，以及一部统治天文学一千四百年的书。

素数有没有尽头？欧几里得在《几何原本》第九卷里给出了一个漂亮证明，答案是无穷多。但那是很靠后的事。更早的时候，希腊人面对的是一个朴素得多的问题——在一个有限的范围里，怎么把素数一个不漏地找出来。

这个问题的答案，藏在一个叫"筛子"的工具里。它的希腊语名字是 κόσκινον（kóskinon），本意是筛面粉、把粗的和细的分开的器具。把自然数铺开，用一种固定的手法把合数"筛"掉，剩下的就是素数。今天每一本算法教材几乎都会讲它。但它的作者埃拉托色尼（Eratosthenes，约公元前276—前194年）本人写素数的著作，一个字都没留下来。我们今天知道这个筛法，靠的是将近三百年后另一位希腊学者尼科马库斯（Nicomachus，约公元60—120年）——他在《算术概论》（Introduction to Arithmetic）里把这个方法记下来，并明确归在埃拉托色尼名下。

这就是本篇想讲清楚的一段历史：在"证明的诞生"这一编里，希腊人如何从一个具体的算法出发，逐步走向"为什么必然如此"的证明传统。它由四个彼此咬合的主题构成——埃拉托色尼的筛法、阿波罗尼奥斯的圆锥曲线、喜帕恰斯的弦表、托勒密的天文学模型。它们分属数论、几何和天文学，共享的却是同一个内核：把杂乱的现象，整理成可以计算、并且可以证明的秩序。

一、一把筛子，如何把素数挑出来

先回到那个朴素的问题。什么叫素数？一个大于 1 的自然数，如果除了 1 和它自己之外，没有别的正因数，就叫素数；否则叫合数。2、3、5、7、11 是素数，4、6、8、9、10 不是。这个定义现代小学生都懂，但"懂定义"和"能系统地找出所有素数"，是两回事。

埃拉托色尼的方法，今天被称作"埃拉托色尼筛法"。我们用一个现代记法把它说清楚——要强调，下面的阿拉伯数字、符号和表格，都是我们今天的写法，古人用的是希腊记数法，也没有"平方"这样的现代记号。

假设要找 30 以内的所有素数。先把 2 到 30 排成一行：

2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30

第一步，2 是素数，留下它，然后把它的倍数 4、6、8、10……全部划掉。第二步，下一个没被划掉的数是 3，它是素数，留下，再把 6、9、12……这些 3 的倍数划掉（其中 6、12 已经被划过了，重复无妨）。第三步，下一个没被划掉的是 5，留下，划掉 10、15、20……以此类推。做到 5 之后，下一个素数是 7，而 7 的平方 49 已经超过 30，于是剩下的所有没被划掉的数，全都必然是素数。最终筛出来的，是 2、3、5、7、11、13、17、19、23、29。

为什么做到 7 就可以停？这是一个值得说透的小道理：如果一个不超过 30 的数还是合数，它一定能写成两个都大于 1 的数的乘积，其中较小的那个因数，不可能超过它的平方根。30 的平方根比 6 小，所以任何不超过 30 的合数，必定有一个不超过 5 的质因数。既然 2、3、5 的倍数都被我们筛干净了，剩下没被划掉的，就不可能是合数。这正是筛法成立的关键，也是它和"一个一个试除法"的本质区别——它不去"检验"每个数，而是主动"生成"所有合数，把它们从列表里抹掉。

还有一点值得一提：尼科马库斯记录的版本，和今天的标准版略有不同。他的筛法从 3 开始，只在奇数里筛，依次去掉奇数的倍数。这个细节反而说明，这技巧在埃拉托色尼的时代可能已经相当成熟，甚至在他之前就有人知道。筛法不是从天而降的天才灵光，而是算术实践里慢慢磨出来的工具。

埃拉托色尼这个人，比"筛法"这个名字要大得多。他是昔兰尼（今利比亚境内）人，后来担任亚历山大里亚图书馆的馆长。据10世纪的拜占庭百科《苏达辞书》，同时代人给他起了个绰号叫"贝塔"（Beta，希腊字母表的第二个字母）——因为他在几乎每个领域都排第二，却未必在某一项上做到第一。他测量地球周长的方法，是古代科学史上最著名的故事之一——利用夏至日正午，赛伊尼（今阿斯旺）的太阳直射井底、而亚历山大里亚的日影有一个角度差，再结合两地的距离，推算出地球的周长。这个测量，连同他的地理学、年代学和一部含六百多颗星的星表，共同构成了一个博学者的形象。素数筛法，只是他众多工作里的一件。

二、圆锥曲线：为天文学备好的几何语言

素数关心的是"数"的内在结构，几乎不依赖图形。而几乎同一时期，希腊几何学家在另一条战线上推进——他们研究的是平面截割圆锥面得到的曲线，也就是圆锥曲线。

这件事并非阿波罗尼奥斯（Apollonius of Perga，约公元前262—前190年）首创。在他之前，研究特定圆锥曲线的，至少有梅奈克穆斯（Menaechmus）和阿里斯泰俄斯（Aristaeus），欧几里得据说也写过关于圆锥曲线的书，可惜都没有流传下来。阿波罗尼奥斯的贡献在于，他把这一整块零散的知识系统化、一般化了。

他的巨著《圆锥曲线论》（Conics）一共八卷。他用一个统一的方法——不再限定圆锥的种类，而是用不同角度的平面去截同一个（乃至双锥的）圆锥面——一举得到全部三种曲线，并给它们取了沿用至今的名字：

- 抛物线（parabola），字面意思是"恰好贴合"（application）；

- 椭圆（ellipse），字面意思是"有所不足"（deficiency）；

- 双曲线（hyperbola），字面意思是"有所超出"（excess）。

这三个名字的来历，深埋在一个更古老的几何传统——"面积贴合"（application of areas）里。这是毕达哥拉斯学派处理面积问题时的一套方法，阿波罗尼奥斯把它借来命名三类曲线。换句话说，我们今天在物理课本里见到的"抛物线""椭圆轨道"，它们的名字诞生于公元前三世纪，出自一种纯粹的几何分类。

《圆锥曲线论》本身是一部规模惊人的书。前四卷是基础，大体整理前人已知的结论；第五到第七卷则是阿波罗尼奥斯最具原创性的部分，讨论曲线的法线、切线和曲率中心，其深度直到笛卡尔时代才被真正超越。据后世数学家帕普斯（Pappus）的记载，第八卷是解决问题的部分，已经亡佚。这本书的流传命运也值得一说：前四卷的希腊文本，靠的是四世纪末欧托基乌斯（Eutocius）校订的本子才保存下来；第五到第七卷，则全靠九世纪巴格达的阿拉伯文译本才得以留存——先有巴努·穆萨兄弟组织翻译，后来哈雷（Edmond Halley）在 1710 年出版拉丁文译本时，又根据帕普斯留下的引理，亲手补写了失传的第八卷。

为什么要在讲素数的文章里，花这么多篇幅讲圆锥曲线？因为它马上要派上大用场。阿波罗尼奥斯本人还做了一件对后世影响深远的事：据现存材料，他最早证明了"本轮"（epicycle）与"偏心圆"（eccentric）这两套用来描述行星不规则运动的几何装置，在适当参数下可以互相等价互换——这个结论，后世称"阿波罗尼奥斯定理"，托勒密在《至大论》第十二卷里专门引述了它。纯几何的成果，就这样为一个更宏大的目标——描述天体运动——铺好了路。

三、弦表：为"量天"造出的一把尺子

圆锥曲线解决的是"形状"问题，但天文学家还需要"数量"——他们要计算天球上两点之间的角距离，要推算太阳、月亮的运行速度。这就得把角度和长度对应起来。于是，三角学的第一步，不是作为一门独立的数学诞生的，而是作为天文学的计算工具诞生的。

做出这关键一步的人，通常被认为是喜帕恰斯（Hipparchus of Nicaea，约公元前190—前120年）。关于他的生平，可靠的记载少得可怜：他出生于尼西亚（今土耳其伊兹尼克一带），一生大部分时间在罗德岛工作。他写过至少十几部著作，几乎全部亡佚，唯一完整流传下来的，竟是他对诗人阿拉托斯（Aratus）天文学长诗的评注——一部文学性质的作品，而非他的科学著作。

但托勒密和四世纪的亚历山大里亚学者忒翁（Theon）都提到，喜帕恰斯写过一部十二卷的、讨论"圆内线段"的著作。所谓"圆内线段"，就是弦（chord）——圆上两点之间那条直线段的长度。这就是三角学的起点。

喜帕恰斯的做法，用现代语言可以这样转述：他取一个固定大小的圆，把圆周分成 360 等份（这个"分 360 份"的约定，很可能来自巴比伦的六十进制传统），然后为每一个中心角，计算出它所对的弦的长度。研究者重建时推测，他用的圆的半径是 3438 个单位——这个数字并非随意，而是恰好让"1 弧分"对应的弧长接近 1 个单位，从而在角度和长度之间架起一座换算的桥。他可能以 7.5°（也就是圆的 1/48）为间隔列出一张表，中间的角度再用线性内插补出来。

弦和今天的正弦函数是什么关系？用现代记号可以写得很简洁：如果圆心角是 θ，半径是 r，那么

弦长 = 2r · sin(θ/2)

也就是说，弦其实等于"两倍半径乘以半角的正弦"。喜帕恰斯手里没有"sin"这个符号——正弦（sine）这个词要等印度数学家用"半弦"、再经阿拉伯、拉丁翻译，要到一千多年后才定型。但他在几何上做的，本质上就是今天的正弦表。

这张弦表的意义，在于它补上了关键的一环。在它出现之前，希腊天文学家的模型大多是定性的、几何的；有了弦表，他们第一次能把"角度"直接换算成"数值"，从而定量地预测日月的位置。喜帕恰斯用它测算了太阳和月亮的距离，还发现了一个了不起的现象——岁差（precession of the equinoxes）：春分点沿着黄道缓慢西移，大约每百年移动 1°，整圈大约需要三万六千年。他据此编纂了可能是西方第一份系统的星表，记载了约八百五十颗星的位置和亮度（后世归功于他的"从一到六等"星等标度，我们今天还在用）。

喜帕恰斯因此常被后人称为"三角学之父"，也被一些人看作"天文学之父"。但需要谨慎：他的弦表原物没有保存下来，我们能重建它，靠的是托勒密的转述和后人的反推；也有学者（如 Klintberg）质疑托勒密重建的某些细节，认为喜帕恰斯弦表的半径也许不是 3438 而是 3600 个单位。所以更稳妥的说法是：喜帕恰斯是"现存证据表明第一个系统使用三角方法的人"，而不是一个所有细节都板上钉钉的"发明者"。

四、托勒密的《至大论》：把所有圆圈拼成一台机器

前面三件事到这里可以合流了：圆锥曲线提供了几何工具，弦表提供了数值工具，缺的是一个人把这些工具组装成一套完整的、可以预测天象的数学模型。这个人就是克劳狄乌斯·托勒密（Claudius Ptolemy，约公元100—170年）。

托勒密在亚历山大里亚工作，写了一部书名原本叫《数学汇编》（Syntaxis Mathematica）的书，十三卷。后来阿拉伯人推崇它，称之为"最伟大的"（al-majisti），拉丁转写就成了我们今天熟悉的《至大论》（Almagest）。

这部书的基本立场，继承自希腊哲学的一个牢固信念：天体的运动，本质上是匀速的圆周运动。可天文学家早就观察到，行星在天上会逆行、会时快时慢，一点都不"匀速"。怎么调和"必须匀速圆周"的原则和"看起来不规则"的观测？托勒密用三件几何装置来解决：

- 本轮（epicycle）：行星在一个小圆上转，而这个小圆的圆心又在另一个大圆上转。想象摩天轮装在绕着场地跑的火车上，乘客走出的就是复杂的环线。

- 偏心圆（eccentric）：让那个大圆（称为"均轮"deferent）的圆心，偏离地球一点点，从而解释天体忽远忽近。

- 等分点（equant）：这是托勒密最大胆的一招。他假设存在一个不在地球、也不在均轮圆心的点，从这个点看去，行星的角速度才是均匀的。这样，既保住了"匀速"的信念（只是换了个观测点），又解释了行星速度的周期性变化。

这三件装置里，本轮和偏心圆是前人的遗产（本轮与偏心圆等价的证明可以追溯到阿波罗尼奥斯，太阳和月亮的模型主要继承喜帕恰斯），真正属于托勒密最具标志性的贡献，是"等分点"。靠着它，托勒密成功地为五颗行星都造出了模型——这是连喜帕恰斯都没能做到的事。托勒密本人对这套装置的复杂度，有一句常被引用的话：我们应该尽量给天体运动套用最简单的假设，但如果简单的不够用，就换一个能解释得更好的。需要说明，这句话是后世对《至大论》的意译转述，不宜当作逐字原话。

《至大论》里还有一张更精细的弦表：从 0.5° 到 180°，每隔 0.5° 给一个弦值，还附上"每增加 1 弧分要加多少"的内插修正。这是现存最早的、完整的三角函数表——喜帕恰斯的表已经佚失，托勒密这张却完整保留至今，成为后世所有三角表的老祖宗。

这套模型有多成功？它预测的日月行星位置，在当时的观测精度下足够好用。它统治了西方和伊斯兰世界的天文学，长达约一千四百年，直到哥白尼和开普勒才被逐步取代。托勒密究竟有多少是自己独立观测的、星表里的一千多颗星是否真由他逐颗测量，从第谷（Tycho Brahe）时代起就一直有争议——但这并不动摇《至大论》作为一部数学杰作的地位。

五、从"会算"到"为什么必然如此"

把四个主题并排看，能看出一个更深的东西。

埃拉托色尼筛法，本质上是一个算法——一套"照着做就能得到答案"的步骤。它回答的是"怎么算"。但希腊数学真正的野心，在欧几里得那里表现得最清楚：光会算还不够，还要证明"为什么这样算一定对"。筛法里那个"做到平方根就可以停"的道理，就是一个可以严格证明的命题；而欧几里得证明"素数有无穷多个"，则把"找素数"这个具体操作，抬升成了一个关于整个自然数集合的必然结论。

阿波罗尼奥斯、喜帕恰斯、托勒密做的是同一件事，只是战场换到了几何和天文学。阿波罗尼奥斯把零散的曲线研究整理成几百个被严格证明的命题；喜帕恰斯和托勒密则把"测量天空"从零散的观测，变成一套可以用数学推演、可以复算、可以预测的体系。这一编的标题叫"证明的诞生"，指的正是这种转变：知识不再只是经验的积累，而开始要求普遍、必然、可验证的理由。

这四件事之间还有清晰的思想接力。埃拉托色尼和阿波罗尼奥斯几乎是同时代人，都活跃在亚历山大里亚这个知识中心；喜帕恰斯在罗德岛继承并推进了他们的几何成果，尤其是把本轮引入日月模型；托勒密则在三百年后，把这些零件——圆锥曲线式的几何思维、弦表式的数值工具、本轮均轮的机械装置——全部装配进《至大论》。没有前人的弦表和本轮，就没有托勒密的机器；而托勒密的机器，又反过来让前人的几何和三角有了用武之地。

同一时期，希腊之外还有别的数学在独自生长。希腊人走向证明传统的同时，中国、印度、美洲的数学走的是各自独立的路。中国此时已有发达的算筹和十进位值制，正在孕育《九章算术》这样以"算法"和"实用"为中心的著作；印度在天文计算中发展着独立的数表传统；玛雅人则发展出极为精密、且独立使用"零"的历法数学。这些线索在时间上大致平行，却不是同一条河。希腊人把"证明"推到极致，并不意味着其他文明"落后"，只是各自选择了不同的、同样深刻的方向。这一点，下一篇会再次碰到。

六、结尾：筛子之后，是什么

回到开头那个问题：埃拉托色尼的筛子，意义到底在哪里？

它证明了一件事——最抽象的东西（素数），可以用最机械、最可靠的方法（筛）来处理。这个想法穿越了两千多年：素数至今仍是现代密码学的基石，而埃拉托色尼的筛法，是最早系统生成素数的方法之一。而在"证明的诞生"这一编里，它代表的是更朴素的一步：先把答案算出来，再问一句"为什么它一定对"。

埃拉托色尼本人死于一场绝食——据较晚的记载，他晚年双目失明，主动选择了结束生命。这是一个凄凉的注脚，但和"他是否真的这么死"一样，都笼罩在传说与史实之间。我们能确定的是，一个在亚历山大里亚图书馆里、同时做着地理、历法、年代学和素数研究的博学者，把一枚小小的"筛子"，留给了整个数学史。

顺着他和同时代人的路再往前一步，故事就离开了地中海的希腊世界。下一篇，我们要回到东方，面对一个让学者争论了两千年的问题——《周髀算经》到底成书于何时？一部以"勾股"和"盖天说"闻名的中国典籍，它的年代判定本身，就是一场关于证据、版本与思想传播的精彩考据。这条时间线，将带着我们自然地从"证明的诞生"，走向古代中国的数学世界。

阿基米德与面积、体积及浮力

Tue, 29 Sep 2026 09:45:44 +0800

一根影子、一具墓碑、一部被刮掉重写的羊皮书——阿基米德与埃拉托色尼用几件再简单不过的东西，第一次把"面积、体积、浮力、地球大小"从估摸变成了可以证明的结论。本文讲清他们怎么算、凭什么算对了。

一、一页被刮掉又写上的羊皮书

1906 年夏天，丹麦语文学家海贝格（Johan Ludvig Heiberg）来到伊斯坦布尔的一处修道院图书馆，翻看一部十三世纪的拜占庭祈祷书。这部书表面平平无奇，但海贝格注意到，羊皮纸页上隐约透出更早的字迹——那是被人用刀刮掉、又覆写上祷文的一批旧书页。这种"刮掉重写"的羊皮纸，学界称为"重写本"（palimpsest）。

海贝格认出了刮痕下的文字：它们属于阿基米德。这部后来被称为"阿基米德重写本"的羊皮书，藏着七篇阿基米德的著作，其中《方法》与拼图《斯托马斯奇昂》两篇，在这部书之外没有任何存世抄本——它们原本被认为早已失传，此刻却在这部祈祷书里失而复得；而《论浮体》的希腊文原文，也只剩这一处孤本。

这一页羊皮纸，恰好把我们带到本篇要讲的核心问题面前：一个人，如何在没有微积分、没有计算器、甚至没有我们今天熟悉的代数符号的时代，算出曲线围成的面积、曲面围成的体积、物体在液体中的浮沉规律？以及，与阿基米德差不多同时的另一位学者，又是如何用一根影子的长度，量出了地球的周长？

阿基米德不是突然冒出来的天才。在他身后，一整套关于"证明"的新方法正在希腊世界成形。

二、证明从何而来：约公元前 600 年到公元前 200 年

要理解阿基米德在做什么，得先看他踩在怎样的地基上。

大约从公元前六世纪起，在希腊的城邦与殖民地里，逐渐出现了一种此前世界很少见的习惯：不再满足于"这条经验规则管用"，而要追问"它为什么必然成立"。泰勒斯、毕达哥拉斯学派的名字常常和这桩转变连在一起，但我们今天对他们的了解，几乎全部来自数百年后作者转述的材料，其生平细节很难当作可靠事实。相对更可信的，是留存下来的数学文本所显示的走向：人们开始用"定义"划定概念、用"公理"摆出起点、再用"证明"从起点一步步推出结论。

到公元前三世纪，这个传统已经相当成熟。欧几里得《几何原本》把大量零散的几何知识收拢进一个公理化的框架，这部书未必是他一人独创，而是对前人成果的整理与综合。它确立了一个影响深远的样板：数学命题应当被证明，而不只是被陈述。

阿基米德正是在这条线索上工作，又把它推向了新的方向。《几何原本》处理的多是直线、圆这些相对"规整"的对象，而阿基米德大胆地去碰曲线、曲面和不规则形体——圆、球、圆柱、抛物线弓形——这些东西的面积和体积，正是古代数学里最棘手的问题。

需要说明的是，这条"定义—公理—证明"的线索并非人类唯一的数学传统。差不多同一时期，中国的《九章算术》及其注释传统在积累另一套以算法和实际问题为轴心的方法，印度和美洲也各自发展着独立的数学。希腊的证明传统之所以在历史上留下这么重的一笔，不是因为它"更正确"，而是因为它恰好发展出一套后来被广泛借鉴的表达方式。本篇讲的阿基米德，属于希腊这条线索，但读者心里应当留一个位置给那些并行的河流。

三、会算面积，更要知道为什么必然成立

图1　穷竭法示意：内接（蓝）与外切（红）正多边形夹逼圆，边数越多夹得越紧

阿基米德处理面积与体积的工具，今天通常叫作"穷竭法"。

名字听起来玄，思路其实朴素。假设你想求一个不规则图形的面积，最笨的办法是先把它框进一个多边形里估个大概，再用边数更多的多边形去逼近。多边形的面积是可以精确算出来的，边数每增加一次，多边形的面积就离目标图形的面积更近一步。阿基米德的高明之处在于：他不是满足于"越来越接近"这个感觉，而是反过来，用逻辑把误差逼到无路可退——这就是"穷竭"的意思，把可能存在的误差一点点耗尽。

用现代记号重述一下这个思路（古代没有这些符号，这里只是转述其精神）：设一个圆的半径为 r。圆的内接正 n 边形面积记为 aₙ，外切正 n 边形面积记为 Aₙ，那么圆的真实面积 S 被夹在中间：

aₙ < S < Aₙ

当 n 不断加倍，aₙ 增大、Aₙ 减小，两者像钳子一样夹向同一个值。阿基米德证明，这个共同的值正是 πr²（π 是圆周率，圆周长与直径之比）。他由此给出两条现代仍在课本里的结论：圆面积等于 πr²；而球的表面积恰好等于它外切圆柱的侧面积，球的体积则是这个外切圆柱体积的三分之二。

这里有个分水岭。阿基米德之前的许多文明——巴比伦、埃及、中国——都各自掌握了不少计算面积、体积的实用公式，其中一些数值相当准确。阿基米德做的事不同：他不再满足于"这个公式用起来是对的"，而要证明"这个结果不可能不是它"。从"会算"到"为什么必然成立"，这是希腊证明传统里最沉的一步。

四、用 96 边形逼近圆周率

图2　阿基米德以九十六边形得到的圆周率界限：223/71 < π < 22/7

阿基米德对圆周率的处理，是穷竭法最直观的一次演示。圆周率 π 是圆周长与直径的比值，这个数古已有之：古巴比伦人取过约 3.125，古埃及人取过约 3.16，中国古算书里则有"径一而周三"的记载。这些早期的值，多半是拿实测的周长去比直径，得出来的估计，精度取决于绳子量得准不准。

阿基米德换了一条路：根本不去量，而是算。

他做一个单位圆（半径取 1），从内接正六边形出发。正六边形的边长是精确的（等于半径，也就是 1），它的周长 6 就是圆周长的下界。接着把边数加倍：六边形变十二边形，再变二十四边形、四十八边形，一直到九十六边形。每加倍一次，都要用到勾股定理（西方也称毕达哥拉斯定理）去求新多边形的边长——这些计算，阿基米德全是靠开平方和分数近似硬算出来的，没有三角函数表，也没有任何现代记号。

同样的动作在外切方向再做一遍，得到上界。两边一夹，他得到一个漂亮的结论：

223/71 < π < 22/7

换成小数，就是 3.1408 < π < 3.1429。圆周率的真值约是 3.14159，阿基米德的上下界把它夹得死死的。22/7 这个数，此后一千多年一直是西方最常用的 π 近似值，简单、好记、又够准。

这个小算例值得停下来想一想。阿基米德并没有"发明"圆周率——这个常数在更早的文明里已经被反复使用。他做的是第一次给 π 一个严格的理论界：不是"量出来差不多"，而是"经过证明，它一定在这个范围里"。用现代记号转述时，我们说他"算到 96 边形"，但要记住，他的原书里没有一个三角符号，每一步都是几何图形加根式估算。这是穷竭法精神的典型体现：用可证明的步骤，取代不可靠的测量。

五、浮力、王冠与那句传了一千年的"尤里卡"

图3　阿基米德原理：物体所受浮力等于它排开液体的重量

面积和体积之外，阿基米德还留下了一个与"证明"同样重要的东西：一套把数学用到物理世界的方法。

《论浮体》是流传下来的古希腊最早系统讨论流体静力学的著作。书中提出了一条今天仍以阿基米德命名的原理：浸在液体里的物体，会受到一个向上的浮力，这个浮力的大小，等于它排开的那部分液体的重量。用这句话，可以解释为什么船会浮、为什么石头会沉，也可以反过来，通过物体在液体里的浮沉，去判断它的材质——因为不同的物质，同样的重量占据的体积不同，排开的水也不同。

这条原理背后最著名的故事，是"王冠与尤里卡"：叙拉古国王希伦二世托人打造一顶纯金王冠，疑心金匠掺了白银，请阿基米德验一验。相传阿基米德在洗澡时悟到方法，兴奋地喊着"尤里卡（我找到了）"跑上街。这个故事的现存最早版本出自罗马建筑师维特鲁威，写于阿基米德身后约两百年，情节细节——比如他是否真的光着身子跑出去——属于后世文学加工，不能当作史实。但故事要传达的那个方法，即"用排水来比较比重、鉴别材质"，与《论浮体》的物理内容是相通的。合理推断是：阿基米德确实掌握了一套以浮沉和排水来检验物质的方法，至于"尤里卡"那一幕的戏剧化程度，应归入传说。

这里顺便说清楚一件事：阿基米德既不是"单枪匹马发明了浮力"，也不是凭空冒出这个念头。在他之前，造船、提水、称重这些实践已经积累了丰富的经验；他的贡献，是把这些经验提炼成一条可以陈述、可以推导的普遍原理，并把它写进一本能够传给后人的书里。这正是"证明"思维从几何向自然世界的延伸。

六、阿基米德之死：可靠记载与后世传说

图4　球内切于外接圆柱——相传刻在阿基米德墓碑上的图形

阿基米德在叙拉古被杀这件事，后来成了西方文化里被反复讲述的一幕。

公元前 212 年，罗马军队攻陷了阿基米德的家乡叙拉古。关于他的死，可以大致分成两层。

可靠的事实：阿基米德在叙拉古城破时被一名罗马士兵所杀。这一点有较早期的记载支持——历史学家波利比乌斯在阿基米德死后约七十年写下的《通史》里记录了叙拉古攻城，后来的普鲁塔克、李维又引用了相关材料。罗马统帅马塞卢斯似乎曾下令要善待阿基米德，但命令没能保住他。

后世的传说：流传最广的版本，是普鲁塔克笔下的场景——阿基米德正在海滩上画图演算，一名罗马士兵走近命令他离开，他全神贯注，回了一句大意是"别打扰我的圆圈"，士兵不认得他，拔剑刺死。那句著名的拉丁文"Noli turbare circulos meos"（别弄乱我的圆），实际上并未出现在普鲁塔克的原话里，而是后来才定型的名句。换句话说，这句"遗言"是文学想象的产物，而非可考的史实。

另一件有据可查的事，是阿基米德的墓。公元前 75 年，罗马演说家西塞罗在西西里任财务官，他四处打听阿基米德的墓，当地人已经说不清位置。西塞罗最终在叙拉古一处荒草丛生的地方找到了它，并把它清理修整。据西塞罗自己记载，墓碑上刻着一个球内接于圆柱的图形——那正是阿基米德生前最看重的成果：球的体积是外切圆柱的三分之二。这个"球与圆柱"的雕刻，是阿基米德本人对自己工作的一个盖章：他引以为傲的，不是战争机器，不是浮力，而是那个纯几何的证明。

把这三层并排放在一起看，能看出历史记载的分寸：城破、被杀、墓上的球与圆柱，这些是相对可靠的；"别打扰我的圆圈"那句名言，以及他在海滩演算的戏剧性画面，是较晚来源补上的文学化想象。分清这两者，正是读古代科学史的基本功。

七、一根影子量出地球的周长

图5　埃拉托色尼测地球：两地影子夹角 7.2° 对应圆周的 1/50

与阿基米德差不多同时，另一位学者把"证明"的思维用到了大地本身上。

埃拉托色尼（约公元前 276—前 194 年）长期在埃及亚历山大城工作，一度掌管亚历山大图书馆。他听说，在亚历山大以南的塞尼（今阿斯旺附近），有一口深井，每年夏至正午，太阳的光会直直照进井底——这意味着那一刻太阳正好位于头顶正上方，竖立的物体没有影子。

埃拉托色尼做了个推理。他假设地球是圆的（这在当时的希腊学界已是被广泛接受的看法），又假设太阳光到达地球时彼此平行（因为太阳极远）。那么，如果同一时刻在亚历山大竖一根杆子，杆子会投下影子，影子和杆子的夹角，就等于塞尼与亚历山大两地之间那段圆弧所对的圆心角。

他测得亚历山大那天的日影夹角约为 7.2°，这正好是圆周 360° 的五十分之一。塞尼到亚历山大的距离约为 5000 斯塔德（stadia，古希腊长度单位，具体换算今有争议）。于是：

地球周长 ≈ 5000 斯塔德 × 50 = 250000 斯塔德

这个数字换算成今天的单位，取决于"斯塔德"取多长——按一种通行估计约 157.5 米，结果约 39375 公里，与现代实测的地球经线圈长度（约 40000 公里）误差只有约 1%—2%。即便按较大的换算口径，误差也仍在可接受范围。

这里同样要守住分寸。埃拉托色尼的原书已经失传，我们知道的简化版本，来自几个世纪后克勒奥梅德斯（Cleomedes）的转述。这个简化版悄悄用了两个理想化假设：塞尼正好在北回归线上、塞尼与亚历山大正好在同一条经线上——这两点在现实中都只是近似成立。学者普遍认为，埃拉托色尼自己的方法比这个转述更复杂、更依赖专门的丈量数据。但无论如何，这个"用一根影子和一段距离，按比例推出整个地球大小"的几何推理，本身是可靠的、也是惊人的：两千多年前，有人用如此少的观测，第一次给出了一个与真实值同数量级、甚至相当接近的地球周长。

埃拉托色尼和阿基米德处在同一个思想时刻：他们都不再满足于"地球有多大"或"圆面积是多少"这类问题的经验答案，而用几何模型把它变成一个可以证明的比例问题。这是证明传统从几何图形延伸到整个宇宙的一次外溢。

八、从"会算"到"为什么必然成立"

把本篇的四条线索——面积与体积、圆周率、浮力、地球大小——放在一起，会发现它们共享同一种方法气质。

阿基米德用穷竭法证明圆面积，与埃拉托色尼用影子推地球周长，在结构上是同一件事：先承认一个前提（多边形可精确计算／地球是圆的），再用逻辑推出一条必然结论，最后拿观测或计算去检验。区别只在于，阿基米德面对的是纯几何的对象，埃拉托色尼把同样的推理搬到了大地这个真实物体上。

这种"证明"的传统一旦确立，就再没有退回去。后世的数学，无论怎样发展，都继承了这个底线：一个命题之所以成立，不因为权威这么说，不因为经验多次应验，而因为它被证明了。今天我们习以为常的"定理—证明"结构，源头可以一路追到这一时期的希腊。这不是某个天才一夜之间的创举，而是一批学者在两个多世纪里逐步搭起来的一套方法。

阿基米德对后人还有一层特殊的意义：他证明，这套用来组织几何知识的"证明"，同样适用于物理世界——浮力、杠杆、重心。数学不再只是关于抽象图形的学问，而成了一种可以用来理解自然、预测现象的通用语言。这一步，为后来伽利略、牛顿那一整条"用数学写自然"的路线埋下了伏笔。

九、通向下一站：素数

阿基米德与埃拉托色尼处理的问题，有一个共同点：他们都在"数"与"形"之外，触碰到了"无穷"与"枚举"的边界。阿基米德穷竭法的本质，是让边数无限增加、误差无限缩小；这种"越来越接近"的思路，是后来极限与微积分思想的远祖。

而那位量出地球周长的埃拉托色尼，还留下了另一个更朴素、却同样影响深远的遗产——他给出了一种从自然数里逐个筛出素数的方法。素数，是只能被 1 和自身整除的数；如何把它们从无穷多的整数里一一挑出来，本身就是一个关于"无穷"的问题。

从阿基米德逼近圆周率的"越来越近"，到埃拉托色尼筛素数的"一个个挑"，时间线在这里自然向前推进。下一站，我们就去看那张筛子——埃拉托色尼筛法与素数。

高中数学中点弦公式

Mon, 21 Sep 2026 14:44:09 +0800

高中数学中点弦公式

圆锥曲线的中点弦公式主要用于求解“已知弦中点，求弦所在直线方程”等问题，其核心推导方法为“点差法”。以下是常见圆锥曲线的中点弦公式、推导形式及适用条件：

一、椭圆的中点弦公式

1. 标准公式（焦点在x轴）

推导：由点差法推导，利用弦端点坐标满足椭圆方程相减，结合中点坐标公式得出。

2. 标准公式（焦点在y轴）

二、双曲线的中点弦公式1. 标准公式（焦点在x轴）

2. 标准公式（焦点在y轴）

三、抛物线的中点弦公式
1. 标准公式（开口向右）

2. 标准公式（开口向上）

四、中点弦斜率公式（二级结论）
除了求弦的方程，中点弦还常用来求弦的斜率，核心结论为“弦斜率与弦中点与原点连线的斜率之积为定值”：

注：中点弦公式的适用前提是“弦与圆锥曲线有两个不同的交点”，因此对中点的位置有严格的限制（如必须在曲线内部或特定区域），解题时需结合判别式进行验证。

初中经典几何定理

Thu, 13 Aug 2026 10:44:12 +0800

初中经典几何定理

正四面体的重要结论

Thu, 23 Jul 2026 11:43:00 +0800

正四面体的重要结论

几个特殊函数

Thu, 23 Jul 2026 10:02:45 +0800

几个特殊函数

对勾函数、飘带函数、一次分式函数、单（双）绝对值函数、max(min)函数、取整函数、小数函数、双曲函数。

几个常见的函数.pdf

柯西不等式

Mon, 20 Jul 2026 11:36:30 +0800

柯西不等式