丢番图（Διόφαντος / Diophantus of Alexandria）

用一部《算术》把代数从纯文字叙述推向符号化，并把「求方程的有理解」做成一门专门技艺；他的书页边注启发了费马大定理，深刻塑造了近代数论。

一、生平与时代背景

关于丢番图的生平，几乎没有任何可信的直接史料，甚至连他所处的世纪都长期存在争议。现代通行的说法是约公元 200—284 年、活动于亚历山大城，但这一断代本身就建立在薄弱的间接证据之上，学界至今有不同意见。

确定其年代的硬性边界有两条：(1) 丢番图引用了希普西克勒斯（Hypsicles，活动于约公元前 150 年）对多边形数的定义，故他的写作必晚于公元前 150 年；(2) 亚历山大城的西翁（Theon of Alexandria，4 世纪，希帕蒂娅之父）引用了丢番图的一个定义，故他不晚于公元 350 年。这两条之间留着约 500 年的空档，无法直接定位。

长期被用来精确定年的是 11 世纪学者 Michael Psellus 的一封信：信中说丢番图「更精确地处理了埃及算术」，而一位博学的阿纳托利乌斯（Anatolius）把丢番图学说中最精要的部分以更简洁的形式编成一书并献给丢番图。传统读法认为这位阿纳托利乌斯即 3 世纪的劳狄刻亚主教，从而把丢番图断在约公元 250 年。然而 Knorr 指出：一个人把别人著作的摘要献给原作者颇为蹊跷，他给出的另一种译文含义截然不同（「献给另一位丢番图」），并据此推测丢番图可能早于 3 世纪，甚至早于公元 1 世纪的海伦。因此丢番图的精确年代应视为学界有争议，本文采用通行的「约 200—284」但提示读者这一不确定性。

关于丢番图寿命的唯一「细节」来自《希腊选集》（Greek Anthology，由 Metrodorus 约公元 500 年编纂）中的一道诗体算术谜题——他的「墓志铭」：童年占寿命的 $\frac16$，再过 $\frac17$ 结婚，再过 $\frac1{\;12\;}$ 长须，婚后 5 年得子，儿子活到父亲年龄的一半，父亲在儿子死后 4 年去世。解得他 26 岁结婚、子 42 岁亡、本人 84 岁卒。但这很可能纯属虚构的趣味题，不能当作信史；不过 84 岁这一数字被现代参考资料沿用。

时代背景上，丢番图处于希腊化数学的晚期。巴比伦和埃及早有解线性、二次方程的技巧，但都是纯文字（rhetorical）的、针对具体问题的算法；丢番图的创新在于引入缩写符号，并把注意力集中到不定方程（未知数多于方程、求有理数解）这一独特领域，这在他之前几乎无人系统耕耘。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 引入「简缩代数」符号体系

问题背景：古希腊—巴比伦代数都是纯文字叙述，运算与方程全部用词句写出，冗长且难以表达一般规律。关键思想：丢番图为未知数及其各次幂引入缩写记号，并为「等于」也引入缩写，使方程可以用近似符号的形式写出。Vogel 评价：「丢番图首次引入、无疑是他自己设计的这套符号，提供了表达方程的简短而易懂的手段……他从文字代数迈向符号代数迈出了根本一步。」精确表述：他用专门记号表示未知数（$\varsigma$ 类符号，源自「数」arithmos）及其平方、立方等，并能写出形如 $ax^2+bx=c$ 的式子。与前人的关系：是从「文字代数」(rhetorical algebra) 到「符号代数」(symbolic algebra) 之间的「简缩代数」(syncopated algebra) 的奠基。局限性：他只有一个未知数的记号，遇到多未知数时只能用「第一个未知数」「第二个未知数」等文字描述；也没有表示一般数 $n$ 的符号，凡需要一般参数处都用文字绕开，因此无法表达真正的一般方法。

2. 一次、二次方程的系统求解与「正有理解」原则

