Hero Image
尼尔斯·亨里克·阿贝尔的一生

年表 18028 月 5 日生于挪威西海岸的斯塔万格附近。 1804全家迁往耶尔斯塔,父亲在那里任牧师。 1815进入克里斯蒂安尼亚(今奥斯陆)的主教座堂学校。 1818伯恩特·霍尔姆伯成为他的数学老师。 1820父亲去世。阿贝尔开始负担家庭的部分开销。 1821进入大学。以为自己解出了五次方程,随后发现了错误。 1824自费出版五次方程没有求根公式的证明。 1825前往柏林,结识奥古斯特·利奥波德·克雷勒。 1826在巴黎向科学院提交关于积分的重要论文。柯西把它弄丢了。 1827回到挪威,没有工作,负债累累。发表椭圆函数理论。 18294 月 6 日在弗罗兰死于肺结核,年仅 26 岁。 1830死后与雅可比共同获得巴黎科学院大奖。 ◀ 上一站 沿路线走一遍 下一站 ▶ 1802 斯塔万格附近生于挪威西海岸,是一位牧师七个孩子中的老二。 1804–1815 耶尔斯塔在父亲位于南部的教区长大。 1815–1825 克里斯蒂安尼亚在主教座堂学校,霍尔姆伯老师发现了他的才华。1824 年出版关于五次方程的六页小册子。 1825–1826 柏林结识奥古斯特·利奥波德·克雷勒,后者在其杂志第一卷上发表了他的七篇文章。 1826 巴黎向科学院提交关于积分的大论文。没有人理会他,柯西还弄丢了手稿。 1827–1828 克里斯蒂安尼亚回国时没有工作,负债累累。发表椭圆函数,并与雅可比竞赛。 1828–1829 弗罗兰圣诞节乘雪橇去看未婚妻,病倒了,4 月 6 日死于肺结核。两天后,柏林的任命书寄到。 请启用 JavaScript 以查看地图。各站列在下方。 阿贝尔的远行:从挪威到柏林和巴黎,又回到弗罗兰离世。 地图:© OpenStreetMap 贡献者 1802 · 斯塔万格附近1804–1815 · 耶尔斯塔1815–1825 · 克里斯蒂安尼亚1825–1826 · 柏林1826 · 巴黎1827–1828 · 克里斯蒂安尼亚1828–1829 · 弗罗兰 阿贝尔的远行:从挪威到柏林和巴黎,又回到弗罗兰离世。 牧师的儿子 约 1890 年挪威南部耶尔斯塔的教堂和牧师住宅。阿贝尔在这个教区长大,他的父亲是这里的牧师。照片中的教堂建于 1848 年,但牧师住宅的主楼建于 1707 年。Peder Bentsen Melaas · Wikimedia Commons · 公有领域 尼尔斯·亨里克·阿贝尔于 1802 年 8 月 5 日出生在挪威西海岸,是路德宗牧师瑟伦·格奥尔格·阿贝尔七个孩子中的老二。两年后,全家搬到南部的耶尔斯塔,父亲在那里接管了教区。当时的挪威是丹麦的一个贫穷省份,饱受拿破仑战争和英国封锁之苦,1812 年还发生了饥荒。1814 年,挪威有了自己的宪法,并与瑞典结成联合,阿贝尔的父亲后来还当上了新议会的议员。

Hero Image
五次方程:不存在的公式

