[家里蹲大学数学杂志]第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 ...
随机推荐
- apache开启.htaccess
1 . 如何让的本地APACHE开启.htaccess 如何让的本地APACHE开启.htaccess呢?其实只要简朴修改一下apache的httpd.conf设置就让APACHE.htaccess了 ...
- WCF初探-8:WCF服务承载 (上)
前言 任何一个程序的运行都需要依赖一个确定的进程中,WCF服务也不例外.如果使用WCF服务,我们就必须将服务承载于创建它并控制它的上下文和生存期的运行时环境中,承载服务环境的程序,我们称之为宿主.WC ...
- css浏览器窗口大小
Window 尺寸 有三种方法能够确定浏览器窗口的尺寸(浏览器的视口,不包括工具栏和滚动条). 对于Internet Explorer.Chrome.Firefox.Opera 以及 Safari: ...
- Visual Studio 编译项目失败,提示找不到文件
博客地址:http://blog.csdn.net/FoxDave 今天碰到了一个蠢问题,虽然咱们正常情况下是遇不到的,但这确实是个应该注意的地方,所以简单记录一下. Visual Studio ...
- java基础介绍(转)
很全面的介绍JAVA基础的文档 Java 编程简介,第 1 部分: Java 语言基础 http://www.ibm.com/developerworks/cn/java/j-introtojava1 ...
- (zz) 谷歌技术"三宝"之BigTable
006年的OSDI有两篇google的论文,分别是BigTable和Chubby.Chubby是一个分布式锁服务,基于Paxos算法:BigTable是一个用于管理结构化数据的分布式存储系统,构建在G ...
- Linux type命令
用途说明 type命令用来显示指定命令的类型.一个命令的类型可以是如下几种: alias 别名 keyword 关键字,Shell保留字 function 函数,Shell函数 builtin 内建命 ...
- RabbitMQ/JAVA 客户端测试(补:利用线程)
上次进行了简单的连接测试.这次主要进行一下小小的补充.利用线程将生产者消费者代码合到一个文件中. 我是将Recv.java(消费者)文件放在一个线程里添加到Send.java(生产者)中. 代码如下: ...
- 18、(番外)匿名方法+lambda表达式
概念了解: 1.什么是匿名委托(匿名方法的简单介绍.为什么要用匿名方法) 2.匿名方法的[拉姆达表达式]方法定义 3.匿名方法的调用(匿名方法的参数传递.使用过程中需要注意什么) 什么是匿名方法? 匿 ...
- Python::OS 模块 -- 进程管理
os模块的简介参看 Python::OS 模块 -- 简介 os模块的文件相关操作参看 Python::OS 模块 -- 文件和目录操作 os模块的进程参数 Python::OS 模块 -- 进程参数 ...