问题背景：需要求解各类代数方程。关键思想：丢番图只接受正有理数解，把会导致负数或无理平方根的情形视为「无用」甚至「荒谬」——例如他称方程 $4=4x+20$ 为「荒谬」，因为解 $-4$ 没有意义（「怎么会有 -4 本书？」）。他把二次方程分为三类：$ax^2+bx=c$、$ax^2=bx+c$、$ax^2+c=bx$。精确表述：之所以要分三类而今日只需一类，是因为他没有零的概念，也不接受负系数，故要求 $a,b,c$ 均为正。没有证据表明他意识到二次方程可有两个解。与前人的关系：线性、二次方程的解法可追溯至巴比伦，但丢番图的符号化处理是进步。局限性：排斥负解与「重根」认识的缺失，限制了代数的一般性。

3. 不定方程求解方法（丢番图分析的奠基）

问题背景：未知数个数多于方程个数的方程，有无穷多解，需从中选出有理数（或整数）解——这类问题即后世所称「丢番图方程」。关键思想：丢番图在《算术》中给出了大量巧妙的特殊技巧，通过引入中间变量、配方法、利用已知解构造新解等，把问题化为可解的二次方程。精确举例：对联立 $y+z=10,\ yz=9$，他令 $2x=y-z$，则 $y=5+x,\ z=5-x$，代入得 $25-x^2=9$，故 $x=4$，即 $y=9,z=1$。再如卷三求 $x$ 使 $10x+9$ 与 $5x+4$ 同时为平方数（解得 $x=28$）；卷六求使 $x^3-3x^2+3x+1$ 为平方数、或使 $4x+2$ 为立方且 $2x+1$ 为平方（后者解 $x=\frac32$）。与前人的关系：系统求解不定方程是他的独特领域，几乎无前人积累。局限性：他更擅长解特定问题而非给出一般方法，方法显得「不系统」，这与其符号不足直接相关；但即便如此，其技巧的丰富性在古代独步。

4. 数论洞见（可能已知但未必证明）

问题背景：在求解过程中，丢番图使用了一些关于整数表示为平方和的数论事实。Heath 指出，他显然知道若干结果，但是否拥有证明并不清楚（可能写在已失传的卷中，或仅凭经验）。精确陈述：(a) 形如 $4n+3$ 或 $4n-1$ 的数不能表为两平方和；(b) 形如 $24n+7$ 的数不能表为三平方和；(c) 他似乎知道每个数都可表为四平方和——若属实则极为非凡，因为连陈述此命题的费马都未能证明，直到拉格朗日利用欧拉的结果才证出。与前人的关系：这些是数论中的深刻定理，远超其时代的一般水平。局限性：因无证明存世，是否真正属于丢番图的成果存疑，只能说「他似乎意识到了」。

5. 卷五的分数平方和分解技巧

问题背景：需要把一个数拆成若干个平方，且每个平方都要大于给定界限。关键思想与精确成果：例如把 13 写成两个平方之和、每个都大于 6，他给出 $\frac{66049}{10201}$ 与 $\frac{66564}{10201}$（即 $(257/101)^2$ 与 $(258/101)^2$，注意 $257^2+258^2=66049+66564=132613=13\times 10201$）；又把 10 写成三个平方之和、每个大于 3，给出 $\frac{1745041}{505521},\frac{1651225}{505521},\frac{1658944}{505521}$。这些展示了他在有理数域上娴熟的构造能力。卷四还有「在给定界限之间找平方数」的方法：找 $\frac54$ 与 $2$ 之间的平方，先同乘 64，在 80 与 128 之间发现平方数 100，回代得 $\frac{25}{16}$。

6. 已失传的《推论集》(Porisms) 中的引理

《算术》引用了来自《推论集》的三条引理，其中一条是：任给有理数 $a,b$，存在有理数 $c,d$ 使得 $a^3-b^3=c^3+d^3$（两立方之差可表为另两立方之和）。这是后来「三次丢番图方程」研究的早期线索。《推论集》全书已佚，无法评估其完整内容。

四、代表著作与文献

• 《算术》(Arithmetica)：原十三卷，收录约 130 个问题，含确定方程（唯一解）与不定方程两类。希腊文仅存六卷（I—VI）；1968 年在伊朗马什哈德圣祠图书馆发现一部阿拉伯文手稿，据称是库斯塔·伊本·卢加（卒于 912 年）所译的第 IV—VII 卷——Rashed 主张这确是失传的丢番图原著，但 Rozenfeld 等审查者因其中代数内容与希腊文本的数论深度差异较大，怀疑它可能是某位评注者（或许是希帕蒂娅）的作品，归属存疑。
• 《多边形数论》(On Polygonal Numbers)：仅存残片，几乎无原创内容，且以几何证明为特征，与《算术》风格迥异。
• 《推论集》(Porisms，已失传)：引理集，《算术》引用了其中三条。
• 其他：有学者（Knorr）认为一部旧题归于海伦的《几何原理入门》(Preliminaries to the Geometric Elements) 实为丢番图所作；Christianidis 推测存在一部已失传的理论著作《算术要义之教学》——均为推测，存疑。

