作者: [美]比尔·伯林霍夫 费尔南多·辜维亚

本书介绍了数学从有记载的源头向最初的算术再向代数、几何（平面几何、立体几何、解析几何）、统计学、运筹学等领域不断深化发展的历史进程。按历史发展的顺序先后介绍了古希腊、古印度、古巴比伦、古代中国、中世纪欧洲和15至16世纪数学在顺应社会实践需要的基础上出现的深化、突破。在介绍数学历史的基础上，主要对30种基础数学概念进行了独立精彩的叙述，再现了毕达哥拉斯、欧几里德、亚里士多德等数学大师的风采，还特地穿插了女性数学家在数学发展中做出的巨大贡献，从各方面为读者还原了真实、有趣的数学历史。

上篇 数学简史

旨在提供从远古至21世纪初数学发展的全景概览，为后续的“数学概念小史”提供统一的历史背景。本篇强调，现代数学传统主要源自古代近东，经古希腊、印度、阿拉伯发展，中世纪及文艺复兴时期在欧洲扎根并成长为今日的形态。历史资料的丰富与匮乏影响着我们对不同时期的确信程度，许多流传的“标准故事”可能需要被重新审视。

1. 开端

• 起源模糊，文明共性：数学的起源无确切定论，但所有有文字记载的文明都拥有一定水平的数学知识。数字、形状的概念似乎是人类的共同遗产。
• 早期三大文明：
  • 埃及：主要文献为《莱因德纸草书》（约公元前1650年），是抄写员培训教材。数学用于实际问题（土地、税收、劳工计算），特点是：使用十进位（但非位值）记数系统；基本运算是加法和基于加倍的乘法；仅使用单位分数（分子为1），其他分数用单位分数之和表示；能解简单线性方程；知道如何近似计算面积和体积，但多为经验或近似方法（如圆面积近似）。
  • 巴比伦（美索不达米亚）：拥有丰富的泥板文献（主要为古巴比伦时期，约公元前1900-1600年）。数学用于管理，也发展出超越实用的问题以展示能力。特点是：使用六十进制位值记数法（1-59用符号重复表示，60以上靠位置区分）；大量使用数表（乘积、倒数、换算）；分数用六十进制表示；能解线性方程和导向二次方程的问题（可能用“割补几何”思想）；知道勾股定理实例及面积体积公式。存在娱乐性数学问题。后期数学失去活力，直到为天文学服务时复苏。六十进制分数影响至今（时间、角度分割）。
  • 中国：早期文献因材料易毁而稀缺，近年考古发现增多。最著名的是《算经十书》，尤其是《九章算术》（约公元前100年成书，刘徽263年注）。特点是：问题方法导向；包含比例、勾股定理应用；“割补术”（几何移动证明）；最重要成就是解线性方程组的方法，与高斯消元法本质相同。中国数学长期相对独立发展，通过丝绸之路可能影响印度。

2. 希腊数学

• 革命性贡献：将逻辑推理和证明置于数学中心，永久改变了数学的性质。希腊数学传统持续千年（约公元前600-公元400年），以使用希腊语为共同点。
• 早期与毕达哥拉斯学派：泰勒斯和毕达哥拉斯被尊为开创者，但事迹传奇化。毕达哥拉斯学派关注整数性质与比率，并做出了伟大发现：不可通约量（如正方形边与对角线之比不能表示为整数比），这撼动了基于比率的希腊数学基础，并促使数学向抽象逻辑发展。
• 柏拉图与亚里士多德：两者都高度尊崇数学。亚里士多德正式提出从基本假设出发进行证明的方法论，为欧几里得式公理体系奠定了哲学基础。
• 亚历山大时期与欧几里得：亚历山大成为数学中心。欧几里得《几何原本》（约公元前300年）是希腊数学的集大成者，它系统呈现了从定义、公设、公理出发，严密推导定理的演绎体系。涵盖平面与立体几何、数论、比率理论等，成为西方理性推理的典范。
• 其他成就与三大问题：阿基米德、阿波罗尼奥斯在曲线面积、圆锥曲线等方面成就斐然。希腊数学的核心动力之一是解决经典问题：化圆为方、三等分角、倍立方体。这些问题的尝试推动了数学发展（如利用圆锥曲线），但希腊人有时也怀疑仅用直尺圆规不可能解决。
• 天文学与三角学萌芽：为描述天体运动，球面几何和三角学开始发展。托勒密的《天文学大成》（Almagest）集古代天文学之大成，使用了基于巴比伦六十进制的角度度量。
• 丢番图与代数萌芽：其《算术》专注数论问题，求解方程时首次用符号代表未知数及其幂，寻求有理数解，预示了后来的代数符号发展。
• 后期与评论传统：帕普斯的《数学汇编》保存了早期资料，讨论“解析法”。后期数学家多为评注者，如希帕蒂娅。希腊“亚科学”传统（日常实用数学、娱乐数学）与“科学”传统并行。

3. 同一时期的印度

• 独立发展：在欧洲数学沉寂时期，印度数学繁荣发展，受天文学驱动，并有娱乐成分。主要文献用梵文写成，风格复杂。
• 核心发明：十进制位值记数法：在公元600年前，印度人使用0作为占位符，并发展了基于10的位值记数法及运算规则。这一系统经阿拉伯传向世界。
• 三角学贡献：将希腊的“弦”概念改为“半弦”（正弦），使三角学更简便。正弦最初是特定圆中的线段长度，非抽象比值。
• 代数与数论：能解二次方程（用文字描述公式），处理多变量方程（寻求整数解，如佩尔方程），并发展了复杂的近似计算方法。但著作中缺乏证明或推导过程。

4. 阿拉伯数学

• 翻译与融合：8-9世纪，阿拔斯王朝在巴格达系统地翻译希腊与印度学术著作，融合二者精华，创造了繁荣的阿拉伯数学传统（9-14世纪），使用阿拉伯语。
• 阿尔-花剌子模的奠基：他的著作至关重要。一本解释印度十进制算术，促进了该系统的传播；另一本《还原与对消的规则》（al-jabr）系统讨论二次方程解法，“algebra”一词即源于此。其解法有几何证明，体现了美索不达米亚影响。
• 代数发展：代数成为核心，用文字表达方程，发展了多项式运算和方程解法。欧玛尔·海亚姆系统研究用圆锥曲线交点解三次方程，但未找到数值解。
• 几何与三角学：深入研究欧几里得平行公设，发展球面三角学，用于天文学。阿尔-卡西发明求n次方根的近似方法。
• 组合学与艺术：知道“帕斯卡三角形”前几行及其组合解释。由于宗教禁止偶像，发展了复杂装饰图案，蕴含周期性和对称性数学思想，但工匠未将其理论化。

5. 中世纪的欧洲

• 知识引进：9世纪起，西欧通过西班牙的翻译运动，将大量阿拉伯语数学、哲学著作（包括希腊著作的阿拉伯译本）译为拉丁语，引入欧洲。如阿尔-花剌子模的代数著作于12世纪被翻译。
• 大学兴起与思想萌芽：11-12世纪，教会学校促成了大学（博洛尼亚、巴黎等）的建立。对亚里士多德著作的研习引发了对运动学（瞬时速度、均匀加速）的思考，尼科尔·奥雷斯梅用图形表示变量，预见了函数图象。
• 斐波那契与商业计算：列奥纳多·斐波那契（比萨的列奥纳多）在《计算之书》（1202年）中引入阿拉伯记数法和算术，并包含大量问题（汇率、利润等），为意大利商业计算传统奠基。
• 意大利算术传统：后续“计算师傅”们用意大利语撰写算术与代数著作，满足商人需求。卢卡·帕乔利的《算本集成》（1494年）是这一传统顶峰，涵盖广泛实用数学，并成为最早印刷的数学书籍之一。

