2015年高考数学复习重点知识点90条.ppt

主讲人：主讲人： 徐泽林徐泽林 天津师范大学数学科学学院 37:8080/006/index.htm zelinxuS 第七章 分析时代 在18世纪，微积分得到了进一步深入发展，这种 发展与广泛的应用交织在一起，刺激和推动了许多数 学新分支的产生，从而形成了“分析”这样一个在观 念和方法上都具有鲜明特点的数学领域。 18世纪可以说是分析的时代，也是向现代数学过 渡的重要时期。 7.1 7.1 微积分的发展微积分的发展 7.1.1 积分技术与椭圆积分 7.1.2 微积分向多元函数的推广 7.1.3 无穷级数理论 7.1.4 函数概念的深化 7.1.5 微积分严格化的尝试 7.2 7.2 微积分的应用与新分支的形成微积分的应用与新分支的形成 7.2.1 常微分方程 7.2.2 偏微分方程 7.2.3 变分法 7.3 7.3 1818世纪的几何与代数世纪的几何与代数 7.3.1 微分几何的形成 7.3.2 方程论及其他 7.3.3 数论的进展 7.1 7.1 微积分的发展微积分的发展 微积分算法的推广，在英国和欧洲大陆国家是循着 不同的路线进行的。大不列颠的数学家们在剑桥、牛 津、伦敦和爱丁堡等著名的大学里教授和研究牛顿的 流数术，他们中的优秀代表有泰勒、麦克劳林、棣莫 弗、斯特林等。 泰勒在自己的正的和反的增量方法中，陈述 了他早在1712年就已获得的那个著名定理: Brook Taylor Colin Maclaurin 其中v为独立变量 z 的增量， 和 为流数。泰勒假定随 时间均匀变化，故为常数，从而上述公式相当于现代形式 的“泰勒公式”： 泰勒公式使任意单变量函数展为幂级数成为可能，是微积 分进一步发展的有力武器。但泰勒对该定理的证明很不严谨， 也没有考虑级数的收敛性。 泰勒公式在零点的特殊情况后来被爱丁堡大学教授麦克劳林重新得到，现代微积分 教材中一直把这一特殊情形称为麦克劳林公式。麦克劳林是牛顿微积分学说的竭力维护 者，他曾试图对牛顿流数论进行严密的形式化推演，但因囿于几何传统而并不成功。 麦克劳林之后，英国数学陷入了长期停滞的状态。微积分发明权的争论滋长了大不 列颠数学家的民族保守情结，使他们不能摆脱牛顿微积分学说中弱点的束缚。而在英吉 利海峡的另一边，新分析却在莱布尼兹的后继者们的推动下蓬勃发展起来 。 推广莱布尼兹学说的任务，在从17世纪到18世纪的过渡时期，主要是由雅各布伯努利和 约翰伯努利两兄弟担当。他们的工作，构成了现今所谓初等微积分的大部分内容。18世 纪微积分最重大的进步应归于欧拉。他于1748年出版的无限小分析引论以及随后发 表的微分学和积分学是微积分史上里程碑式的著作。它们在很长时间里被当作 分析课本的典范而普遍使用着。 Jacob Bernoulli 1654-1705 Johann Bernoulli 1667-1748 这三部著作包含了欧拉本人 在分析领域的大量创造，同 时引进了一批标准的分析学 符号，对分析表述的规范化 起了重要作用。此外，法国 学派的代表人物克莱洛、达 朗贝尔、拉格朗日、蒙日和 勒让德等，也为微积分及其 应用在欧陆的推广做出了卓 越贡献。 18世纪微积分最重大的进步应归 于欧拉。他于1748年出版的无限小 分析引论以及随后发表的微分学 和积分学是微积分史上里程碑 式的著作。它们在很长时间里被当作 分析课本的典范而普遍使用着。这三 部著作包含了欧拉本人在分析领域的 大量创造，同时引进了一批标准的分 析学符号，如： 对分析表述的规范化起了重要作用。 欧拉还创设了许多数学符号，例如 （1736年），sin和cos（1748年） ，tg（1753年），x（1755年）等 Leonhard Euler e i 欧拉1707年出生在瑞士的巴塞尔（ Basel）城，13岁就进巴塞尔大学读书 ，得到当时最有名的数学家约翰伯努 利（Johann Bernoulli，1667-1748年 ）的精心指导 欧拉渊博的知识，无穷无尽的创作精 力和空前丰富的著作，都是令人惊叹不已的 ！他从19岁开始发表论文，直到76岁，半个 多世纪写下了浩如烟海的书籍和论文到今 几乎每一个数学领域都可以看到欧拉的名字 ，从初等几何的欧拉线，多面体的欧拉定理 ，立体解析几何的欧拉变换公式，四次方程 的欧拉解法到数论中的欧拉函数，微分方程 的欧拉方程，级数论的欧拉常数，变分学的 欧拉方程，复变函数的欧拉公式等等，数也 数不清他对数学分析的贡献更独具匠心， 无穷小分析引论一书便是他划时代的代 表作，当时数学家们称他为“分析学的化身“ 欧拉是科学史上最多产的一位杰出的数 学家，据统计他那不倦的一生，共写下了886 本书籍和论文，其中分析、代数、数论占40% ，几何占18%，物理和力学占28%，天文学占 11%，弹道学、航海学、建筑学等占3%，彼得 堡科学院为了整理他的著作，足足忙碌了四 十七年。 欧拉著作的惊人多产并不是偶然的，他可以在任何不良的环境中工作，他常常 抱着孩子在膝上完成论文，也不顾孩子在旁边喧哗他那顽强的毅力和孜孜不倦的 治学精神，使他在双目失明以后， 也没有停止对数学的研究，在失明后的17年间， 他还口述了几本书和400篇左右的论文19世纪伟大数学家高斯（Gauss，1777-1855 年）曾说：“研究欧拉的著作永远是了解数学的最好方法” 欧拉的父亲保罗欧拉（Paul Euler）也是一个数学家，原希望小欧拉学神学 ，同时教他一点教学由于小欧拉的才人和异常勤奋的精神，又受到约翰伯努利 的赏识和特殊指导，当他在19岁时写了一篇关于船桅的论文，获得巴黎科学院的奖 的奖金后，他的父亲就不再反对他攻读数学了 1725年约翰伯努利的儿子丹尼尔伯努利赴俄国，并向沙皇喀德林一世推荐 了欧拉，这样，在1727年5月17日欧拉来到了彼得堡1733年，年仅26岁的欧拉担任 了彼得堡科学院数学教授1735年，欧拉解决了一个天文学的难题（计算慧星轨道 ），这个问题经几个著名数学家几个月的努力才得到解决，而欧拉却用自己发明的 方法，三天便完成了然而过度的工作使他得了眼病，并且不幸右眼失明了，这时 他才28岁1741年欧拉应普鲁士彼德烈大帝的邀请，到柏林担任科学院物理数学所 所长，直到1766年，后来在沙皇喀德林二世的诚恳敦聘下重回彼得堡，不料没有多 久，左眼视力衰退，最后完全失明不幸的事情接踵而来，1771年彼得堡的大火灾 殃及欧拉住宅，带病而失明的64岁的欧拉被围困在大火中，虽然他被别人从火海中 救了出来，但他的书房和大量研究成果全部化为灰烬了 沉重的打击，仍然没有使欧拉倒下，他发誓要把损失夺回来在他完全失明之 前，还能朦胧地看见东西，他抓紧这最后的时刻，在一块大黑板上疾书他发现的公 式，然后口述其内容，由他的学生特别是大儿子A欧拉（数学家和物理学家）笔录 欧拉完全失明以后，仍然以惊人的毅力与黑暗搏斗，凭着记忆和心算进行研究， 直到逝世，竟达17年之久 欧拉的记忆力和心算能力是罕见的，他能够复述年青时代笔记的内容，心算并不 限于简单的运算，高等数学一样可以用心算去完成有一个例子足以说明他的本领， 欧拉的两个学生把一个复杂的收敛级数的17项加起来，算到第50位数字，两人相差一 个单位，欧拉为了确定究竟谁对，用心算进行全部运算，最后把错误找了出来.欧拉在 失明的17年中；还解决了使牛顿头痛的月离问题和很多复杂的分析问题 欧拉的风格是很高的，拉格朗日是稍后于欧拉的大数学家，从19岁起和欧拉通信 ，讨论等周问题的一般解法，这引起变分法的诞生等周问题是欧拉多年来苦心考虑 的问题，拉格朗日的解法，博得欧拉的热烈赞扬，1759年10月2日欧拉在回信中盛称拉 格朗日的成就，并谦虚地压下自己在这方面较不成熟的作品暂不发表，使年青的拉格 朗日的工作得以发表和流传，并赢得巨大的声誉他晚年的时候，欧洲所有的数学家 都把他当作老师，著名数学家拉普拉斯（Laplace）曾说过：“欧拉是我们的导师“ 欧拉充沛的精力保持到最后一刻，1783年9月18日下午，欧拉为了庆祝他计算气球上升 定律的成功，请朋友们吃饭，那时天王星刚发现不久，欧拉写出了计算天王星轨道的 要领，还和他的孙子逗笑，喝完茶后，突然疾病发作，烟斗从手中落下，口里喃喃地 说：“我死了“，欧拉终于“停止了生命和计算“ 欧拉的一生，是为数学发展而奋斗的一生，他那杰出的智慧，顽强的毅力，孜孜 不倦的奋斗精神和高尚的科学道德，永远是值得我们学习的 欧拉在数学上的建树很 多，对著名的哥尼斯堡七桥问题的解答开创了图论的研究。欧拉还发现 ，不论什么 形状的凸多面体，其顶点数v、棱数e、面数f之间总有v-e+f=2这个关系。v-e+f被称为 欧拉示性数，成为拓扑学的基础概念。在数论中，欧拉首先引进了重要的欧拉函数 (n)，用多种方法证明了费马小定理。以欧拉的名字命名的数学公式、定理等在数学 书籍中随处可见, 与此同时，他还在物理、天文、建筑以至音乐、哲学方面取得了辉 煌的成就。 Alexis Clairaut 1713-1765 Jean Le Rond dAlembert 1717-1783 此外，法国学派的代表人物克莱洛、达朗贝尔、拉格朗日、蒙日和勒让德 等，也为微积分及其应用在欧陆的推广做出了卓越贡献。 Joseph-Louis Lagrange 1736-1813 Gaspard Monge 1746-1818 Adrien-Marie Legendre 1752-1833 Pierre-Simon Laplace 1749-1827 18世纪这些数学家虽然不象牛顿、莱布尼茨那 样创立了微积分，但他们在微积分发展史上同样功 不可没，假如没有他们的奋力开发与仔细耕耘，牛 顿和莱布尼茨草创的微积分领地就不可能那样春色 满园，相反也许会变得荒芜凋零。我们不可能逐一 介绍18世纪的数学家和他们的工作，以下概要论述 这一时期微积分深入发展的几个方面。 18世纪的这些数学家们以高度的技巧，将牛顿和莱布尼兹的无限小算法施行到 各类不同的函数上，不仅发展了微积分本身，而且作出了许多影响深远的新发现。 在这方面，积分技术的推进尤为明显。 约翰伯努利和欧拉在他们的论著中使用变量代换和部分分式等方法求出了许多 困难的积分，这些方法已经成为今天微积分教材中求函数积分的常用方法。 当18世纪的数学家们考虑无理函数的积分时，他们正在打开一片新天地。因为 他们发现许多这样的积分不能用已知的初等函数来表示，例如雅可布伯努利在求双 纽线（极坐标下方程为 r 2 = a2 cos2 ）弧长时，得到弧长积分： 7.1.1 积分技术与椭圆积分 在天文学中很重要的椭圆弧长计算则引导到积分： 欧拉在1744年处理弹性问题也得到积分： 所以这些积分都属于后来所谓的“椭圆积分”范畴，它们既不能用代数函数，也不能 用通常的初等超越函数（如三角函数、对数函数等）表示出来。椭圆积分的一般形 式是： （其中P(x)是 x 的有理函数， R(x)则是一般的四次多项式） 勒让德后来将所有的椭圆积分归 结为三种基本形式。在18世纪，法尼 亚诺、欧拉、拉格朗日和勒让德等都 为特殊类型的椭圆积分积累了大量结 果。而对椭圆函数的一般研究在19世 纪20年代被阿贝尔和雅可比分别独立 地从反演的角度发展为深刻的椭圆函 数论。 Guillaume De lHpital 虽然微积分的创立者已经接触到了偏微商和重积分 的概念，但将微积分算法推广到多元函数而建立偏导数 理论和多重积分理论的主要是18世纪的数学家。 1720年，尼古拉伯努利证明了二元函数在一定条 件下，对两个自变量求偏导数的结果与求导顺序无关。 即相当于： Nicolaus(II) Bernoulli 1687-1759 7.1.2 微积分向多元函数的推广 欧拉在1734年的一篇文章中证明了同样的事实。 在此基础上，欧拉在一系列的论文中发展了偏导数理 论。达朗贝尔在1743年的著作动力学和1747年关 于弦振动的研究中，也推进了偏导数演算。不过当时 一般都用同一个记号 d 表示通常导数与偏导数，专 门的偏导数记号 到19世纪40年代才由雅可比在其行列式理论中正式创用并逐渐普及，虽然拉格朗日 在1786年曾建议使用这一符号。 牛顿关于多重积分的几何论述，也在18世纪被以分析的形式推广。1748年，欧 拉用累次积分算出椭圆薄片对其中心正上方一质点的引力的重积分： 到1770年左右，欧拉已经能给出计算二重定积分的一般程序。拉格朗日在关于 旋转椭球的引力的著作中，用三重积分表示引力，并开始了多重积分变换的研究。 ，积分区域由椭圆 围成 。 微积分的发展与无穷级数的研究密不可分。由 于泰勒级数提供了将函数展成无穷级数的一般方法 。 在18世纪，各种初等函数的级数展开陆续得到 ，并在解析运算中被普遍用来代表函数而成为微积 分的有力工具。 雅各布伯努利在1689-1704年间撰写了5篇关于 无穷级数的论文，成为当时这一领域的权威，这些 论文的主题也是关于函数的级数表示及其在求函数 的微分与积分、求曲线下面积和曲线长等方面的应 用。这些构成了雅各布伯努利对微积分算法的重要 贡献。但就级数理论本身而言，其中最具启发性的 工作是其关于调和级数 之和为无穷的证明。 7.1.3 无穷级数理论 James Gregory 这就意味着可将原级数中的项分组并使每一组的和都大于1，于是我们总可以得 到调和级数的有限多项的和，使它大于任何给定的量。 调和级数的讨论引起了学者们对发散级数的兴趣并产生了许多重要的结果，特别 是一些著名的数值逼近公式。例如，斯特林在1730年得到一个发散的级数表示： 它相当于 。 利用它可以作 n!的近似计算。当 n 很大时， 称之为斯特林 公式，虽然这一极限情形是由棣莫弗得到的。上述斯特林级数系数中出现的B1 、 B4 、B6 、 、 B2n 、 叫做贝努利数。 关于无穷级数敛散性的研究也开始得到了数学家们的注意。 他首先指出了 ，故有 18世纪微积分发展的一个历史性转折，是将函数放到了中心的地位，而以往数 学家们都以曲线作为微积分的主要对象。这一转折归功于欧拉，欧拉在无限小分 析引论中明确宣布：“数学分析是关于函数的科学”，微积分被看作是建立在微 分基础上的函数理论。 首先使用“函数”这一术语的是莱布尼兹。最先将函数概念公式化的是约翰 伯努利。欧拉则将伯努利的思想进一步解析化，大大丰富了函数概念的本质。欧拉 明确区分了代数函数与超越函数，还区分了显函数与隐函数、单值函数与多值函数 等。通过一些积分问题的求解，一系列新的超越函数被纳入了函数的范畴，如椭圆 函数、-函数和-函数： 它们对于函数概念的拓广有很大影响。 7.1.4 函数概念的深化 此外，受积分计算的激发，已有的初等函数还被 推广到了复数领域。1748年，欧拉再次发现著名的“ 棣莫弗公式”:(cos i sin ) n = cos n i sin n . 它不仅使人们能正确回答什么是复数的对数，更重要 的是揭示了三角函数、指数函数和对数函数之间的深 刻联系而形成了初等函数的统一理论。 Abraham de Moivre 第二次数学危机! 无穷小无穷小: : 它们既不是有限量它们既不是有限量 ，也不是无穷小量，但也不是无，也不是无穷小量，但也不是无 。难道它们是量的幽灵！。难道它们是量的幽灵！ 7.1.5 微积分严格化的尝试 微积分的起源微积分的起源 运动 微分: 速度、切线、极值 积分: 距离、面积、体积 芝诺悖论芝诺悖论: : 飞矢不飞矢不 动动 运动是不存在的 时刻t 瞬时速度瞬时速度 自由落体: 牛顿 Isaac Newton (1642- 1727) 贝克莱主教 Bishop George Berkeley(1685-1753) 分析学者分析学者, ,或致一个不信邪的数学家或致一个不信邪的数学家 ，其中审查现代分析对象、原则与推断，其中审查现代分析对象、原则与推断 是否比起宗教的神秘与信条，构思更为是否比起宗教的神秘与信条，构思更为 清楚，或推理更为明晰清楚，或推理更为明晰 最令人震撼的抨击是来自英国哲学家、牧师伯克莱（G.Berkeley,1685- 1753），伯克莱在1734年担任克罗因(今爱尔兰境内)主教，同年发表一本小 册子分析学家，或致一位不信神的数学家,副标题中“不信神的数学家” 是指帮助牛顿出版原理的天文学家哈雷（E.Halley）.伯克莱在书中认 为当时的数学家们以归纳代替演绎，没有为他们的方法提供合法性证明。 他集中攻击了牛顿流数论中关于无限小量的混乱假设，例如在首末比方法 中，为了求幂 xn 的流数，牛顿假设 x 有一个增量o，并以它去除 xn 的增量 ，得 贝克莱贝克莱: : 它们既不是有限量，也不是无穷小量，但也它们既不是有限量，也不是无穷小量，但也 不是无。难道它们是量的幽灵！不是无。难道它们是量的幽灵！ 然后又让 o “消失” ，得到 xn 的流数 nxn-1 ,伯克莱指出这里关于增量 o 的假设前后矛盾，是“分明的诡辩”。 1695年荷兰数学家纽文蒂（B.Nieuwentyjt）在其著作无限小分析中指责牛 顿的流数术叙述“模糊不清”，莱布尼兹的高阶微分“缺乏根据”。 无穷级数无穷级数 微分与积分: 无穷级数的形式 微积分的应用 牛顿求积分: 二项式定理 无穷级数无穷级数 (x=-2) (x=1) 危机的加 剧 人们总是热衷于扩大人们总是热衷于扩大 数学的范畴，却很少阐数学的范畴，却很少阐 明其来源，注重向高层明其来源，注重向高层 次发展，而很少考虑加次发展，而很少考虑加 固它的基础。固它的基础。(1743)(1743) 达朗贝尔 达朗贝尔在他为科学，艺术和工艺百科全书撰写的“微分”等条目中 ，讨论了他所谓的“微分演算的形而上学”，即微积分的基础。他在这里发展 了牛顿的首末比方法，但用极限概念代替了含糊的“最初比”“最末比”。达朗贝 尔是这样定义的：如果量 Y 可任意逼近 X ，就是说 Y 与 X 之间的差可任意小 ，则称量 Y 的极限为 X 。 证明的严密性 函数概念的模糊 无穷级数的发散 1800年前后: 庞大的分析学陷入困境 什么是连续？ 罗尔(法国, Michel Rolle, 16521719) 微积分只是一些精巧的谬误的集合 克莱洛（法国） Alexis-Claide Clairaut(17131765) 欧几里得自找麻烦地去证明是不 足为怪的。这位几何学家必须去说服那 些冥顽不化的诡辩论者，而这些人是以 拒绝最明显的真理而自豪的。因此，象 逻辑那样，集合必须依赖形式推理去反 驳他们。 但是，一切都倒了个个，所有那些 涉及到常识且早已熟知的事情的推理， 只能掩盖真理，使读者厌倦，在今天人 们对它已不屑一顾了。 西尔维斯特（英国） James Sylvester (18141897) 我还没有证明这个结果， 但是，我能像肯定任何必然 事物一样肯定它。在这个基 础上，我们证明 对不起，上节课假 定的结果错了。让我 们重新假设 雅可比（德国） Jakob Jacobi (18041851) 要达到像高斯那样 的严密，我们没有时 间！ 高斯(1812年): 无 穷级数的收敛性 严密性使数学家 们丧失了兴趣 数学危机- 无穷小是什么？ 分析学需要严格化 ! 18世纪的数学家们一方面努力探索完善牛顿和莱布尼兹微积分的途径；另一方 面又往往不顾基础问题的含混而大胆前进，大大扩展了微积分的应用范围。尤其是 与力学的有机结合，已成为18世纪数学的特征之一。当时几乎所有数学家都不同程 度地同时也是力学家。欧拉的名字同刚体运动和流体力学的基本方程相联系；拉格 朗日最负盛名的著作是分析力学；拉普拉斯许多最重要的数学成果包含在他的 五大卷天体力学中。分析学的广泛应用成为新思想的源泉，一系列新的数学分 支在18世纪很快成长壮大起来。 7.2 7.2 微积分的应用与新分支的形成微积分的应用与新分支的形成 常微分方程是伴随着微积分一起发展起来的。从17世纪末开始，摆的运动、 弹性理论以及天体力学等实际问题引出了一系列常微分方程。比较有名的如悬链 线方程、等时曲线方程、正交轨线方程等。在经过一段对特殊技巧的探索之后， 数学家们逐渐开始寻找适合这些方程的普遍解法。 经达莱布尼兹、欧拉和克莱洛的有关工作，到1740年左右，几乎所有求解一 阶方程的初等方法都已知道。在常微分方程早期研究中出现的一类重要的非线性 方程是“黎卡提方程”： .黎卡提基于变量替换的降阶 法后来成为处理高阶方程的主要手段.1728年，欧拉引进了著名的指数代换将三类 相当广泛的二阶常微分方程化为一阶,这是二阶常微分方程系统研究的开始。 1743年，欧拉关于n阶常系数线性齐次方程的完整解法：对于n阶常系数方程： 欧拉利用指数代换 （ q为常数）得到所谓特征方程 : 7.2.1 常微分方程 当q是该方程的一个实单根时，则 是原微分方程的一个特解。当q 是特征方 程的k重根时，欧拉用代换 , 求得 为包含k 个任意常数的解。欧拉指出： n阶方程的通解是其n个特解的线性组合。他 是最早明确区分“通解”与“特解”的数学家。 这种完整解法实现了高阶常微分方程求解的重要突破。18世纪常微分方程求解 的最高成就是，拉格朗日在1774-1775年间用参数变易法解出了一般n阶变系数非齐次 常微分方程。 由解决一些具体物理问题而发展起来的常微分方程，在18世纪，已经成为有自 己的目标与方法的新数学分支。 微积分在弦振动等力学问题中的应用则引导出另一门新的数学分支：偏微分方程 。一般将达朗贝尔1747年发表的论文张紧的弦振动时形成的曲线的研究看作为 偏微分方程论的发端。该文明确推导出弦振动所满足的偏微分方程: 7.2.2 偏微分方程 1753年，丹尼尔伯努利也发表了他的弦振动问题新思考，他假定所有可能的 初始曲线均可表为正弦级数，从而弦振动问题所有可能的解都是正弦周期模式的迭加 ： , 并给出了形如 的通解。 欧拉、拉格朗日等在研究鼓膜振动与声音传播时还导出了二维和三维波动方程。 18世纪获得的另一类重要的偏微分方程是位势方程。拉普拉斯在1785年发表的论文 球状物体的引力理论与行星形状中，引进了与引力分量具有偏导数关系的标量函数V， 它与引力分量Fx 、Fx、Fx之间有关系： ，并在球 坐标下推导了该标量函数V 满足的方程。稍后在1787年，他又给出了该方程的直角坐标 形式: ,也就是所谓的“位势方程”，现在通常也称为“拉普 拉 斯方程”。拉普拉斯还用球调和函数解出了位势方程。位势理论主要是经拉普拉斯的工 作才引起普遍关注，并由格林、高斯等发展为数学物理的重要部分。 7.2.3 变分法 18世纪新的数学分支中，变分法的诞生最富有戏剧性。它缘起于“最速降线” 和其他一些类似的问题。最速降线本是一个由约翰伯努利提出来以向其他数学家挑 战的问题，牛顿、莱布尼兹、洛必达、雅各布伯努利以及约翰伯努利本人都曾给 出正确解答。该问题实际相当于求一个未定积分式的最小值。用现代符号表示，最速 降线问题相当于求函数 y(x) ,使表示质点从 A(x1，y1) 到B(x2，y2)下降时间的积分: 取最小值，其中g 是重力加速度,是与初始坐标及 速度有关的常数= (y1 v1 /2g2 )。 重要的是，牛顿 和雅各布伯努利等人所给出的结论，揭示了该 问题区别于普通极值问题的特征。因此他们的工 作与同时期出现的等周问题、测地线问题等一道 成为变分法诞生的标志。 变分法处理的是一个全新的课题：求变量 的极大或极小值，这个变量（积分）与通常函数有本质区别，即它的极值依赖于 未知函数而不是未知实数.欧拉对于变分问题给出了一般的处理.1744年他借助一 个二阶常微分方程： 给出了变分问题的解应满足 的必要条件，这就是后来所谓的“欧拉方程”，至今仍为变分法的基本方程。欧 拉的工作为变分法这门新学科奠定了独立的基础。 A(x1，y1) B(x2，y2) 欧拉的变分法在许多地方还依赖于几何论证。变分法的另一位奠基人拉格朗日 则在纯分析的基础上建立变分法。他在1760年首创了函数的变分概念，给出了专门 的记号，并导出了与欧拉方程一致的必要条件。拉格朗日还第一次成功地处理了端 点变动的极值曲线问题及重积分情形。1770年以后又研究了被积函数中含有高阶导 数的变分问题，这些后来都成为变分法的标准内容。拉格朗日的工作使由最速降线 等特殊问题发展起来的变分法名符其实地成为分析的一个独立分支。 在18世纪，微分方程、变分法等新分支与微积分本身一起，形成了被称之为“ 分析”的广大领域，与代数、几何并列为数学的三大学科，并且在这个世纪里，其 繁荣程度远远超过了代数和几何。18世纪数学家们不仅大大开拓了分析的疆域，而 且赋予它与几何相对的意义，他们力图用纯分析的手法以摆脱几何论证的束缚，这 种倾向成为18世纪数学的又一大特征。 分析的光芒使18世纪综合几何的发展暗然失色，但分析方法的应用却开拓出了 一个崭新的几何分支，即微分几何，从而改变了18世纪几何学的面貌。“代数”在 18世纪数学家心目中则是“分析”的同义语，他们将分析看作是代数的延伸。在这 种情况下，18世纪的代数学为下个世纪的革命性发展做出了必要准备。 7.3 7.3 1818世纪的几何与代数世纪的几何与代数 7.3.1 微分几何的形成 微积分的创始人已经利用微积分研究曲线的曲率、拐点、渐伸线、渐屈线等而 获得了属于微分几何范畴的部分结果。但微分几何成为独立的数学分支主要是在18 世纪。1731年法国数学家克莱洛发表了关于双重曲率曲线的研究，开创了空间 曲线理论，是建立微分几何的重要一步。 欧拉是微分几何的重要奠基人。他早在1736年就引进了平面曲线的内在坐标概 念，即以曲线弧长作为曲线上点的坐标。在无限小分析引论第2卷中则引进了曲 线的参数表示： x = x(s), y = y(s), z = z(s),欧拉将曲率定义为曲线的切线方向与一固 定方向的交角相对于弧长的变化率,并推导了空间曲线任一点曲率半径的解析表达式 欧拉的曲率定义是对克莱洛引进的空间曲线的两个曲率之一的标准化（另一个曲率, 现在叫“挠率”，其解析表示到19世纪初才得到）。欧拉关于曲面论的经典工作 关于曲面上曲线的研究（1760）被公认为微分几何史上的一个里程碑。欧拉在其 中 将曲面表示为z = f ( x, y ), 并引进了相当于 的标准符号外，欧拉还正确地建立了曲面的曲率概念，引进了法曲率、主曲率等概念 ，并得到了法曲率的欧拉公式 （其中 是主曲率，是一法截面与主曲率所在法截面的交角）。1771年以后，欧 拉还率先对可展曲面理论进行了研究，导出了曲面可展性的充分必要条件。 18世纪微分几何的发展因蒙日的工作而臻于高峰。蒙日于1795年发表的关于分 析的几何应用的活页论文是第一部系统的微分几何著述。他将空间曲线与曲面理 论与微分方程紧密结合，在曲面簇、可展曲面及直纹面研究方面获得了大量深刻的 结果。与大多数学数学家不同的是，蒙日不仅将分析应用于几何，同时也反过来用 几何去解释微分方程，从而推动后者的发展。他开创了偏微分方程的特征理论，引 进了探讨偏微分方程的几何工具：特征曲线与特征锥（现称“蒙日锥”）等，它们 至今仍是现代偏微分方程论中的重要概念。 18世纪代数学的主题仍然是代数方程。在这个世纪的最后一年，年青的高斯在 他的博士论文中公布了代数基本定理的第一个实质性证明。高斯的这一成果可以看 作是18世纪方程论的一个漂亮的总结。代数基本定理断言n次代数方程恰有n个根。 它最早是由荷兰数学家吉拉尔于1629年提出，后经笛卡尔、牛顿等众多学者反复陈 述、应用，但均未给出证明。高斯的思想具有深刻的意义，因为其证明是纯粹存在 性的。在此之前，几乎所有的数学家都习惯于通过实际构造来证明问题解的存在。 相对于代数基本定理而言，高次方程根式可解性问题显得并不怎么幸运。尽管 未能在18世纪奏响解决的凯歌, 但这个世纪的数学家们还是为此做出了历史性贡献， 其中以拉格朗日的工作最为重要。他在1770年的一篇长文中探讨了一般三、四次方 程能根式求解的原因，并猜测高次方程一般不能根式求解。1799年，拉格朗日的部 分猜测被意大利的鲁菲尼所证实。可以说，他们已经走到了成功的边缘，虽然未能 达到目标，却为下一世纪的最终冲刺指明了方向。 方程组理论也是颇受关注的代数方程问题。首先是线性方程组与行列式理论。 瑞士数学家克拉姆在其代数曲线分析引论（1750）中提出了由系数行列式来确 定线性代数方程组解的表达式的法则，即“克拉姆法则”。行列式理论在1772年被 法国数学家范德蒙德系统化，自此成为独立的数学对象。范德蒙德用二阶子行列式 及其余子式来展开行列式的法则，后来被拉普拉斯推广到一般情形而称为“拉普拉 斯展开”。 7.3.2 方程论及其他 与方程论相联系的是人们对数的认识。18世纪的数学家还谈不上有完整的数系概念 和建立数系的企图。虽然在接受负数与复数方面还存有疑虑与争议，但在弄清复数的 意义方面却也有些功绩。随着微积分的发展，复数几乎进入了所有的初等函数领域， 并且在应用上卓有成效。达朗贝尔在1747年关于一切复数均可以表示成形式 a + b i 的 断言开始被多数人接受。1797年，丹麦数学家韦塞尔创造了复数的几何表示，并发展 了复数的运算法则。等到1806年瑞士人阿尔冈、1831年高斯各自独立发表了关于复数 几何表示的研究之后，笼罩着虚数的疑云终于被驱散开来。 18世纪数学家在澄清无理数逻辑基础方面没有进展，但他们以相对平静的态度接受了 一些数的无理性。欧拉在1737年证明了e是无理数。他的证明以连分数为基础，他得到 e 的连分数展开： 因为他已经证明了每一个有理数都能表示成一个有限的连分数，所以e必定是无理 数。1761年，兰伯特用类似方法证明了圆周率是无理数。稍后勒让德甚至猜测说可 能不是任何有理系数方程的根。这促使数学家们将无理数区分为代数数和超越数。 1844年，法国数学家刘维尔第一次真正地显示了超越数的存在，他证明了形如 的数（a1 , a2 , a3 , 为从0到9的任意整数）都是超越数。1873年和1882年，法国数学 家埃尔米特和德国数学家林德曼又分别证明了e和 的超越性。 虽虽然古希腊、中国与印度的数学著作中早就给出了不少问题和结果，但近代意 义上的数论研究还得从费马开始。费马提出了大量定理或猜想，让全世界的数学家们 忙碌了好几个世纪，有的至今仍为现代数论饶有兴趣的课题。 (1)费马小定理：如果 p是素数， a与p互素，则 ap - a可以被 p 整除。 1640年10月18日,费马给德贝西（B.Frenicle de Bessy）的信中提出。 (2)费马大定理：对于任意大于 2的自然数 n，方程xn + yn = zn 没有整数解。 费马阅读巴歇（C.-G.Bachet）校订的丢番图算术时的批注。1670年费马及 其子萨缪尔（Samuel）的批注连同巴歇校订的算术再版，此问题公诸于世。 (3)平方数问题：I）每个4n + 1形的素数和它的平方都只能以一种方式表示为两个平 方数之和；每个4n + 1形的素数的三次方和它的四次方都只能以两种方式；其五次方和 六次方都能以三种方式，如此等等，以至无穷。如 n = 1时， 5 = 22 + 12 ， 52 = 32 + 42， 53 = 22 + 112 = 52 + 102 ，等等；II）每个正整数可表示成四个或少于四个平方数之和。 (4)费马数：