阿布·瓦法（Abū al-Wafāʾ Būzjānī）
10世纪巴格达白益王朝宫廷的顶尖数学家与天文学家，三角学走向系统化的关键人物，也是中世纪伊斯兰文献中迄今发现最早使用负数的人。
一、生平与时代背景
阿布·瓦法全名 Abū al-Wafāʾ Muḥammad ibn Muḥammad ibn Yaḥyā ibn Ismāʿīl ibn al-ʿAbbās al-Būzjānī，公元940年6月10日生于呼罗珊地区的布赞（Buzjan，今伊朗托尔巴特贾姆附近）。他成长的年代正值白益（Buyid）王朝崛起：945年艾哈迈德·白益占领阿拔斯首都巴格达；949—983年 ʿAdud ad-Dawlah 在位，是王朝鼎盛期，大力资助科学与艺术。约959年，19岁的阿布·瓦法迁居巴格达，进入 ʿAdud ad-Dawlah 的宫廷，此后四十年基本定居于此，直至998年7月15日在巴格达去世。
与他同朝的还有圆锥曲线大师 al-Qūhī（阿尔库希）与 al-Sijzī（西吉兹），构成10世纪末巴格达的学术黄金圈。983年 ʿAdud ad-Dawlah 去世，其子 Sharaf ad-Dawlah 继位，继续资助数理天文，并命人在巴格达王宫花园修建天文台，988年6月正式启用，阿布·瓦法与阿尔库希均在场。台内装有6米多长的象限仪和18米的石制六分仪；据载阿布·瓦法是第一个建造"墙象限仪"（wall quadrant）来观测恒星的人。可惜989年 Sharaf ad-Dawlah 去世，天文台随即关闭。
与那个时代的许多学者一样，阿布·瓦法也翻译并评注了欧几里得、丢番图和花拉子米的著作，可惜这些评注均已散佚。他的传世工作集中在实用算术、工匠几何与三角学三处。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 940 | 6月10日生于呼罗珊布赞（今伊朗境内） |
| 959 | 迁居巴格达，进入白益王朝 ʿAdud ad-Dawlah 宫廷 |
| 961—976 | 撰写《文书与官吏所需算学》（含负数的早期使用） |
| 983 | Sharaf ad-Dawlah 继位，继续资助其工作 |
| 988 | 王宫花园天文台6月启用，参与其中；据称首建墙象限仪 |
| 989 | 赞助人去世，天文台关闭 |
| 约990后 | 撰写《匠人所需几何作图》（13章） |
| 990年代 | 编制每15′间隔的正弦、正切表（精度约8位小数），引入正割、余割 |
| 997 | 与比鲁尼协同观测5月24日月食，推算巴格达与 Kath 经度差 |
| 998 | 7月15日卒于巴格达 |
三、核心成果（逐条技术解析）
1. 首次系统引入正切函数，编制高精度三角函数表。 问题背景：中世纪天文计算（尤其是月球轨道理论）依赖越来越精细的三角数值，而托勒密的弦表精度不足。关键思想：阿布·瓦法把与一段弧相关的六条三角线段（正弦、余弦、正切、余切、正割、余割）作为整体研究，明确引入正切（tan）函数，并给出 sec、csc，研究六者之间的相互关系。他发明了计算正弦表的新方法，其表换算成十进制精度达到约8位小数，而托勒密《天文学大成》的表仅约3位。精确表述：以15′（四分之一度）为间隔列出正弦与正切值。与前人关系：托勒密只有弦表；前辈阿尔巴塔尼（al-Battānī）已使用"影"（余切），但系统整理六函数并以15′造高精度表始于阿布·瓦法。局限性：表仅服务于天文计算，尚未把三角学发展为独立的纯数学分支。
2. 中世纪伊斯兰数学中迄今最早的负数使用。 在《文书与官吏所需算学》第二篇，他在乘法中处理了"债务"（即负数）：给出一般规则，特例是从3中减去5得"债务2"，再乘以10得"债务20"，加到 $(10-3)(10-5)=35$ 上即得 $3\times5=15$。这是目前在中世纪阿拉伯算术中发现的唯一一处负数使用。与前人关系：中国、印度早已有负数运算，但在伊斯兰世界这是罕见的早期记录，其意义长期被忽视，直到20世纪学者 Medovoi、Saidan 的研究才被确认。局限性：他仅把负数当作"债务"用于特定计算步骤，并未建立完整的负数运算体系。
3. 面向官吏与商人的实用算术（手指算体系）。 《文书与官吏所需算学》专为行政、税收、商业阶层而写，全书不用印度数字，全部用文字记数、心算（finger-reckoning），分七篇各七章：比例、整数与分数乘除、度量、赋税、交换与份额、杂项、商务。与前人关系：他本人精通印度数字，但因商界与东哈里发民众长期不用印度数字，故采用手指算体系；现代研究已推翻"印度派与希腊派对立"的旧说，认为是面向不同读者群体。局限性：纯文字心算传统后来被印度数字体系取代。
4. 工匠几何学与"定圆规"作图。 《匠人所需几何作图》（约990年后，13章）涉及绘图仪器的设计与检验、作直角、近似三等分角、作抛物线与正多边形、多边形的内接外切、平面与球面图形的分割。关键特色：能用尺规完成的就用尺规，不能则用近似法；他还系统研究了"定圆规"（两足张角固定）作图，因为实际操作中固定张角比反复调整更精确。与前人关系：延续古希腊实用几何传统，并面向手工艺人加以整理。
5. 三角恒等式与正弦定理的归属（存疑）。 阿布·瓦法研究了和差角公式等三角恒等式，是系统研究三角恒等式的先驱之一。但基线档案称其"证明球面三角正弦定理"，此说需谨慎：平面与球面的正弦定理在史学界更多归于同时稍后的比鲁尼（al-Bīrūnī）与13世纪的纳西尔丁·图西（Naṣīr al-Dīn al-Ṭūsī），阿布·瓦法对正弦定理的具体贡献存在争议，故标为存疑。
四、代表著作与文献
- 《文书与官吏所需算学》（Kitāb fī mā yaḥtāj ilayh al-kuttāb waʾl-ʿummāl min ʿilm al-ḥisāb，约961—976）：面向官吏与商人的手指算实用算术，含负数的早期使用。
- 《匠人所需几何作图》（Kitāb fīmā yaḥtāj ilayh al-ṣāniʿ min al-aʿmāl al-handasiyya，约990年后）：13章，面向工匠的尺规与近似作图。
- 《月球理论》相关著作：月球轨道研究，推动了高精度三角表的编制。
- 《全书》（Kitāb al-Kāmil）：托勒密《天文学大成》的简化版，其观测数据被后世天文学家广泛引用。
- 已散佚：欧几里得《几何原本》、丢番图《算术》、花拉子米著作的评注。
五、师承、学派与同时代交往
- 同朝学者：巴格达白益宫廷的 al-Qūhī（圆锥曲线大师）与 al-Sijzī，共同构成10世纪末巴格达数学圈。
- 协作：997年5月24日与比鲁尼协同观测月食——比鲁尼在 Kath、阿布·瓦法在巴格达同时记录时刻，二者时刻差用于推算两城经度差。
- 传承脉络：上承托勒密、阿尔巴塔尼、花拉子米，下启比鲁尼、纳西尔丁·图西的三角学系统化。
六、争议、公案与历史评价
- 负数"孤例"的再发现：阿布·瓦法算术中的负数使用是中世纪伊斯兰文献中的孤例，长期被忽视，20世纪经 Medovoi、Saidan 等研究才被确认。
- 正弦定理归属争议：部分中文资料把球面正弦定理归于阿布·瓦法，但更可靠的归属是比鲁尼与图西，已在第三节标注存疑。
- 历史评价：在三角学从"天文计算工具"走向独立学科的过程中，他是承前启后的关键人物；月球上的阿布·瓦法环形山（Crater Abul-Wafa）与2015年 Google Doodle 均为对他的纪念。
七、身后影响与学术谱系
- 其高精度三角表与六函数体系经阿拉伯天文学家传承，影响了纳西尔丁·图西以及欧洲文艺复兴时期的三角函数表编制。
- 工匠几何传统在伊斯兰建筑与手工艺中延续。
- 作为花拉子米之后阿拉伯算术的代表，其著作反映了10世纪巴格达"翻译兼原创"的学术生态。
八、延伸阅读与权威来源
- MacTutor: Abu'l-Wafa Biography：圣安德鲁斯大学数学史档案，主要传记与学术来源。
- Dictionary of Scientific Biography: Abul-Wafa (PDF)：权威科学传记条目（Youschkevitch 撰）。
- Biographical Encyclopedia of Astronomers: Abu al-Wafa (PDF)：天文学家传记百科条目。
- NRICH: History of Trigonometry – Part 3：介绍阿拉伯文明中的三角学，含阿布·瓦法的贡献。
- A. S. Saidan, "The arithmetic of Abu'l-Wafa'", Isis 65 (1974), 367–374：对其算术与负数的专门研究。
- R. Rashed, The Development of Arabic Mathematics (London, 1994)：阿拉伯数学通史，含阿布·瓦法章节。