本文主要参考视频：

【建议收藏】同济七版《高等数学》精讲视频 | 期末考试 | 考研零基础 | 高数小白_哔哩哔哩_bilibili

3.3.1.1 微分的定义_哔哩哔哩_bilibili

3.3.5.1 导数与微分区别_哔哩哔哩_bilibili

仅供本人学习使用。

什么是微分

相对于导数来说，微分其实不是很好理解。一开始我就理解错了，把dy就理解成了△y，但二者并非完全等价的关系。

那到底什么是微分呢？

先看一个小的引例：

试问，这里如果用2x0*△x来近似替代△A，是否可行呢？

为了解决这个疑惑，我们就要先学习微分这个概念。

由微分的定义可知，因为A*△x，即dy相对于△y来说少了个高阶无穷小，所以二者并非完全等价。

事实上，微分dy就是函数的增量△y的近似表示，当△x无限趋近于0时，二者才越来越接近，这就是“以直代曲”的极限逼近思想，也是微分的核心思想。

以下有几点说明：

微分的几何意义

这里能很直观地看到，微分其实是“以直代曲”所产生的切线的函数值相对于△x的增量。

而切线是怎么来的呢？是求导数得来的。

所以，微分和导数是不是有什么关联呢？

事实上，对于一元函数来说，可微和可导是完全等价的。

可微的充要条件如下：

结论如下：

所以，才有导数的另一个叫法就是微商。

注意：这里的前提y=x才得出dx=△x，总感觉不完善。

参考：微分 dx, △x - 知乎

我们知道直线的斜率是y=kx，类似的，微分dy=导数*dx

因此，求微分，其实本质就是求导数，然后乘以自变量的微分dx，从而得到函数值的增量的近似表示。

举个求微分的简单例子

从例子中可以看出，微分dy其实是一个关于△x的线性函数。

微分和导数的区别

上面说可微和可导是等价的，那么这二者真的就是同一个东西吗？

还是有区别的。

微分的运算法则

基本初等函数的微分公式

其实就是求导函数，然后再乘以dx

四则运算

复合函数的微分

先外层整个求导，然后内层求导，相乘后再乘以dx

举个简单的例子

再举个例子

 

微分中值定理

微分中值定理并不是指某一个定理，而是一系列中值定理的总称，说是微分中值定理，其实和上面说的微分dy没有太大关系。

这些中值定理是研究函数的有力工具，其中最重要的内容是拉格朗日定理，可以说其他中值定理都是拉格朗日中值定理的特殊情况或推广。微分中值定理反映了导数的局部性与函数的整体性之间的关系，应用十分广泛。

之前在讲函数连续性的时候，讲过闭区间上连续函数的几个定理：

✔最大最小值定理

✔零点定理

✔介值定理  

费马引理

说明x0这点要么是最凸点或者最凹点，也就是说要么是最大值要么是最小值。

费马引理要说的是：如果某个极限区域内的极值存在，那么极值处的导数为0

罗尔定理

这个很好理解，区间端点处函数值相等，则中间要么变大再变小，要么变小再变大，要么一直都没变，不管怎么样，都会有一个点的切线平行于x轴。

这也就是罗尔定理的几何意义

拉格朗日中值定理

罗尔定理其实是拉格朗日中值定理的一种特殊情况。

推广

几何意义

注意，这里是平行于弦AB，不是平行于x轴，别搞懵了。

柯西中值定理

洛必达法则我放到导数章节了。 高等数学：导数-CSDN博客

泰勒公式 

泰勒公式是一种用于近似表达函数在某一点附近的值的数学公式。它利用函数在该点的各阶导数值作为系数，构建一个多项式来近似表达这个函数。泰勒公式的提出归功于18世纪的英国数学家布鲁克·泰勒。这个公式广泛应用于函数微分学的相关领域，特别是在研究和分析复杂函数的性质时。

泰勒公式的正确性是基于拉格朗日的切线定理，而其近似性则是通过泰勒级数的展开得到的。泰勒级数是对原始函数进行无限次多项式展开的结果，其中每一项都是函数在不同阶导数处的线性组合。泰勒多项式是原函数的近似，随着多项式项数的增加，它会变得更加精确地接近原函数。 泰勒公式的发展历程涉及到了多位数学家的贡献，其中包括科林·麦克劳林和奥古斯丁-路易斯·柯西等人。他们的工作进一步扩展了泰勒公式的应用范围和使用频率，使其成为了分析和研究许多数学问题的有力工具。

1

2

3

可以看到，麦克劳林公式是对泰勒公式的简化，但也属于泰勒公式，我们一般都称之为泰勒展开。

下面是常用的泰勒展开式：

这些式子是已经计算并展开了，记住就行。

泰勒展开描述了任何函数都可以展开成多项式的形式，展开的项越多，越能接近真实值。

如何用泰勒公式求极限？

当我们直接求极限不好求的时候，就可以将式子进行泰勒展开，然后再求极限，极限情况下，高阶无穷小，即余项就会等于0。

注意：x^n的高阶无穷小就是说比n次幂还高次幂的余项。