欧拉公式——宇宙第一公式
目录
概述
一、泰勒公式
1. 从一阶泰勒公式说起
2. 一阶到二阶
3. 洛必达法则
4. 泰勒中值定理(泰勒公式)范式
5. 柯西中值定理
二、欧拉公式
1. 证明
2. 在复平面单位圆上的点可以用三角函数来表示
3. 复平面上乘法的几何意义
4. 对同一个点不同的描述方式
5. 为什么 是圆周运动
6. 欧拉恒等式
概述
欧拉公式是数学里最令人着迷的公式之一,它将数学里最重要的几个常数联系到了一起:两个超越数:自然对数的底e,圆周率π;两个单位:虚数单位i和自然数的单位1,以及数学里常见的0。
由于欧拉公式的证明,需要了解一个重要的公式——泰勒公式,所以在介绍欧拉公式之前,我们先聊一下泰勒公式:
一、泰勒公式
泰勒公式虽然形式不算复杂,但几乎所有的教材都是直接给出这个公式,然后再进行相应的结论证明,显得过于突兀,也不便于理解。尝试给出一种由基本的导数公式和极限定理推导泰勒公式的方法,希望能对读者诸君有所帮助。
1. 从一阶泰勒公式说起
我们首先从一阶导数着手。假设 在
有一阶导数,那么根据定义,就有
(1)
现在回顾一下关于函数极限的一个结论:
(2)
其中, 是该极限过程下的某个无穷小,即
利用这个结论,可以将 改写为
(3)
其中 再进一步变形,就可得到[1]
(4)
注意到(4)末尾那一项,很清楚,它是的高阶无穷小,这是因为
(5)
于是,我们可以直接将它记作
(6)
这样的话, 式可进一步改写为
(7)
好了!这就是一阶泰勒公式。
2. 一阶到二阶
那么如何得到二阶的呢?
先比较一下二阶泰勒和一阶泰勒形式上的差别吧。它们前两项都是一样的,只不过二阶的又多出了一项。注意到,高阶无穷小的记号实际上是一个「收纳筐」,它里面装着很多隐藏着的东西。如此,我们猜测,二阶泰勒多出来的这一项,一定是从一阶泰勒那个高阶无穷小中「分析」出来的。
这启发我们来考察这样一个极限
(8)
这是一个 的极限,要求解它可以考虑使用洛必达。但是,请注意,我们现在只有 在
一点一阶可导的条件,这还不足以让我们使用洛必达。不过,这并没有太大困难,只要加强条件就行,比如:我们让 在 二阶可导,这样的话,就不仅保证了
存在,还同时保证了
在
某邻域内一阶可导,这就满足了洛必达的使用条件。
3. 洛必达法则
洛必达法则(l'Hôpital's rule)是在一定条件下通过分子分母分别求导再求极限来确定未定式值的方法。大意为两个无穷小之比或两个无穷大之比的极限可能存在,也可能不存在。因此,求这类极限时往往需要适当的变形,转化成可利用极限运算法则或重要极限的形式进行计算。洛必达法则便是应用于这类极限计算的通用方法。这法则是由瑞士数学家约翰·伯努利(Johann Bernoulli)所发现的,因此也被叫作伯努利法则(Bernoulli's rule)。
不严格的说,洛必达法则就是在 型和
型时,有
展开来说洛必达(L 'Hopital)法则是在一定条件下通过分子分母分别求导再求极限来确定未定式值的方法。
洛必达法则(定理)
设函数和
满足下列条件:
⑴时,
,
;
⑵在点a的某去心邻域内与
都可导,且
的导数不等于0;
⑶时,
存在或为无穷大
则时,
好了!开始洛必达!
(9)
现在,我们又利用 的结论,将这个极限改写为
基于同样的理由, 我们将它代入 并连同 一起代回 (10) ,就将得到
很清楚,这就是二阶泰勒公式!
4. 泰勒中值定理(泰勒公式)范式
由导数的定义可知,当函数
在点
处可导时,在点
的邻域
内恒有
因为是一个无穷小量,故有
这是在对函数进行局部线性化处理时常用的公式之一。从几何上看,它是用切线近似代替曲线。然而,这样的近似是比较粗糙的,而且只在点的附近才有近似意义。为了改善上述不足,使得近似替代更加精密,数学家们在柯西中值定理的基础上,推导出了泰勒中值定理(泰勒公式)
若函数在包含
的某个开区间(a,b)上具有(n+1)阶的导数,那么对于任一
,有
其中,,此处的
为
与
之间的某个值。
的成为n阶泰勒公式,其中,
称为n次泰勒多项式,它与
的误差,
成为n阶泰勒余项。
5. 柯西中值定理
柯西中值定理,是著名的数学定理,证明了微积分学基本定理即牛顿-莱布尼茨公式。利用定积分严格证明了带余项的泰勒公式,还用微分与积分中值定理表示曲边梯形的面积,推导了平面曲线之间图形的面积、曲面面积和立体体积的公式。简单地理解,就是初中以及高中了解到的斜率与导数的关系。函数在某点的斜率等于该函数在该点的导数。
柯西中值定理是拉格朗日中值定理的推广,是微分学的基本定理之一。其几何意义为,用参数方程表示的曲线上至少有一点,它的切线平行于两端点所在的弦。该定理可以视作在参数方程下拉格朗日中值定理的表达形式。柯西中值定理粗略地表明,对于两个端点之间的给定平面弧,至少有一个点,使曲线在该点的切线平行于两端点所在的弦。
证明:
二、欧拉公式
这个发表于公元1748年的数学公式,将三角函数与复指数函数巧妙地关联了起来。
其中, 为自然常数,
为虚数,
则是以弧度为单位的参数(变量)。
1. 证明
根据泰勒公式展开
当时,有
2. 在复平面单位圆上的点可以用三角函数来表示
3. 复平面上乘法的几何意义
证明:
既坐标由,变为
,由三角函数定理得知,移动后的模长为之前的2倍,角度由
以原点旋转
,变为
。
4. 对同一个点不同的描述方式
5. 为什么
是圆周运动
e,作为数学常数,是自然对数函数的底数。有时称它为欧拉数,以瑞士数学家欧拉命名;也有个较鲜见的名字纳皮尔常数,以纪念苏格兰数学家约翰·纳皮尔 引进对数。它就像圆周率π和虚数单位i,e是数学中最重要的常数之一。定义为:
这是实数域上的定义,可以推广到复数域 ,根据之前对复数乘法的描述,乘上
是进行伸缩和旋转运动,
取值不同,伸缩和旋转的幅度不同
,
。
三角函数定义域被扩大到了复数域,我们把复数当作向量来看待,复数的实部是 方向,虚部是
方向,很容易观察出其几何意义。
6. 欧拉恒等式
当时,带入欧拉公式:
,这就是就是欧拉恒等式,被誉为上帝公式。
、
、
、乘法单位元1、加法单位元0,这五个重要的数学元素全部被包含在内,在数学爱好者眼里,仿佛一行诗道尽了数学的美好。
欧拉公式——宇宙第一公式相关推荐
- 欧拉公式——真正的宇宙第一公式
来源:数学中国 欧拉公式是数学里最令人着迷的公式之一,它将数学里最重要的几个常数联系到了一起:两个超越数:自然对数的底e,圆周率π:两个单位:虚数单位i和自然数的单位1,以及数学里常见的0. 而且它对 ...
- 马斯克将Roadster送上太空,“宇宙第一跑车”诞生
作者 | 周翔.谷磊 马斯克又完成了一次惊天动地的创举,多少人注定无眠! 北京时间2月7日凌晨,Space X在美国肯尼迪航天中心首次发射了重型猎鹰(Falcon Heavy)运载火箭,并成功完成一级 ...
- 「元宇宙第一股」Roblox市值突破600亿美元!
转自:新智元 最近,「元宇宙」这个词越来越火了. 先有Facebook改名,紧接着微软Ignite大会宣布借Mesh和游戏平台全力杀入,近日又有AMD.英伟达等巨头在产品发布活动上大谈特谈 ...
- 脸书推出VR视频会议应用程序 正式跨出元宇宙第一步;三家公司新入选福布斯2021云计算百强榜;微软挖来亚马逊云业务顶级高管贝尔...
NEWS 本周新闻回顾 微软挖来亚马逊云业务顶级高管贝尔 微软公司已经聘请亚马逊云业务高管查理·贝尔担任其企业副总裁.鉴于微软的Azure 云业务正试图从亚马逊 AWS 手中争夺份额,这一挖角行动可以 ...
- 宇宙第一 IDE Visual Studio 2019 支持 C++ 和 Python 了!
图来自官网 作者 | Peter Bright 译者 | 弯月 责编 | 伍杏玲 出品 | CSDN(ID:CSDNnews) [CSDN 编者按]根据PYPL 2019年4月最新的IDE指数榜单,在 ...
- 宇宙第一 IDE Visual Studio 支持 Java 了!
惊不惊喜?意不意外? 作者 | 唐小引 出品 | CSDN(ID:CSDNNews) 北京时间 10 月 25 日 - 27 日,2018 微软技术暨生态大会(Microsoft Tech Summi ...
- 宇宙第一 IDE 霸主,换人了?
导读:为什么 Visual Studio 能够登顶? 作者 / 来源:纯洁的微笑(ID:keeppuresmile) 01 第一 IDE 宇宙第一 IDE 是谁? 这就像当初讨论谁是编程语言的扛把子一 ...
- 全宇宙第一编辑器VS Code搭配Markdown打造云端笔记(一)
VS Code 配上 Markdown 语言, 就能写出酷炫, 便捷, 且适应互联网的「云端」学习笔记. 这个教程是我这段时间踩过各种各样的坑之后, 总结 VS Code 做学习笔记的最佳实践. 如果 ...
- 全宇宙第一编辑器VS Code搭配Markdown打造云端笔记(二:MD语法速成)
十分钟掌握Markdown 语法~ 纯粹的 Markdown 语法其实非常简单, 70 行的语法介绍就可以写完. # 一级标题## 二级标题### 三级标题每写完一个段落要隔一行空行.就像这样, 隔了 ...
最新文章
- 国内android应用商城中程序隐私泄露分析,基于数据流分析的Android应用隐私泄露检测研究...
- Quartz.Net—配置化
- 一次使用 Eclipse Memory Analyzer 分析 Tomcat 内存溢出
- 算法 - pyhton - 二分查找
- 使用go语言GUI库实现对mp3文件的播放1(简单的播放mp3文件)
- [Qt教程] 第36篇 网络(六)UDP
- android Rom 制作2
- linux服务 运维案例,linux运维实战练习案例-2015年12月20日-12月31日
- 【转】c#数字图像处理(四)线性点运算
- vue checkbox双向绑定_Vue的双向绑定
- 开课吧:Dubbo的整体架构设计有哪些分层?
- php try catch 作用域,浅谈PHP中try{}catch{}的使用方法
- xp大容量u盘补丁_老电脑上大硬盘补丁
- MeteoInfoLab脚本示例:数据投影-FLEXPART
- photoshop-CMYK色彩模式
- 调整图片大小的方法(变大或变小)
- LoRa 信噪比和接收灵敏度
- python pkl、npy数据转换为csv
- 米什金货币金融学第十一版笔记和课后答案
- 解决fbreader从书架打开的是同一本书问题