花拉子米(Muhammad ibn Mūsā al-Khwārizmī)
「代数学(algebra)」与「算法(algorithm)」两个词的词源所出的学者,阿拔斯王朝巴格达智慧宫的核心人物,其著作把印度算学、希腊几何与伊斯兰实用计算熔为一炉,是连接东方与西方数学的关键桥梁。
一、生平与时代背景
花拉子米(约 780—约 850)的生平细节相当稀少,其全名 Abū Jaʿfar Muḥammad ibn Mūsā al-Khwārizmī 本身就埋藏着争议。族名 al-Khwārizmī 暗示他或其先世来自 花剌子模(Khwarizm),位于咸海以南的中亚(今乌兹别克/土库曼一带)。但十世纪史家 al-Ṭabarī 又给他加上两个别号:al-Qutrubbullī(来自 Qutrubbull,底格里斯与幼发拉底之间、距巴格达不远的一个地区)与 al-Majūsī(琐罗亚斯德教徒)。
对这几个别号的解读,学界分歧明显: - Toomer 认为:al-Qutrubbullī 说明他本人或家族来自巴格达附近的 Qutrubbull,而花剌子模只是更早的祖籍;al-Majūsī 说明其先辈(或他青年时)信奉琐罗亚斯德教,但《代数学》虔诚的穆斯林序言表明他成年后是正统穆斯林。 - Rashed 则提出完全不同的解读:他认为 al-Ṭabarī 的原文应读作「al-Khwārizmī 和 al-Majūsī al-Qutrubbullī」是两个人,只是早期抄本漏写了连接词「wa」(和)。若此说成立,关于花拉子米出身与宗教的诸多推论便全部落空。此争议尚无定论。
可以确定的是:他活跃于 阿拔斯王朝哈里发 al-Maʾmūn(马蒙,813—833 在位) 的统治期。马蒙在巴格达建立了 智慧宫(Bayt al-Ḥikma),大规模翻译希腊、波斯、印度典籍,并建天文台。花拉子米是智慧宫的学者之一,与 Banu Mūsā(穆萨三兄弟) 共事,他将《代数学》与天文学著作都献给了马蒙。他约生于 780 年(马蒙之父 Hārūn al-Rashīd 即位前后),约卒于 850 年。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约 780 | 出生(出生地存疑:花剌子模或巴格达附近 Qutrubbull)。 |
| 813 | al-Maʾmūn 即位,建立智慧宫;花拉子米成为其核心学者。 |
| 约 820 | 完成《代数学》(Kitāb al-jabr wa l-muqābala),献与马蒙。 |
| 9 世纪前期 | 著《印度数字的计算》(算术书,阿拉伯原文已佚)。 |
| 约 820s | 著《信德因德历数书》(Zīj al-Sindhind),基于印度天文传统。 |
| 约 833 | 完成地理学著作《大地的面貌》(Kitāb ṣūrat al-arḍ),附世界地图与坐标。 |
| 约 850 | 逝世。 |
| 12 世纪 | 其算术书与《代数学》被译成拉丁文,进入欧洲大学;「algorithm」「algebra」两词定型。 |
三、核心成果(逐条技术解析)
1. 《代数学》与「al-jabr / al-muqābala」:方程的标准化求解
《还原与对消的科学概要》(Kitāb al-jabr wa l-muqābala,约 820)被视为历史上 第一本独立的代数学教科书,书名中的 al-jabr(「还原/移项变号,消去负项」)与 al-muqābala(「对消/合并同类项」)正是英文「algebra」的词源。花拉子米把一次与二次方程约化为六种标准形式(因当时不接受负系数):
- 平方等于根:$ax^2 = bx$
- 平方等于数:$ax^2 = c$
- 根等于数:$bx = c$
- 平方与根等于数:$x^2 + 10x = 39$
- 平方与数等于根:$x^2 + 21 = 10x$
- 根与数等于平方:$3x + 4 = x^2$
他对每一种都给出代数求解步骤与 几何证明(以「配方法」补全正方形)。以经典例 $x^2+10x=39$ 为例:取根系数之半 5,平方得 25,加 39 得 64,开方得 8,减去 5 得 $x=3$。全书纯用文字修辞(rhetorical algebra),完全不使用符号,但已具备「未知量」「根」「平方」的抽象运算对象,并给出一般可算的求解程式。
2. 是否受欧几里得影响——一桩学术公案
花拉子米的几何证明是否源自欧几里得《原本》第 II 卷,至今争论不休:Toomer、Rashed 倾向于他熟悉《原本》(智慧宫的同事 al-Ḥajjāj 已在 Hārūn 时代译出《原本》);Gandz 则指出他全无欧几里得式的定义、公理、公设与证明结构,断言《原本》「对他完全陌生」。MacTutor(EFR)折中认为:即便未系统研读欧几里得,他也受其他几何著作影响,Parshall 更指出其实用测体积部分与希伯来文 Mishnat ha-Middot(约公元 150 年)高度相似,提示闪米特传统的渊源。尚无定论。
3. 印度—阿拉伯数字与「算法」之名
他另有一部专论印度数字与十进制位值制的算术著作,阿拉伯原文已佚,仅存十二世纪的拉丁译本 Algoritmi de numero Indorum(《花拉子米论印度计算术》)——书名中的「Algoritmi」正是其族名的拉丁化,英文「algorithm」即由此而来。该书首次在伊斯兰世界系统阐述以 1—9 和 0 为基础的位值记数法,并首次把零用作位值制中的占位符;原书含开平方方法,但拉丁译本中这部分已失传。Toomer 评价:「十进制位值制刚从印度传入不久,花拉子米的著作是首部系统阐发它的文献,虽基础却具有开创意义。」
4. 天文学《信德因德历数书》(Zīj al-Sindhind)
这部天文表基于印度传统(书名 Sindhind 源自梵文 Siddhānta),而非后来伊斯兰世界主流的托勒密《至大论》。其底本是 770 年左右一个印度使团赠予巴格达宫廷的梵文天文著作。阿拉伯文两版均已佚,十世纪 al-Majrīṭī 修订的简写本由巴斯的阿德拉德(Adelard of Bath)译为拉丁文,另有长版拉丁译本存世。它使印度天文参数(含阿耶波多体系的元素)进入拉丁欧洲。
5. 地理学《大地的面貌》
Kitāb ṣūrat al-arḍ(约 833)整理了两千余个地点的经纬度,绘制了已知世界的地图,并修正了托勒密对地中海长度的高估,是阿拉伯地理学的奠基性著作之一。他还写过犹太历相关的论著。
四、代表著作与文献
- 《代数学》(Kitāb al-jabr wa l-muqābala,约 820):全名《还原与对消的科学概要》,代数学科的奠基之作;F. Rosen 1831 年英译本为通行现代版本。
- 《印度数字的计算》(算术书,9 世纪前期):阿拉伯原文已佚,存拉丁译本 Algoritmi de numero Indorum;B. Boncompagni 1857 年拉丁校勘本、D. E. Smith 等英译。
- 《信德因德历数书》(Zīj al-Sindhind,约 820s):基于印度传统的天文表。
- 《大地的面貌》(Kitāb ṣūrat al-arḍ,约 833):地理学与世界地图。
五、师承、学派与同时代交往
花拉子米是巴格达 智慧宫 学派的代表,与 Banu Mūsā(穆萨三兄弟)、翻译家 al-Ḥajjāj(译欧几里得与托勒密)、后来的 al-Kindī 等同时。他的学术来源是多元的:印度(数字、天文 Sindhind)、希腊(几何、托勒密地理)、闪米特(实用度量)。其著作由后来的学者传抄、修订:十世纪西班牙的 al-Majrīṭī 修订其天文表,十二世纪 巴斯的阿德拉德、切雷莫纳的杰拉德(Gherardo of Cremona) 将其译为拉丁文。他没有明确的直接师承记录,也不见有著名弟子的记载,但整个阿拉伯算术—代数传统都以他为鼻祖。
六、争议、公案与历史评价
- 出身与别号之争:al-Ṭabarī 的 al-Qutrubbullī 与 al-Majūsī 究竟指花拉子米本人还是另一个人(Rashed 说),直接影响对其祖籍、宗教的判断,未有定论。
- 原创性评价的两极:Sarton 称他为「当时最伟大的数学家,若综合考量亦是史上最伟大者之一」,Gandz 认为他比丢番图更配称「代数学之父」(因他为代数本身而教代数);但 Crossley 说他「可能不算很有原创性」,Toomer 更直言其科学成就「充其量平庸」。学界评价严重分化。
- 欧几里得影响问题:见上文,争论持续。
- 常见误传:把「algorithm」直接等同于他的某部著作——准确地说,它源自其族名 al-Khwārizmī 的拉丁化 Algoritmi,见于其算术书的拉丁译本标题。
七、身后影响与学术谱系
花拉子米的影响是结构性的:「algebra」与「algorithm」这两个现代数学核心术语都因他而产生。其《代数学》在十二世纪译成拉丁文后,成为欧洲中世纪大学的标准代数教材,深刻塑造了欧洲人对方程求解的理解;其算术书则把印度—阿拉伯数字与十进制位值制(含零)系统带入欧洲,最终取代罗马数字。他在天文学与地理学上的译介工作,使印度与希腊的科学知识在伊斯兰世界保存并再传入欧洲。可以说,没有花拉子米,近代早期欧洲数学的记数与方程语言都会是另一番面貌。
八、延伸阅读与权威来源
- MacTutor: Abu Ja'far Muhammad ibn Musa Al-Khwarizmi (约 780—约 850):圣安德鲁斯大学数学史档案,权威传记,含别号之争、方程六式、欧几里得影响争议的详尽讨论。
- Muhammad ibn Musa al-Khwarizmi - Wikipedia:生平、著作、影响综合条目,可交叉核对。
- Encyclopaedia Britannica: al-Khwarizmi:权威百科条目。
- MacTutor: Arabic mathematics : forgotten brilliance?:阿拉伯数学通史,定位花拉子米的历史坐标。
- The Algebra of Mohammed ben Musa (F. Rosen translation, 1831):《代数学》经典英译本全文。
- Dictionary of Scientific Biography: Al-Khwarizmi (DSB, via MacTutor):经典科学传记词典(G. J. Toomer 撰)。