微分符号 dx、dy 表示什么含义？ 第1页

算子，英文为“operator”，操作的意思。

算子和函数还是很接近的，只是有以下区别：

在这里， 算子完成了如下函数之间的映射：

4 切线函数与微分函数

好了，咱们有了导数，可以来求切线函数以及微分函数了。

4.1 切线函数

就切线而言，知道要经过 ，也知道斜率是导数 ，可以用直线的点斜式得到切线函数：

4.2 微分函数

虽然之前一直说切线就是微分，但是微分函数和切线函数有所不同，因为它们在不同的坐标系。让我们一步步来，把这个关键点说清楚。

首先令 ，切线函数就变为了：

然后在以 点为原点建立直角坐标系（姑且称为微分坐标系吧）：

以 点为原点建立的微分坐标系中有， 。这样在微分坐标系中切线方程就很简单了：

经过一系列操作终于得到了微分函数：

数学上把一系列操作用一个符号 来表示，也可称为 ：

微分 算子完成了下列的函数映射：

所以微分函数也写作：

表示把原函数 通过 操作变为了微分函数 ，这样也区别了微分函数和 坐标系的不同。

，因为 是变量，所以 实际上表示的是整个 轴：

因为 代表 轴这根直线，而直线的微分，根据以直代曲的思想，其实就是自己，所以：

因此，这就是微分的代数形式：

切线函数和微分函数的区别在于，前者在 坐标系下，后者在 坐标系下：

因为微分的代数形式如上，所以导数也可以记作：

所以导数也称为“微商”，即微分与微分的商。

4.3 微分的自变量、因变量

本节一直都在说，微分是函数：

那么它的自变量是什么，因变量是什么？

微分函数在 坐标系下，令 ，换元之后就回到了 坐标系：

可见，自变量是 ，因变量是 。

如果不光是求 点的微分，就像导函数一样，求某个开区间的微分，那么微分函数是二元函数：

4.4 微分是线性函数

虽然两者都是直线，但因为所在坐标系不同，所以切线函数和微分函数有一个重大的区别：

这个区别说明：

根据微分是线性函数这点，我们可以很方便地运用线性代数的知识来求解法线函数。

4.5 法线函数

在切点与切线垂直的直线就是法线：

放在 坐标系中，随便找到切线方向、法线方向两个向量：

即（t代表tangent，n代表normal，分别是英文的切线和法线）：

根据线性代数的知识，知道两个正交向量点积为0，因此：

所以：

知道法线斜率，并且知道过 ，就可以求出 坐标系下的法线函数：

本文是对下面这篇文章的节选，更多的细节、证明、习题在这里：微分之切线