恢复《原本》第十卷为原始Theaetetean形式的研究

The restoration of Book X of the Elements to its original Theaetetean form

摘要 Abstract

本文旨在以两种独立的方式将《原本》第十卷恢复为其原始的Theaetetean形式,即在Eudoxean之前的版本。首先,我们通过将第十卷与柏拉图对Theaetetus数学发现的描述以及他为哲学模仿这些发现的内容进行关联,从而恢复第十卷丰富的数学内容。由此,Theaetetus证明了:(i)满足$Ma^2 = Nb^2$且MN非平方数的线段a与b的anthyphairesis最终具有周期性;(ii)满足更一般的二次表达式的线段a与b的anthyphairesis最终具有周期性,并利用这一结果表明尽管12类alogoi线段,包括minor线段,彼此之间为alogoi关系,但它们可以通过最终具有周期性的“面积应用”在缺陷中的方式确定;(iii)对于任何非平方数N,$\sqrt{N}$的无理数anthyphairesis具有回文周期性,这与一般Pell的Diophantine问题相关。其次,我们恢复了第十卷所有命题的证明,这些证明基于Theaetetus的方法,而非Eudoxus关于量的比例理论,特别是不使用《原本》第五卷定义4中的Eudoxus条件。这种恢复基于我们对Theaetetus关于比例理论的重建,该理论适用于一类有限的比率a/b,其中a和b要么是可公度的,要么其anthyphairesis最终是周期性的,而不使用Eudoxus条件。其成功进一步验证了我们的重建工作。本文的最终版本将作为章节发表于《Ganita Bh\=arat\=i, 印度数学史学会公报》(2)45卷(2023年)。

In the present work, we aim to restore Book X of the $\it{Elements}$ to its original Theaetetean, pre-Eudoxean form in two separate ways. First, we restore the considerable mathematical content of Book X, by correlating Book X with Plato's account of Theaetetus' mathematical discoveries and Plato's imitations of these discoveries for his philosophy. Thus, Theaetetus proved (i) the eventual periodicity of the anthyphairesis of lines a to b, satisfying $Ma^2 = Nb^2$, for MN not square number; (ii) the eventual periodic anthyphairesis of lines a to b, satisfying more general quadratic expressions, including the Application of Areas in defect, and employing this to show that the 12 classes of alogoi lines, including the minor, despite being alogoi, are determined by an eventually periodic Application of Areas in defect; (iii) the anthyphairetic palindromic periodicity of the anthyphairesis of the surds $\sqrt{N}$ for any non-square number N, of relevance to the general Pell's Diophantine problem. Secondly, we restore the proofs of all propositions of Book X, in such way that these are proofs based on Theaetetus', and not on Eudoxus' theory of proportion of magnitudes, in particular not making any use of Eudoxus' condition (namely of definition 4 of Book V). The restoration is based on our reconstruction of Theaetetus' theory of proportion for magnitudes, for the limited class of ratios a/b such that either a, b are commensurable or the anthyphairesis of a to b is eventually periodic, without employing Eudoxus' condition, and its success provides a confirmation of our reconstruction. The final version of this paper will appear as a chapter in the journal Ganita Bh\=arat\=i, Bulletin of the Indian Society for History of Mathematics, (2) 45 (2023).