约翰·纳皮尔（John Napier of Merchiston）

对数的发明者——用一个看似简单的对应关系，把繁琐的乘除与开方运算降格为加减，被拉普拉斯誉为"把天文学家的寿命延长了一倍"；他还是机械计算工具与球面三角实用公式的重要贡献者。

一、生平与时代背景

约翰·纳皮尔（John Napier of Merchiston，1550—1617）生于苏格兰爱丁堡的梅尔希斯顿城堡（Merchiston Castle），出身于当地显赫的地主与官宦世家。其家族自 1430 年代起拥有梅尔希斯顿庄园，并在伦诺克斯（Lennox）、门蒂思（Menteith）拥有地产。父亲阿奇博尔德·纳皮尔（Archibald Napier）曾任司法代理（justice-depute），1565 年受封骑士，1582 年出任苏格兰铸币局长（Master of the Mint）；母亲珍妮特·博思韦尔（Janet Bothwell）是奥克尼主教的妹妹，二人 1549 年成婚，翌年生下约翰。

名字的写法值得一提：当时其姓氏有 Napeir、Nepair、Nepeir、Neper、Napare、Naper 等多种拼写，时人多写作 Jhone Neper；MacTutor 指出，"可以确定纳皮尔在世时绝不会使用今天统一的拼写 Napier"。

纳皮尔早年的教育记录极少。现存唯一线索是他 11 岁时叔父（奥克尼主教）写给阿奇博尔德的信，劝其送约翰去法国或佛兰德斯求学。1563 年，13 岁的纳皮尔进入圣安德鲁斯大学圣萨尔瓦托学院（St Salvator's College, St Andrews），母亲特意安排他住在校长约翰·卢瑟福家中。入学不久母亲去世。他在圣安德鲁斯首次燃起对神学的热情，但未取得学位便离校赴欧洲大陆深造——高等数学与古典文学素养都是在这一时期获得的，但具体就读学校已无确证，巴黎大学最有可能，意大利与低地国家也可能停留过。

约 1571 年纳皮尔回到苏格兰（出席父亲的第二次婚礼）。1572 年家族将大部分地产划归他管理，并在加特内斯（Gartness）修建城堡；1574 年城堡完工，他与妻子迁居于此，此后专心经营庄园。他以发明家的头脑对待农业，实验用盐改良土壤。他大部分对数研究正是在加特内斯完成的——据《统计概览》（Statistical Account）记载，磨坊水轮的间歇声会打断他的思路，他不得不让磨坊主停磨。

纳皮尔是狂热的新教信徒，自认最重要的著作其实是神学小册子《圣约翰启示录的简明发现》（A Plaine Discovery of the Whole Revelation of St. John，1593），意在"抵御本岛内明显的天主教危险"。该书被译成荷兰语、法语、德语，为他赢得欧洲声誉，但今天已少有人读。他对数学的研究只是业余爱好，常抱怨在神学工作之间挤不出时间计算。

1614 年《奇妙对数表的描述》（Mirifici logarithmorum canonis descriptio）出版后引起轰动。伦敦格雷沙姆学院的布里格斯读到后大为折服，于 1615、1616 年两次远赴爱丁堡与之会面，共同把对数改造成以 10 为底、$\log 1 = 0$ 的形式。纳皮尔本想再访布里格斯，却于 1617 年春去世。他被时人视为怪异，流传"与魔鬼立约""巫师"的传说，其后代马克·纳皮尔（Mark Napier）所写传记偏向采信这些说法，史学界评价不高。

存疑：纳皮尔确切的出生日期无据可考，学界通常只记年份 1550 年；其欧洲大陆求学的具体学校与城市亦属推测。

二、学术生涯年表

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

1. 发明对数——把乘除化为加减

问题背景：16—17 世纪，天文学、航海与测绘需要对极大数作大量乘、除、开方运算，既耗时又易错。纳皮尔在《Descriptio》序言中写道："没有什么比大数的乘、除、开方更令计算者困扰、更易出错的了……我开始思索，能否用某种确定而便捷的技艺消除这些障碍。"

