海什木（Abū ʿAlī al-Ḥasan ibn al-Haytham，拉丁名 Alhazen）

被誉为"光学之父"的伊斯兰通才，以实验证据与几何证明研究光与视觉，其《光学书》是科学方法论的早期典范；同时在几何、积分雏形与数论上留下深刻印记。

一、生平与时代背景

海什木约公元965年生于（可能的）巴士拉（Basra，今伊拉克），因此有时被称为 al-Baṣrī；又因长期在埃及生活，也被称为 al-Miṣrī。其名 al-Ḥasan 被拉丁化为 Alhazen，这一名字因"Alhazen 问题"而在西方广为流传。1027年他写过一部自传，但只谈思想发展、不记生平事件，因此其生平细节主要来自后世（如 al-Qifṭī）的记载，且不同记载间存在矛盾。

他青年时先研究宗教各派冲突，认定无一派代表真理，遂转向亚里士多德著作中描述最清晰的科学；早年曾任巴士拉地区的大臣，后决志全心投入数学、物理等科学，在巴士拉已成名。当时埃及由法蒂玛（Fatimid）王朝统治，969年征服尼罗河谷并建都开罗，970年以爱资哈尔清真寺为基础创立爱资哈尔大学。哈里发 al-Ḥākim（996—1021在位）虽残暴却赞助科学（其动机或含占星兴趣），藏有仅次于百年前"智慧宫"的图书馆。

据 al-Qifṭī 记载，al-Ḥākim 听说海什木提出治理尼罗河水流的方案，便召他赴埃及并任命他主持工程团队。然而溯尼罗河而上勘察后，海什木意识到方案不可行，回报失败后被委任一个行政职位。他察觉 al-Ḥākim 危险不可信，便佯装疯癫，被软禁家中直到1021年 al-Ḥākim 去世；期间持续从事科学研究。此后他定居开罗爱资哈尔清真寺附近，靠抄写文本、教书为生，直至约1040年去世（部分文献作1039年，卒地存疑，多认为在开罗）。

另有说法称他失败后逃往叙利亚终老，但他1038年确在埃及的证据使此说不太可能；1027年一篇题为《答巴格达所提几何问题》的著作暗示他可能短暂访问过巴格达。

二、学术生涯年表

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

1. 《光学书》（Kitāb al-Manāẓir）：实验方法论与视觉理论的奠基。 七卷本，1270年被译为拉丁文 Opticae thesaurus Alhazeni，是托勒密之后光学领域最重要的著作。问题背景：古人（欧几里得、托勒密）认为视觉是眼睛发出光线；海什木在前言中声明将"考察原理与前提""批判前提、谨慎下结论""寻求真理而非附和偏见"，并明确以实验证据而非抽象理论研究光。关键思想与结果：（a）首次给出正确的视觉解释——光从物体反射进入眼睛；（b）第一个完整陈述反射定律：入射光线、反射光线与法线共面且分居法线两侧、入射角等于反射角，并用铜制仪器对平面、球面、柱面、锥面（凸/凹）镜做了测量；（c）第一个明确描述并使用针孔相机（camera obscura），用以观测日食；（d）研究折射，认为光在光密介质中速度更小（有限速度），提出大气厚度约15公里，用折射解释太阳低于地平线下19°时的晨昏蒙影。局限性：因缺乏"透镜"概念，其对眼睛结构的解释有误；未能给出定量的折射定律（斯涅尔定律要到17世纪才确立）。

2. Alhazen 问题（球面镜反射点问题）。 载于《光学书》第五卷：给定光源与观察者眼睛，在球面（他还讨论了柱面、锥面）镜面上求反射点，使光线经该点反射后进入眼睛。该问题最早由托勒密提出（约公元150年），海什木用六条几何引理、借助圆锥曲线给出几何解法；其代数形式可化为四次方程。与前人关系：托勒密只提出问题，海什木首次给出完整解法；后世惠更斯（Huygens）重新表述并改进，Vincenzo Riccati 与 Saladini 进一步简化。局限性：他的解法极其冗长复杂，拉丁译本读者难以理解；代数解法直到1965年才由 Jack Elkin 给出。

3. 积分雏形：抛物面体积与四次幂求和。 为解决上述光学问题与求抛物面旋转体体积，海什木推导出前 $n$ 个正整数四次幂之和的公式（此前仅已知平方和、立方和），并用"把圆盘切成细条再求和"的方法计算体积——这本质上是积分（integration）的思想，领先欧洲数百年。他的方法可推广到任意次幂求和，但他本人只用到了四次幂。与前人关系：阿基米德已用穷竭法求体积，海什木则把代数求和（幂和公式）与几何求积结合，是伊斯兰世界分析思想的高峰。

