Single Variable Calculus 总结

引言

这篇文章是对 MIT Single Variable Calculus 这个课程的知识点总结。在这个课程中，我遇到一些问题涉及到先前高中学过的知识，同时也有一些比较难理解的或容易混淆的概念，因此我把找到的这些资料链接列在下面（这些资料弥补了我先前忘记的知识，并且加深了对课程内容的理解，非常有帮助）：

What is a Function?
Even and Odd Functions
Function Transformations
Inverse function
In what sense is the derivative the “best” linear approximation?
Inflection points introduction
Continuous versus differentiable
How to Detrmine when Limits Don’t Exist
Prove that the derivative of an even differentiable function is odd, and the derivative of an odd is even

limit and continuity

下面是 continuous 的定义：

A function $f$ is continuous at $x_0$ if $\lim_{x\rightarrow x_0}f(x) = f(x_0)$

如果一个函数在 $x_0$ 处是 continuous 的，那么从下面的定义中，我们可以得出以下3个属性：

1. $\lim_{x\rightarrow x_0^+}f(x) = \lim_{x\rightarrow x_0^-}f(x)$
2. $f(x_0)$ is defined
3. $\lim_{x\rightarrow x_0^+}f(x) = \lim_{x\rightarrow x_0^-}f(x)=f(x_0)$

下面中的链接是关于 limit 的一些属性，和证明这些属性为什么是正确的。

Limit Properties

Proof of Limit Properties

下面我们来证明一个定理，定理的内容如下：

If $f$ is differentiable at $x_0$, then $f$ is continuous at $x_0$

如果 $f$ is continuous at $x_0$，我们有 $\lim_{x\rightarrow x_0}f(x)=f(x_0)$，因此我们只需要证明，当函数 $f$ 在 $x_0$ 处可导，这个等式是成立的。整个证明过程如下图：

sin 与 cos 导数的证明

在这个 lecture 中，David Jerison 教授讲解了 sin 与 cos 函数导数的代数与几何证明，在具体证明之前，让我们首先求出2个极限的解，它们分别是：

$$\lim _{\Delta x\rightarrow 0.}\dfrac {\cos \Delta x -1} {\Delta x}=0\\ \lim _{\Delta x\rightarrow 0.}\dfrac {\sin \Delta x} {\Delta x}=1$$

我们首先来证明第2个极限，下图是个单位圆，角度 $\theta$ is described in radians but NOT when it is measured in degrees.

把第2个极限中的 $\Delta x$ 用 $\theta$ 替换，我们可以看出当 $\theta$ 无限接近于0时，$sin \theta$ 与 arc length（即 $\theta$）无限接近，因此我们可以总结出：

$$\lim _{x \rightarrow 0.}\dfrac {\sin x} {x}=1$$

接下来让我们来求第1个极限，下图来自于单位圆的一部分，我们可以看出当 $\theta$ 无限接近于0时，$1 - cos \theta$ 无限接近接近于0，因此我们可以总结出：

$$\lim _{ x\rightarrow 0.}\dfrac {\cos x -1} { x}=0$$

上面的几何证明过程中，有2个重点我需要解释一下：

1、在MIT的课堂上，我看到很多同学会问到：当 $\theta$ 无限接近于0时，$1 - cos \theta$ 无限接近接近于0，同时 arc length 不也接近于0吗？这里我们忽略了一个重点，就是 $1 - cos \theta$ 接近于0的速度要比 $\ theta$ 接近于0的速度快很多。

2、上面极限中的角度全是以弧度来描述的，如果你以度数来描述，则上面的结论不成立，因此当我们对 $\sin x 和 \cos x$ 求导时，这些 $x$ 所指的一定要是弧度。

至此，我们已经求出了上面的2个极限。现在，只需要一些代数 tricks 就可以证明出 $\sin x 与 \cos x$ 的枯导数，这里我就不介绍了，MIT 给的课程资料上有详细的步骤，下面是资料的链接：

Derivative of $\sin x$

Derivative of $\cos x$

下面我们来用几何的方式去证明 $\sin x$ 的导数，导数本身想表达的就是 the rate of change，即 ratio，现在我们来看一看 $y=\sin \theta$，当 $\theta$ 增加 $\Delta \theta$ 时，$\Delta y$ 是多少？

下图是个单位圆，当角度增加 $\Delta \theta$ 时，$y$ 如何变化呢？我们可以把上图中的弧 $PQ$ 单独拿出来，如下图：

当 $\Delta \theta$ 无限小时，我们可以把弧 $PQ$ 近似成上图的绿线，由于 $\Delta \theta$ = 弧 $PQ$，所以直线 QP 约等于 $\Delta \theta$，现在最重要的就是我们要如何求出角 $\angle QPR$，其实它就是 $\theta$，因此我们可以得出：

$$\frac{\Delta y}{\Delta \theta} = \cos \theta$$

General Strategy for Curve Sketching

在这个 lecture 中， Jerison 教授介绍了一个通用的策略去大致描绘出函数图像，下面的链接中给出了具体的步骤，如果步骤1和2中的点很难找出，你可以直接跳到第3步。

描绘函数图像

函数的平均值

想必你已经知道如何求解一个离散集合的平均值，比如：$a_1, a_2, \dots, a_n$，那么它的平均值定义如下：

$$a_{avg}=\frac{a_1+a_2+\dots+a_n}{n}$$

那么现在，我想求出下图中函数在区间 $[a,b]$ 的平均值，我们怎样做到这点呢？

我们目前虽然不知道如何去求连续函数在某一区间的平均值，但是我们会求一个离散集合的平均值，因此我们可以通过这个方法来粗略估计出上图所示函数的平均值，过程如下：

1、Split $[a, b]$ into subintervals width $\Delta x = \frac{b-a}{n}$

2、Pick a point $x_i$ in each subinterval

3、Average just the $f(x_i)$：

$$Average \approx \frac{f(x_1)+f(x_2)+\dots+f(x_n)}{n}$$

随着 $n$ 逐渐增大，上面估算出的平均值将会越接近真正的平均值，感觉有点像积分呢！别要着急，好戏还在后面。

4、把上面的公式中的分子与分母都乖上 $\Delta x$：

Average≈(f(x1)+f(x2)+⋯+f(xn))∗Δ