作者 | 林琦焜（国立交通大学应用数学系退休教授）
来源 |《数学传播》2019年第43卷第3期 （171），感谢《数学传播》授权转载！
4. 三角函数
“几何三角共五角, 三角三角、几何几何。积分微分并差分, 微分微分、积分积分。”
——Chi-Kun Lin
数学漫长的历史长河离不开天文学, 而天文学离不开三角学。这是一个古老且非常有用的数学分支。出生于尼西亚的希帕恰斯(Hipparkhos, 约BC190- BC120)是所有时代最伟大的天文学家之一。(尼西亚, Nicaia 或 Nicaea, 尼西亚位于小亚细亚, 著名的尼西亚会议是指在此举行的两次基督教大公会议, 分别是第一次 (公元 325年) 和第七次 (公元 787年)的大公会议。对基督教影响深远。第一次会议颁布《尼西亚信经》就是以此城市为名。《信经》(英语是 Creed 源自拉丁文 credo, 意为“我信”)是传统基督教(天主教)权威性的基本信仰纲要)他同时也是一位杰出的数学家, 但因为他的数学成就是附属于天文学之下以至于被人遗忘了。事实上他是三角学与球面三角学的奠基者, 没有三角学就没有真正的天文学。我们关于希帕恰斯的知识是透过后来的天文学家特别是托勒密而来的。托勒密对于这位前辈评价非常的高, 称他为热爱研究与真理的人。
公元 140 年, 古希腊天文学家托勒密发表了他的 13卷巨著《天文学大成》(Almagest) 或翻译为《至大论》, 在总结前人工作(特别是希帕恰斯 (Hipparkhos))的基础上系统地确立了地心说。根据这一学说, 地为球形, 且居于宇宙中心, 静止不动, 其他天体都绕着地球转动。《天文学大成》：共十三册, 拉丁书名源于阿拉伯文的 almajst, 而这又源于希腊文的“最伟大的结集”。虽然这是天文学的著作, 但是它在数学史非常重要, 因为它可以说是三角学最早有系统的论著。在托勒密之后, 人们对于天文学的兴趣没落了, 因此三角学的研究也渐渐式微。后来印度人采用亚历山大学派的方法而延续了三角学的香火。值得一提的是: 正弦(Sine)是印度天文学家发明的, 后来被花拉子模以及其他阿拉伯天文学家采用, 并且在 14 世纪传到使用拉丁语的西方世界。
何谓三角学(trigonometry)? 由其名知其义, tri (三) gon (边) metry (测量)、也就是三边(三角形)测量。关于三角学最著名的传说是泰尔斯(Thales, 624BC-547BC)访问埃及时法老王即席问他如何测量金字塔的高度时, 他向法老王要了一个士兵命其站在太阳下等到该士兵的影子与身高一样时再命令两个士兵立刻去量金字塔影子的长度, 这就是金字塔的高度！这实在是非常有创意的方法。好的数学是利用简单的方法来解决困难的问题, 而不是*鸡用牛刀。泰尔斯的方法正是三角学的根本精神: 利用直角三角形的相似性。
三角学的起源是从确定平面三角形与球面三角形的边与角的关系开始的。以公式 而言最初是直角三角形中关于角度定义的三角比, 而且只关心几个特别角。现在进入函数的领域则脱离了角度的限制, 而认定仅仅是两个变量之间的关系。三角函数另一个常见的名称是圆函数(circular function) 因为三角函数是从单位圆出发的。
例题4.1：正弦函数 。
解：令 是单位圆周的动点由 按逆时针旋转, 则 到 - 轴的值就是 。显然 在上半圆周 的值为正, 经过 之后 落在下半圆周则 的值为负。其实 的正负值与四个象限的 值一致 。当动点 在单位圆周上周期地运转时在- 平面也同时画出一条周期函数的正弦曲线。
在第一, 二象限之图形
在第三, 四象限之图形
定理4.2：(托勒密定理)
在圆的内接四边形, 其两个对角线的乘积等于两双对边乘积之和。
证明：请参考[10,17]。由托勒密定理可以推得勾股定理与和差化积(积化和差)等公式, 读者可以参考[10]。
托勒密定理
三角函数基本上是关于三角形角与边长之间关系的函数, 但以实用性而言还是Lagrange 的定义最好用。例如
如果我们给函数定义为收敛的无穷级数则容易推得
这是一个实数。事实上可以证明: 任何实数值 (real-valued)的偶函数在虚轴上取实数值。
5.指数函数
为了避免混乱我们假设 。最开始指数代表同一个数自己相乘, 例如： 代表 , 指数这个符号是 Leibniz于 1675 年所使用。他更于 1684 年定义了负数的情形。因为
所以
由此自然可推论至一般情形：
又因为我们希望这个法则对于负数也成立, 因此自然要定义
是的平方根, 是 的三次方根, 是 的次方根, 所以
公式对于有理数也成立, 实际上根据连续性对所有的实数都成立,
我们将指数函数写为 , 但是这符号容易误导, 它实际上是将 带到 , 是在定义域而 是落在值域。指数函数并非自我相乘；反之它是一个函数从实数的加法群 到正实数的乘法群
指数最重要的特征是将“加法”转换为“乘法”。最常见的指数函数是以 为底 或 , 这是数学最重要的函数之一, 常见的定义有六种：
定义 5.1 (指数函数)：
幂级数：。
微分方程：、, 的唯一解。
的 次方：。
自然对数 的反函数。
极限：。
函数方程：、 的唯一解。
定义 5 基本上是二项式定理, 这是由复利(compound interest)的计算而来, 稍微有见识的数学家对于二项展开式必定是熟悉到像呼吸那么自然。不管是那一个定义, 首先要确定 是什么? 我们看一下微分(即变化)
其中
这里 是变化率为一常数 (假设此极限存在！), 这式子告诉我们 的微分等于一个常数 乘它自己。换句话说, 指数函数之变化与它本身之尺寸(size)成正比：
如果变化率正好等于 , 时, 我们就称 为
是当这个极限等于 1 时的底 。总结而言：
“是一个指数函数的底, 这个函数将和映像到乘积, 而且其变化率(微分)等于它自己。”
换句话说自然指数函数与它的导数恒等：。它还是所有函数中唯一拥有这个性质的。这个特征是所有指数函数之性质的根源也是自然指数在应用上之所以重要的理由。如果将 视为线性变换, 则 是 的特征函数而且特征值等于 1。
特征值的问题等价于方程式求根的问题。
是一个数, 那么大约是多少呢？先写下答案：
要回答这个问题, 我们从级数着手：假设
其中为待求之常数。因为 、, 逐项微分得
比较系数
因此得
但, 所以, 故
令则(5.4)告诉我们
借由 (5.5) 这个级数可得 之近似值(但是收敛速度很慢)。（借由(5.5)也可以证明 是一个无理数。关于 是一个超越数(transcendental number)的证明技巧是由法国数学家 C. Hermite (1822-1901)所给的。后来德国数学家 F. Lindermann (1852-1939) 将 Hermite 的方法略为修改之后于 1822 年成功地证明了 是超越数, 从而解决了化圆为方这个古希腊难题。） 另外, 令
再回到 , 两边乘
这告诉我们 在 之斜率为 , 当然在 之斜率为 1。我们看连接 、 这两点的斜率, 并强迫它等于(近似也!)
所以
再令, 故
这就是 Euler 的定义!
6.对数函数
“如果我们渴望进一步全面了解对数的理论, 最好是大体上遵循它的创建历史。”
——Felix Klein (1849-1925)
十六世纪后期由于天文与探险之热潮, 对于计算之要求日益殷切, 如何计算繁杂的数据(特别是三角计算) 是那个年代最迫切的问题。苏格兰数学家John Napier (1550-1617) 于 1614 年发表《对数奇妙法则的描述》(Mirifici logarithmorum canonis descriotio) 宣布对数 （对数的发明就像是一个晴天霹雳来到世界上。前人的任何工作都未能导致这项发明, 也没有任何东西预见到它或预示它的到来。这项发明是孤立的, 它没有借助于其他的智力工作, 也没有遵循原有的数学思想路线, 就突然闯进人类思想中——《Napier 300 年纪念文集之序言》）的发现, 直到去世之前他仍然在编制对数表。此一遗作后来由英国数学家 Henry Briggs(1561-1631) 完成。对数的发明对于天文学有直接的帮助, 最著名就是J. Kepler 因着 John Napier的对数表而加速其行星运动之研究。
对数的历史比指数还早, 对数符号 出自拉丁文 logarithm, 最早由1632 年意大利数学家卡瓦列里所使用。纳皮尔在表示对数时套用 logarithm整个词, 并未作简化。1624年, 克卜勒才把对数符号简化为Log。在数学上我们以 来表示, 这个字除了木头、日志之外还有话语(word)、思想(thought)等意思, 它有希腊哲学与基督教神学的背景。对数(logarithm)这个字是由比例(logos)与数字(arithmos)所组成意思是比例(或理性)的数(number ofration)。古希腊哲学的主导概念是逻各斯(logos)。这个重要的希腊文原文的意思是话语(道), 同时也解释作理性、准则、论证或度量。如果我们想抓住希腊哲学的精神, 就必须牢记这一系列含义的重要性, 逻辑(logic)就是由此衍生而来, 逻辑学就是有关逻各斯(logos)的科学。希腊思想中“道”的观念大约开始于公元前 500 年, 在以弗所的一名哲学家赫拉克利特(Heraclitus, BC535-BC475), 他的基本思想是：每一样东西时刻都在变动。他最著名的例子是人不可能踏进同一条河流两次。但是这一切变动并不是杂乱无章的, 而是有秩序的。赫氏认为逻各斯 (logos), 道, 就是秩序的原则, 整个宇宙都借它而存在。赫氏更进一步说, 不只物质世界有模式, 事情更迭变动的世界也有模式。他认为没有一件事物是漫无目的的, 在一切生命与生命的事迹中都有一个目的, 一个计划, 一个设计, 一个构思。然而什么是力量控制着一切事物呢？答案又是逻各斯 (logos), 使人有理性, 有认识真理的能力, 有辨别是非的能力就是上帝在人心中的逻各斯(logos)。这种心意、理性的概念, 统御世界的 logos 使希腊人为之着迷。例如, 柏拉图就宣称: 上帝的逻各斯 (logos)使行星运行在轨道上, 又按时带回季节与年份。这个概念后来由斐罗(Philo, BC20-AD40)发挥得淋漓尽致, 他是一位住在亚历山大的犹太人, 他致力于融合犹太人与希腊人这个崇高的思想, 他认为上帝的逻各斯(logos)系“铭刻在万物的构造之上”。基本上逻各斯(logos)是人和上帝之间的桥梁。
回顾历史, logos在对数中最接近的意义是指一切事物遵照它而运行的原则：将定义域、 、 、 、 (arithmos)对照到值域的一个规则。对数就其历史而言是从算术-几何(等比)级数之关系开始的:
关于上述这个关系式有一个有趣的历史典故: 据说 Galois参加法国巴黎高等理工(École Polytechnique)的入学考试, 其中口试委员问他对数是什么?他在黑板上写的就是上述这个精练的关系。然而口试委员不满意这个答案而认定他是错的, 因而 Galois 愤而将板擦丢向该委员。
John Napier考虑的是如下的等比数列
他称 为对数, 所以 1 的对数为 0, 的对数为 1, 这个数与 非常接近。
在中学我们是先定义指数 , 然而再定义对数为 (Euler在《无穷分析引论》就引进了以 为底 的对数 为满足 的指数。这是历史上第一次出现对数并明显地以指数表现出来。)
这里我们看到一个数 的前面写上“”这个符号时, 它的意思是叫你
“到表里去查, 看这个数要乘几次方才会得到所要的数” 。
对数最重要的性质是
对数函数 将 带到 , 它是一个函数从正实数的乘法群 映射到实数的加法群
指数最重要的特征是将乘法转换为加法。对比于指数函数常见的对数函数 之定义如下：
定义 6.1：(对数函数)
曲线下面由到之间的面积：
幂级数：做个平移则上面的定义改写为
要求 主要是保证级数的一致收敛性, 通常我们将上式表示为
一阶微分方程的唯一解：
指数函数 的反函数。
函数方程的唯一解：
无论从哪个定义出发都可以推导出对数的基本性质
读者可由《数学是什么》一书中得到部分的结果。其它可自行练习, 我认为一个数学人一生当中至少要有一次推导过这些不同定义之间的关系, 并且从中体会如何推广到复数、矩阵, 甚至更抽象的算子, 如此我们便迈入复数函数论与泛函分析的奇异世界。
这五个定义各有其目的, 但根据 Felix Klein的改革方案则以第一个定义视为曲线 的积分是最适当的出发点。从量纲分析的角度来看也是自然的。已知积分公式
当 时无法定义, 所以人们说 的积分需要另外定义, 但是略做个调整仍然可以推得对数的积分定义。由量纲分析得
这个积分不具量纲, 因此这个函数必定非常特别, 我们将 重新表示为
所以(6.7)右式的必须换为, 因此由L'Hospital法则或由(6.8)直观可得
同样的概念可应用到二维的Laplace方程的基本解必然是取对数的形式, 我们可以说:
7. 进入复数世界多项函数的临界指数(critical exponent) 必然是对数！
“虚数是这样可以像平常一样进行算术运算, 这些令人感到神秘的最后结果犹如其名, 真是既精致又不中用。”
——Gerolamo Cardano (1501-1576)
虚数(imaginary number)是意大利数学家 Cardano (1501-1576)在他的名著《大术》(Ars Magna)中首次引入的, 但是他却对这个新观念非常之犹豫。最早期的数学家解决这些奇怪的数所出现的困难, 例如 , 基本上是驼鸟心态就是不理会它并加以非议和摈弃。直到高斯(Carl F. Gauss, 1777-1855)在他的博士论文证明代数基本定理: 任何复系数一元 次多项式方程在复数域上至少有一根 。并且指出一个复数 就是平面上的一个点 , 所以复数平面也称为高斯平面。但更重要的是高斯将整个数学观来个乾坤大挪移, 将数学的重心放在解的存在性与唯一性从此开启数学的新纪元, 摆脱文艺复兴以来多项式方程是否有根式解的纠葛。
最后我们必须提到复变函数论(Complex Function Theory), 这对于完全理解函数特别是指数与对数函数是不可或缺的。在无悬念下函数最好的推广是借由(收敛的)无穷级数, 这基本上是Lagrange的思想。
定义 7.1：(复数指数函数)
令 , 则复指数函数定义为
由级数的计算可得复指数函数的基本性质
由(7.2)自然可推得
因为 不同时为 0, 故
除此之外复指数函数与实数指数函数最大的差别在于
复指数函数 的周期是 。
如果假设适当的收敛性则逐项微分得
同理可以定义(复)三角函数
因为 只含有偶次方项, 则只含有奇次方项, 我们容易推得 是偶函数, 是奇函数
更进一步也可推导得复数形式的Euler公式
因此原来实数情形的三角函数可以完完全全地搬到复数。将 代换为 则
为了使Euler公式从仅仅是形式上成立到严格的数学真理, 需要发展复变函数论, 这是19世纪最重要的数学成就。复三角函数也可以表示为复指数
如果先定义复指数函数(7.1), 则复三角函数可以不透过无穷级数(7.3)-(7.4)而根据(7.8)来定义。同理借由Euler公式可以证明复数的和差化积(或积化和差)公式
其次由(7.7)可得
这两式相加减得
同理也可得
由于复数的引进让我们脱离原(实数)三角函数受几何的限制, 而纯粹只是代数的运算就可推广得出这些复杂的公式。另外值得一提的是由(7.8)可得
一个偶函数在虚轴上必定取实数值, 反之一个奇函数在虚轴上必定是一个纯虚数。
定义 7.1：(复数指数函数)
令 , 则复指数函数定义为
定义 7.2：(复数双曲函数)
令 , 则复数的双曲函数直接定义为
复数双曲函数与复数三角函数有密切关系
由三角函数的周期性可结论复数双曲函数是周期函数
而且有无限多个零点
这是实数双曲函数所没有的性质。
关于复数的对数我们可以透过指数的反函数来定义
但是 真正是什么?令
则
比较得(利用 周期的性质)
再由实数的对数得
因此复数的对数定义为
(7.14) 对于任意非 的复数都有定义而且对数不仅可以是正数也可以是实数与复数。内的整数 则说明 是一多值函数, 如何从几何的角度理解这个事实需要 Riemann Surface(黎曼曲面)的知识。对数函数是复变函数中最重要的函数! 其根本原因是因为 是 Lapalce方程的基本解。这也可以用来判断一个人是否对复变函数论有真正了解(understanding)的标准。
从技术层面而言复变函数论是 19 世纪数学发展中最具有原创性的学科, 我们甚至可以说 19世纪的数学基本上是《复变函数论》。虽然数学界对于复数早已耳熟能详并接纳为完整数系的成员, 但是物理学界却是踌躇不前的。但这现象在 1900 年有着革命性的改变, 才华洋溢却又保守谨慎的德国物理学家普郎克(Max Planck, 1858-1947)提出量子理论, 引进以他为名的普郎克常数 (Planck constant)
之后海森堡 (Heisenberg, 1901-1976)直接就将 写进他著名的不确定性原理
其中 是动量 是位置、是普郎克常数除以
从此物理学的理论第一次进入新的维度——复数平面。1926 年 Erwin Schrödinger (1887- 1961) 将德布罗意 (Louis de Broglie, 1892-1987) 电子波动性的思想向前推进并将之写成
这个Schrödinger 方程由此一直成为量子力学的代表, 是一个位置 与时间 的函数称为波函数(wave function)。它是一个复数, 无法被直接观察但可以根据 Schrödinger方程进行计算。而虚数则蜕身一变成为物理的真实存在。后来英国理论物理学家Paul Dirac 为了研究的量子力学, 在那儿他有系统地用 函数作为工具并获得相当大的成果, 我们正式给定 函数的定义(这是Dirac的贡献)。
定义 7.3：
Dirac 函数定义为
Dirac 函数并不是传统意义下的函数, 但我们并不能因此说它不存在。数学不能否定己知的事实, 因此解决之道就是回到数学的基础——函数是什么?对函数有更新、更高层次的认识是当务之急;为着与传统的函数有所区别我们将这种新的函数称为广义函数(generalized function)。广义函数是古典函数的推广, 它的数学理论基础是后来由苏联数学家S. L. Sobolev (1936) 与法国数学家 L. Schwartz (1950-1951)所建立, 其中 L. Schwartz 还因这项工作获得第二届Fields奖(1950)。尔后经过多人的努力, 目前广义函数己成为研究数学、物理甚至工程的必备工具, 没有广义函数则现代的偏微分方程与理论物理几乎是寸步难行。
致谢:有一次与好朋友台大数学系陈宜良教授谈到大学教育时, 他有感而发的说:
“大部分的人不知道了解、认识(understanding)是什么？”
的确是如此, 一个科目拿高分并不代表一个人真的了解该科目。男女朋友就算记得彼此的生日、血型...都不等于了解对方。因为这只是一种“客观事实”的知道、认识而已。现代教育最可悲的是失落了情感, 人们被教育的越来越无情。其实在旧约圣经里, “认识”的意思是指有亲密的知识, 正如亚当“认识”夏娃, 因而怀了他们的儿子(创四1；和合本译为：亚当和夏娃“同房”)。真正了解、认识(understanding)不是人云亦云, 而是有信仰的成分是有行动力的。文艺复兴时期瑞士医生、哲学家派拉西所斯(Paracelsus, 1493-1541)这首著名的诗就说明了这个事实。(这首诗我是在《爱的艺术》佛洛姆着(新潮文库, 志文出版社)第一次看到。大学读了这本书之后就迷上佛洛姆。他另外两本书《逃避自由》与《自我的追寻》我也强力推荐。)
参考文献“一无所知的人, 就一无所爱。一事不做的人, 就一事不懂。一事不懂的人, 就一无所值。那能够懂得的人, 就能够爱, 能够关怀, 能够了解...。对于一件事情越有所知, 爱越大。认为一切果实都像草莓一样同时成熟的人, 对于葡萄一无所知。”
——(Paracelsus, 1493-1541)
Carl B. Boyer, The History of the Calculus and Its ConceptualDevelopment, Dover Publications; 1st Edition edition, 1959. 中译本: 微积分概念发展史, 唐生译, 复旦大学出版社 (2011)。
R. Courant andH. Robbin, What is Mathematics？ An Elementary Approach to Ideas andMethods, 2nd edition, with additional material by Ian Stewart, OxfordUniversity Press, London, 1996。中译本: 数学是什么(上, 下) 容士毅译, 左岸文化出版 (2011)。
大二时就有老师推荐这本书, 虽然买了(一直收藏在书架上)也看了一些章节, 但始终没有感觉。其实最好的读书方法是找几个志同道合的朋友组织读书会一起看这些稍微硬一点的书。这本书我最喜欢的是标尺作图与极大极小值这两章并以此为蓝图做过几次的通俗演讲。我个人的见解是只要看到R. 库朗(R. Courant; 1888-1972)的书都应该收藏, 因为可以看到哥廷根伟大数学传统的背影。本书写作的背景正值新数学在美国兴盛之时, 数学越来越形式主义, 数学教学竟演变为空洞的解题训练, 为了抵抗这股逆流并有感于教师少得可怜的热情, 还有大量枯燥乏味、商业气息十足的教科书和无视智力的教学风气, 作者特别写了这本只需中学程度即可看懂的书来告诉人们《数学是什么?》虽然这本书可以看为通俗数学的书, 但我个人到现在仍不时拿起阅读并做为教学与写作的参考。
William Dunham, The Calculus Gallery: Masterpieces from Newton to Lebesgue, PrincetonUniversity Press, Priceton, New Jersey, 2005. 中译本: 微积分的历程:从牛顿到勒贝格, 李伯民, 汪军, 张怀勇译, 人民邮电出版社, 2010。
这本书基本上按年代介绍了数学史上出现的重要函数。这些函数在数学发展的每个关键时刻扮演着不可取代的角色, 也帮助读者对于数学分析有更深刻的体会。对于这个作者的认识是由他早期的著作而来, Willaim Dunham, Journey ThroughGenius, the great theorems of mathematics, John Wiley & Sons, Inc., (1990), Penguin Books, 1991. (中译本: 天才之旅, 伟大数学定理之创立;林杰斌译; 牛顿出版股份有限公司, 1995。) 这是一本我爱不释手的一本好书。大部分的数学史只有故事没有数学, 我觉得是非常不足的而且有掩耳盗铃之嫌。许多号称数学史家实际上对于数学的认知是有问题的。我心中理想的数学史家至少是 Willaim Dunham这样的作家: 数学里面有故事, 而讲故事时是有数学内涵。
Lars Garding, Encounter with Mathematics, Springer-Verlag, New York, Inc, 1977. 中译本: 数学概观, 胡作玄译, 数学名著译丛, 科学出版社, 2001。
第一次知道这本书是2009年暑假在中研院数学所与李志豪教授一起负责数学营的微分方程, 李老师选择其中一部分作为学生的研读资料。后来在书店看到中译本毫不考虑就买了两本, 从此这本书就成为我教学与写作的重要参考书籍。Lars Garding还有一本很好的书在此向读者强烈推荐"Some Points of Analysis and TheirHistory", AMS University Lecture Series Vol.11, 1997.
E. Hairer and G.Wanner, Analysis by Its History, UTM Reading in Mathematics, Springer-Verlag, 1995.
早期的数学书籍倾向于形式化, 它们花在形式化证明上的篇幅过多, 以至于对于启发与思考是没有帮助的。Springer-Verlag 这一套《Reading inMathematics》 给大学部学生数学教科书非常优雅简练, 如果妳/你不喜欢定义、定理、证明这种无血、无泪、没有感情之三段式论证的书, 那么我肯定妳/你会喜欢这一套丛书。第一次看到就被书名所吸引, 经过详细阅读越来越喜欢, 之后这本书就一直是我教学与写作最重要的参考书。
爱德华著。微积分的发展历史。凡异出版社, 2001。
I. M. Gelfand and M.Saul, Trigonometry, Birkhäuser, Boston-Basel-Berlin, 1999。
F. Klein, Elementary Mathematics from an Advanced Standpoint, Dover, 2004。中译本: 克莱因著, 高观点下的初等数学, Vol.1, 2, 3, 复旦大学出版社, 1989。
Eli Maor, e: The story of a number, Princeton University Press, Princeton, New Jersey, 1994。中译本:毛起来说 , 胡守仁译, 天下文化出版, 2000。
Eli Maor, Trigonometric Delights, Princeton University Press, Princeton, New Jersey, 1998。中译本: 毛起来说三角, 郑惟厚译, 天下文化出版, 2000。
Eli Maor, ToInfinity and Beyond: A Cultural History of the Infinite, PrincetonUniversity Press, Princeton, New Jersey, 1998。中译本: 毛起来说无限, 曹亮吉译, 天下文化出版, 2014。
Eli Maor 的书是我每个学期教学要学生读书报告的参考书目, 他所有的书都值得详细阅读。我的目的很简单就是鼓励学生在大学期间培养良好的阅读习惯并喜欢上阅读。我们都是这个教育体制(更精确而言是这个肤浅文化)下的受害者, 连读书也是功利的考虑。阅读不会让我们 发大财, 但一个不读书的民族绝对是没有未来的。
Barry Mazur, Imaginary Number, Farrar Strauss Giroux, New York, 2003.
Paul J. Nahin, An ImaginaryTale: The Story of , Princeton University Press, Princeton, New Jersey, 1998.
I.M. Yaglom, Felix Klein and Sophus Lie, Evolution of the Idea of Symmetry in the Nineteenth Century, Birkhäuser, Boston and Basel, 1988. 中译本: 对称的观念在 19 世纪的演变: Klein 和 Lie, 赵振江译, 高等教育出版社, 2016。
林琦焜。数, 十进制与 Cantor 集。数学传播季刊, 24(4), 76-86, 2000。
林琦焜。棣美弗定理与Euler公式。数学传播季刊, 27(4), 3-23, 2003。
蔡聪明。星空灿烂的数学 (I)(II) 托勒密如何编制弦表。数学传播季刊, 23(2), 57-67, 1999, 24(1), 43-55, 2000。