关键思想：建立一个对应，把几何级数中的乘法对应到算术级数中的加法。用现代语言说，即寻找函数 $L$ 使得 $L(ab)=L(a)+L(b)$。纳皮尔没有用代数方式（当时代数尚未成熟到能支撑这种表述），而是用运动学类比给出定义：

取定长线段 $AB$ 与无限长射线 $A'X$。两点 $C$、$C'$ 同时从 $A$、$A'$ 出发以相同初速向右运动；$C'$ 匀速，而 $C$ 的速度正比于它到 $B$ 的剩余距离 $CB$。令 $BC = x$（被取为 $10^7\sin X$ 的形式），$A'C' = y$，则定义 $$y = \operatorname{Nap.log} x.$$

这等价于一个衰减指数过程。纳皮尔取 $AB = 10^7$，因为当时最好的正弦表有 7 位小数。他把"logarithm"（对数）一词由希腊语 logos（比、比率）+ arithmos（数）合成，意为"比率之数"（描述几何级数中相邻两项的比）。

精确关系：用现代记号可推出 $\operatorname{Nap.log} x \approx 10^7 \ln(10^7/x) = 10^7(\ln 10^7 - \ln x)$，即以 $1/e$ 为"底"的对数（严格说并非真正有底）。它满足 $\operatorname{Nap.log}(xy) = \operatorname{Nap.log}x + \operatorname{Nap.log}y - \operatorname{Nap.log}1$，因此可把乘除化为加减。

局限性：$\operatorname{Nap.log}1 \neq 0$，且 $10^7$ 这个因子使运算不够方便；这正是后来布里格斯改造的动因。此外纳皮尔给出的是正弦的对数表，而非一般数的对数表。

2. 《奇妙对数表的描述》与对数表的计算

Mirifici logarithmorum canonis descriptio（1614）包含对数的定义、法则，以及按每弧分给出的角度正弦的对数表（这是天文计算最需要的）。其构造方法（如何算出这些对数）在纳皮尔生前未公开，直到遗著 Constructio（1619）才详述：他通过不断开平方把几何级数细分到极小步长，再用算术插值填满表格，计算量极其惊人。

与前人关系：对数的核心思想（几何/算术级数对应）可追溯到阿基米德、施蒂费尔（Michael Stifel）等，但他们未把它发展成一套可操作的计算工具；纳皮尔是第一个系统编制对数表并广泛传播的人。瑞士钟表匠约斯特·比尔吉（Joost Bürgi）约 1603—1611 年也独立构造了类似的对数表，但直到 1620 年才出版，故优先权归于 1614 年先发表的纳皮尔（学界就此基本无争议，仅时间上的独立发现）。

3. 纳皮尔骨算筹（Napier's bones）

1617 年出版的 Rabdologiae（"算筹术"，得名于希腊语 rhabdos = 杆、棒）描述了一种机械乘除与开方工具：若干根刻有数字的象牙杆（因形似骨头得名），把被乘数各位数字对应的"部分积表"并排摆放，便可沿对角线读出乘积，从而把多位数乘法化为简单加法，亦可做除法与平方根、立方根。纳皮尔在献辞中说，因为朋友们看了都很喜欢，算筹已在国内外流传，他才决定公开。这是 17 世纪流行的计算教具之一，后来启发了帕斯卡等计算器的设计。

4. 球面三角：圆部法则与纳皮尔比拟

纳皮尔给出了解球面直角三角形的记忆与计算工具： - 圆部法则（Napier's circle of parts / pentagon）：把球面直角三角形的五个相关量排在一个圆上，用"正弦 = 相邻两量正切之积 = 相对两量余弦之积"的口诀统一了全部公式。 - 纳皮尔比拟（Napier's analogies）：两组（四条）比例恒等式，用于由已知边角解球面斜三角形，在航海与大地测量中长期实用。

这些成果使球面三角从依赖冗长推导变为查表可算。

5. 十进小数记号与三角的指数表达

纳皮尔在 Constructio（1619）中频繁使用句点作为整数与小数部分的分隔符，其形式已非常接近现代小数点，并与对数的传播一起推动了十进小数记号在英语数学文献中的普及（在此之前小数的记法极不统一）。他还发现了三角函数的指数式表达（早于欧拉的系统表述），为日后复分析与三角恒等式的统一埋下伏笔。

