那些数学老师忘了告诉你的事情

是否总觉得手中的教材讲得不透，有种自己编教材的冲动？要是我来编，我会这样……可我就是迈不出第一步。好吧，就把那些我顿悟的地方记下来，一点一点地攒吧。

你数学老师没告诉你，微积分基本定理是前后项抵消来的吗

事情还得从一个常识（Rolle 定理）说起。[a, b ] 上有段光滑曲线f(x) ，且f(a) = f(b) ，那么[a, b ]上必定有一点，使得这点的切线是水平的。

如果但为了说清这点，我们得先说说什么曲线是光滑的？f = |x| 就不是光滑的，因为在x = 0 处有个折。不像现实中的折，这个折无论放大多少倍去观察，你都能看到那地方是尖的。数学上说，它在x = 0 这点不光滑。那怎么判断一条曲线光滑不光滑呢？我们再来看看 f = |x| 为什么有个折。因为，在x = 0 这点的左边，曲线始终斜向下；而到了右边，却始终斜向上。即 f = |x| 的斜率在x = 0 处有个突变，如果把每一点的斜率画出来就很清楚。

数学上把这叫做“导函数不连续”。严格地说，一条曲线光滑要求无穷阶可导。如果只是存在连续导函数，叫做连续可导。这里就不区分了，反正高阶的事肉眼看不出来。

回到Rolle 定理，f(x) 是光滑的，那么至少其导函数连续。如果你认为下面这个事实是显然的，那么Rolle 定理不证自明：[a, b] 上的连续函数h(x)，若h(a)·h(b) < 0，那么h(x) 必定穿过x-轴。

如果你承认了Rolle 定理，那么旋转一下坐标轴就得到了微分中值定理。

现在转向积分。我们要求一段曲线与x-轴所围图形的面积。老办法，先划分成若干小段a = x0 < x1 < …… < x_n = b，每一段的面积用某个矩形来近似。

汇总之后就得到了个大概。

你看到微分中值定理的影子了吗？在每一小段上用微分中值定理，不过得反过来用。假设存在一个函数F(x)，其导函数就是f(x)。那么，

每一段都用f(ξ_i) 近似取代f(x_i)。（从这，你还能看出这种积分法的局限——每个小段内曲线不能波动太“剧烈”。解决这个问题其实也不难，x和y颠倒就行了。）然后，你懂的，加起来就行啦。

其实这是从欧姆社的《漫画微积分》上看来的（P94），扩充了下。

你数学老师没告诉你，Green公式、Stokes公式、Gauss公式有点像吗

……

你数学老师没告诉你，曲率就是刚好能卡住的圆的半径吗

……

你数学老师没告诉你，Carmack写过一个NB到爆的Taylor展开吗

……

你数学老师没告诉你，Ptolemy能把行星运动拟合得这么好全靠了Fourier变换吗

……

你数学老师没告诉你，行列式就是一标示向量是否线性独立的函数吗

学线代的时候我就很奇怪，行列式不就是一种简记吗？为什么会有这么奇特的定义！置换、逆序……你妹哦！学了抽象代数以后，隐隐约约觉得线性代数应该是抽象代数的一个实例，但终究理不清他们之间的联系。后来听龚昇老师说，线代其实就是一主理想整环上的模？？？

跑题了。看了一点Sheldon Axler 的《线性代数应该这样学》后，越发认同作者的观点——教线代就应该从向量开始，神马行列式就是扰人的玩意。在你费心巴力疏通了若干概念之后才发现，行列式不过就一判断向量组是否线性独立的函数。

我们想找到一个函数D() ，能判断一组向量是否线性独立。那么，它起码要满足：

• 若向量组中有两个向量相同，则这组向量线性依存（即线性无关）。推而广之，若其中的某个向量能用向量组中的其他向量线性表出，这组向量仍然线性依存。

后面我们会看到，比起上面条基本性质，下面这些“附加条约”更重要一些，甚至可以唯一确定我们想找的函数。

首先是线性可加性（其实数学界喜欢叫它“多线性”，大概是多个维度都满足线性的意思吧）：

这倒好理解，毕竟研究的是具有线性性质的代数嘛。下面这条（交替性）就不那么好理解了：

就这么两条就足以唯一确定D() ！

我们先展开个D(v_1, v_2) 看看：

是不是还在纠结系数的足标和基向量足标的关系？其实直接用上面带Σ的那个线性可加性质展开就行了：

利用“含相同向量的向量组线性相依”，可以让所有不是1到n 的排列的项消失。再借助交替性质，可以把D(e_i_1, ... , e_i_n) 通通化成D(e_1, ... , e_n) 的形式，不过前面多了(i_1, ... , i_n) 的逆序数个负号。最后定义D(e_1, ... , e_n) = 1（而这也是行列式能把一组向量映射为一个数的关键），这个世界又可以清净一会了。这就是为什么行列式的定义会和“排列”、“逆序数”搭上线的原因-_-!

故事并没有结束。试想为什么行列式只对方阵有定义？如果我们能定义任意一组基的行列式值，我们就能定义任意矩阵的行列式。为什么不把D(e_1, ... , e_n) 定义为“真”？

好吧，我骗了大家，行列式并不是什么指示向量组是否线性独立的函数，而是这组向量所构成的高维立方体的“体积”。

这种考虑最初是在wiki上看到的，后面发现项武义老师的《基础代数学》第五章也是用的这种思路。