五、师承、学派与同时代交往

丢番图的师承与交往均无可靠记载。唯一可能的关联是与阿纳托利乌斯（Anatolius）的关系（见第一节，且断代读法有争议）。他在学术谱系上上承巴比伦与埃及的方程算法、希普西克勒斯的多边形数传统；下启整个丢番图分析与数论传统：雷格蒙塔努斯、邦贝利、巴歇、费马、欧拉、拉格朗日、高斯，直到 20 世纪的怀尔斯，都在他开辟的道路上前进。保罗·塔内里（Paul Tannery）曾推测，《算术》后七卷之所以失传，可能是因为希帕蒂娅的评注只覆盖前六卷，未被评注的后七卷先被遗忘、继而散佚——这是一种合理但无法证实的解释（存疑）。

六、争议、公案与历史评价

• 生卒年代有争议：从「约 200—284」（通行说）到「可能早于 1 世纪」（Knorr 说）皆有；本文采用通行说但明确存疑。
• 「墓志铭」可能为虚构：84 岁寿命来自《希腊选集》的趣味谜题，可能根本不是史实。
• 阿拉伯文 IV—VII 卷归属存疑：Rashed 认其为丢番图真本，Rozenfeld 认为可能是评注者手笔，学界未完全定论。
• 「代数学之父」头衔有争议：Vogel 指出，线性与二次方程的解法远早于丢番图（可溯至巴比伦），故严格说他并非代数学之父；但他那套「非凡却不够系统」的不定问题集是独一无二的成就，且长期未被充分理解与发展。现代学界多在限定意义上使用该称号，强调他对代数符号化与不定方程领域的贡献。
• 四平方定理归属存疑：他是否真正知道（更不必说证明）「每个数可表为四平方和」，因无证明存世而无法确认。

七、身后影响与学术谱系

• 直接学术谱系：丢番图分析 → 费马（在巴歇 1621 年拉丁文译本页边写下费马大定理，并发展无穷递降法）→ 欧拉（系统研究丢番图方程、证明两平方和定理）→ 拉格朗日（四平方和定理）→ 高斯（二次型、《算术研究》）→ 20 世纪代数几何与算术几何（莫德尔猜想、法尔廷斯、怀尔斯）。费马大定理于 1995 年被怀尔斯证明，可视为这一传统的现代巅峰。
• 代数符号化：他的简缩代数经由阿拉伯—拉丁传统传入近代欧洲，是韦达（Viète）符号代数的远祖。
• 数论分支命名：今日「丢番图方程」「丢番图逼近」「丢番图几何」皆以他命名，足见其奠基地位。

八、延伸阅读与权威来源

• MacTutor: Diophantus of Alexandria：圣安德鲁斯大学数学史档案，生平、著作与断代争议的权威综述。
• Dictionary of Scientific Biography: Diophantus（J. Sesiano / K. Vogel）：DSB 经典条目。
• T. L. Heath, Diophantus of Alexandria: A Study in the History of Greek Algebra (Cambridge, 1910; 重印 1964)：丢番图研究的奠基性英文专著。
• J. Sesiano, Books IV to VII of Diophantus' Arithmetica in the Arabic Translation Attributed to Qusta ibn Luqa (New York–Berlin, 1982)：阿拉伯文手稿的整理与研究。
• R. Rashed, 相关论文（见 MacTutor 参考文献 [19][20]）：主张阿拉伯文本为丢番图真本的代表性论证。
• P. Tannery (ed.), Diophanti Alexandrini Opera omnia cum graecis commentariis (2 vols., Leipzig, 1893–95)：希腊文本权威校勘本。
• Encyclopaedia Britannica: Diophantus：权威百科条目。
• MacTutor: Diophantus – the father of Algebra：通俗介绍，含生平史料辨析。