几何学家们一直非常关注代数方程的一般解法,其中好几位还试图证明它的不可能性。但是,如果我没有弄错的话,至今还没有人成功。 — 尼尔斯·亨里克·阿贝尔,《论代数方程》(1824) 上过学的人都知道一个解方程的公式:二次方程的求根公式。方程 $ax^2+bx+c=0$ 的根是 $$x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}.$$这个配方只用到四则运算和一个平方根。巴比伦人在近四千年前就会解这类问题,欧几里得则用正方形和矩形来解它们。一个自然的问题是:更高次的方程也有这样的配方吗? 三次和四次 三次方程的答案来自文艺复兴时期的意大利。希皮奥内·德尔·费罗、尼科洛·塔尔塔利亚和吉罗拉莫·卡尔达诺找到了公式,卡尔达诺于 1545 年在《大术》(Ars magna)中发表了它。对于方程 $x^3+px+q=0$,一个根是 $$x=\sqrt[3]{-\frac q2+\sqrt{\frac{q^2}4+\frac{p^3}{27}}}+\sqrt[3]{-\frac q2-\sqrt{\frac{q^2}4+\frac{p^3}{27}}}.$$我们用 $x^3+6x-20=0$ 来验证,即 $p=6$、$q=-20$。先算平方根: $$\frac{q^2}4+\frac{p^3}{27}=100+8=108,\qquad\sqrt{108}=6\sqrt3.$$公式给出 $$x=\sqrt[3]{10+6\sqrt3}+\sqrt[3]{10-6\sqrt3}.$$看起来很可怕,但是 $(1+\sqrt3)^3=1+3\sqrt3+9+3\sqrt3=10+6\sqrt3$,同样 $(1-\sqrt3)^3=10-6\sqrt3$。所以 $$x=(1+\sqrt3)+(1-\sqrt3)=2.$$确实,$2^3+6\cdot2-20=0$。不久之后,卡尔达诺的学生洛多维科·费拉里找到了四次方程的公式,也发表在同一本书中。这两个公式都只用四则运算和开方:我们说这些方程可以用根式求解。 两百五十年的尝试 剩下的是五次方程。两个多世纪里,最伟大的数学家们都尝试过,所有在四次以内管用的技巧到了五次都卡住了。1771 年,拉格朗日解释了这些技巧为什么管用:它们取决于根的某些表达式在根被打乱时如何变化。对于五次,这笔账算不通。1799 年,意大利人保罗·鲁菲尼发表了一个不存在公式的证明,但其中有漏洞,几乎没有人接受。 阿贝尔定理 1824 年,阿贝尔给出了完整的证明: $$\boxed{\text{对于 }n\geq5\text{ 次的一般方程,不存在只用四则运算和开方的公式。}}$$今天这个结果被称为阿贝尔–鲁菲尼定理。证明的思路是:假设这样的公式存在,看看它必须怎样构造。它是一层一层建起来的,每一层都对前面各层构成的表达式开方。阿贝尔证明,这些中间的根本身必须是方程五个根的表达式。这时拉格朗日和鲁菲尼的论证就派上了用场:五个根有 $5!=120$ 种打乱方式,而公式需要的那些表达式必须以某种方式变化,可是没有任何五个字母的表达式能这样变化。假设导致矛盾。 必须准确理解这个定理说了什么。它并没有说没有一个五次方程能解。方程 $x^5-32=0$ 的根是 $x=\sqrt[5]{32}=2$。不存在的是一个一般公式,能从系数出发解出所有五次方程。而且有些具体的方程,比如 $$x^5-x-1=0,$$它的实根 $x\approx1.1673$ 存在,也可以算到任意多位小数,却无论如何都不能用根式写出来。哪些方程能解、哪些不能解,这个问题几年后由伽罗瓦回答。 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。 高斯没有打开的小册子 1824 年的小册子《论代数方程,证明一般五次方程不可能求解》是用阿贝尔自己的钱在克里斯蒂安尼亚印刷的。为了少花钱,他把证明删减到只剩六页,许多步骤都没有解释。阿贝尔把它寄给了几位数学家,其中包括高斯。据传,人们在高斯死后发现他那一本的书页仍未裁开。1826 年,阿贝尔在《克雷勒杂志》第一卷上发表了一个详细清楚的版本。 练习:像拉斐尔·邦贝利在 1572 年那样,把卡尔达诺公式用于 x³ − 15x − 4 = 0。这里 $p=-15$、$q=-4$,$\frac{q^2}4+\frac{p^3}{27}=4-125=-121$。公式需要 $\sqrt{-121}=11i$,即一个负数的平方根:$x=\sqrt[3]{2+11i}+\sqrt[3]{2-11i}$。邦贝利注意到 $(2+i)^3=8+12i-6-i=2+11i$,而 $(2-i)^3=2-11i$。于是 $x=(2+i)+(2-i)=4$,确实 $64-60-4=0$。虚数就是从这扇门进入数学的:为了得到一个实数答案,三次方程的公式有时必须经过虚数。