6. 15和16世纪

• 全球交流与知识中心转移：欧洲航海扩张促进了全球交流，欧洲数学开始向外传播，逐渐成为世界性语言。三角学因航海和占星术需求而成为焦点。
• 三角学发展：雷乔蒙塔努斯等撰写三角学专著，编造各种三角函数表，发展公式，焦点在球面三角学。此时正弦仍被视为特定圆中的线段长度。
• 透视法与几何：文艺复兴艺术家（如杜勒）对透视画法的探索，实质上涉及了射影几何的思想，杜勒还研究圆锥曲线。
• 代数兴趣增长：随着商人阶级崛起，计算需求增加，推动对代数的研究。

7. 代数时代

• 符号代数的演进：从斐波那契的修辞代数，到16世纪用缩写（如p, m, co表示物），但仍无标准化符号。
• 三次方程的突破与争议：意大利数学家（费罗、塔塔利亚）发现了某些三次方程的解法并保密。卡尔达诺打破承诺，在其《大衍术》（1545年）中公开了完整解法及学生费拉里的一般四次方程解法，引发与塔塔利亚的纠纷。
• 复数的萌芽：用卡尔达诺公式解某些三次方程会导出负数平方根，而方程有实数解。邦贝利在《代数学》中开创了处理这类“负数平方根”的方法，是为复数理论的开端，尽管他可能尚未将其视为“数”。
• 代数的几何联系与丢番图影响：邦贝利强调方程的几何解释，并从丢番图著作中吸收数论问题。
• 符号的飞跃：韦达与笛卡尔：韦达首次用字母同时表示已知数和未知数，使方程一般化成为可能，并提升代数地位，称其源自希腊“解析法”。笛卡尔在《几何学》（1637年）中最终确立了现代代数符号：用x, y, z表未知量，a, b, c表已知量；用指数表幂；将数字与几何线段长度统一，解除维度顾虑。
• 新的代数问题：费马提出“关于数字的问题”（即整数解方程），研究类似丢番图但更深入的问题，发展出证明否定命题（某方程无整数解）的方法，但由于不出版证明，其工作后来需被重新发现。

8. 微积分与应用数学

• 运动问题与数学工具：16-17世纪，科学家（伽利略、开普勒等）用数学描述宇宙，引发了关于瞬时速度、曲线切线、面积体积的数学问题，中世纪学者已有讨论，但缺乏一般方法。
• 不可分量与初步方法：卡瓦列里等发展“不可分量原理”解决面积体积问题，费马、笛卡尔等也有类似研究，但属特例。
• 微积分的发明：牛顿和莱布尼茨独立发现通用方法。牛顿用“流量”与“流数”；莱布尼茨用“无穷小”和“微分”，并强调算法规则，称之为“微积分”。
• 微积分的传播与应用：18世纪成为数学主题。伯努利家族、罗必达（出版第一本微积分教科书）、玛利亚·阿涅西（撰写综合教科书）等人推广并应用。夏德莱夫人将牛顿力学与莱布尼茨微积分引入法国。欧拉是集大成者，将微积分发展为强大工具，广泛应用于各领域，创立函数概念，引进众多现代符号（π, e, sin(θ)为函数），系统整理数论、代数、几何，著作浩繁。
• 基础的争议：贝克莱主教在《分析学家》中尖锐批评微积分中“无穷小”定义的模糊与矛盾，指出其基础不稳定。达朗贝尔等数学家开始寻求更严密的基础，但直到19世纪才取得根本进展。

9. 严谨性和专业精神

• 社会变革与严谨性要求：法国大革命后的教育改革（如巴黎综合理工学院）要求清晰、精确的教学，推动了对微积分基础的严谨化。
• 高斯与严谨风格：高斯以精准、节省、不言自明的风格著称，其《算术研究》（1801年）标志数论新纪元，他统一纯数学与应用数学。
• 柯西与分析学的严格化：柯西在《综合理工学院分析课程》中首次给出了连续、收敛的精确定义及导数、积分的定义，强调微积分基本定理，将分析代数化，超越几何直观。
• 魏尔斯特拉斯与ε-δ语言：魏尔斯特拉斯进一步使微积分基于纯代数与算术，发明了清晰的ε-δ极限语言，彻底消除了神秘感，使分析基础奠定于实数理论之上。戴德金、皮亚诺研究算术基础，康托尔创立集合论。
• 代数的革命：伽罗瓦理论：从寻找五次方程公式，到理解为何没有公式。阿贝尔证明了一般五次方程无公式解。伽罗瓦引入群论，通过分析根的排列群来研究方程可解性，开启了抽象代数时代。
• 几何的革命：非欧几何：高斯、罗巴切夫斯基、黎曼发现非欧几里得几何，表明几何学有多种相容选择，不再只是描述现实。黎曼的几何后来成为爱因斯坦广义相对论的数学基础。
• 应用数学与女性贡献：傅里叶为热传导发明傅里叶级数；索菲·热尔曼克服社会阻碍，在数论和弹性理论（为埃菲尔铁塔建造奠基）做出贡献。
• 统一与专业化：克莱因用变换群统一不同几何；庞加莱在众多领域贡献卓越，预见了混沌理论。数学日益专业化，学术职位、期刊、会议、国际数学家大会（ICM）成为常态。

10. 抽象、计算机和新应用

• 爆炸性发展与抽象统一：20世纪数学知识急剧增长，核心趋势是抽象化，统一不同领域，解决古老问题，催生新领域（抽象代数、拓扑、泛函分析）。艾米·诺特和阿廷将抽象代数结构化。
• 布尔巴基学派：法国数学家团体以尼古拉·布尔巴基为笔名，出版《数学原本》，以极度抽象、严谨的风格系统总结数学基础，影响深远但后期其影响减弱。
• 数学基础危机：关于数学确定性的争论：形式主义（希尔伯特）试图证明数学无矛盾；直觉主义（布劳威尔）拒绝无限集和排中律。哥德尔的不完全性定理证明，形式系统无法证明自身无矛盾性，给基础研究打击，但其他数学家继续工作。
• 计算机革命：
  1. 实验数学：计算机用于测试猜想、发现新结果。
  2. 模拟与可视化：用数值模拟复杂现象，绘制图形（如分形），改变应用与纯数学。
  3. 计算机代数系统：能执行符号运算，促使教学重点转向概念理解。
• 应用领域的爆炸：统计学（源于生物学）普及；数学物理使用概率、黎曼几何、群论；结晶学、拓扑学应用于化学与生物学；运筹学（一战诞生）用于优化；密码学（二战）发展；线性规划、计算生物学、信号处理等新应用不断涌现。

11. 今日数学

