笔者的“纹明,《几何原本》来自中国的证据及其在西方的错误传播”一文发出后。有网 友 哈嘟001 提出线索,说利玛窦的拉丁发音即为欧几里得。笔者对此立即进行核查。 利玛窦的英文发音为Matteo Ricci,跟欧几里得似乎没有任何关系。但是利玛窦墓在北京西城区车公庄大街路南。其墓上刻有拉丁文墓志铭和中文墓志铭。 拉丁文墓志铭为: D.O.M. P. MATTHAEUS RICCI, ITALUS MACERATENSIS. SOC. IESU PROFESS, IN QUA MIXIT AN- NOS XLII, EXPENSIS XXVIII IN SACRA A- PUD SINAS EXPIDI- TIONE, UBI PRIM. CUM CHRI FIDES AERTIO IAM INVE- HERETUR, SOCIO- IUM DOMICILIA EREXIT. TANDEM DOCTRINAE ET VER- TUTIS PAMA CELE- BER OBIT PEKINI A.C.MDCX. DEXT. HERETUR, SOCIO- IUM DOMICILIA EREXIT TANDEM DOCTRINAE ET VIR- TUTIS PAMA CEE BER OBIT PEKINI A.C. MDCX. DEXI. MATTAET. SU/EI IX. 中文墓志铭为:“利先生,讳玛窦,号西泰,大西洋意大利亚人。自幼入会真修,明万历壬午航海首入中华衍教。万历庚子年来都。万历庚戌年卒。在世五十九年,在会四十二年”。 从利玛窦的拉丁文墓志铭来看,其拉丁文名字为“MATTHAEUS RICCI”。其名字后几个音节为“Eusricci”。而欧几里得的拉丁文为“Euclides”。现在我们将“Euclides”的“c”发音为“k”,翻译为中文近音为“几”。但事实上“c”亦发音为“s”。而“Eusricci”的第一个“c”发音为“k”,第二个“c”与“i”一起组合为“ci”,发音为“si”。而“ri”则与“li”发音极近。因此“Eus ricci”与“Eusriksi”发音相同,而“Euclides”与“Euslides”发音相同。 而“Eusriksi”与“Euslides”发音极为相近。 在利玛窦时代,西文尚处于成型阶段,语法和拼读尚不规范,所以“Eusriksi”与“Euslides”完全可能为同一发音的不同拼音标注。 所以,从语音上来看,利玛窦的拉丁发音的确即为欧几里得。从本系列对西方地理的考证来看,利玛窦时代为耶元1552年10月6日—1610年5月11日,这是与西方尼罗河三角洲的形成时间点、以及笔者“纹明,从旧地图与中国古文献研究大秦”一文中所指出,根据西方旧地图,托勒密王国存在于耶元16世纪的结论,均具有吻合性。但这并不是说利玛窦在亚历山大港学习过,而是说亚历山大港的信息在利玛窦同时代才开始出现,成为了欧几里得故事的素材。见图1:耶元1555年西方旧地图(Boileau de Bouillon, Gilles ,La sphere des deux mondes, conposée in françois, par Darinel pasteur des Amadis,1555)上的托勒密王国: 图1西元1555年地图,托勒密王朝 图 1左下方正是P tolemais (托勒密), P tolemais 右上方为 C æ ∫ area (凯撒), 将 P tolemais 与凯撒右上方的 P almyra 隔开,说明托勒密正受凯撒攻击,被隔离成两个托勒密。凯撒攻击托勒密的历史的确存在,但不是目前学界认为的发生在耶元前,而是发生在耶元16世纪。这也正是利玛窦的时代。
The Jesuits and the Method of Indivisibles David Sherry 摘要:亚历山大(Alexander)的无穷小量认为耶稣会对意大利数学产生了令人不寒而栗的影响,但我对他对耶稣会压制不可分割性动机的描述提出了质疑。亚历山大宣称,耶稣会士对亚里士多德(Aristotle)和欧几里德(Euclid)的不妥协承诺,解释了他们反对不可分割方法的立场。另一个不同的假设是不可分割的方法和天主教圣餐教义之间的冲突,而亚历山大并不追求这一假设。这很遗憾,因为与圣餐的冲突比耶稣会对亚里士多德和欧几里得的承诺更有优势。不可分割法是17世纪发展起来的一种方法,那些依赖于亚里士多德和欧几里德的理想在“阿尔卑斯山之外”发展起来的人。亚历山大未能认识到亚里士多德和欧几里德的重要性,因为不可分割的方法的发展产生于不可分割和无穷小的毫无根据的合并(第一节)。一旦不可分割和无穷小被区别开来,我们观察到不可分割方法的发展明白无误地展示了对亚里士多德和欧几里得同情(第二节)。因此,考虑对耶稣会厌恶不可分量的另一种解释是有意义的。事实上,不可分割但并非无限小的东西与圣餐的教义相冲突,圣餐是教会的中心教义(第三节)。 关键词:不可分割,无穷小,耶稣会科学,圣餐,欧几里得,伽利略,卡瓦列里,托里切利,帕斯卡,巴罗 Abstract:Alexander’s Infinitesimal is right to argue that the Jesuits had a chilling effect on Italian mathematics, but I question his account of the Jesuit motivations for suppressing indivisibles. Alexander alleges that the Jesuits’ intransigent commitment to Aristotle and Euclid explains their opposition to the method of indivisibles. A different hypothesis, which Alexander doesn’t pursue, is a conflict between the method of indivisibles and the Catholic doctrine of the Eucharist. This is a pity, for the conflict with the Eucharist has advantages over the Jesuit commitment to Aristotle and Euclid. The method of indivisibles was a method that developed in the course of the seventeenth century, and those who developed ‘beyond the Alps’ relied upon Aristotelian and Euclidean ideals. Alexander’s failure to recognize the importance of Aristotle and Euclid for the development of the method of indivisibles arises from an unwarranted conflation of indivisibles and infinitesimals (Sect. 1). Once indivisibles and infinitesimals are distinguished, we observe that the development of the method of indivisibles exhibits an unmistakable sympathy for Aristotle and Euclid (Sect. 2). Thus, it makes sense to consider an alternative explanation for the Jesuit abhorrence of indivisibles. And indeed, indivisibles but not infinitesimals conflict with the doctrine of the Eucharist, the central dogma of the Church (Sect. 3). Keywords:Indivisibles,Infinitesimals,Jesuit science,Eucharist,Euclid,Galileo , Cavalieri ,Toricelli ,Pascal,Barrow The Jesuits and the Method of Indivisibles dx.doi.org Matches for: MR=3803897 mathscinet.ams.org
数学的开端和萌芽是随着人类社会的出现而出现的,但正如著名数学史家 M. 克莱因所言,作为一门有组织的,独立的,理性的学科来说,在公元前 600 年到公元前 300 年古希腊学者登场之前是不存在的 . 古希腊数学之所以可以得到这样的赞誉,不仅由于它所具有的相对完整的演绎体系,更在于它将数学看成是探求自然界真知的重要方法和途径,使得数学得以在理性的高度与哲学和逻辑学联系在一起,发展成为人类理性文明的最高级形式 . 坚持一切数学结果必须根据明白规定的公理用演绎法推出,是古希腊人对数学的最大贡献 . 这种朴素的公理化思想的萌芽在亚里士多德那里得到较为系统的发展,他对定义,公理和公设的论述都是合乎现代精神的 . 比如,他认为定义只不过是给一批文字定个名,定义必须用现存于所定义事项的某种东西来表述,他还指出,一个定义只能告诉我们一个东西是什么,并不说明它一定存在,证明存在性要用构造( Construction )的方法 . 对于一切学科所共有的真理,他称之为公理,而只为某一门科学所接受的第一性原理称为公设,公理和公设都是不言自明的,公理和公设的数目越少越好,只要它们能用以证明多有的结果 . 这些思想都被欧几里得在《几何原本》中所采纳 . 欧几里得生活于公元前 300 左右的亚历山大城,关于他的生平几乎没有可供参考的历史记载,但他却因为著名的《原本( Elements )》,即我们通常所说的《几何原本》(以下均称《几何原本》),而成为最为现代人所熟知的古希腊数学家 . 《几何原本》由古希腊文写成,成书于古希腊文明的亚历山大利亚时期,最初被译成阿拉伯文,拉丁文得以传播 . 全世界有 20 多种文字的版本, 19 世纪末,有一位学者曾研究指出,自 1482 年到 19 世纪末,《几何原本》各种文字一共出版了 1000 多版 . 中国最早的译本是 1607 年意大利传教士利玛窦( Matteo Ricci , 1552-1610 )和徐光启根据德国人克拉维乌斯校订增补的拉丁文本《欧几里得原本》( 15 卷)合译的,定名为《几何原本》,几何的中文名称就是由此而得来的 . 他们翻译了前 6 卷,后 9 卷由英国人伟烈亚力( Alexander Wylie , 1815-1887 )和中国科学家李善兰( 1811-1882 )在 1857 年译出 . 欧几里得《几何原本》共分 13 卷,内容包括了古希腊数学(不仅仅是几何)的几乎所有内容 . 按照亚里士多德的朴素的公理化思想框架,整本书以 5 条公理和 5 条公设以及一些定义为基础,用演绎的方式,将所有的数学命题以证明的逻辑顺序组织在各卷之中 . 公理,公设及各卷具体内容如下,为了能够更好地理解公理和公设文本的意义,我们将英文译本流行的表述也列出来,以便于对照理解: 5 条公理( Common Notions ): ( 1 )等于同量的量彼此相等 . Things equal to the same thing are also equal to one another. ( 2 )等量加等量,其和仍相等 . And if equal things are added to equal things then the wholes are equal. ( 3 ) 等量减等量,其差仍相等 . If equals be taken from equals the remainders will be equal. ( 4 )彼此能重合的物体是全等的 . And things coinciding with one another are equal to one another. ( 5 )整体大于部分 . And the whole greater than the part. 5 条公设( Postulates ) ( 1 )由任意一点到另外任意一点可以画直线 . Let it have been postulated to draw a straight-line from any point to any point. ( 2 )一条有限直线可以继续延长 . And to produce a finite straight-line continuously in a straight-line. ( 3 ) 以任意点为心及任意的距离可以画圆 . And to draw a circle with any center and radius ( 4 )凡直角都彼此相等 . All right angles are equal to one another. ( 5 )同平面内一条直线和另外两条直线相交,若在某一侧的两个内角的和小于二直角的和,则这二直线经无限延长后在这一侧相交 . If two right lines meet a third line, so as to make the sum of the two interior angles on the same side less than two right angles, these lines being produced shall meet at some finite distance. 5 条公理是对“常识性”的关于“ things ”及其关系(相等,加,减,整体,部分)的事实的陈述,这些事实更多是人们对周围环境的直观认知的结果,也正因此欧几里的将其与后面的 5 条明显关于几何的事实区分为“公理”和“公设”,中文译本通常将“ things ”译为“量”,在中文意境中多了很多数学的意蕴,恰当与否是值得商榷的 . 《几何原本》各卷具体内容如下: 第 I 卷:几何基础 . 重点内容有三角形全等的条件,三角形边和角的大小关系,平行线理论,三角形和多角形等积(面积相等)的条件,第 I 卷最后两个命题是毕达哥拉斯定理(即勾股定理)的正逆定理命题 1.47 , 1.48. 第 II 卷:几何与代数 . 讲如何把三角形变成等积的正方形;其中 2.12 , 2.13 命题相当于余弦定理 . 第 III 卷:本卷阐述圆,弦,切线,割线,圆心角,圆周角的一些定理 . 第 IV 卷:讨论圆内接和外切多边形的做法和性质 . 第 V 卷:讨论比例理论,多数是继承自欧多克斯的比例理论 , 被认为是 最重要的数学杰作之一 . 第 VI 卷:讲相似多边形理论,并以此阐述了比例的性质 . 第五,第七,第八,第九,第 X 卷:讲述比例和算术的理论;第 X 卷是篇幅最大的一卷,主要讨论无理量(与给定的量不可通约的量),其中第一命题是极限思想的雏形 . 第 XI 卷,十二,十三卷:讲述立体几何的内容 . 除第 I 卷多给出的 5 条公设和 5 公理条外,每一卷均以若干定义开始,定义之后即以顺序安排命题及其证明 . 比如,第 I 卷包括 23 个定义, 48 个命题,其中第 47 , 48 个命题就是著名的勾股定理(毕达哥拉斯定理)及其逆 . 第 II 卷有 2 个定义和 14 个命题,其中第 12 , 13 个命题是勾股定理在钝角三角形和锐角三角形上的推广——余弦定理 . 第 III 卷包括关于圆的 11 个定义和 37 个命题,其中第 35 , 36 , 37 个命题是圆幂定理及其逆定理 . 第 IV 卷包括 7 个定义和 16 个命题,涉及到正三角形,正方形,正五边形,正六边形和正十五边形的作图 . 第 V 卷论述了欧多克斯( Eudoxus ,约公元前 400 年)的比例论,包括 18 个定义 25 个命题, M. 克莱因认为正是比例论使得古希腊人找到利用几何的不可公度量来替代无理数的方法,按照他的观点,他认为:“ 1800 年以前的数学史实际上所走的道路——完全依据几何来严格处理连续量”,“就欧几里得《几何原本》而言,那里并没有无理数的理论基础” . ( M. 克莱因,《古今数学思想(第一册)》,上海科学技术出版社, 2002.7 ,第 82-83 页 . )这个观点是值得商榷的欧多克斯的比例论之所以可以解决不可公度量(即无理数)的问题,正是因为比例论在一定意义上给出了实数的理论基础,从而使无理数的问题得到自然的解决,我们将在后续章节中详细讨论这个问题 . 第 VI 卷讨论图形的相似性,包括 4 个定义与 33 个命题 . 第 VII 卷开始用几何量和比例的性质研究数论,有 22 个定义和 39 个命题,其中第一个命题就是著名的辗转相除法 . 第 VIII 卷,第 IX 卷继续讨论数论问题,这两卷都是直接从命题开始,第 VIII 卷包括 27 个命题,第 IX 卷包括 39 个命题,其中第 20 个命题是有名的素数有无穷多,命题 35 给出了等比数列求和公式的一个漂亮的证明,命题 36 给出了一个数是偶完全数的充分条件 . 《几何原本》内容的设计与安排让我们不得不惊叹于古希腊人的智慧(尽管德国数学家 F. 克莱因( F. Klein , 1849-1925 )认为这有些夸大其辞),实际上,《几何原本》不仅是一本几何专著和教材,它囊括了几乎全部古希腊人所知道的数学,几何,数论与代数,并用公理化方法和几何语言统一在一个系统中 . 缅怀和重温这样的经典,感受先贤智者千年智慧的荣光,将会是一件快乐而幸福的事情 . ( 本文摘自博主所著《几何基础:几何学的起源与发展》,即将由北京师范大学出版社出版。 )