Hero Image
二项式级数与魔鬼的级数

发散级数是魔鬼的发明,在它们上面建立任何证明都是一种耻辱。 — 尼尔斯·亨里克·阿贝尔,致霍尔姆伯的信(1826 年 1 月) 1665 年,年轻的牛顿发现,二项式公式对于非整数的指数也成立: $$(1+x)^m=1+mx+\frac{m(m-1)}{2}x^2+\frac{m(m-1)(m-2)}{6}x^3+\cdots$$当 $m$ 是正整数时,这个和在 $m+1$ 项之后就停止了。当 $m=\frac12$ 或 $m=-1$ 时,它永远不会停:这是一个级数,一个有无穷多项的和。牛顿、欧拉以及 18 世纪的所有数学家都用这个级数取得了巨大成功。几乎没有人问过它什么时候成立。 阿贝尔在中学时就认识了这个级数。16 岁时,他注意到欧拉对二项式公式的证明只对有理数指数成立,于是尝试把它推广到所有的数。八年后,他在柏林以严格得多的方式重新研究了这个问题。 级数骗人的时候 取 $m=-1$。级数给出 $$\frac1{1+x}=1-x+x^2-x^3+x^4-\cdots$$当 $x=\frac12$ 时,左边是 $\frac23$,右边 $1-0.5+0.25-0.125+\cdots$ 确实趋近于 $0.666\ldots$ 但当 $x=1$ 时,右边变成 $1-1+1-1+\cdots$,在 $1$ 和 $0$ 之间来回跳,拿不定主意,而左边等于 $\frac12$。欧拉接受这个和"就是" $\frac12$。当 $x=2$ 时情况更糟:左边是 $\frac13$,右边 $1-2+4-8+16-\cdots$ 无限增大。 部分和不趋近于任何数的级数称为发散级数。18 世纪的数学家们随意地摆弄这类级数,有时得出荒谬的结果。在法国,柯西从 1821 年起用他的《分析教程》开始整顿秩序。阿贝尔在巴黎读了柯西的书,并且走得更远。 阿贝尔的证明 在 1826 年发表于《克雷勒杂志》的文章中,阿贝尔以完全严格的方式研究了二项式级数,指数 $m$ 可以是任意的,甚至是复数,$x$ 也可以是任意的。他证明了当 $|x|<1$ 时级数收敛于 $(1+x)^m$,并精确描述了在边界 $|x|=1$ 上会发生什么。这是第一次有人对牛顿的级数做到这一点。 在区间内部,级数表现得非常好。取 $m=\frac12$,系数是 $1,\ \frac12,\ -\frac18,\ \frac1{16},\ -\frac5{128},\dots$,于是 $$\sqrt{1+x}=1+\frac x2-\frac{x^2}8+\frac{x^3}{16}-\frac{5x^4}{128}+\cdots$$对于 $\sqrt{1.2}$,取 $x=0.2$:

Hero Image
把积分反过来:椭圆函数

