[家里蹲大学数学杂志]第237期Euler公式的美
1 Euler 公式 $e^{i\pi}+1=0$
(1) 它把
a. $e:$ 自然对数的底 $\approx 2. 718281828459$ (数分)
b. $i$: 虚数单位 $=\sqrt{-1}$ (复变)
c. $\pi$: 圆周率 $\approx 3. 1415926$ (小学就学了)
d. $1$: 自然数的单位 (道生一,一生二,二生三,三生万物---老子关于万物的起源)
e. $0$: 人类最伟大的发现之一 (可以考虑平衡, 欠费等问题了) 这些数学中最重要的一些常数联系了起来.
(2) 它把现代数学的三大分支
a. 分析 (Analysis) $(e,i)$
b. 代数 (Algebra) $(1,0)$
c. 几何 (Geometry) $(\pi)$ 联系了起来.
2. $$\beex \bea e&=\lim_{n\to\infty}\sex{1+\frac{1}{n}}^n =\lim_{n\to\infty}\sex{1+\frac{1}{n}}^{n+1}\\ &\quad\sex{\sex{1+\frac{1}{n}}^n\nearrow e,\quad \sex{1+\frac{1}{n}}^{n+1}\searrow e}\\ &=\sum_{n=0}^\infty \frac{1}{n!}\\ &=1+1+\frac{1}{2!}+\cdots+\frac{1}{n!}+\ve_n. \eea \eeex$$ 于是我们可以用 $$\bex 1+1+\frac{1}{2!}+\cdots+\frac{1}{n!} \eex$$ 来近似计算 $e$, 而产生的误差 $\ve_n$ 满足 练习:: $$\bex \frac{1}{(n+1)!}<\ve_n<\frac{1}{n!n}. \eex$$ 提示:: 估计余项 $$\bex \frac{1}{(n+1)!}+\frac{1}{(n+2)!}+\cdots. \eex$$ 数 $e$ 是 Euler 于 1728 年引入作为自然对数的底.
(1) $e$ 是最``自然''的对数的底. Why? $$\bex (\ln x)'=\frac{1}{x},\quad (e^x)'=e^x. \eex$$
(2) 说到对数, 在计算中重要, 把 ``乘法运算'' 变换成 ``加法运算''. 思考:: 有一种变换把 ``求导运算'' 变换成 ``乘法运算''. 知道是什么吗? 提示:: 利用分布积分可以证明 Fourier 变换 $$\bex \scrF\sex{f}(\xi) =\int f(x)e^{-ix\cdot \xi}\rd x \eex$$ 适合 $$\bex \scrF\sex{\frac{\p f}{\p x_1}} =i\xi_1\scrF(f). \eex$$
(3) $e$ 是无理数, 也是超越数 (1873 年, Hermite). 开放性问题 (Open Problem):: $e+\pi$ 是无理数么? 定义:: 一个数称为代数数, 如果它是某个整系数多项式的根. 不是代数数的数称为超越数.
3. $i$: 虚数单位
(1) 意大利数学家 Cardano 在解三次方程的时候引入的. 不过那时候还不知道 $\sqrt{-1}$ 的含义是什么, 纯粹是一种形式记号.
(2) $\sqrt{-1}$ 的几何意义 (画图: $\sqrt{-1}\cdot\sqrt{-1}=-1$---乘以 $-1$ 相当于旋转 $180^\circ$, 而乘以 $\sqrt{-1}$ 相当于旋转 $90^\circ$, 我们从``一维直线''到了``二维平面'').
(3) 把 $i=\sqrt{-1}$ 引入后, 我们进入了二维世界. 可以作加法和乘法, 且都有逆运算---减法和除法. 如此构成一个 ``域 (Field)''. 注记:: 到此, 绝大部分数学家就够用了. 当然有些代数学家可能还不满足.
(4) 二维很重要! 殊不知数学分析用了一册讲一元, 一册讲多元. 而复变函数整一本讲二元! 说到 ``2'', 我们看看它的重要性 (不记得参考文献了, 以前看过一点):
a. $2$: 最小的素数, 唯一的偶素数.
b. $\dps{F=G\frac{mM}{r^2}}$, 万有引力.
c. 流体力学方程组 $$\bex \left\{\ba{ll} \p_t\bbu+(\bbu\cdot\n)\bbu-\lap\bbu+\n p=0,\quad(\mbox{动量守恒})\\ \n\cdot\bbu=0,\quad(\mbox{能量守恒}) \ea\right. \eex$$ 在 $2$ 维的时候解是整体存在的. 这里, $\bbu=(u_1,u_2)$ 是流体的速度, $p$ 是压力, $\bbu\cdot\n$ 是 $\bbu$ 与 $\n$ 的``内积''. 在 $3$ 维的时候是 ``千禧年大奖难题''.
d. $E=mc^2$.
4. $\pi$: 圆周率---单位圆的半周长.
(1) 远古时代: 古希腊 Archimedes 和古中国刘徽有 Archimedes- 刘徽算法---近似计算 $\pi$. 具体如下: 先算出单位圆的外切和内接正 $6$ 边形的半周长, 为 $a_1=2\sqrt{3}$, $b_1=3$. 然后不断平分, 可以得到外切和内接正 $2^n\cdot 3$ 边形的半周长, 分别为 $$\bex a_{n+1}=\frac{2a_nb_n}{a_n+b_n},\quad b_{n+1}=\sqrt{a_{n+1}b_n}. \eex$$ 练习:: 利用单调有界定理证明 $\sed{a_n}$、$\sed{b_n}$ 收敛; 利用上述几何意义证明 $\dps{\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n=\pi}$. 注记:: 这个算法是一阶的 (数值分析), $$\bex |a_{n+1}-\pi|\leq C|a_n-\pi|. \eex$$
(2) Newton 利用他自己分明的二项式定理和微积分用``分析''的方法给出了 $\pi$ 的更好的估计: $$\bex \int_0^\frac{1}{4}\sqrt{x-x^2}\rd x +\frac{1}{2}\cdot \frac{1}{4}\cdot \frac{\sqrt{3}}{4} =\frac{\pi}{3}. \eex$$
(3) 1976 年, Salami 和 Brent 给出了如下算法: $$\bex a_0=1,\quad b_0=s_0=\frac{1}{\sqrt{2}}; \eex$$ $$\bex a_n=\frac{a_{n-1}+b_{n-1}}{2},\quad b_n=\sqrt{a_{n-1}b_{n-1}}; \eex$$ $$\bex s_n=s_{n-1}-2^n(a_n^2-b_n^2); \eex$$ $$\bex p_n=\frac{2a_n^2}{s_n}. \eex$$ 可以证明 $\sed{p_n}$ 二阶收敛于 $\pi$\footnote{每算一次, 有效位数增加一倍.}, 即 $$\bex |p_{n+1}-\pi|\leq C|p_n-\pi|^2. \eex$$
(4) 现在已经有了任意高阶的算法.
5. 证明 Euler 公式: 由 $$\beex \bea e^{i\theta}=\sum_{n=0}^\infty\frac{(i\theta)^n}{n!} &=1+i\frac{\theta}{1!} -\frac{\theta^2}{2!} -i\frac{\theta^3}{3!} +\cdots\\ \cos \theta=\sum_{n=0}^\infty (-1)^n\frac{\theta^{2n+1}}{(2n+1)!} &=1\quad\quad\ \,-\frac{\theta^2}{2!}+\cdots\\ \sin \theta =\sum_{n=0}^\infty (-1)^n \frac{\theta^{2n}}{(2n)!} &=\quad\quad\frac{\theta}{1!}\quad\quad\ \ \, -\frac{\theta^3}{3!}+\cdots\\ \eea \eeex$$ 即知 $$\bex e^{i\theta}=\cos \theta+i\sin \theta. \eex$$ 令 $\theta=\pi$ 即有 $e^{i\pi}=-1\ra e^{i\pi}+1=0$.
6. 推荐读物 天才导引的历程---数学中的伟大定理 (The Journey through Genius---The Great Theorems in Mathematics).
[家里蹲大学数学杂志]第237期Euler公式的美的更多相关文章
- [家里蹲大学数学杂志]第033期稳态可压Navier-Stokes方程弱解的存在性
1. 方程 考虑 $\bbR^3$ 中有界区域 $\Omega$ 上如下的稳态流动: $$\bee\label{eq} \left\{\ba{ll} \Div(\varrho\bbu)=0,\\ \ ...
- [家里蹲大学数学杂志]第047期18 世纪法国数学界的3L
1 Lagrange---78岁 约瑟夫·拉格朗日, 全名约瑟夫·路易斯·拉格朗日 (Joseph-Louis Lagrange 1735~1813) 法国数学家.物理学家. 1736年1月25日生于 ...
- [家里蹲大学数学杂志]第013期2010年西安偏微分方程暑期班试题---NSE,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子
Navier-Stokes equations 1 Let $\omega$ be a domain in $\bbR^3$, complement of a compact set $\mathca ...
- [家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A
1 ( 10 分 ) 设 $\mathcal{X}$ 是 Banach 空间, $f$ 是 $\mathcal{X}$ 上的线性泛函. 求证: $f\in \mathcal{L}(\mathcal{X ...
- [家里蹲大学数学杂志]第049期2011年广州偏微分方程暑期班试题---随机PDE-可压NS-几何
随机偏微分方程 Throughout this section, let $(\Omega, \calF, \calF_t,\ P)$ be a complete filtered probabili ...
- [家里蹲大学数学杂志]第053期Legendre变换
$\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛 ...
- [家里蹲大学数学杂志]第056期Tikhonov 泛函的变分
设 $\scrX$, $\scrY$ 是 Hilbert 空间, $T\in \scrL(\scrX,\scrY)$, $y_0\in\scrY$, $\alpha>0$. 则 Tikhonov ...
- [家里蹲大学数学杂志]第235期$L^p$ 调和函数恒为零
设 $u$ 是 $\bbR^n$ 上的调和函数, 且 $$\bex \sen{u}_{L^p}=\sex{\int_{\bbR^n}|u(y)|^p\rd y}^{1/p}<\infty. \e ...
- [家里蹲大学数学杂志]第269期韩青编《A Basic Course in Partial Differential Equations》 前五章习题解答
1.Introduction 2.First-order Differential Equations Exercise2.1. Find solutons of the following inti ...
随机推荐
- nginx rewrite 指令last break区别最详细的解释
转自:http://blog.sina.com.cn/s/blog_4f9fc6e10102ux0w.html http://blog.cafeneko.info/2010/10/nginx_rewr ...
- 最大流 总结&&做题记录
最近一直很忙,为了节省时间,从今以后的题解会 一个专题 写一篇. 刷了一些题后,有了以下总结: 模型要点: 1.构造流量平衡,在满足流量平衡的情况下,找到要让什么最大. 2.一般用于判断性问题,即所有 ...
- 初识selendroid
Testerhome社区的lihuazhang对selendroid官网的部分内容进行了翻译和讲解. 以下内容均摘自lihuazhang.感谢lihuazhang的讲解.原文地址:https://gi ...
- Android 源码下载
一直想尝试android源码的编译,这两天正好海思代码的编译也需要ubuntu环境,于是安装了ubuntu 12.04,安装时选了语言为中文,因此下面很多状态及错误报告都是中文了,另外分配了4G sw ...
- 搭建mysql5.626及如何去官网下载历史版本数据库
MySQL官网下载历史版本 网上搜索MySQL官网 2 查询所有的归档文件 点击进入服务器列表 列表中默认只有Windows 版本的,可选择其它版本,但无法进行查询 查看网页元素 发现 ...
- 修改 UISearchBar cancelButton 样式
今天收到个问题,老大让我修改UISearchBar cancelButton的样式本来以为很简单的一个活,没想到让我长知识了. 开始在网上搜到的方法和我想象的一样,通过遍历Subviews获得butt ...
- python3使用requests登录人人影视网站
python3使用requests登录人人影视网站 继续练习使用requests登录网站,人人影视有一项功能是签到功能,需要每天登录签到才能升级. 下面的代码python代码实现了使用requests ...
- Javascript实现CheckBox的全选与取消全选的代码(转)
js函数 复制代码 代码如下: <script type="text/javascript"> function checkAll(name) { var el = d ...
- sql整型字段模糊查询
select count(*) cnt from vhuiy where CAST(id as text) like'%12%'--id为int类型 更详细的链接:http://www.studyof ...
- 实验三 java敏捷开发与XP
一.实验内容 (一)敏捷开发与XP 软件开发流程的目的是为了提高软件开发.运营.维护的效率,并提高软件的质量.用户满意度.可靠性和软件的可维护性. 光有各种流程的思想是不够的,我们还要有一系列的工具来 ...