一个一个一个微积分毒瘤题啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊啊

1.证明：方程$x-\tan x=0$有无数个实根。
如果想象一下$y=x$和$y=\tan x$的图象，就可以知道在每个$(k\pi -\frac{\pi }{2},k\pi +\frac{\pi }{2})(k\in Z)$中都有一个交点，这个交点显然就是方程的实根。
因此，证明该方程有无数个实根的时候，设$f(x)=x-\tan x$，运用零点存在性定理，在每个区间里找出一个大于0的函数值和一个小于0的函数值即可。这里不妨取$k>0$。
大于0的函数值很好取，令$x_1=k\pi$，则$f(x_1)=k\pi -\tan k\pi =k\pi >0$。
小于0的函数值不好取，假设$x_2=k\pi +t(-\frac{\pi }{2}<t<\frac{\pi }{2})$且$f(x_2)=(k\pi +t)-\tan (k\pi +t)<0$，则$k\pi +t-\tan t<0$，即$\tan t>k\pi +t$。
由于$k\pi +t<k\pi +\frac{\pi }{2}$，取$t=\arctan (k\pi +\frac{\pi }{2})$即可。
$f(x_2)=\arctan (k\pi +\frac{\pi }{2})+k\pi -(k\pi +\frac{\pi }{2})=\arctan (k\pi +\frac{\pi }{2})-\frac{\pi }{2}<0$。
由于$k\pi <x_1<x_2<k\pi +\frac{\pi }{2}$，所以$f(x)$在$(k\pi ,k\pi +\frac{\pi }{2})(k>0)$上至少有一个零点。原命题得证。

2.证明：方程$x-ϵ\sin x=1(0<ϵ<1)$在$\mathbb{R}$内有且仅有一个实根。
令$f(x)=x-ϵ\sin x-1$，求导得$f^{\prime }(x)=1-ϵ\cos x>0$，然后$f(0)=-1<0,f(2)=1-ϵ\sin 1>0$。

3.求$\underset{x\to a}{\lim }\frac{x^{\alpha }-a^{\alpha }}{x^{\beta }-a^{\beta }}(a>0,\beta \ne 0)$。
如果$\alpha ,\beta$均为整数，那么可以通过n次方相减的公式上下消掉$x-a$。但如果$\alpha ,\beta$不是整数，这个方法就没法做了。
注意到无穷小量中有一个定理（苏德矿版定理1.17），若$\underset{x\to x_0}{\lim }f(x)=A$，则$f(x)=A+\alpha (x)$，其中$\alpha (x)$是无穷小量。
因此由$\underset{x\to a}{\lim }x=a$，可以假设$x=a+\gamma$，其中$\gamma \to 0$。
原式$=\underset{\gamma \to 0}{\lim }\frac{(a+\gamma {)}^{\alpha }-a^{\alpha }}{(a+\gamma {)}^{\beta }-a^{\beta }}$。
到这里发现一个尴尬的情况，就是$\alpha$不是整数，无法使用二项式展开。
注意到一个等价无穷小：$(1+x{)}^a-1\sim ax(x\to 0)$。这里可以提取公因式然后利用这个等价无穷小。
原式$=\underset{\gamma \to 0}{\lim }\frac{a^{\alpha }[(1+\frac{\gamma }{a}{)}^{\alpha }-1]}{a^{\beta }[(1+\frac{\gamma }{a}{)}^{\beta }-1]}=\underset{\gamma \to 0}{\lim }\frac{a^{\alpha }\alpha \frac{\gamma }{a}}{a^{\beta }\beta \frac{\gamma }{a}}=\frac{\alpha }{\beta }{a}^{\alpha -\beta }$。

4.求$\underset{x\to +\infty }{\lim }\frac{\ln (1+3^x)}{\ln (1+2^x)}$。
这道题感觉很怪，貌似没有定理表明能直接拿掉括号里面的+1，于是这样做：
原式$=\underset{x\to +\infty }{\lim }\frac{\ln 3^x+\ln (1+\frac{1}{3^x})}{\ln 2^x+\ln (1+\frac{1}{2^x})}$。
到这里卡住了，由于上下都是无穷，貌似不能直接用极限的四则运算法则。
不过$\ln 3^x$是无穷，后面那玩意是0，无穷+0，应该可以直接把0去掉？
如果这里前面不是无穷，那就直接用极限的四则运算法则就可以，前后都可以直接代入。
这里前面是无穷，那0理论上更应该可以直接去掉，但是四则运算法则似乎不支持了，就显得很怪。
mhy提供了一个巧妙思路——上下同乘一个$\frac{1}{x}$，把无穷转换成有界的量：
原式$=\underset{x\to +\infty }{\lim }\frac{\frac{1}{x}\ln (1+3^x)}{\frac{1}{x}\ln (1+2^x)}=\frac{\underset{x\to +\infty }{\lim }\frac{1}{x}\ln (1+3^x)}{\underset{x\to +\infty }{\lim }\frac{1}{x}\ln (1+2^x)}$
先搞分子：$\underset{x\to +\infty }{\lim }\frac{1}{x}\ln (1+3^x)=\ln \underset{x\to +\infty }{\lim }(1+3^x{)}^{\frac{1}{x}}=\ln [3\underset{x\to +\infty }{\lim }\frac{(1+3^x{)}^{\frac{1}{x}}}{(3^x{)}^{\frac{1}{x}}}]$
$=\ln [3\underset{x\to +\infty }{\lim }(\frac{1}{3^x}+1{)}^{\frac{1}{x}}]=\ln (3\ast 1^0)=\ln 3$
分母同理，为$\ln 2$。
因此原式$=\frac{\ln 3}{\ln 2}$（谔谔）
//虽然我在作业本上是直接把那个0去掉的（划掉）