四、代表著作与文献

• 《奇妙对数表的描述》（Mirifici logarithmorum canonis descriptio eiusque usus, in utraque trigonometria; ut etiam in omni logistica mathematica, amplissimi, facillimi, & expeditissimi explicatio，爱丁堡，1614）：公布对数定义、法则与正弦对数表；1616 年由爱德华·赖特英译出版。
• 《算筹术》（Rabdologiae, seu numerationis per virgulas libri duo，爱丁堡，1617）：描述纳皮尔骨算筹。
• 《奇妙对数定律的构造》（Mirifici logarithmorum canonis constructio; et eorum ad naturales ipsorum numeros habitudines，爱丁堡，1619，遗著）：详述对数表的构造方法，含近似现代的小数点记号。
• 《圣约翰启示录的简明发现》（A Plaine Discovery of the Whole Revelation of St. John，1593）：神学著作，非数学。

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

纳皮尔是自学成才的业余数学家，没有明确的数学导师，也没有正式的学术职位。其高等数学素养得自欧洲大陆游学。他与同时代学者的交往主要通过书信与访客： - 亨利·布里格斯（Henry Briggs）：最重要的合作者。布里格斯 1615、1616 年两次亲赴爱丁堡，两人共同决定把对数改为以 10 为底、$\log 1 = 0$，由布里格斯承担制表的繁重劳动。 - 开普勒：读到《Descriptio》后热情采用对数，正是借助对数大幅简化了火星轨道的计算，进而发现行星运动定律；开普勒的工作又为牛顿引力理论奠定经验基础。 - 与苏格兰及欧洲大陆的人文主义者、神职人员有通信，但他终身居于庄园，未加入任何大学学派。

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

• 对数优先权：纳皮尔 1614 年发表，比尔吉独立发明但 1620 年才出版，故优先权无实质争议；现代史学确认二人各自独立到达对数思想。
• 被疑为巫师：纳皮尔性格孤僻、常穿睡袍夜出研究，加上他与仆人之间的一些怪异传闻（如用涂黑的公鸡"找出"小偷），被乡民传为"与魔鬼立约的术士"。其后代马克·纳皮尔 1904 年的传记偏向采信这些故事，被史学界视为有偏见。
• 常见误传：有时把"以 10 为底的常用对数"直接归功于纳皮尔；其实改造为常用对数并编制完整数值表的是布里格斯，纳皮尔本人的对数并非以 10 为底。
• 评价：拉普拉斯（约 200 年后）说对数"以缩短劳动使天文学家的寿命延长了一倍"。E. W. 霍布森称其为"世界上最伟大的科学发现之一"。

七、身后影响与学术谱系

• 对数在整个 17—20 世纪中叶都是科学计算的核心工具，直接支撑了开普勒定律、牛顿力学、航海与工程计算，直到电子计算机普及才退出日常计算。
• 对数的逆运算引出指数函数，二者构成分析学的基本函数对；自然对数（以 $e$ 为底）与纳皮尔对数有亲缘关系。
• 纳皮尔骨算筹是机械计算工具的早期代表，影响了帕斯卡加法器（1642）等后续计算器的设计。
• 1914 年爱丁堡举办"纳皮尔对数三百周年纪念展"，出版纪念文集（C. G. Knott 编，1915）。

八、延伸阅读与权威来源

• MacTutor: John Napier：苏格兰圣安德鲁斯大学数学史档案，本档案主要事实来源。
• Dictionary of Scientific Biography: John Napier (M E Baron)：DSB 条目，学术性权威传记。
• Encyclopædia Britannica: John Napier：百科条目，交叉核对生卒与著作。
• History of logarithms（HandWiki）：对数史综述，含与比尔吉的对比。
• D J Bryden, Napier's bones: a history and instruction manual (London, 1992)：纳皮尔骨算筹的专门史（书）。
• R Ayoub, "What is a Naperian logarithm?", Amer. Math. Monthly 100 (1993), 351-364：澄清纳皮尔对数与现代对数关系的论文。