从一个熟悉的函数开始,换一种奇怪的角度来看。积分 $$\arcsin x=\int_0^x\frac{dt}{\sqrt{1-t^2}}$$给出半径为 1 的圆上一段弧的长度,从最低点量起,是高度 $x$ 的函数。这是个复杂的函数。但它的反函数,即把高度表示为弧长的函数,就是正弦,三角学里最简单的函数。而正弦有一个积分所掩盖的性质:它是周期的。因为四分之一圆周的长度是 $$\int_0^1\frac{dt}{\sqrt{1-t^2}}=\frac\pi2,$$所以正弦每隔 $4\cdot\frac\pi2=2\pi$ 重复一次。 没人会算的积分 18 世纪出现了类似的积分,只是把二次多项式换成了三次或四次多项式的根。它们出现在椭圆弧长的计算中,因此得名椭圆积分;也出现在双纽线的弧长中,以及单摆的运动中。 长为 $L$、摆幅很小的单摆,周期为 $T_0=2\pi\sqrt{L/g}$,这是中学里学的。但这个公式只在摆幅小时成立。对于任意摆幅 $\theta_0$,精确的周期是 $$T=4\sqrt{\frac Lg}\,K(k),\qquad K(k)=\int_0^1\frac{dt}{\sqrt{(1-t^2)(1-k^2t^2)}},\qquad k=\sin\frac{\theta_0}2.$$当 $\theta_0=90°$ 时,$k=\frac{\sqrt2}2$,$K\approx1.8541$。于是 $T\approx7.416\sqrt{L/g}$,而简单公式给出 $6.283\sqrt{L/g}$:单摆要多花 18% 的时间。当 $k=0$ 时,$K=\frac\pi2$,又回到了中学的公式。 积分 $K$ 不能用已知函数写出来。法国人阿德里安–马里·勒让德为这些积分花了四十年,把它们分为三类,并计算了庞大的数值表。他的《椭圆函数论》于 1825 年至 1828 年间出版。 阿贝尔是听从费迪南·德根的建议才研究这些积分的。1821 年,这位哥本哈根的数学家读了这个挪威青年对五次方程的错误解法之后,建议他去研究椭圆积分:它们将是一道通往发现之海的“麦哲伦海峡”。 阿贝尔的想法 阿贝尔想到了勒让德没有想到的:像对反正弦那样,把这些积分反过来。不再研究弧长作为高度的函数,而是研究高度作为弧长的函数。在最简单的情形下,定义 $$s=\int_0^x\frac{dt}{\sqrt{1-t^4}}\qquad\Longrightarrow\qquad x=\operatorname{sl}(s),$$即双纽线正弦。和正弦一样,反函数比积分本身性质好得多。当 $s$ 从 0 变到 $$\frac\varpi2=\int_0^1\frac{dt}{\sqrt{1-t^4}}\approx1.31103$$时,它从 0 增加到 1,并以 $2\varpi\approx5.2441$ 为周期重复。符号 $\varpi$ 是 π 的另一种写法,称为双纽线常数。 阿贝尔于 1827 年在《克雷勒杂志》第二卷上以《椭圆函数研究》为题发表了这个理论。德国人卡尔·雅可比在同一年独立地得到了相同的思想,两人随后进行了两年的论文竞赛。 两个周期 当允许 $s$ 取复数时,大惊喜出现了。在积分中把 $t$ 换成 $iu$。因为 $(iu)^4=u^4$,$dt=i\,du$, $$\int_0^{ix}\frac{dt}{\sqrt{1-t^4}}=i\int_0^x\frac{du}{\sqrt{1-u^4}}=is.$$这意味着 $\operatorname{sl}(is)=i\operatorname{sl}(s)$。由于 $\operatorname{sl}$ 有实周期 $2\varpi$,它免费获得了一个虚周期 $2\varpi i$:

Hero Image
用尺规等分双纽线

