【转载】三种证明欧拉恒等式的方法(3 methods of proving Euler's Formula )
2015-05-23 15:49
323 查看
【转载】三种证明欧拉恒等式的方法(3 methods of proving Euler’s Formula )
如下证明来自维基百科,本文属于转载如有版权涉及问题,概不负责。These proofs followling was original state in WIKI.
FROM:http://en.wikipedia.org/wiki/Euler_formula
Proofs
使用泰勒级数
Here is a proof of Euler’s formula using Taylor series expansions as well as basic facts about the powers of i:
and so on. The functions ex, cos(x) and sin(x) (assuming x is real) can be expressed using their Taylor expansions around zero:
For complex z we define each of these functions by the above series, replacing x with z. This is possible because the radius of convergence of each series is infinite. We then find that
The rearrangement of terms is justified because each series is absolutely convergent. Taking z= x to be a real number gives the original identity as Euler discovered it.
利用微积分
Define the (possibly complex) function f(x), of real variable x, as
Division by zero is precluded since the equation
implies that is never zero.
The derivative of f(x), according to the quotient rule, is:
Therefore, f(x) must be a constant function in x. Because f(0) is known, the constant that f(x) equals for all real x is also known. Thus,
Rearranging, it follows that
Q.E.D.
利用常微分方程
Define the function g(x) by
Considering that i is constant, the first and second derivatives of g(x) are
because i 2 = ?1 by definition. From this the following 2nd-order linear ordinary differential equation is constructed:
or
Being a 2nd-order differential equation, there are two linearly independent solutions that satisfy it:
Both cos(x) and sin(x) are real functions in which the 2nd derivative is identical to the negative of that function. Any linear combination of solutions to a homogeneous differential equation is also a solution. Then, in general, the solution to the differential equation is
for any constants A and B. But not all values of these two constants satisfy the known initial conditions for g(x):
.
However these same initial conditions (applied to the general solution) are
resulting in
and, finally,
Q.E.D.
来源: http://hotblood660.blog.163.com/blog/static/9828435920083131534099/
相关文章推荐
- Jquery中each的三种遍历方法 转载
- 转载-Javascript定义类(class)的三种方法
- (转载)Linux编程获取本机IP地址的三种方法
- VBA遍历文件夹的三种方法(转载)
- C++/MFC创建多线程的三种方法(转载)
- 二叉树的三种遍历方法(转载)
- asp.net跳转页面的三种方法比较(转载)
- 用三种方法证明DROP USER(有Table)会触发Object级Checkpoint
- 二叉树的三种遍历方法(递归和非递归)(转载)
- 积分不等式证明的三种方法_20160416
- Android开发中完全退出程序的三种方法(转载)
- SOCKET 检测链接是否断线的三种方法(转载)
- 转载:VMWARE虚拟机无法访问的三种方法分析
- 在shell脚本中调用另一个脚本的三种不同方法(fork, exec, source)——转载
- Android完全退出应用程序的三种方法(转载)
- ndroid获得Bitmap的三种方法(转载)
- 三种提高Google Analytics效率的方法(转载)
- structs2 接受参数的三种方法(转载)
- 二叉树的三种遍历方法(递归和非递归)(转载)
- MyEclipse6.5安装SVN插件的三种方法(转载)