• 黄金时代与重大问题：20世纪是数学的黄金时代。希尔伯特23问题（1900年）和克莱研究所千禧年问题（2000年）激励研究。庞加莱猜想（三维流形分类）由佩雷尔曼证明（2002年）；开普勒猜想（球体最密堆积）被黑尔斯借助计算机证明（1998年）；费马最后定理被安德鲁·怀尔斯证明（1994年）。
• 数论的新进展：格林和陶哲轩证明存在任意长的素数等差数列；张益唐证明存在无穷多对素数，其差小于固定有限值（后优化至246）。公钥密码学（如RSA算法）的发明将数论（大整数分解困难性）转化为关键安全技术。
• 广泛的交叉与应用：数学物理（弦理论）、计算生物学、金融数学、工程等应用空前广泛。数学是现代工业、技术（飞机设计、基因研究、通信网络等）的核心创新动力。
• 内在的统一与外在的矛盾：数学内部高度抽象和统一；但外部看来，它既是深奥难懂的学科，又是现代繁荣的关键，导致数学教育面临两难：是进行严格传统训练培养专家，还是进行广泛素养教育培养公民。乐观者认为这种张力可推动教育创新。

12. 专题

• 本节提供研究项目方向，鼓励从多角度探索数学史：
  • 研究特定数学家的生平、著作与影响。
  • 将数学事件置于更广阔的世界历史背景下考察。
  • 探讨不同历史时期对“纯数学”与“应用数学”的划分观念。
  • 比较不同文明（如埃及与美索不达米亚）的数学传统。
  • 研究民族数学（非西方文化的数学思想）。
  • 深入研究中国或印度的数学史。
  • 探讨欧几里得《几何原本》中图表与证明的关系。
  • 分析西方数学传统受犹太-基督文化的可能影响。
  • 研究数学与航海的联系。
  • 了解伯努利数学家族。
  • 研究伯克利对代数的看法。
  • 探讨克莱研究所的千禧年问题。
  • 分析罗素、爱因斯坦、布洛克关于数学本质的名言。
  • 探讨性别视角下的数学发展可能性。
  • 研究拉马努金的生平。
  • 了解非裔美国数学家的历史。
  • 研究中世纪大学的数学教育。
  • 追溯欧几里得几何在学校课程中的历史与影响。
  • 调查所在大学早期的数学教学。
  • 了解美国数学专业学会（AMS、MAA、NCTM、SIAM）的历史与分工。
  • 了解国际数学家大会（ICM）的历史。
  • 研究数学竞赛的角色。

下篇 数学概念小史

1. 保持记数：写整数

本章讲述了人类书写数字系统长达数千年的演变史，核心是不同文明为解决“如何有效记录数量”这一问题而发展的不同记数体系。

• 起源与原始方法：最早的记数方法是“刻痕记数”，每个物体对应一个标记，但表示大数时冗长低效。
• 古埃及象形数字：基于10的分组，使用不同的象形符号（如1的竖线，10的弧线）重复组合表示数字，符号顺序不影响总和。是加法系统，非位值制。后续发展出更简洁的“僧侣体”系统，为每个1-9的倍数和10的更高幂次创建特定符号。
• 美索不达米亚（巴比伦）六十进制系统：使用两个基本楔形符号（表示1和10）组合表示1-59。从右向左，每个符号组的值依次乘以60的幂次（1，60，60²…），是位置值系统。但早期没有零的占位符，符号组间空格大小不一，易产生歧义。
• 玛雅二十进制系统：使用点（1）和线（5）表示1-19，也是位值制，但主要基于20（第三位例外，用18×20以便于历法计算）。发明了类似贝壳的占位符符号，解决了巴比伦系统的间隔歧义问题，但对西方数学无影响。
• 希腊字母数字系统：使用字母表中的字母代表数字，9个字母表示1-9的倍数，9个表示10-90的倍数，9个表示100-900的倍数，超过1000需特殊标记。系统复杂，记忆负担重。
• 罗马数字系统：基于7个基本符号（I, V, X, L, C, D, M），采用加法原则，后引入减法规则（如IV=4, CM=900）以提高效率。无位值概念，不适合笔算，计算依赖算盘或计数板。
• 印度-阿拉伯十进制位值系统：印度人发明，经阿拉伯人传入欧洲。核心特征：使用0-9十个符号，基于10的幂次，符号位置决定其值（位值制），0作为占位符不可或缺。它紧凑、高效，使得笔算成为可能，并最终取代了其他系统。其成功与廉价纸张、印刷术及商业计算需求有关。现代计算器在某种意义上回归了“记录”与“计算”分离的两系统状态。

2. 读写算法：基本符号

本章聚焦于算术运算符号（+，-，=，×，÷）从修辞文字描述到现代通用符号的漫长、不统一乃至混乱的演变过程。

• 修辞代数时代：古希腊及中世纪，算术和代数完全用文字书写，无符号。
• 符号的萌芽与早期多样性：文艺复兴时期，缩写词开始出现，但各国差异巨大。
  • 加号与减号：1489年魏德曼首次使用“+”（最初也表“和”）、“-”（最初也表分隔标记）于商业算术；1557年雷科德在英语书中引入“+”“-”。
  • 等号：1557年雷科德引入“＝”（比作平行线，最相等），但长期未普及。笛卡尔等曾用“∝”或其他符号表示相等，欧洲大陆常使用“如……”的缩写。莱布尼茨和欧拉的采用使“＝”最终胜出。
  • 乘号：至少四种符号并存：并列（如3a）、“×”（奥特雷德推广）、点乘（莱布尼茨推广）、星号“*”（17世纪德国短暂使用，现代计算机中常用）。
  • 除号：长期符号混乱。“÷”最初在欧洲常表示减法，后经瑞士人拉恩的代数书及其英译本，在英国及英语国家成为除法符号；欧洲大陆则普遍采用莱布尼茨倡导的冒号“:”表示除法，此地域差异持续至20世纪。分数表示（如5/8或横线下写）也是除法的主要形式。
• 分组符号：早期用圆点或横线标记，18世纪初，括号“()”在莱布尼茨、欧拉等人著作影响下逐渐成为标准。
• 结论：算术符号的标准化是漫长且充满歧义的过程，并非一蹴而就。清晰的符号体系对数学思想的发展和传播至关重要。

3. “无”成为一个数字：“零”的故事

本章讲述了“零”从占位符演变为一个具有数学地位的数字的深刻历史进程，这是代数发展的关键前提。

• 巴比伦：作为占位符的零：公元前4世纪左右，巴比伦人开始使用类似句末的圆点符号来标记位值系统中空缺的位置，仅解决书写歧义，未将其视为数。
• 印度：零概念的飞跃：9世纪左右，印度数学家（如玛哈维拉）开始将“零”视为一个独立的、可参与运算的数字，定义了零的加、减、乘法规则（对除法理解有误）。这是“从无到数”的概念革命。
• 向西方的传播：9世纪，阿尔-花剌子模的算术与代数著作传入欧洲，书中将零解释为占位符，未接受其数字地位。该著作是欧洲了解印度-阿拉伯数字系统的主源，其书名衍生出“算法”一词。
• 欧洲的缓慢接受：欧洲长期将零仅视为占位符。16-17世纪数学家仍不愿接受零为方程的根。
• 零的代数地位提升：17世纪，哈里奥特和笛卡尔提出将方程整理为 [多项式] = 0 的形式（哈里奥特原理），利用了“零乘积性质”（若乘积为零，则至少一因子为零），极大简化了方程求解，并将零提升为重要代数工具。
• 零在现代数学中的核心地位：19世纪抽象代数中，零成为环与域中“加法恒等元”的原型，其性质（加零不变、乘零为零）成为代数结构的基本定义属性。

4. 把数掰开了：书写分数

本章追溯了人类表示“部分”的各种方法，从单位分数到现代分数和小数的演变。

