阿贝尔定理

阿贝尔定理

16 世纪时，意大利数学家塔塔利亚和卡当等人，发现了三次方程的求根公式。这个公式公布没两年，卡当的学生费拉里就找到了四次方程的求根公式。当时数学家们非常乐观，以为马上就可以写出五次方程、六次方程，甚至更高次方程的求根公式了。然而，时光流逝了几百年，谁也找不出这样的求根公式。

这样的求根公式究竟有没有呢？年轻的挪威数学家阿贝尔作出了回答：“没有。”阿贝尔从理论上予以证明，无论怎样用加、减、乘、除以及开方运算，无论将方程的系数怎样排列，它都决不可能是一般五次方程的求根公式。

阿贝尔率先解决了这个引入瞩目的难题.所以成为阿贝尔定理

定理（阿贝尔（Abel）定理）：

1.如果幂级数在点x0 (x0不等于0)收敛，则对于适合不等式/x/

2.反之，如果幂级数在点x0发散，则对于适合不等式/x/>/x0/的一切x使这幂级数发散。

问题1：我想请问下，1和2是逆否命题吗？我怎么没看出来呢？能帮我讲下吗？

问题2：在证明2中，用到了反证法，需要用到否定2的结论，我想问下2的结论“则对于适合不等式/x/>/x0/的一切x使这幂级数发散。”它的否定是什么？

定理1 （阿贝尔第一定理）

1）若幂级数①在x0 0 收敛，则幂级数①在都收敛。

2）若幂级数①在x1发散，则幂级数①在都发散。

定理2：有幂级数①，即，若

则幂级数①的收敛半径为

定理3（阿贝尔第二定理）

若幂级数①的收敛半径r>0，则幂级数①在任意闭区间都一致收敛。

定理4 若幂级数与的收敛半径分别是正数r1与r2，则r1= r2

定理5 若幂级数的收敛半径r>0，则它的和函数S(x) 在区间连续。

定理6 若幂级数的收敛半径r>0,则它的和函数S(x) 由0到x可积，且逐项积分，即

定理7 若幂级数的收敛半径r>0,则则它的和函数在区间(-r , r) 可导，且可逐项微分

参考资料：

阿贝尔与椭圆函数

椭圆函数是从椭圆积分来的。早在18世纪，从研究物理、天文、几何学的许多问题中经常导出一些不能用初等函数表示的积分，这些积分与计算椭圆弧长的积分往往具有某种形式上的共同性，椭圆积分就是如此得名的。19世纪初，椭圆积分方面的权威是法国科学院的耆宿、德高望重的勒让得（A.M.Legen-dre，1752－1833）。他研究这个题材长达40年之久，他从前辈工作中引出许多新的推断，组织了许多常规的数学论题，但他并没有增进任何基本思想，他把这项研究引到了“山重水复疑无路”的境地。也正是阿贝尔，使勒让得在这方面所研究的一切黯然失色，开拓了“柳暗花明”的前途。

关键来自一个简单的类比。微积分中有一条众所周知的公式上式左边那个不定积分的反函数就是三角函数。不难看出，椭圆积分与上述不定积分具有某种形式的对应性，因此，如果考虑椭圆积分的反函数，则它就应与三角函数也具有某种形式的对应性。既然研究三角函数要比表示为不定积分的反三角函数容易得多，那么对应地研究椭圆积分的反函数（后来就称为椭圆函数）不也应该比椭圆积分本身容易得多吗？

“倒过来”，这一思想非常优美，也的确非常简单、平凡。但勒让得苦苦思索40年，却从来没有想到过它。科学史上并不乏这样的例证“优美、简单、深刻、富有成果的思想，需要的并不是知识和经验的单纯积累，不是深思熟虑的推理，不是对研究题材的反复咀嚼，需要的是一种能够穿透一切障碍深入问题根柢的非凡的洞察力，这大概就是人们所说的天才吧。“倒过来”的想法像闪电一样照彻了这一题材的奥秘，凭借这一思想，阿贝尔高屋建瓴，势如破竹地推进他的研究。他得出了椭圆函数的基本性质，找到了与三角函数中的π有相似作用的常数K，证明了椭圆函数的周期性。他建立了椭圆函数的加法定理，借助于这一定理，又将椭圆函数拓广到整个复域，并因而发现这些函数是双周期的，这是别开生面的新发现；他进一步提出一种更普遍更困难类型的积分——阿贝尔积分，并获得了这方面的一个关键性定理，即著名的阿贝尔基本定理，它是椭圆积分加法定理的一个很宽的推广。至于阿贝尔积分的反演——阿贝尔函数，则是不久后由黎曼（B.Riemann，1826－1866）首先提出并加以深入研究的。事实上，阿贝尔发现了一片广袤的沃土，他个人不可能在短时间内把这片沃土全部开垦完毕，用埃尔米特（Hermite）的话来说，阿贝尔留下的后继工作，“够数学家们忙上五百年”。阿贝尔把这些丰富的成果整理成一长篇论文《论一类极广泛的超越函数的一般性质》。此时他已经把高斯置诸脑后，放弃了访问哥延根的打算，而把希望寄托在法国的数学家身上。他婉辞了克雷勒劝其定居柏林的建议后，便启程前往巴黎。在这世界最繁华的大都会里，荟萃着像柯西（A.L.Cauchy，1789－1857）、勒让得、拉普拉斯pLace，1749－1827）、傅立叶（I.Fourier，1768－1830）、泊松（S.D.Poisson，

1781－1840）这样一些久负盛名的数字巨擘，阿贝尔相信他将在那里找到

知音。

设f(z)= \sum_{n \geq 0} a_n z^n为一幂级数，其收敛半径为R。若对收敛圆（模长为R的复数的集合）上的某个复数z_0，级数\sum_{n\geq 0} a_n z_0^n收敛，则有: \lim_{t\to 1^-} f(t z_0) = \sum_{n \geq 0} a_n z_0^n。

若\sum_{n \geq 0} a_n R^n收敛，则结果显然成立，无须引用这定理。编辑本段例子和应用

阿贝尔定理的一个有用应用是计算已知收敛级数。方法是通过在级数

每项后加上x^n项，将问题转换为幂级数求和，最后再计算x趋于 1 时幂级数的极限。由阿贝尔定理可知，这个极限就是原级数的和。

1. 为计算收敛级数 \sum_{n \geq 1} \frac{(-1)^{n+1}}{n} ，设

f(x)= \sum_{n \geq 1} \frac{(-1)^{n+1} x^n}{n} = \log (1+x)。于是有\sum_{n \geq 1} \frac{(-1)^{n+1}}{n} = \lim_{x \to 1^-} f(x) = \log 2

2. 为计算收敛级数\sum_{n \geq 0} \frac{(-1)^n}{2n+1}，设g(x)= \sum_{n \geq 0} \frac{(-1)^n x^{2n+1}}{2n+1} = \arctan (x)。因此

有\lim_{x \to 1^-} g(x) = \arctan (1) = \frac{\pi}{4} = \sum_{n \geq 0} \frac{(-1)^n}{2n+1}

ar:لبآةنهربمda:Abels sætningen:Abel's theoremfr:Théorème d'Abel (analyse)nl:Stelling van Abel

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "阿贝尔定理".