4. 数论：威尔逊定理、中国剩余定理特例与完全数。 （a）威尔逊定理：在求解同余问题时，海什木使用了现在所谓的威尔逊定理——若 $p$ 为素数，则 $1+(p-1)!$ 能被 $p$ 整除（即 $(p-1)!\equiv -1\pmod p$）。（b）在《短篇论著》（Opuscula）中求解同余方程组：求一数，被2、3、4、5、6除余1，被7整除——这是中国剩余定理的特例；他给出两种方法，其一给出 $(7-1)!+1$ 这个解，其二给出所有解。（c）完全数：欧几里得《原本》证明若 $2^k-1$ 为素数则 $2^{k-1}(2^k-1)$ 是完全数；其逆命题（每个偶完全数都具此形）由欧拉最终证明，而拉什迪（R. Rashed）研究认为海什木是第一个陈述该逆命题的人，他在《分析与综合》中尝试证明但未完全成功——Rashed 指出"这一局部失败不应掩盖其本质：刻意刻画完全数集合的尝试"。局限性：逆命题的证明并未完成。

5. 《分析与综合》：把分析法提升为一般数学方法。 古希腊人仅把分析法用于几何问题，海什木则视其为可应用于代数等更广领域的一般数学方法，并指出分析法不是可机械套用的算法，而需要直觉。与前人关系：拓展了希腊分析传统；局限：未形成现代意义上的算法化方法论。

6. 月形与化圆为方。 他撰写过关于月形（两相交圆形成的月牙形）面积的著作，又写了第一篇以月形化圆为方的论文，并许诺第二篇，但第二篇从未出现——他似乎意识到自己无法解决（或怀疑问题不可解，这一点永无答案）。

四、代表著作与文献

• 《光学书》（Kitāb al-Manāẓir，七卷）：代表作，1270年译拉丁为 Opticae thesaurus Alhazeni。
• 《对托勒密的疑惑》（al-Shukūk ʿalā Baṭlamyūs）：批判托勒密物理说明；但他的通俗著作《构型》又完全接受托勒密体系，态度反差值得注意。
• 《解惑》（Ḥall al-shukūk）：回应天文学家 Abu al-Qāsim ibn Madan 对托勒密的质疑。
• 《分析与综合》：研究数学问题的一般求解方法。
• 《短篇论著》（Opuscula）：含同余方程组（中国剩余定理特例）的求解。
• 月形与化圆为方相关论文（第二篇未完成）。
• 自传（1027，仅述思想发展）。
• 据载一生著述约92种，其中55种以上传世。

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

• 思想渊源：深受亚里士多德与托勒密影响，自称转向科学是因亚里士多德著作中对科学的描述最清晰。
• 同代交往：天文学家 Abu al-Qāsim ibn Madan 向他提出关于托勒密的疑问，促成《解惑》；他在法蒂玛宫廷与天文学家 Ibn Yūnus 同朝（al-Ḥākim 赞助的学者）。
• 传承：其光学经由拉丁译本影响了罗杰·培根（Roger Bacon）、威特罗（Witelo）、开普勒（Kepler）等。

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

• 生平记载的矛盾：装疯地点（埃及还是巴士拉）、失败后是否逃往叙利亚、卒年（1039还是1040）与卒地，不同史料不一致，本节已标注存疑。
• 对托勒密的矛盾态度：在《对托勒密的疑惑》中严厉批判，在通俗《构型》中全盘接受——这一对比反映了其"专业批判 vs. 通俗普及"的不同写作意图。
• 完全数逆命题的优先权：Rashed 主张海什木最早陈述偶完全数逆命题，但陈述并未显式出现在其著作中，且证明未完成，学界对此有不同看法。
• 历史评价：被称为"光学之父"，其"假设—实验—数学证明"的方法被许多学者视为近代科学方法的先驱；月球与行星上以他命名的特征（Alhazen / Ibn al-Haytham）纪念其贡献。

七、身后影响与学术谱系

• 《光学书》的拉丁译本深刻影响了中世纪晚期与文艺复兴的欧洲光学，直接启发开普勒的视觉理论。
• 其幂和公式与求积思想是伊斯兰分析传统的代表，经后世传承影响了积分学的诞生。
• 数论中对同余、威尔逊定理、完全数的研究，是数论从欧几里得到费马、欧拉之间的重要环节。
• 作为科学方法论的先驱，其"以实验检验理论"的立场对近代科学有启发意义。

八、延伸阅读与权威来源

• MacTutor: Ibn al-Haytham Biography：圣安德鲁斯大学数学史档案，主要传记来源。
• Dictionary of Scientific Biography: Al-Haytham (PDF)：权威科学传记（A. I. Sabra 撰）。
• Biographical Encyclopedia of Astronomers: Ibn al-Haytham (PDF)：天文学家传记百科条目。
• Wikipedia: Ibn al-Haytham：综合生平与学术贡献，交叉核对用。
• Heinz Klaus Strick: Ibn al-Haytham (PDF)：学术性传记文章。
• R. Rashed, The Development of Arabic Mathematics (London, 1994)：含海什木数论与分析工作的研究。