• 单位分数法：最早且持久的方法，仅使用分子为1的分数（如“五分之一”）。其他分数表示为单位分数之和（如“五分之三”=“二分之一加十分之一”）。埃及人用特殊符号表示单位分数，并有乘以2的单位分数表。
• 六十进制分数：美索不达米亚人将六十进制扩展到分数，类似今天的十进制小数，但用60的幂次。早期无明确分隔符，易歧义。
• 希腊罗马传统：继承了埃及的单位分数法，并广泛用于日常生活算术中，直至中世纪。斐波那契的《计算之书》也大量使用单位分数。
• “部分的部分”方法：通过连续取部分来表示分数（如“三分之一的五分之二”），17世纪俄国仍在使用。
• 中国分数方法：《九章算术》中出现了与现代非常相似的分数表示法——分子写在分母之上，并发展了通分、加法、乘法、除法）规则。其除法通过通分转化为分子除以分子）完成。
• 分子分母的现代形式：约7世纪，印度人开始将数字上下书写，表示分子和分母。12世纪，阿拉伯人加入横线。15-16世纪印刷时横线偶尔省略，后恢复。斜杠“/”直到19世纪才出现。
• 十进制小数的发明：1585年，西蒙·斯蒂文在《论十进制》中系统阐述了十进制小数，并展示其可用整数算法进行运算，极大便利了计算。小数点的符号（句号、逗号等）长期不统一，导致地区差异至今存在。
• 百分比：源于15-16世纪商业算术中用“每百”表示利率的习惯，符号从“每100”的手写体演变为“0/0”，最终简化为“%”。
• 总结：现代分数表示法融合了历史传统——分子分母形式源于印度，小数源于斯蒂文，百分比源于商业。不同的表示法（常见分数、小数、百分比）各有其适用场景，反映了历史的积淀。

5. 比什么都少：负数

本章讲述了负数从被强烈抵制到最终被接纳为数学体系中一等公民的漫长曲折历程。

• 早期出现但遭拒：负数在方程求解中早已作为答案或系数出现（如丢番图），但长期被视为荒谬或问题提错的信号。中国数学在运算中处理负系数，但未赋予其独立数字地位。印度数学家（如婆罗摩笈多）最早将负数视为“债务”，并制定其运算规则，但仍对负根保持怀疑。
• 欧洲的长期抵制：由于数字源自计数与测量，“比零少”的概念在逻辑上难以接受。从阿拉伯传入的代数仅关注正数解。16-17世纪，欧洲著名数学家（如卡尔达诺、韦达、史蒂费尔、笛卡尔）将负根称为“虚解”、“假根”，笛卡尔更是将涉及负数平方根的解称为“想象的”。
• 概念上的困惑：即使开始使用负数进行运算，数学家们仍难以理解其本质。阿尔诺指出-1<1导致比例荒谬；沃利斯则声称负数大于无穷大。牛顿将负数定义为“小于零”的量，这并未解决困惑。
• 逐渐接受：18世纪，负数的实用性使其被广泛应用，欧拉等人在著作中使用负数，但对其运算的解释仍存形式主义。法国《百科全书》勉强承认其运算法则有效，但对其哲学性质存疑。
• 最终合法化：19世纪，随着代数方程研究转向更抽象的代数系统（群、环、域），负数作为“正数的加法逆元”获得了本质性的定义，其合法性不再依赖于直观理解，而是源于其在代数结构中的关键角色。这种抽象化反过来促进了负数在现实（如温度、债务）中的真正应用。

6. 十倍和十分之一：公制计量

本章讲述了公制计量系统如何为解决传统计量单位的混乱而诞生，并逐步成为国际标准。

• 传统计量的问题：早期测量单位基于人体部位（如码=鼻尖到指尖），缺乏统一标准，换算复杂。
• 公制系统的诞生：1790年，法国国民议会委托科学院设计新系统。科学院否定了基于钟摆的方案，采用基于地球子午线长度的方案——将从赤道到北极的海平面子午线长度的一千万分之一定义为“米”。该系统核心是十进制结构，所有单位均为基本单位乘以10的幂次，并用词缀（如 kilo- 百、 centi- 百）表示。
• 质量单位的定义：最初以克（1立方厘米水在冰点时的质量）为基本单位，后改为千克（1立方分米纯水的质量）为基本单位。升是1立方分米容积。
• 角度单位的选择：测量师引入了梯度（直角百分之一，但科学院最终选择弧度为角度公制单位。

公制的实施与国际化：法国1795年正式采用，但公众接受缓慢。拿破仑曾废除，1840年恢复为强制制度。1875年“米制公约”签署，开启国际化。1960年，国际单位制（SI）建立，以更精确的物理定义（如光速定义米）替换了实物标准。美国虽签署公约，但至今未全面改用公制，曾因此导致重大航天事故。

7. 测量圆：π的故事

本章回顾了人类对圆周率π的探索历史，从近似计算到认识到其无理性，以及计算到更多位数的动力。

• 古代近似值：各文明独立得出圆周长与直径之比为常数，并给出近似值：埃及《莱因德纸草书》约256/81≈3.1605；阿基米德用穷竭法给出223/71<π<22/7；托勒密用377/120≈3.14167；中国祖冲之355/113≈3.1415929；印度阿耶波多62832/20000≈3.1416。
• 符号的采用：1706年威廉·琼斯首次用希腊字母π表示该常数，18世纪30-40年代欧拉采用后普及。
• 计算位数的竞赛：随着算法和计算工具进步，π的小数位数被不断扩展（如尚克斯手工算到707位，但有误；1949年计算机首次计算；2002年算到超过1.2万亿位）。
• 兰伯特的突破：1765年，兰伯特证明π是无理数，意味着它不能表示为整数之比，其小数部分无限且不循环。
• 计算π的意义：实际计算中只需几位小数即可。计算更多位数主要源于对数字本身的探索（小数位是否有规律、数字分布频率等）、检验计算方法和计算机性能，以及人类对未知挑战的天然好奇心。

8. 解未知数的艺术：用符号书写代数式

本章详细梳理了代数从修辞文字表述到现代符号体系的演变过程，强调符号如何塑造思想。

• 修辞代数：早期代数（如阿尔-花剌子模）完全用文字描述方程和运算，未知量称为“某物”。
• 缩写代数：文艺复兴时期，欧洲数学家使用缩写词（如 co=cosa未知数， ce=平方， cu=立方），但符号不统一、不连贯。
• 关键符号的演进：
  • 未知量：从“某物”到各种特定符号（如德国cossists用特定符号表示不同次幂），再到维特革命性地用字母表示未知量（元音）和已知量（辅音），实现了代数的一般性。
  • 指数：从几何化表述（平方、立方）到朱克、邦贝里、斯特文尝试在系数上标注指数，最终笛卡尔采用上标小数字（如x², x³）的形式，解除了幂与几何维度的捆绑，为更高次幂和负指数、分数指数铺平道路。
  • 等式与运算：如第2章所述，这些符号在17世纪逐渐定型，笛卡尔的著作（如用x,y,z表示未知，a,b,c表示已知）确立了现代代数符号的基本规范。
• 符号的促进作用：好的符号不仅是速记，更能揭示模式、促进抽象和推广。符号标准化是代数从“艺术”走向“科学”的关键一步。

9. 线性思维：解一次方程

本章介绍了历史上求解一次（线性）方程的两种主要非符号化方法，并阐明其数学原理。

