奥马尔·海亚姆（Ghiyāth al-Dīn ʿUmar ibn Ibrāhīm al-Khayyāmī）

波斯塞尔柱王朝的数学家、天文学家与诗人，首次系统用圆锥曲线交点求解三次方程，主持精度极高的历法改革，又以《鲁拜集》闻名于世——诗人之名常掩盖其更扎实的科学成就。

一、生平与时代背景

奥马尔·海亚姆全名 Ghiyāth al-Dīn Abūʾl-Fatḥ ʿUmar ibn Ibrāhīm al-Nīsābūrī al-Khayyāmī，公元1048年5月18日生于波斯内沙布尔（Nishapur，今伊朗）。其族名 al-Khayyāmī 意为"制帐人"，可能是其父 Ibrāhīm 的职业；海亚姆自己也拿名字做文章写诗："海亚姆缝起了科学的帐篷……"。

他成长于塞尔柱突厥人建立的军事帝国：1038年 Tuğrıl Beg 在内沙布尔称苏丹，1055年入主巴格达。这是一个政局动荡、宗教上力图建立正统逊尼派国家的时代，学者若非得到某位统治者宫廷赞助，生活很难安稳。海亚姆在内沙布尔学习哲学，同窗评价他"天资敏锐、天赋极高"。他在《代数学》导言中抱怨：时人"把真与假混淆，只会欺骗与冒充博学"，求学者寥寥，自己因"时局无常"难以专心学问。

尽管如此，他在25岁前已写出《算术问题》、一部音乐著作和一部代数著作。1070年左右他迁往撒马尔罕（今乌兹别克斯坦），得到当地著名法官 Abu Tāhir 资助，得以完成其最著名的《还原与对消问题的论证》（即《代数学》）。1073年起，塞尔柱苏丹 Malik-Shāh 与其权臣 Nizām al-Mulk 邀请他到伊斯法罕建立天文台，他主持台务18年，期间编制天文表并于1079年参与历法改革（贾拉勒历）。

1092年11月 Malik-Shāh 去世，而一个月前 Nizām al-Mulk 已被"阿萨辛"派刺杀；Malik-Shāh 遗孀掌权两年，因与 Nizām al-Mulk 不和，撤回了对其门客的资助，天文台经费断绝，历法改革也被搁置。海亚姆还因"质疑精神"遭到正统穆斯林的攻击，他在《鲁拜集》中写道"我长久崇拜的偶像，在世人眼中损害了我的声誉"。尽管失宠，他仍留在宫廷试图挽回。1118年 Malik-Shāh 第三子 Sanjar 成为全境统治者，海亚姆随后迁往梅尔夫（Merv，今土库曼斯坦），Sanjar 在那里建立了重要的伊斯兰学术中心，海亚姆继续撰写数学著作，直至1131年12月4日在内沙布尔去世。

二、学术生涯年表

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

1. 用圆锥曲线交点系统求解三次方程。 问题背景：花拉子米之后，伊斯兰学者（al-Māhānī、al-Khāzin）已能把几何问题化为代数方程，但无人建立一般的三次方程理论。关键思想：海亚姆把三次方程按正项个数完整分类（共14种"类"），对每一类都通过两条圆锥曲线（抛物线、圆、双曲线等）的交点给出正根的几何作图。例如其早期论文中，把一个几何问题化为三次方程 $x^3+200x=20x^2+2000$，用一条直角双曲线与一个圆的交点求出正根，再用三角表插值求近似数值解。精确表述与创见：他是第一个构想三次方程一般理论的人；他明确断言这类方程的求解需要圆锥曲线，不能仅用尺规完成——这一结论直到750年后（19世纪）才被严格证明。他还发现三次方程可以有两个解（但未发现可有三个解）。与前人关系：超越了花拉子米只处理二次方程的局限，把代数与几何深度结合；为文艺复兴时期 del Ferro、Tartaglia、Ferrari 的代数解法铺平道路。局限性：只考虑正根（负根与零根未被接受），且解法是几何而非纯代数的——海亚姆本人也寄望"后人或许能找到算术解法"，这正是16世纪意大利代数学家完成的。

2. 二项式展开与 $n$ 次方根。 海亚姆在《代数学》中提到一部已失传的著作，其中讨论了（后来所谓的）帕斯卡三角——不过他并非第一人，al-Karajī 此前已讨论过。可以确定的是，他基于二项式展开与二项式系数给出了求 $n$ 次方根的方法，并把印度人的开平、开立方法推广到"平方平方（四次方）、四五次方（五次方）、立方立方（六次方）"乃至任意次，所给证明是基于欧几里得《原本》算术篇的算术证明。与前人关系：继承印度开方术与 al-Karajī 的二项式系数研究，加以推广；其对帕斯卡三角的讨论早于帕斯卡（Blaise Pascal）约500年。