1694 年,雅各布·伯努利研究了一条形如横躺的数字 8 的曲线,称之为 lemniscus,意思是蝴蝶结丝带。以点 $(\pm\frac1{\sqrt2},0)$ 为焦点,它是到两个焦点距离之积等于 $\frac12$ 的点的集合。它的方程是 $$(x^2+y^2)^2=x^2-y^2,$$用极坐标表示则是 $r^2=\cos2\theta$。一个半世纪之后,阿贝尔证明了一个关于它的定理,像是从欧几里得的书里走出来的:对于哪些数 $n$,可以只用尺规把双纽线分成 $n$ 段等长的弧? 伯努利双纽线 r² = cos 2θ,七个点把它分成八段等长的弧。曲线两次经过中心。Euler’s Eyes 绘图 弧长 首先,曲线的一段有多长?在极坐标中,一小段弧满足 $ds^2=dr^2+r^2\,d\theta^2$。对 $r^2=\cos2\theta$ 求导, $$2r\,dr=-2\sin2\theta\,d\theta,\qquad\sin2\theta=\sqrt{1-\cos^22\theta}=\sqrt{1-r^4},$$所以 $d\theta=-\dfrac{r\,dr}{\sqrt{1-r^4}}$,并且 $$ds^2=dr^2+\frac{r^4\,dr^2}{1-r^4}=\frac{dr^2}{1-r^4}.$$于是,从中心到距中心为 $r$ 的点的弧长是 $$\boxed{s=\int_0^r\frac{dt}{\sqrt{1-t^4}}.}$$这就是双纽线积分,也就是定义双纽线正弦的那个积分。换句话说:双纽线上沿弧距中心为 $s$ 的点,到中心的距离是 $\operatorname{sl}(s)$。双纽线正弦之于双纽线,正如正弦之于圆。从中心到顶端的弧长为 $\frac\varpi2\approx1.3110$,整条曲线长 $2\varpi\approx5.2441$。 1751 年的圣诞节 1718 年,意大利伯爵朱利奥·法尼亚诺发现了如何用尺规把双纽线的一段弧加倍:给定一段弧,作出长度为它两倍的另一段弧。没有人太在意。1751 年 12 月 23 日,柏林科学院把法尼亚诺的著作交给欧拉审阅。欧拉立刻看出了其中的价值,把法尼亚诺的公式推广为这些积分的加法公式。将近一个世纪后,雅可比说那一天是椭圆函数的诞生日。 分成八段 我们用双纽线正弦写出法尼亚诺的公式: $$\operatorname{sl}(2u)=\frac{2\operatorname{sl}(u)\sqrt{1-\operatorname{sl}(u)^4}}{1+\operatorname{sl}(u)^4}.$$要把曲线分成八等份,只需找到平分从中心到顶端那段弧的点。顶端在 $r=1$,所以我们寻找满足 $\operatorname{sl}(2u)=1$ 的 $s=\operatorname{sl}(u)$: $$1+s^4=2s\sqrt{1-s^4}.$$两边平方,并令 $w=s^2$: $$(1+w^2)^2=4w(1-w^2)\quad\Longrightarrow\quad w^4+4w^3+2w^2-4w+1=0.$$这个多项式是完全平方:$(w^2+2w-1)^2$。所以 $w^2+2w-1=0$,正根为 $w=\sqrt2-1$。所求的点到中心的距离是 $$\boxed{r=\sqrt{\sqrt2-1}\approx0.6436.}$$这个数只涉及平方根,而平方根可以用尺规作出。以曲线中心为圆心、$\sqrt{\sqrt2-1}$ 为半径画圆,它与双纽线交于上图中间的四个点。 阿贝尔定理 高斯在 1796 年证明了正十七边形可以用尺规作出,更一般地,当 $n$ 是 2 的幂乘以不同的费马素数(如 3、5、17、257、65537)时,圆可以被分成 $n$ 等份。在 1801 年的书中,他留下了一句神秘的话:同样的原理也适用于积分 $\int\frac{dx}{\sqrt{1-x^4}}$。此后他没有再发表任何相关内容。

Hero Image
阿贝尔群:顺序无关紧要的时候

