自然常数e就是lim(1+1/x)^x,x→+∞或lim(1+z)^(1/z),z→0,其值约为2.71828,是一个无限不循环小数。为超越数。
[1]
e,作为数学常数,是自然对数函数的底数。有时称它为
欧拉数(Euler number),以瑞士数学家欧拉命名;也有个较鲜见的名字
纳皮尔常数,以纪念苏格兰数学家
约翰·纳皮尔 (John Napier)引进对数。它就像圆周率π和虚数单位i,e是数学中最重要的常数之一。
它的其中一个定义是
,其数值约为(小数点后100位):“e ≈ 2.71828 18284 59045 23536 02874 71352 66249 77572 47093 69995 95749 66967 62772 40766 30353 54759 45713 82178 52516 64274”。
![](https://i-blog.csdnimg.cn/blog_migrate/d6b4734519daacf99986c63103b2b46d.png)
第一次提到常数e,是约翰·纳皮尔(John Napier)于1618年出版的对数著作附录中的一张表。但它没有记录这常数,只有由它为底计算出的一张自然对数列表,通常认为是由威廉·奥特雷德(William Oughtred)制作。第一次把e看为常数的是雅各·伯努利(Jacob Bernoulli)。
已知的第一次用到常数e,是莱布尼茨于1690年和1691年给惠更斯的通信,以b表示。1727年欧拉开始用e来表示这常数;而e第一次在出版物用到,是1736年欧拉的《力学》(Mechanica)。虽然以后也有研究者用字母c表示,但e较常用,终于成为标准。
用e表示的确实原因不明,但可能因为e是“指数”(exponential)一字的首字母。另一看法则称a,b,c和d有其他经常用途,而e是第一个可用字母。不过,欧拉选这个字母的原因,不太可能是因为这是他自己名字Euler的首字母,因为他是个很谦虚的人,总是恰当地肯定他人的工作。
很多增长或衰减过程都可以用指数函数模拟。
指数函数的重要方面在于它是唯一的函数与其
导数相等(乘以常数)。e是
无理数和
超越数(见林德曼—魏尔施特拉斯定理(Lindemann-Weierstrass))。这是第一个获证的超越数,而非故意构造的(比较
刘维尔数);由
夏尔·埃尔米特(Charles Hermite)于1873年证明。
超越数主要只有自然常数(e)和圆周率(π)。自然常数的知名度比圆周率低很多,原因是圆周率更容易在实际生活中遇到,而自然常数在日常生活中不常用。
融合e,π的最完美的
欧拉公式e^(iπ)+1=0,也是超越数e的数学价值的最高体现。
自然常数一般为公式中乘方的底数和对数的底。为什么会这样,主要取决于它的来历。
自然常数的来法比圆周率简单多了。它就是当
时函数
值的极限。
![](https://i-blog.csdnimg.cn/blog_migrate/68fd7fc27ed9812469659099649660c9.png)
![](https://i-blog.csdnimg.cn/blog_migrate/e8c84cfac272b91e7ffe3d113aa0a406.png)
即:
。
![](https://i-blog.csdnimg.cn/blog_migrate/d6b4734519daacf99986c63103b2b46d.png)
同时,它也等于1/0!+1/1!+1/2!+1/3!+1/4!+1/5!+……。注意,0!=1。
自然常数经常在公式中做对数的底。比如,对指数函数和对数函数求导时,就要使用自然常数。函数y=f(x)=a^x的导数为f'(x)=a^x*ln(a)。函数y=f(x)=log
a(x)的导数为f'(x)=log
a(e)/x。
此外自然常数还有别的用处。比如解题。请把100分成若干份,使每份的乘积尽可能大。把这个题意分析一下,就是求两个数a和b,使ab=100,求a的b次方的最大值。(说明,a可以为任意有理数,b必须为整数。)此时,便要用到自然常数。这需要使a尽量接近e。则b应为100/e≈36.788份,但由于份数要为整数,所以取近似值37份。这样,每份为100/37,所以a的b次方的最大值约为“94740617+167818+32.652”。
e是极为常用的超越数之一,它通常用作自然对数的底数。
收敛性证明
由均值不等式,有
![](https://i-blog.csdnimg.cn/blog_migrate/96bd299592f82511e1c19d6d402b2a81.png)
即序列
单调上升;另一方面,我们尝试证明
。即要证
,由均值不等式得
![](https://i-blog.csdnimg.cn/blog_migrate/ca75cde5925d6a4124050de48494a347.png)
![](https://i-blog.csdnimg.cn/blog_migrate/8f5916d9cd971ebc773cbb5a24ae6ba6.png)
![](https://i-blog.csdnimg.cn/blog_migrate/00d5be6f70c3e1e70aa0e25feb75bc43.png)
![](https://i-blog.csdnimg.cn/blog_migrate/4f872edc169b2d7c54c1a81a657dd81c.png)
又明显有
,故
成立,所以
成立。
![](https://i-blog.csdnimg.cn/blog_migrate/a8bef3f5893d6e1445cae9f1bfbc749d.png)
![](https://i-blog.csdnimg.cn/blog_migrate/00d5be6f70c3e1e70aa0e25feb75bc43.png)
![](https://i-blog.csdnimg.cn/blog_migrate/8f5916d9cd971ebc773cbb5a24ae6ba6.png)
故
单调上升有上界,即
收敛。
另外形式
![](https://i-blog.csdnimg.cn/blog_migrate/ca75cde5925d6a4124050de48494a347.png)
![](https://i-blog.csdnimg.cn/blog_migrate/ca75cde5925d6a4124050de48494a347.png)
![](https://i-blog.csdnimg.cn/blog_migrate/5da0a13137be8799e2701b544512083e.png)
证法1
令
,易知
![](https://i-blog.csdnimg.cn/blog_migrate/406372b6924307503b55681d560c0372.png)
![](https://i-blog.csdnimg.cn/blog_migrate/ecafa7daf0b544c7233d0b9784602fa6.png)
则已知
收敛于
,即
![](https://i-blog.csdnimg.cn/blog_migrate/ca75cde5925d6a4124050de48494a347.png)
![](https://i-blog.csdnimg.cn/blog_migrate/ed6dd12be2ae9c79fe70d6839ff5b2ee.png)
![](https://i-blog.csdnimg.cn/blog_migrate/d0282a521afc54d432cd732907a8f471.png)
即
![](https://i-blog.csdnimg.cn/blog_migrate/2867ad8b3387daa0bf9fe253f1507f98.png)
所以,
,不妨设
,则有
![](https://i-blog.csdnimg.cn/blog_migrate/71b0ff856b96964ea7144bd13efa7775.png)
![](https://i-blog.csdnimg.cn/blog_migrate/457e969d631876acce8a99d0301cf656.png)
![](https://i-blog.csdnimg.cn/blog_migrate/9fa47083cb7748431bae8b6d20dc0969.png)
即
,有
![](https://i-blog.csdnimg.cn/blog_migrate/71b0ff856b96964ea7144bd13efa7775.png)
![](https://i-blog.csdnimg.cn/blog_migrate/24f382862b4b61ff5bb17e069489e3ef.png)
![](https://i-blog.csdnimg.cn/blog_migrate/57bf7765c256d883d34d803d6a633d9a.png)
又易知对固定的
和
,有
![](https://i-blog.csdnimg.cn/blog_migrate/805a11de2dc2c61ff12cebaf3aae16b0.png)
![](https://i-blog.csdnimg.cn/blog_migrate/25fe82943565631f146d913cf40ce4af.png)
![](https://i-blog.csdnimg.cn/blog_migrate/3d0460c993c6e4f6f1dc71e050d9ccbe.png)
![](https://i-blog.csdnimg.cn/blog_migrate/fb0b5583eb131a187413c24bb1ace579.png)
![](https://i-blog.csdnimg.cn/blog_migrate/805a11de2dc2c61ff12cebaf3aae16b0.png)
![](https://i-blog.csdnimg.cn/blog_migrate/eeaf8896ad19fed6f941f2a0de88f85a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/c0def80d77de6934f234077e064cca61.png)
即
,当 时,有
,即
![](https://i-blog.csdnimg.cn/blog_migrate/9eca01b752502256378eaf963f3a80a9.png)
![](https://i-blog.csdnimg.cn/blog_migrate/bf06fd9b3e07dc332cb424bd5748df92.png)
![](https://i-blog.csdnimg.cn/blog_migrate/010023629ff1034dd86e33baf8d86803.png)
即
![](https://i-blog.csdnimg.cn/blog_migrate/e7271c472654e0348cef12ab666c1462.png)
注:由该证法可以看出,对任意正数序列
,若存在一个收敛数列
,使得
![](https://i-blog.csdnimg.cn/blog_migrate/66665852ac5901c0b36f5cb87e30aa7c.png)
![](https://i-blog.csdnimg.cn/blog_migrate/ef5dc108f62b0d0a770540c8cd58a497.png)
![](https://i-blog.csdnimg.cn/blog_migrate/f6ccd570cc2e182ce137533aca27edb7.png)
则
收敛,且极限为
.
![](https://i-blog.csdnimg.cn/blog_migrate/66665852ac5901c0b36f5cb87e30aa7c.png)
![](https://i-blog.csdnimg.cn/blog_migrate/4b4eeb7dded7e7371085320ec2f7f4e3.png)
证法2
欲证
,即要证
![](https://i-blog.csdnimg.cn/blog_migrate/755d37b5819961b8ea28a36348ccbe39.png)
![](https://i-blog.csdnimg.cn/blog_migrate/324b0460f7c47293e1079c171bd45d2d.png)
![](https://i-blog.csdnimg.cn/blog_migrate/c508d53a68e35a21722843a295c7a9c9.png)
则有
![](https://i-blog.csdnimg.cn/blog_migrate/16d2fec9a20133fc2afcda6d0ca7f702.png)
故有
![](https://i-blog.csdnimg.cn/blog_migrate/324b0460f7c47293e1079c171bd45d2d.png)
证毕.
计算方法
对指数函数求导
![](https://i-blog.csdnimg.cn/blog_migrate/db4334698cd88ba8348f28f880c2d270.png)
注:其实任何满足微分方程
的解都必为形式
,其中
为任意常数
![](https://i-blog.csdnimg.cn/blog_migrate/dea3c4fdeaf6fa17dfb8bcecf9e0631a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/429b8d88b8b7814e869a23ed2e90cf4c.png)
![](https://i-blog.csdnimg.cn/blog_migrate/f19c25648c858ea26d13d6fc52804883.png)
泰勒级数展开
由上可知,函数
存在任意阶的导数。将其在点
处进行泰勒展开,有
![](https://i-blog.csdnimg.cn/blog_migrate/60e49f34a9e20242cb11818421b2fee3.png)
![](https://i-blog.csdnimg.cn/blog_migrate/ea0865ca006cf3f20bb91b5f5bc4342a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/a346fbdf8c04274e007f2bdcd8832908.png)
取
Peano形式的余项
(参见
泰勒公式词条)
![](https://i-blog.csdnimg.cn/blog_migrate/b03dcf1fbbc41da4268a4c1c3643c315.png)
令上式
,有
![](https://i-blog.csdnimg.cn/blog_migrate/125db3f887d20ce8c96ca9952e9e4ad4.png)
![](https://i-blog.csdnimg.cn/blog_migrate/4177c0508bf494599e252446376163f3.png)
故有
![](https://i-blog.csdnimg.cn/blog_migrate/c514c30902a159b9ef07720c77366df4.png)
即得
![](https://i-blog.csdnimg.cn/blog_migrate/9ccb85050490d7730285dacc17ef4f54.png)
由此就可根据上式求解出
的具体数值
![](https://i-blog.csdnimg.cn/blog_migrate/11b97d432df789c2c562008911fe34aa.png)
限制精度
但是在应用中我们需要的是
的具有某位精度的数值,比如说要求
的小数点前2000位的准确数值。此时Peano余项不够用了。我们换一个余项,例如——
Lagrange余项:
![](https://i-blog.csdnimg.cn/blog_migrate/11b97d432df789c2c562008911fe34aa.png)
![](https://i-blog.csdnimg.cn/blog_migrate/11b97d432df789c2c562008911fe34aa.png)
![](https://i-blog.csdnimg.cn/blog_migrate/82194cca7a5c47a58264d42215e16ce4.png)
![](https://i-blog.csdnimg.cn/blog_migrate/fe7c1b0e7a78f4a144526faa39ee07a8.png)
![](https://i-blog.csdnimg.cn/blog_migrate/60e49f34a9e20242cb11818421b2fee3.png)
![](https://i-blog.csdnimg.cn/blog_migrate/125db3f887d20ce8c96ca9952e9e4ad4.png)
![](https://i-blog.csdnimg.cn/blog_migrate/7e50d0471b356a2ccfe2317a070936fc.png)
所以
![](https://i-blog.csdnimg.cn/blog_migrate/966e24930479e2363c106d0249383ef9.png)
![](https://i-blog.csdnimg.cn/blog_migrate/3d3bb194d19b817e3946405f4317cdfa.png)
![](https://i-blog.csdnimg.cn/blog_migrate/beb654df44b9345799eaa7a88f515409.png)
![](https://i-blog.csdnimg.cn/blog_migrate/beb654df44b9345799eaa7a88f515409.png)
![](https://i-blog.csdnimg.cn/blog_migrate/0bd1b09dbe600de926ead4ef6f7dac9a.png)
便得
的小数点后2000位的准确数值
![](https://i-blog.csdnimg.cn/blog_migrate/11b97d432df789c2c562008911fe34aa.png)