• 试位法：古埃及《莱因德纸草书》中使用。针对 Ax = B 形式方程，先猜测一个易于计算的值 x'，计算出对应的 B' = Ax'，则正确答案为 x = x' * (B/B')。其原理在于线性函数的输入按比例缩放时，输出也按相同比例缩放。
• 双设法：由阿拉伯数学家发明，适用于更一般的 Ax + C = B 形式。通过两次猜测 x₁ 和 x₂，得到两个误差 E₁ = Ax₁ + C - B， E₂ = Ax₂ + C - B（带符号，即与目标值的差）。正确解为 x = (x₂E₁ - x₁E₂)/(E₁ - E₂)。其几何原理是：线性方程对应一条直线，两次猜测得到直线上两点，通过比例关系可求得使y=B的x值。
• 历史地位：这些方法在代数符号普及前长期使用，甚至在19世纪算术书中仍有教授。它们基于比例的直观理解，避免了负数和代数运算的复杂性，体现了早期数学“线性思维”的核心——输入变化与输出变化成正比。

10. 平方与物：一元二次方程式

本章以阿尔-花剌子模的解法为核心，讲述二次方程求解的历史及其几何证明。

• 阿尔-花剌子模的文字解法：在其代数著作中，将二次方程分类（如“平方加物等于数”对应x²+bx=c）。针对 x² + 10x = 39 的解法是：将根的数目（10）减半得5；自乘得25；加到39得64；取平方根8；减去半根5，得3。这对应现代配方：x² + bx + (b/2)² = c + (b/2)²，得 (x + b/2)² = c + (b²/4)， x = √(c + b²/4) - b/2。
• 几何证明：用面积图解释“配方”过程：将“平方”和“十个平方的根”分解为边长x的正方形和两边为10, x的矩形；将矩形对半分并重新排列，补上边长为5的小正方形（面积25），形成边长为x+5的大正方形，其面积应为39+25=64，故边长为8，从而x=3。
• 后来的发展：长期数学家延续阿尔-花剌子模的分类和几何方法。17世纪，哈里奥特和笛卡尔提出将所有项移到方程一侧（形如ax²+bx+c=0）的“哈里奥特原理”，统一了各种形式，并允许考虑负系数和负根。最终导出包含±的二次方程求根公式。
• 核心进步：从具体的几何面积解释到一般的代数符号公式，体现了数学抽象化的进程。几何证明提供了直观，而符号公式则提供了通用工具。

11. 文艺复兴时期意大利的传奇：解三次方程式

几何问题的代数转化：古希腊的角三等分等构造问题，在三角学发展后，被转化为求解三次方程（如 4x³ – 3x – a = 0）。阿拉伯数学家（如欧玛尔·海亚姆）也用几何方法（如圆锥曲线相交）寻找三次方程的解，但未能求得代数（数值）解。

意大利的突破与保密传统：16世纪初，西皮奥内·德尔·费罗和尼科洛·丰塔纳（塔塔利亚）各自独立发现了部分三次方程（如 x³ + cx = d）的代数解法。在当时的学术竞争环境下，他们对自己的发现严格保密，以在公开挑战赛中占据优势。

卡尔达诺的公开与完善：吉罗拉莫·卡尔达诺通过承诺保密，从塔塔利亚处获得了部分解法。他随后将其推广至所有类型的三次方程，并在其著作《大技术》（1545年）中公开发表了完整的求解方法（后称“卡尔达诺公式”），同时包含了其学生费拉里求解四次方程的方法。此举引发塔塔利亚的强烈抗议，但卡尔达诺以费罗为先发现者为由辩护。

复数的初步登场：在应用卡尔达诺公式解方程 x³ = 15x + 4 时，会出现包含负数平方根的中间表达式，尽管最终结果为实数（x=4）。卡尔达诺对此困惑并刻意回避。拉法耶尔·邦贝利在《代数学》中直面此问题，他将负数的平方根视为一种“新类型的量”，并建立了它们的运算规则，从而能够处理这类情形，这成为复数理论的开端。

向更高次的探索与困境：三次和四次方程的成功求解，促使数学家转向五次方程。然而，经过长期努力未果，最终在19世纪由阿贝尔和伽罗瓦证明了一般五次及以上代数方程不存在根式解，这根本性地改变了代数研究的方向，推动了群论和抽象代数的发展。

12. 令人愉快的事：勾股定理

古老性与普遍性：勾股定理（a² + b² = c²）是人类最早发现的数学定理之一，古巴比伦、埃及、印度（《绳法经》）、中国（《周髀算经》）和古希腊等文明均独立发现或使用该定理。许多古代文明还掌握了生成毕达哥拉斯三元数（如3,4,5）的方法。

毕达哥拉斯与早期证明：希腊传统将此定理归功于毕达哥拉斯，但证据不足。早期的证明可能基于几何拼图，如“正方形中的正方形”法（中国早期文献可能含有此法）：将四个全等直角三角形排列成一个大正方形，通过面积等式关系证明定理。9世纪塔比·伊本·库拉也有一种精妙的几何拼贴证明。

欧几里得的严格证明与推广：欧几里得在《几何原本》第一卷命题47中给出了著名的证明。该证明巧妙地从直角顶点向斜边作垂线，将斜边上的正方形分为两个矩形，并证明每个矩形面积分别等于两条直角边上正方形的面积，从而完成证明。他在第六卷命题31中进一步推广：以直角三角形三边为边所作的任意相似图形的面积，斜边上的图形等于两直角边上图形之和。欧几里得还证明了其逆定理。

历史上的其他证明：勾股定理吸引了无数后人寻找新证明，包括美国总统加菲尔德的一种证明。19世纪发现的一种极为简洁的证明基于相似三角形：从直角顶点向斜边作垂线，形成三个相似三角形，其面积关系直接给出定理。

重要性与现代意义：该定理是初等几何的基石，在测量和构造中（如利用3-4-5三角形确保直角）应用广泛。在解析几何中，它直接导出两点间的距离公式。在更深层次上，它刻画了欧几里得空间的特征——如果距离定义不同（如球面），则定理不成立，这导向了非欧几何的思考。

13. 了不起的证明：费马最后定理

费马的发现与笔记：皮埃尔·德·费马在阅读丢番图《算术》时，在页边写下著名注释：将一个立方数分成两个立方数、或一个四次幂分成两个四次幂，乃至任何高于二次的幂分成两个同次幂之和，是不可能的。他声称发现了一个极妙的证明，但边栏太窄写不下。这便是“费马最后定理”的由来。

18世纪的初步进展：欧拉研究了费马的数论遗产，并证明了n=3和n=4的情形（n=4是费马自己隐含证明的）。他发现不同n的证明方法差异很大，难以统一推广。

19世纪的系统探索：

1. 索菲·热尔曼：将问题分为“第一类情形”（x,y,z不被指数n整除）和“第二类情形”。她证明，若n和2n+1都是素数，则第一类情形成立。她的方法首次给出了费马定理的一般性结果。
2. 勒让德、狄利克莱、拉梅：勒让德完成了n=5的证明；狄利克莱独立完成了部分；拉梅完成了n=7的证明。
3. 库默尔的突破：拉梅曾试图用复数分解式 xn+yn 来寻找通用证明，但库默尔指出，对于某些n，这些复数因子不具有唯一分解性质，拉梅的证明无效。库默尔由此深入研究，引入了“理想数”的概念和“规则素数”理论，并证明对所有规则素数指数n，费马定理成立。这是巨大的进步，但仍未涵盖所有素数。

20世纪至最终证明：在库默尔之后很长一段时间，一般性证明进展缓慢。直到20世纪后期，数学家将费马定理与代数几何中的“莫德尔猜想”和“谷山-志村猜想”联系起来。肯内斯·里贝特证明了：若谷山-志村猜想成立，则费马最后定理成立。安德鲁·怀尔斯在秘密工作七年后，于1993年宣布他证明了谷山-志村猜想的足够强形式，从而证明了费马最后定理。尽管初期证明被发现有缺陷，但怀尔斯与理查德·泰勒合作，在1994年成功修补了证明。至此，这个悬殊350多年的难题终于被解决。

14. 真正的美：欧几里得平面几何

希腊几何的理性化开端：泰勒斯（约公元前6世纪）被认为是西方将几何从经验知识提升为基于演绎推理的逻辑学科的第一人。毕达哥拉斯学派继续发展了几何的证明思想。柏拉图和亚里士多德确立了数学需要从基本假设出发进行证明的范式。

《几何原本》的集大成：欧几里得（约公元前300年）编写的《几何原本》是希腊数学成就的系统总结。全书共13卷，涵盖平面几何、立体几何、比例理论和数论，共465个命题。其核心风格是从定义、公设和公理出发，通过逻辑演绎逐步推出所有结论，是公理化方法的典范。

公理体系的核心：第一卷以五个公设（基本假设）和五个公理（普遍常识）为基础。前四个公设看似直观，涉及作图（连点成线、延伸线段、画圆、直角相等）。第五公设（平行公设）则不那么显然：若一条直线与两直线相交，使某侧内角和小于两直角，则两直线在该侧相交。这一公设成为后世争论的焦点。

内容与结构：第一至四卷和第六卷论述平面几何，包括三角形、平行四边形、圆的性质和命题，其中最著名的是勾股定理（I.47）及其逆（I.48）。第五卷发展了欧多克索斯的比例理论，处理了不可通约量（无理量）的问题。第七至九卷研究数论。第十卷分类讨论不可公度量。第十一至十三卷讨论立体几何，并在第十三卷完成了正多面体的构造（柏拉图立体）。

影响与地位：《几何原本》在两千多年中被奉为逻辑严谨和推理清晰的典范，是数学教育的基础教材。其公理化结构对整个西方数学和哲学思维产生了深远影响，尽管后来发现其体系并非完全无懈可击（如公理的独立性、完备性）。

15. 完美的形状：柏拉图立体

柏拉图的哲学关联：在柏拉图对话录《蒂迈欧篇》中，他将正四面体、正八面体、正二十面体、正六面体和正十二面体分别与火、气、水、土和整个宇宙（以太）的元素联系起来，因此这五种正多面体被称为“柏拉图立体”。

欧几里得的唯一性证明：欧几里得在《几何原本》最后（第13卷）证明了，只存在这五种正多面体。其证明依赖于每个正多面体面与面之间交角的和（二面角和或立体角）必须小于360度这一几何约束，从而排除了其他可能性。

古代已知与后世发展：古代毕达哥拉斯学派可能已知晓正四面体、正六面体和正八面体。泰阿泰德（Theaetetus）通常被认为是第一个系统研究并发现所有五种正多面体的人。在近两千年后的欧拉，发现了关于多面体的基本拓扑公式 V – E + F = 2，从另一个角度限制了正多面体的存在。开普勒在《宇宙的神秘》中试图用柏拉图立体来解释行星轨道的间距。

数学意义：柏拉图立体是拓扑学与群论中“高度对称”物体的早期范例。它们的对称性群是重要的离散群。对它们的唯一性证明是古代数学的杰出成就，展现了希腊几何学的力量。

16. 用数字表示形状：解析几何

古义与笛卡尔、费马的独立创立：解析几何（或坐标几何）的诞生标志着代数与几何的划时代融合。皮埃尔·德·费马在研究阿波罗尼乌斯的圆锥曲线时，发展出用方程描述曲线轨迹的方法（约1636年）。几乎同时，勒内·笛卡尔在《几何学》（1637年，作为《方法导论》附录）中更系统化地阐述了这一思想。

笛卡尔的革命性贡献：

1. 代数-几何对应：建立坐标系，将点与数对对应，将曲线与方程对应。
2. 统一几何与代数：几何问题（如求交点、切线）可转化为代数问题（解方程组、求极限），反之亦然。
3. 打破维度约束：允许将 x², x³ 等不再束缚于几何面积、体积，而是作为纯代数量处理。
4. 符号简化：沿用并推广了更清晰的代数符号（如用末尾字母表未知数，开头字母表已知数，指数写法）。

费马的先驱性工作：费马的研究更侧重于轨迹方程的建立，其方法更接近现代形式。他解决了一些传统的希腊几何难题，如构造满足特定条件的曲线。

影响：解析几何为微积分的诞生提供了关键的语言和工具（变量、函数）。它彻底改变了几何研究的面貌，使得复杂图形的性质可以通过代数计算来研究，极大地拓展了数学研究的范围，并为近代物理学提供了数学模型。

17. 不可能的、想象中的、有用的：复数计算

起源：三次方程的困境：如第11章所述，在卡尔达诺解三次方程时，出现了负数平方根。邦贝利承认了这种“奇怪的量”，并定义了它们的运算法则，将其作为中间步骤使用以得出实数解。此时它们仅被视为“有用的荒谬”。

复数的缓慢接受：17世纪和18世纪初的数学家（如笛卡尔、欧拉）将负数的平方根称为“虚数”，意指虚构的、不存在的。尽管欧拉在《代数指南》中系统阐述了复数的运算，但他对复数的实在性仍有疑虑。18世纪中叶，复数在运算中被普遍使用，但对其本质的困惑依然存在。

几何解释与最终认可：19世纪，几何解释的出现是关键转折。挪威测量学家韦塞尔、瑞士数学家阿尔冈、德国数学家高斯先后独立地用平面上的点或向量来表示复数，赋予了复数明确的几何意义。复数乘法对应着向量的旋转与伸缩，这使得复数运算变得直观。高斯系统发展了复数理论，并将其应用于数论（如高斯整数）和其他领域，复数自此被完全接受为合法的数学对象。

应用与地位：复数在许多领域不可或缺：电学（交流电分析）、流体力学、量子力学、信号处理（傅里叶变换）等。在纯数学中，复变函数论是深刻而美丽的理论。复数的“不可能”和“想象”属性反而使其成为连接代数、几何、分析和物理的强大工具。

18. 一半更好：正弦和余弦

希腊三角学的起源：希腊天文学家（如希帕克）为了天体测量，发展了最初的三角学。他们以圆的弦长为基础定义三角函数，例如，角2β所对的弦长为 c(2β)。为了计算，他们编制了弦长表。

印度人的关键创新：印度数学家（如阿耶波多，5世纪）将希腊的弦改为“半弦”，即sin(β) = (1/2) * c(2β)。这一转变简化了公式，成为现代正弦定义的雏形。他们编制了基于特定半径圆的正弦表，并发展了一些三角恒等式和近似计算方法。

阿拉伯的贡献：阿拉伯数学家（如阿尔-花剌子模、阿尔-巴塔尼）吸收并发展了印度和希腊的三角学，引入了正切、余切等函数，并系统编纂了更精确的三角函数表，将其用于天文学计算。

欧洲的发展与函数化：通过阿拉伯学者，三角学传入欧洲。雷乔蒙塔努斯等人的著作使其独立成科。16世纪，三角函数表被广泛应用于航海和天文。17世纪，欧拉做出了决定性贡献：他将三角函数视为与特定圆（单位圆）相关的角的函数，而不是圆内某条线段的长度。他引入了今天的符号体系（sin, cos, tan等），并发现了著名的欧拉公式 e^{iθ} = cosθ + i sinθ，将三角函数与指数函数统一，揭示了它们深刻的代数本质。

19. 奇妙新世界：非欧几何

欧几里得第五公设的长期争议：自古以来，数学家觉得第五公设（平行公设）不像前四个公设那样直观自明，认为它可能是可由其他公理导出的定理。两千年来，无数尝试直接证明它，但都失败了，人们转而研究其等价命题。

突破：用反证法探索新几何：19世纪，高斯、罗巴切夫斯基和鲍耶（父子）各自独立地通过假设“过直线外一点，存在至少两条直线与已知直线平行”（或等价地，三角形内角和小于180度），并在此基础上进行逻辑推导，发现并未导致矛盾，反而构建出一套内部自洽的几何体系——双曲几何（罗巴切夫斯基几何）。这是一种非欧几何。

椭圆几何的提出：黎曼则通过修改第五公设，提出“过直线外一点，不存在直线与已知直线平行”（即任何两条直线必相交），并认为直线可以无限延伸但长度有限，由此建立了另一种非欧几何——椭圆几何。例如，球面几何就是一种模型（大圆为“直线”）。

存在性验证与影响：最初，非欧几何被视为纯粹的理论怪物。后来，数学家找到了非欧几何的模型（如克莱因模型、庞加莱模型），证明了它们与欧几里得几何同样具有逻辑一致性。爱因斯坦广义相对论使用黎曼几何描述时空，表明非欧几何可能比欧氏几何更接近物理实在。非欧几何的发现粉碎了康德关于欧氏几何是先验知识的哲学观点，并深刻改变了人类对空间和数学真理本质的认识。

20. 在旁观者的眼中：射影几何学

源于文艺复兴艺术：文艺复兴时期的艺术家（如布鲁内莱斯基、阿尔伯蒂、丢勒）为了在平面上真实地表现三维场景，发展了透视法。透视作图涉及直线、交点、共点线等几何问题，这些是射影几何的直观起源。数学家们开始系统研究这些绘画中隐含的几何关系。

纯几何的建立：17世纪，建筑师兼数学家德萨格在《研究透视的截影》中，首次系统地研究了透视下的几何不变性质，提出了对偶原理等核心思想，但当时影响甚微。19世纪，彭赛列作为战俘在俄国监狱中发展了射影几何学，将其建立在完全不依赖度量（长度、角度）的基础上，而仅研究点、线、面的关联性质（如关联、分离、调和等）。他提出了“射影不变量”的概念，并深入研究了圆锥曲线的射影性质。

代数化与统一：19世纪中叶，施泰纳、斯陶特等人进一步纯化了射影几何，使其完全脱离度量。同时，莫比乌斯、普吕克等人引入齐次坐标，将射影几何代数化，极大促进了其发展。克莱因在埃尔朗根纲领中，将各种几何（欧氏、仿射、射影、双曲等）统一为研究不同变换群下不变量的学问，射影几何因其变换群最广而居于特殊地位。

现代意义：射影几何提供了研究几何性质最一般的框架，在图学（如计算机图形学）、摄影测量、物理学等领域有重要应用。其对偶原理（点和线的地位互换）体现了深刻的数学对称美。射影几何的发展也是数学从研究具体图形到研究抽象结构的范例之一。

第21章 游戏里有什么：概率论的开端

• 起源：概率论最初源于对赌博问题的数学思考。17世纪中叶，法国贵族德·梅雷向帕斯卡提出“点问题”——即一场未完成的赌博中，如何公平分配赌注？
• 关键发展：
  • 帕斯卡与费马的通信（1654年）：两人通过通信讨论，引入了“期望值”和“组合数学”等概念，解决了点问题，被视为概率论的正式开端。
  • 惠更斯的系统化（1657年）：出版《论赌博中的计算》，首次系统阐述概率论基本原理，但尚未形成一般性理论框架。
• 理论化进程：
  • 雅各布·伯努利（1713年）：提出“大数定律”，指出在大量重复试验中，事件发生的频率趋近于其理论概率，为概率论的统计意义奠基。
  • 棣莫弗（1733年）：发现正态分布（高斯分布），揭示了随机误差的普遍规律，但未意识到其普遍性。
  • 拉普拉斯（1812年）：在《概率分析理论》中，将概率论与微积分结合，强调其在科学中的应用，并尝试将概率论推广至道德与社会科学。
• 现代发展：概率论成为统计学、信息论、金融数学、量子物理的核心工具，并发展出随机过程、贝叶斯推断等分支。

第22章 正确解读数据：统计学成为一门科学

• 早期应用：统计最初是国家管理工具（如人口、税收统计）。16~17世纪，英国开始系统收集出生、死亡数据。
• 关键人物与贡献：
  • 约翰·格兰特（1662年）：分析伦敦死亡率数据，发现死亡率与性别、季节的规律，被称为“人口统计之父”。
  • 威廉·配第：提出“政治算术”，主张用定量方法研究社会经济问题。
  • 18世纪统计与概率的融合：拉普拉斯用概率论分析天文观测误差；高斯发展最小二乘法，用于数据处理。
  • 凯特勒（19世纪）：发现人类身高、体重等特征符合正态分布，提出“平均人”概念，将概率论应用于社会现象。
• 学科奠基：
  • 卡尔·皮尔逊（19世纪末~20世纪初）：创立生物统计学，发明相关系数、卡方检验等统计工具，推动统计学成为独立学科。
  • 费希尔（20世纪）：发展实验设计、假设检验、方差分析，提出极大似然估计，奠定现代统计推断基础。
• 现代应用：统计学广泛应用于医学（临床试验）、经济（计量经济学）、社会科学（问卷调查）、机器学习（数据挖掘），并衍生出贝叶斯统计、非参数统计、大数据分析等方向。

第23章 机器会思考：电子计算机

• 早期计算工具：
  • 机械计算器：帕斯卡加法机（1642年）、莱布尼茨乘法器（1673年）。
  • 巴贝奇的分析机（1837年）：提出通用计算机构想，含存储、运算、控制单元，受限于技术未实现。
• 理论奠基：
  • 图灵（1936年）：提出“图灵机”抽象模型，证明可计算性边界，为计算机提供理论基础。
  • 冯·诺依曼（1945年）：提出“存储程序”概念（冯·诺依曼架构），成为现代计算机的基本结构。
• 实际发展：
  • ENIAC（1945年）：第一台通用电子计算机，使用真空管，体积庞大、耗电高。
  • 晶体管（1947年）：替代真空管，计算机小型化、可靠化。
  • 集成电路（1958年）：摩尔定律推动算力指数增长，微型计算机（如Apple II，1977年）普及。
• 软件与算法：
  • 高级语言（如FORTRAN、COBOL、C）提升编程效率。
  • 算法理论：排序、图算法、复杂性理论（P vs NP）发展。
• 现代影响：计算机渗透所有领域，催生人工智能、互联网、云计算、量子计算等革命性技术。

第24章 推理算法：布尔代数

• 起源：19世纪中叶，乔治·布尔试图将逻辑推理数学化。
• 布尔代数核心：
  • 用符号（如x、y）表示逻辑命题。
  • 定义“并”“交”“补”三种运算，对应逻辑“或”“且”“非”。
  • 运算规则与普通代数类似，但满足幂等律（x+x=x，x·x=x）。
• 应用转折：
  • 香农（1937年）：在硕士论文中证明布尔代数可用于设计开关电路，将逻辑与电路设计统一。
  • 二战后，布尔代数成为数字电路设计的理论基础（逻辑门：与门、或门、非门）。
• 现代应用：
  • 计算机硬件设计、编程语言逻辑判断、数据库查询（SQL中的AND/OR/NOT）。
  • 逻辑综合工具自动将布尔表达式转换为电路。

第25章 在可数之外：无穷大与集合论

• 问题起源：19世纪，数学家发现实数与自然数同样无限，但“密度”不同。
• 康托尔的突破（1870s~1890s）：
  • 集合论：以“集合”为基本对象，定义“一一对应”比较大小。
  • 势：用“基数”度量集合大小。自然数集与整数集、有理数集势相同（ℵ₀，可数集）。
  • 实数集不可数：通过对角线论证证明实数集势为ℵ₁（连续统），严格大于ℵ₀。
  • 无穷的层次：提出无穷基数序列 ℵ₀, ℵ₁, ℵ₂, … 以及幂集定理（2^ℵ₀ = ℵ₁，即连续统假设）。
• 基础危机与公理化：
  • 罗素悖论（1901年）：考虑“所有不包含自身的集合”导致矛盾，暴露朴素集合论缺陷。
  • ZFC公理系统：策梅洛-弗兰克尔公理加选择公理，为集合论提供严格基础，但连续统假设不可判定（哥德尔、科恩）。
• 影响：集合论成为现代数学的通用语言，统一了数论、分析、代数等领域，但也引发数学哲学的深刻争论。

第26章 走出阴影：正切函数

• 早期三角学：
  • 古希腊、印度、阿拉伯三角学主要研究弦长（托勒密弦表）或正弦（印度“半弦”）。
  • 正切隐含在球面三角学中（如计算太阳高度角），但未独立成函数。
• 独立出现：
  • 阿拉伯数学：10世纪，阿布·瓦法可能提及正切；14世纪，阿尔·卡西明确使用正切函数。
  • 欧洲引入：15世纪，雷乔蒙塔努斯在《论各种三角形》中提及，但未充分展开。
• 系统化发展：
  • 16世纪：因航海与天文学需求，正切函数在球面三角学中地位提升（如用于测量天体地平纬度）。
  • 18世纪欧拉：将三角函数视为函数（定义在单位圆上），而非几何线段比；采用现代符号，并将正切定义为正弦与余弦的商。
• 现代定义与性质：
  • 定义：tan θ = sin θ / cos θ，定义域排除 cos θ = 0 的点。
  • 图像：周期为π，有垂直渐近线，奇函数。
  • 诱导公式、加法公式、微分积分公式构成其运算体系。

第27章 记数比：对数

• 发明动机：17世纪初，天文学与航海需大量三角函数运算，寻找简化乘法计算的方法。
• 纳皮尔的突破（1614年）：
  • 发明“纳皮尔对数”，本质是连续乘法对应加法，但定义基于运动学（点在直线上运动）。
  • 布里格斯（1617年）：改进为常用对数（以10为底），便于计算，并与纳皮尔合作推广。
• 核心思想：将乘除运算转换为加减，乘方开方转换为乘除。
• 理论统一：
  • 17世纪中叶：发现对数与指数互为逆运算（若 y = logₐ x，则 aʸ = x）。
  • 欧拉：系统阐明对数作为指数的反函数，并引入自然对数（底数 e ≈ 2.718）。
• 应用与影响：
  • 计算工具：对数表、计算尺曾长期主导科学计算（拉普拉斯称其使天文学家寿命倍增）。
  • 现代应用：处理大范围数据（如里氏震级、pH值、分贝）、信息熵计算、计算复杂度分析（O(log n)）。

第28章 无论你怎么分割它：圆锥曲线

• 古希腊几何研究：
  • 门奈赫莫斯（公元前4世纪）：用圆锥曲线解决立方倍积问题。
  • 阿波罗尼奥斯（公元前3世纪）：《圆锥曲线论》系统研究，用平面截圆锥获得三类曲线，给出统一定义（到焦点距离与到准线距离之比为常数——离心率 e）。
• 分类与性质：
  • 椭圆（e < 1）：闭合曲线，两焦点距离和为常数。
  • 抛物线（e = 1）：开放曲线，到焦点距离等于到准线距离。
  • 双曲线（e > 1）：开放曲线，到两焦点距离差为常数。
• 代数化与运动学应用：
  • 17世纪：开普勒发现行星轨道为椭圆；笛卡尔创立坐标几何，将圆锥曲线表示为二次方程（Ax² + Bxy + Cy² + Dx + Ey + F = 0）。
  • 牛顿力学：万有引力下，物体轨道为圆锥曲线（由能量决定）。
• 现代应用：光学（抛物面反射镜）、天文（轨道设计）、工程（桥梁抛物线拱）、计算机图形学（曲线造型）。

第29章 在范围之外：无理数

• 发现与困惑：
  • 毕达哥拉斯学派：发现√2不可公度（非两个整数之比），即无理数，引发数学危机。
  • 古希腊应对：仅接受几何量，无理数作为“不可公度量”存在，但未被当作“数”。
• 中世纪与文艺复兴：
  • 印度与阿拉伯数学：承认无理数存在，并发展开方法近似计算。
  • 欧洲：16世纪解三次方程时出现负数平方根（复数），迫使数学家重新思考数的概念。
• 分析基础危机与严格化：
  • 19世纪微积分严谨化运动：魏尔斯特拉斯、柯西等以极限重新定义实数，但需实数系本身严谨。
  • 戴德金分割（1872年）：通过将有理数集分割定义实数，统一有理数与无理数为实数。
  • 康托尔：用基本列定义实数，证明实数集不可数。
• 超越数与代数数：
  • 代数数：整系数多项式的根（如√2），可数。
  • 超越数：非代数数（如π、e），不可数。刘维尔（1844）首次构造超越数；林德曼（1882）证明π超越。
• 影响：实数系的完备性成为微积分与分析的基础；超越数的发现深化了数论与代数理解。

第30章 几乎没有碰到：从切线到导数

• 古代渊源：
  • 阿基米德：用“平衡法”求曲线面积，隐含极限思想。
  • 中世纪运动学：奥雷姆用图形表示变量，讨论瞬时速度与均匀加速。
• 17世纪先驱工作：
  • 费马：求极值方法（“伪等式”），实质为求导；求切线方法类似。
  • 笛卡尔：代数化求切线法。
  • 巴罗：几何方法求切线，接近微积分思想。
• 微积分创立：
  • 牛顿（1660s）：从物理运动出发，定义“流数”（变化率），提出流数术，并建立基本定理（微分积分互逆）。
  • 莱布尼茨（1670s）：从几何入手，发明微分符号 dx/dy，建立算法系统，明确提出微积分基本定理。
  • 两人独立发现，符号与侧重不同；莱布尼茨符号更灵活，被后世采纳。
• 发展与应用：
  • 18世纪：伯努利、欧拉、拉格朗日等将微积分应用于力学、天体力学、曲线研究，但基础不牢。
  • 19世纪严谨化：柯西以极限定义导数与积分；魏尔斯特拉斯 ε-δ 语言严格化定义；实数系严密化完成基础。
• 现代概念：导数本质是函数在某点的瞬时变化率，几何意义为切线斜率；它是微分学核心，与积分（面积、累积量）通过微积分基本定理统一。