先穿袜子再穿鞋,和先穿鞋再穿袜子,结果不一样。先加 3 再加 5,和先加 5 再加 3,结果一样。当两个操作的先后顺序不改变结果时,我们说它们可交换。数学家用来称呼一切都可交换的结构的那个词,是为了纪念阿贝尔:阿贝尔的(abelian)。 最后的论文 证明了一般五次方程没有公式之后,阿贝尔想知道哪些方程有公式。1829 年,在他发表于《克雷勒杂志》的最后几篇文章之一中,他研究了一类特殊的方程:所有的根都可以由其中一个根 $x$ 通过有理函数 $\theta_1(x), \theta_2(x),\dots$ 得到,而这些函数彼此可交换: $$\theta_1(\theta_2(x))=\theta_2(\theta_1(x)).$$阿贝尔证明这类方程总能用根式求解。它们后来被称为阿贝尔方程,再后来,顺序无关紧要的群被称为阿贝尔群。 单位根 最重要的例子是方程 $x^n=1$。它的一个根是 $$\zeta=\cos\frac{2\pi}n+i\sin\frac{2\pi}n,$$其余的根都是它的幂:$\zeta^2,\zeta^3,\dots,\zeta^n=1$。把一个根变成另一个根的函数是幂函数 $\theta_a(x)=x^a$,它们可交换: $$\theta_a(\theta_b(x))=(x^b)^a=x^{ab}=(x^a)^b=\theta_b(\theta_a(x)).$$由阿贝尔定理,$x^n=1$ 对每个 $n$ 都可以用根式求解。这正是高斯用来作出正十七边形的结构:正多边形的顶点就是 $x^{17}=1$ 的根。 群与交换性 用现代语言说,群是一组可以复合、可以撤销、可以组合的操作,而结果始终留在这组操作之内。如果对任意两个元素都有 $a\circ b=b\circ a$,这个群就是阿贝尔群。 阿贝尔群的例子随处可见: 整数与加法:$3+5=5+3$。 圆的旋转:先转 $30°$ 再转 $50°$,与先转 $50°$ 再转 $30°$ 相同。 时钟算术:在 12 小时制的钟上,9 点再过 5 小时是 2 点。我们写作 $9+5\equiv2\pmod{12}$,加数的顺序同样无关紧要。 也有不是阿贝尔群的群。三角形的对称是最小的例子:先转动三角形再翻转它,与先翻转再转动结果不同。魔方是另一个例子:先转前面再转上面,效果与反过来不同。正是通过研究非阿贝尔群,伽罗瓦解释了五次方程为什么没有公式。 为什么可交换有帮助 阿贝尔证明背后的直觉是:在阿贝尔群中,操作可以一个一个地、以任意顺序进行,而不会互相破坏。每一步对应于开一次方,而这些根可以依次开出。在一个过于复杂的非阿贝尔群里,比如五个根的 120 种置换构成的群,各个步骤互相妨碍,仅靠根式无法走到终点。 请启用 JavaScript 以使用这个交互图形。完整的推理见正文。 阿贝尔葡萄 英语国家的数学家中流传着一个老笑话:“什么东西是紫色的而且可交换?阿贝尔葡萄。“因为英语里 an abelian grape(阿贝尔葡萄)听起来像 an abelian group(阿贝尔群)。“abelian"这个形容词太常用了,许多书都用小写字母书写,这是很少有数学家享有的荣誉。 练习:在 12 小时的时钟算术中,解 7 + x ≡ 3。再解 5 · x ≡ 1。第一个:$x\equiv3-7=-4\equiv8$,从 7 点往后走 8 小时就到了 3 点。第二个,逐个试:$5\cdot5=25=2\cdot12+1$,所以 $x\equiv5$。在时钟上,5 是它自己的逆元。

Hero Image
尼尔斯·亨里克·阿贝尔的遗产

