“其实就是个泰勒公式”,虽然本科大一里泰勒公式(好像?)没怎么详细讲,但其实求极限时用到的话可以简化大量的工作,甚至可以实现秒解(???
泰勒公式的其中一种形式大概长这个样子——设f(x)在点x_0处n阶可导,则存在x_0的一个邻域,对于该邻域的任意点有:
f(x) = \sum_{i=0}^n \frac{f^{(i)}(x_0)}{i!}x^i + o((x-x_0)^n)
其中f^{(n)}(x_0)即f(x)在x=x_0处的n阶导(书上应该有讲这个吧- -),o((x-x_0)^n)即平时用来算时间复杂度的那个o类似,又叫佩亚诺余项,因为有 x \to x_0,即 (x-x_0) \to 0,所以当 (x-x_0)^n里的n越大时,整项就越接近0,所以后面的东西就越可以忽略(大概这个意思吧- -)。
特别地当x_0 = 0时又叫麦克劳林公式(通常这个会用得多一点,因为上面的还有点复杂):
f(x) = \sum_{i=0}^n \frac{f^{(i)}(0)}{i!}x^i + o((x)^n)
看上去还是挺复杂得,来些例子吧,比如题目里得sinx和cosx,(注,下无特殊说明都是x \to 0的情况):
\begin{aligned}
sinx &= x - \frac{1}{3!}x^3 + \frac{1}{5!}x^5 - \frac{1}{7!}x^7 + ... \\
cosx &= 1 - \frac{1}{2!}x^2 + \frac{1}{4!}x^4 - \frac{1}{6!}x^6 + ...
\end{aligned}
由于考研本科中研究的通常只到x^4,所以就是:
\begin{aligned}
sinx &= x - \frac{1}{3!}x^3 + o(x^3) \\
cosx &= 1 - \frac{1}{2!}x^2 + \frac{1}{4!}x^4 + o(x^4)
\end{aligned}
可以代公式算一下是不是这样,然后怎么用呢,比如应该人人都很熟悉的(???)
sinx \sim x
为什么会有这东西呢,因为
sinx=x+o(x)
而且在某些情况下,o(x)可以被省略,当然如果在o(x^3)可以被省略的情况下就可以写成:
sinx=x- \frac{1}{3!}x^3+o(x^3)
这时就会有
sinx \sim x - \frac{1}{3!}x^3
所以如果大一教高数的老师比较负责任的话应该都会提过,有些情况下sinx \sim x会失效。
然后,怎么分辨什么时候用哪个,就要看一下分子/分母,正常来说应该是搞到分子分母同阶,用人话讲就是分子和分母中的指数n最小时的那个n相等,如x^3和3x^3+4x^4+5x^5+...,因为求极限时分子分母也只用拿最高阶的来比,而x \to 0时n越小阶越高(另外如果发现分子分母里最高阶不是同阶的话就是直接0或\inf了,但这样考会偏容易了,所以通常会凑到同阶,然后算出是个常数)
第一个栗子:
\begin{aligned}
&\lim_{x \to 0} \frac{sinx}{x} \\
= &\lim_{x \to 0} \frac{x+o(x)}{x} \\
= &\lim_{x \to 0} \frac{x}{x} = 1
\end{aligned}
第二个栗子:
\begin{aligned}
&\lim_{x \to 0} \frac{x-sinx}{x^3} \\
= &\lim_{x \to 0} \frac{x-(x-\frac{1}{6}x^3+o(x^3))}{x^3} \\
= &\lim_{x \to 0} \frac{\frac{1}{6}x^3}{x^3} = \frac{1}{6}
\end{aligned}
如果误用了sinx \sim x的话求出的是0,但这答案是错的。
引用句名言(滑稽.jpg
狗-sin狗 ~ 六分之一狗的三次方。
——张宇
然后,前情(fei)提要(hua)就讲完了,看题
\lim_{x \to 0} \left( \frac{1}{sin^2x} - \frac{cos^2x}{x^2} \right)
整理一下:
\lim_{x \to 0} \left( \frac{x^2-sin^2xcos^2x}{x^2sin^2x} \right)
如果用泰勒公式的话就要先算出x^2-sin^2xcos^2x \sim ?和x^2sin^2x \sim ?
这东西可以直接代泰勒公式或麦克劳林公式算,但这样做的话发现求这个东西的n阶导和用多次洛必达法则那样很容易搞出人命...,观察一下就会发现其实lim里面的东西是x、sinx和cosx经过四则运算得来的,所以就想,可不可以通过泰勒公式+四则运算的方式算出这个?
首先先把sinx和cosx先展开到o(x^4),因为要同阶嘛,至于为什么是4,因为大多数情况下展到4就可以看出东西了,而且计算量不会太大(即展开的更高计算出来的可能只是白费力气),如果不行的话才考虑更高的数;而x因为太简单了就不用展开了吧(???)。其实上面也写过了,复制一下:
\begin{aligned}
sinx &= x - \frac{1}{3!}x^3 + o(x^4) \\
cosx &= 1 - \frac{1}{2!}x^2 + \frac{1}{4!}x^4 + o(x^4)
\end{aligned}
先提一下用到的小o的运算法则(直接抄书,证明可以脑补,应该还挺直观的):
\begin{aligned}
o(x^m) \pm o(x^n) &= o(x^{min(m,n)}) \\
o(x^m)*o(x^n) &= o(x^{m+n}) \\
x^m*o(x^n) &= o(x^{m+n})
\end{aligned}
所以,拿sin^2x做个例子的话就是:
sin^2x \sim (x - \frac{1}{3!}x^3 + o(x^4))^2
其实根据上面的运算规则,o(x^4)乘上任一项都是o(x^4)(注,上面说了展开到o(x^4)就够了),所以可以减少点运算量:
\begin{aligned}
&sin^2x \sim (x - \frac{1}{3!}x^3)^2 + o(x^4) \\
&\sim x^2 + 2*(-\frac{1}{3!})x^3*x + (- \frac{1}{3!}x^3)^2 + o(x^4)
\end{aligned}
然后因为 (- \frac{1}{3!}x^3)^2 = o(x^6) = o(x^4),即这项可以不用算了,下面过程也是,指数n高于4的项都可以直接写成o(x^4),即
sin^2x \sim x^2 - \frac{1}{3}x^4 + o(x^4)
同理也可以算出
\begin{aligned}
cos^2x &\sim (1- \frac{1}{2}x^2) + \frac{1}{24}x^4 +o(x^4) \\
&\sim 1 - \frac{1}{2}x^2 + \frac{1}{24}x^4 - \frac{1}{2} + \frac{1}{4}x^4 + o(x^4) + \frac{1}{24} + o(x^4) \\
&\sim 1 - x^2 + \frac{1}{3}x^4 + o(x^4)
\end{aligned}
然后
\begin{aligned}
&sin^2xcos^2x \\
\sim &( x^2 - \frac{1}{3}x^4)*(1 - x^2 + \frac{1}{3}x^4) + o(x^4) \\
\sim &x^2 - x^4 + o(x^4) - \frac{1}{3} + o(x^4) \\
\sim &x^2 - \frac{4}{3}x^4 + o(x^4)
\end{aligned}
所以对分子来说就是
\begin{aligned}
&x^2-sin^2xcos^x \\
\sim &x^2 - (x^2 - \frac{4}{3}x^4) + o(x^4) \\
\sim &\frac{4}{3}x^4 + o(x^4)
\end{aligned}
对分母就是
\begin{aligned}
&x^2sin^2x \\
\sim &x^2*(x^2 - \frac{1}{3}x^4) + o(x^4) \\
\sim &x^4 + o(x^4)
\end{aligned}
然后代回去就出答案了
\begin{aligned}
&\lim_{x \to 0} \left( \frac{x^2-sin^2xcos^x}{x^2sin^2x} \right) \\
= &\lim_{x \to 0} \left( \frac{ \frac{4}{3}x^4 + o(x^4)}{ x^4 + o(x^4) } \right) \\
= &\lim_{x \to 0} \left( \frac{ \frac{4}{3}x^4)}{ x^4} \right) = \frac{4}{3}
\end{aligned}
之所以说是“更通用的方式”只是它不用根据不同的函数想不同的技巧而已,但好像还是要算挺多东西的 - -
(PS:最近发帖感觉自己越来越老营销号了。)