3. 历法改革与回归年长度测定。 1079年，他作为八人学者团之一参与制定贾拉勒历（Jalālī calendar，以苏丹之名 Jalāl al-Dīn 命名）。其测得回归年长度为 365.24219858156 日——精度极高：19世纪末实测为365.242196日，今日约365.242190日，其第六位小数已与人一生时间尺度上的变化相当。史家吉本评价该历"优于儒略历，接近格里高利历的精度"。与前人关系：贾拉勒历精度高于当时通行的儒略历。局限性：1092年赞助人去世后改革被搁置，未能长期推行。

4. 平行公设与比例理论的奠基性工作。 在《欧几里得疑难评注》中，海亚姆尝试证明欧几里得第五公设（平行公设），虽未成功，却"意外"证明了非欧几何中图形的一些性质——这是非欧几何史上的早期探索。他还研究比例理论：比较了欧几里得（攸多克索/Eudoxus 传统）的比例相等定义与伊斯兰前辈 al-Māhānī 基于连分数的定义，并证明二者等价；他还提出"比能否视为一个数"的问题，但未给出答案——这触及了实数概念的核心。与前人关系：在非欧几何与数系基础方面走在了时代前列。

四、代表著作与文献

• 《还原与对消问题的论证》（Risāla fiʾl-barāhīn ʿalā masāʾil al-jabr waʾl-muqābala，即《代数学》，约1070）：三次方程的系统几何解法，代表作。
• 《欧几里得疑难评注》（Sharḥ mā ashkala min muṣādarāt kitāb Uqlīdis）：平行公设与比例理论研究。
• 《算术问题》（早期，已佚）、论音乐著作、早期代数论文（已佚）。
• 天文表（与天文台团队合编）、历法改革相关著作。
• 《鲁拜集》（Rubāʿiyyāt）：四行诗集；1859年 Edward Fitzgerald 英译使其蜚声西方，但仅约120首可确定为海亚姆所作。

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

• 教育：在内沙布尔学习哲学与数学；传说中他与 Nizām al-Mulk、哈桑·萨巴赫（阿萨辛派创始人）同窗结拜——此说流传甚广但学界多视为后世附会（存疑）。
• 赞助人：撒马尔罕法官 Abu Tāhir；塞尔柱苏丹 Malik-Shāh 与权臣 Nizām al-Mulk；晚年 Sanjar。
• 前辈：上承花拉子米、al-Māhānī、al-Khāzin、al-Karajī 的代数传统。
• 后世影响者：del Ferro、Tartaglia、Ferrari（三次方程代数解法）；帕斯卡尔（帕斯卡三角）；罗巴切夫斯基等非欧几何先驱。

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

• 诗人 vs. 科学家：因《鲁拜集》在西方的巨大成功，海亚姆的诗人形象常掩盖其科学成就；实际上他的数学贡献远比诗作重要，且只有约120首四行诗可信为他所作，其余是波斯文学中同形式作品的汇集。
• 与 Nizām al-Mulk、哈桑·萨巴赫的"同窗"传说：广泛流传但缺乏可靠史料，标为存疑。
• 帕斯卡三角优先权：他讨论帕斯卡三角早于帕斯卡，但 al-Karajī 更早，故非第一人。
• 历史评价：在代数史上是承前启后的高峰，其三次方程几何解法是中世纪数学最杰出的成就之一；月球上有以他命名的环形山（Omar Khayyam）。

七、身后影响与学术谱系

• 三次方程的几何解法把代数与几何结合的传统推向新高度，为文艺复兴的代数突破铺垫。
• 其比例理论与平行公设研究，是非欧几何与实数概念发展的早期先声。
• 贾拉勒历的精度体现了中世纪伊斯兰观测天文学的最高水平之一。
• 经由拉丁与希伯来译本，其代数影响了欧洲中世纪后期的数学。

八、延伸阅读与权威来源

• MacTutor: Omar Khayyam Biography：圣安德鲁斯大学数学史档案，主要传记来源。
• Dictionary of Scientific Biography: Khayyam (PDF)：权威科学传记（Rosenfeld/Youschkevitch 撰）。
• Wikipedia: Omar Khayyam：综合生平与贡献，交叉核对用。
• D. S. Kasir, The Algebra of Omar Khayyam (1972)：其代数著作的英译与研究。
• R. Rashed, The Development of Arabic Mathematics (London, 1994)：含海亚姆代数工作的研究。
• B. A. Rosenfeld & A. P. Youschkevitch, "Omar Khayyam", in Dictionary of Scientific Biography：权威研究。