阿贝尔留给数学家们的工作,够他们忙上一百五十年。 — 据说出自夏尔·埃尔米特 阿贝尔作为数学家工作了不到八年。在这段时间里,他了结了代数中最古老的问题,为级数带来了严格性,创立了椭圆函数,还写下了一篇直到他死后几十年才被完全理解的论文。今天,他的名字出现在数学中的地方,几乎比任何人都多:阿贝尔群、阿贝尔积分、阿贝尔函数、阿贝尔簇、阿贝尔定理、阿贝尔求和、阿贝尔判别法。 巴黎论文 阿贝尔 1826 年交给巴黎科学院、后来被柯西弄丢的那篇著作,包含一个巨大的结果。它表明,对于任何代数曲线,沿曲线的某些积分之和可以化为固定数目的积分,这个数目只取决于曲线。三十年后,黎曼把这个数称为曲线的亏格,即相应曲面上"洞"的个数。今天这个结果被称为阿贝尔定理,代数几何和黎曼曲面理论都由它发展而来。据说勒让德得知这个定理后,借用拉丁诗人贺拉斯的诗句,称它为 monumentum aere perennius,“比青铜更持久的纪念碑”。 手稿的故事几乎像一部小说。阿贝尔死后,挪威驻巴黎领事请科学院寻找这份文稿。柯西找到了它,1841 年发表,但有错误。在印刷过程中,原稿再次失踪。直到 1952 年,挪威数学家维戈·布伦才在佛罗伦萨一座图书馆里,在一位意大利收藏家的文件中重新找到它。 纪念碑与奖项 古斯塔夫·维格兰创作的阿贝尔纪念碑,位于奥斯陆王宫公园。它于 1908 年揭幕,表现一位赤裸的青年站在两个怪物般的形象之上,许多人把它们理解为被他征服的五次方程和椭圆函数。Wolfmann · Wikimedia Commons · CC BY-SA 4.0 19 世纪末,挪威人索菲斯·李得知诺贝尔奖不设数学奖后,提议设立一个以阿贝尔命名的奖项。随着李在 1899 年去世,以及挪威与瑞典在 1905 年分离,这个想法渐渐搁浅。2002 年阿贝尔诞辰两百周年时,这个想法被重新提起:挪威政府设立了阿贝尔奖,2003 年首次颁给法国人让–皮埃尔·塞尔。今天它被视为数学界的诺贝尔奖。2015 年,它颁给了约翰·纳什和路易斯·尼伦伯格。 留下了什么 1929 年挪威邮票,为纪念阿贝尔逝世一百周年而发行。挪威邮政 · Wikimedia Commons · 公有领域 代数。 五次方程一般公式的不可能性、阿贝尔方程和交换群。 分析。 级数的严格性、任意指数的二项式级数,以及关于幂级数的阿贝尔定理。 椭圆函数。 积分的反演、双周期性和加法公式,与雅可比共同完成。 代数几何。 关于代数函数积分的阿贝尔定理,黎曼理论的根源。 古典几何。 用尺规等分双纽线,可分的数与圆相同。 迟到的信 阿贝尔的一生充满了阴差阳错的书信:高斯没有打开的小册子、柯西弄丢的论文、在他死后两天才到的柏林来信。1830 年巴黎科学院授予他大奖时,他已去世一年多。在挪威,他的肖像曾出现在邮票和 500 克朗纸币上,月球上还有一座以他命名的环形山。 要点回顾 尼尔斯·亨里克·阿贝尔生于 1802 年,卒于 1829 年。他的全部工作完成于 19 到 26 岁之间。 对于五次或更高次的一般方程,不存在用根式表示的公式:这就是阿贝尔–鲁菲尼定理。 二项式级数 $(1+x)^m=1+mx+\cdots$ 在 $|x|<1$ 时收敛;阿贝尔第一个对任意 $m$ 证明了这一点。 把积分 $\int\frac{dt}{\sqrt{1-t^4}}$ 反过来,得到双纽线正弦,一个有两个周期(一实一虚)的函数。 平分双纽线每个四分之一段的点距中心 $\sqrt{\sqrt2-1}$,这是一个可作图的数。 当操作的顺序无关紧要时,群是阿贝尔群;群为阿贝尔群的方程可以用根式求解。 来源: Arild Stubhaug,Niels Henrik Abel and his Times(Springer,2000)· 阿贝尔奖,挪威科学与文学院 · 阿贝尔传记,MacTutor。