等价无穷小，只能中午用，因为早晚要出事！

缘起

起因十分简单，我舍友遇上一到选择题，做错了，但不知道为什么，我刚开始也做错了，后面得知某些书上竟有现成的结论，但没给证明，我便尝试地给出了证明

答案选C，容易错选为A，后面再细讲正确解法。

结论

Theorem 1: Assume $\alpha \sim {\alpha }^{\prime },\beta \sim {\beta }^{\prime }$, if $\lim \frac{{\alpha }^{\prime }}{{\beta }^{\prime }}=A\ne 1$, then $\alpha -\beta \sim {\alpha }^{\prime }-{\beta }^{\prime }$
Theorem 2: Assume $\alpha \sim {\alpha }^{\prime },\beta \sim {\beta }^{\prime }$, if $\lim \frac{{\alpha }^{\prime }}{{\beta }^{\prime }}=A\ne -1$, then $\alpha +\beta \sim {\alpha }^{\prime }+{\beta }^{\prime }$

证明

只给出定理一的证明，定理二同理可得；
Proof:（写成关于 x 的函数有助于理解）
$\because \alpha (x)\sim {\alpha }^{\prime }(x),\beta (x)\sim {\beta }^{\prime }(x)$
$\therefore \alpha (x)={\alpha }^{\prime }(x)+o({\alpha }^{\prime }(x))，\beta (x)={\beta }^{\prime }(x)+o({\beta }^{\prime }(x))$
$\because {\lim }_{x\to 0}\frac{{\alpha }^{\prime }}{{\beta }^{\prime }}=A$
$\therefore {\alpha }^{\prime }(x)=A{\beta }^{\prime }(x)+o({\beta }^{\prime }(x))$
$\therefore {\lim }_{x\to 0}\frac{\alpha (x)-\beta (x)}{{\alpha }^{\prime }(x)-{\beta }^{\prime }(x)}={\lim }_{x\to 0}\frac{{\alpha }^{\prime }(x)-{\beta }^{\prime }(x)+o({\alpha }^{\prime }(x))+o({\beta }^{\prime }(x))}{(A-1){\beta }^{\prime }(x)+o({\beta }^{\prime }(x))}$

$={\lim }_{x\to 0}\frac{(A-1){\beta }^{\prime }(x)+o({\alpha }^{\prime }(x))+o({\beta }^{\prime }(x))}{(A-1){\beta }^{\prime }(x)+o({\beta }^{\prime }(x))}$

当 $A\ne 1$ 时, 有 ${\lim }_{x\to 0}\frac{\alpha (x)-\beta (x)}{{\alpha }^{\prime }(x)-{\beta }^{\prime }(x)}={\lim }_{x\to 0}\frac{(A-1){\beta }^{\prime }(x)}{(A-1){\beta }^{\prime }(x)}=1$
( $\because {\lim }_{x\to 0}\frac{{\alpha }^{\prime }}{{\beta }^{\prime }}=A\ne 1\therefore (A-1){\beta }^{\prime }(x)=O(\alpha (x))$ )
也即 $\alpha -\beta \sim {\alpha }^{\prime }-{\beta }^{\prime }$
当 $A=1$ 时，有 ${\lim }_{x\to 0}\frac{\alpha (x)-\beta (x)}{{\alpha }^{\prime }(x)-{\beta }^{\prime }(x)}={\lim }_{x\to 0}\frac{o({\alpha }^{\prime }(x))+o({\beta }^{\prime }(x))}{o({\beta }^{\prime }(x))}$
这时候情况便有些微妙了，这个极限的结果确实可能等于1，但也有可能为0，有可能为无穷，是个不确定的结果，方便的等量代换结果葬送了自己，可谓有利有弊。

回首

错误选成A，大都是因为用了等量代换 $ln(1+2x)\sim 2x$，我们利用我们刚刚证明的结果来说明为什么不对。
把 $ln(1+2x)$ 看成 $\alpha$，$2x$ 看成 ${\alpha }^{\prime }$ ;把 $x^2$ 看成 $\beta$，$(x^2{)}^{\prime }=2x$ 看成 ${\beta }^{\prime }$。可以算得 ${\lim }_{x\to 0}\frac{{\alpha }^{\prime }}{{\beta }^{\prime }}=1$。那么正确做法应该怎么做呢？
作为一名狂热的泰勒展开爱好者，我的选择是展！
其实换个角度想，分母项是二次方，你这等量代换都把 $ln(1+2x)$ 在原点附近的二次项都扔了，怎么可能有正确结果。这其实是一个很隐晦但又很重要的问题——避免有效信息丢失！。之前讲过的一道常微分的题也是同样的问题.

解：
$\because ln(1+2x)=2x-2x^2+o(x^2)$

$\therefore {\lim }_{x\to 0}\frac{ln(1+2x)+xf(x)}{x^2}={\lim }_{x\to 0}\frac{2x-2x^2+o(x^2)+xf(x)}{x^2}=1$

$\therefore {\lim }_{x\to 0}\frac{2+f(x)+o(x)}{x}=3$ (把2移到右边并上下约分x)

$\because {\lim }_{x\to 0}\frac{o(x)}{x}=0$

$\therefore {\lim }_{x\to 0}\frac{2+f(x)}{x}=3$

痛斥无穷小

这里再简单举一个例子，求解
$$\underset{x\to 0}{\lim }\frac{(1-\cos x)[x-\ln (1+\tan x)]}{(x-\sin x)\ln (1+x)}$$
解：等价无穷小写法
$$\begin{array}{rl}& 1-\cos x\sim \frac{1}{2}{x}^2\\ & x-\sin x\sim \frac{1}{6}{x}^3\\ & \ln (1+x)\sim x\end{array}$$
问题在于，如果你这么处理
$$\ln (1+\tan x)\sim \tan x,x-\ln (1+\tan x)\sim -\frac{1}{3}{x}^3$$
那么会得到最终结果为0的错误答案，因为上面的做法会把二次项给抹除掉，说到这里，也许有些人会说我的等价无穷小用得不对，嘿，你等价无穷小何时有严谨的做法和限制了？回归正题，使用Taylor，得到
$$\begin{gathered} \begin{array}{rl}\ln (1+\tan x)& =\tan x-\frac{1}{2}{\tan }^{2}x+o({\tan }^{2}x)\\ & =x+\frac{x^3}{3}+o(x^3)-\frac{1}{2}(x+\frac{x^3}{3}+o(x^3){)}^2+o({\tan }^{2}x)\\ & =x-\frac{1}{2}{x}^2+o(x^2)\end{array} \\ x-\ln (1+\tan x)\sim \frac{1}{2}{x}^2 \end{gathered}$$