半角公式在加减极限中的化简应用

半角公式在加减极限中的化简应用在微积分的学习中，极限计算是基础且核心的内容，而三角函数极限的求解更是其中的重点与难点。当极限表达式中出现三角函数的和差形式时，直接代入往往会引发诸如“0/0”型或“∞/∞”型的未定式，常规的代数变形方法有时难以奏效。半角公式作为三角函数恒等变换的重要工具，能够将三角函数的和差形式转化为乘积形式，从而为极限的化简与求解开辟新的路径。本文将深入探讨半角公式在加减极限中的多种化简应用场景，通过具体案例展示其解题思路与技巧。一、半角公式的基本形式与核心作用（一）半角公式的基本形式半角公式是利用角的余弦值来表示该角半角的正弦、余弦和正切值的一组公式，其核心形式如下：正弦半角公式：$\sin\frac{\alpha}{2}=\pm\sqrt{\frac{1-\cos\alpha}{2}}$余弦半角公式：$\cos\frac{\alpha}{2}=\pm\sqrt{\frac{1+\cos\alpha}{2}}$正切半角公式：$\tan\frac{\alpha}{2}=\pm\sqrt{\frac{1-\cos\alpha}{1+\cos\alpha}}=\frac{\sin\alpha}{1+\cos\alpha}=\frac{1-\cos\alpha}{\sin\alpha}$在极限计算中，我们更常使用的是其变形形式，即通过半角公式将三角函数的和差转化为乘积：$1-\cos\alpha=2\sin^2\frac{\alpha}{2}$$1+\cos\alpha=2\cos^2\frac{\alpha}{2}$$\sin\alpha-\sin\beta=2\cos\frac{\alpha+\beta}{2}\sin\frac{\alpha-\beta}{2}$$\cos\alpha-\cos\beta=-2\sin\frac{\alpha+\beta}{2}\sin\frac{\alpha-\beta}{2}$这些变形公式是解决三角函数加减极限问题的关键，它们能够将和差结构转化为乘积结构，从而与极限中的其他项进行约分或等价无穷小替换。（二）半角公式的核心作用在极限计算中，半角公式的核心作用在于结构转化。当极限表达式中出现三角函数的和差形式时，直接计算往往会遇到困难，例如分子或分母为0的情况。通过半角公式将和差转化为乘积后，我们可以：消除未定式：将“0/0”型或“∞/∞”型的未定式转化为可直接计算的形式；结合等价无穷小替换：乘积形式更便于应用等价无穷小替换，简化计算过程；提取公因子：乘积结构更容易提取公因子，与其他项进行约分。二、“1-cosx”型极限的化简应用（一）基本形式：$\lim_{x\to0}\frac{1-\cosx}{x^2}$这是最经典的“1-cosx”型极限，直接代入$x=0$会得到“0/0”型未定式。此时，我们可以利用半角公式的变形$1-\cosx=2\sin^2\frac{x}{2}$进行化简：[\begin{align*}\lim_{x\to0}\frac{1-\cosx}{x^2}&=\lim_{x\to0}\frac{2\sin^2\frac{x}{2}}{x^2}\&=\lim_{x\to0}\frac{2\sin^2\frac{x}{2}}{4\cdot(\frac{x}{2})^2}\&=\frac{1}{2}\lim_{x\to0}\left(\frac{\sin\frac{x}{2}}{\frac{x}{2}}\right)^2\&=\frac{1}{2}\times1^2\&=\frac{1}{2}\end{align*}]在这个过程中，半角公式将$1-\cosx$转化为$2\sin^2\frac{x}{2}$，从而与分母的$x^2$形成可利用重要极限$\lim_{t\to0}\frac{\sint}{t}=1$的结构，顺利求解出极限值。（二）拓展形式：$\lim_{x\to0}\frac{1-\cosax}{x^2}$（$a$为常数）当$1-\cosx$中的$x$变为$ax$时，我们可以同样利用半角公式进行化简：[\begin{align*}\lim_{x\to0}\frac{1-\cosax}{x^2}&=\lim_{x\to0}\frac{2\sin^2\frac{ax}{2}}{x^2}\&=\lim_{x\to0}\frac{2\sin^2\frac{ax}{2}}{\frac{4}{a^2}\cdot(\frac{ax}{2})^2}\&=\frac{2a^2}{4}\lim_{x\to0}\left(\frac{\sin\frac{ax}{2}}{\frac{ax}{2}}\right)^2\&=\frac{a^2}{2}\times1^2\&=\frac{a^2}{2}\end{align*}]这里的关键是将$ax$视为一个整体，应用半角公式后，通过变量替换$t=\frac{ax}{2}$，再次利用重要极限求解。这种方法可以推广到更复杂的形式，如$\lim_{x\to0}\frac{1-\cos(ax^n)}{bx^m}$，只需通过半角公式转化后，结合等价无穷小替换或泰勒展开即可求解。（三）复合形式：$\lim_{x\to0}\frac{1-\cosx\cos2x}{x^2}$当极限表达式中出现多个三角函数的乘积时，我们可以先利用三角恒等变换将其化简，再应用半角公式。例如：[\begin{align*}1-\cosx\cos2x&=1-\frac{1}{2}[\cos(x+2x)+\cos(x-2x)]\&=1-\frac{1}{2}(\cos3x+\cosx)\&=\frac{2-\cos3x-\cosx}{2}\&=\frac{(1-\cos3x)+(1-\cosx)}{2}\end{align*}]此时，我们可以对$1-\cos3x$和$1-\cosx$分别应用半角公式：[\begin{align*}\lim_{x\to0}\frac{1-\cosx\cos2x}{x^2}&=\lim_{x\to0}\frac{(1-\cos3x)+(1-\cosx)}{2x^2}\&=\frac{1}{2}\lim_{x\to0}\left(\frac{1-\cos3x}{x^2}+\frac{1-\cosx}{x^2}\right)\&=\frac{1}{2}\left(\lim_{x\to0}\frac{2\sin^2\frac{3x}{2}}{x^2}+\frac{1}{2}\right)\&=\frac{1}{2}\left(\lim_{x\to0}\frac{2\sin^2\frac{3x}{2}}{\frac{4}{9}\cdot(\frac{3x}{2})^2}+\frac{1}{2}\right)\&=\frac{1}{2}\left(\frac{9}{2}+\frac{1}{2}\right)\&=\frac{1}{2}\times5\&=\frac{5}{2}\end{align*}]在这个案例中，半角公式帮助我们将复杂的乘积形式转化为熟悉的“1-cosx”型结构，从而逐步化简求解。三、“sinx-sinβ”型极限的化简应用（一）基本形式：$\lim_{x\toa}\frac{\sinx-\sina}{x-a}$这是一个典型的“sinx-sinβ”型极限，直接代入$x=a$会得到“0/0”型未定式。我们可以利用和差化积公式$\sinx-\sina=2\cos\frac{x+a}{2}\sin\frac{x-a}{2}$进行化简：[\begin{align*}\lim_{x\toa}\frac{\sinx-\sina}{x-a}&=\lim_{x\toa}\frac{2\cos\frac{x+a}{2}\sin\frac{x-a}{2}}{x-a}\&=\lim_{x\toa}\cos\frac{x+a}{2}\cdot\lim_{x\toa}\frac{\sin\frac{x-a}{2}}{\frac{x-a}{2}}\&=\cos\frac{a+a}{2}\times1\&=\cosa\end{align*}]这里的和差化积公式本质上是半角公式的延伸，它将$\sinx-\sina$转化为乘积形式，从而与分母的$x-a$形成可利用重要极限的结构。实际上，这个极限就是正弦函数$\sinx$在$x=a$处的导数，通过半角公式的应用，我们从极限计算的角度验证了导数的结果。（二）拓展形式：$\lim_{x\to0}\frac{\sin(mx)-\sin(nx)}{x}$（$m,n$为常数）当$x$趋近于0时，我们可以同样利用和差化积公式：[\begin{align*}\lim_{x\to0}\frac{\sin(mx)-\sin(nx)}{x}&=\lim_{x\to0}\frac{2\cos\frac{mx+nx}{2}\sin\frac{mx-nx}{2}}{x}\&=2\lim_{x\to0}\cos\frac{(m+n)x}{2}\cdot\lim_{x\to0}\frac{\sin\frac{(m-n)x}{2}}{x}\&=2\times\cos0\times\lim_{x\to0}\frac{\sin\frac{(m-n)x}{2}}{\frac{2}{m-n}\cdot\frac{(m-n)x}{2}}\&=2\times1\times\frac{m-n}{2}\lim_{x\to0}\frac{\sin\frac{(m-n)x}{2}}{\frac{(m-n)x}{2}}\&=(m-n)\times1\&=m-n\end{align*}]在这个案例中，半角公式的变形（和差化积）将$\sin(mx)-\sin(nx)$转化为乘积形式，从而与分母的$x$结合，通过重要极限求解。这种方法也可以推广到更复杂的形式，如$\lim_{x\to0}\frac{\sin(mx^k)-\sin(nx^k)}{x^k}$，只需将$x^k$视为一个整体即可。（三）复合形式：$\lim_{x\to0}\frac{\sin(\sinx)-\sinx}{x^3}$当极限表达式中出现复合三角函数时，我们可以先利用和差化积公式化简，再结合等价无穷小替换：[\begin{align*}\sin(\sinx)-\sinx&=2\cos\frac{\sinx+x}{2}\sin\frac{\sinx-x}{2}\end{align*}]当$x\to0$时，$\cos\frac{\sinx+x}{2}\to\cos0=1$，而$\sin\frac{\sinx-x}{2}\sim\frac{\sinx-x}{2}$（等价无穷小替换）。因此：[\begin{align*}\lim_{x\to0}\frac{\sin(\sinx)-\sinx}{x^3}&=\lim_{x\to0}\frac{2\cos\frac{\sinx+x}{2}\cdot\frac{\sinx-x}{2}}{x^3}\&=\lim_{x\to0}\cos\frac{\sinx+x}{2}\cdot\lim_{x\to0}\frac{\sinx-x}{x^3}\&=1\times\lim_{x\to0}\frac{\sinx-x}{x^3}\end{align*}]接下来，我们可以对$\lim_{x\to0}\frac{\sinx-x}{x^3}$使用洛必达法则或泰勒展开求解：[\begin{align*}\lim_{x\to0}\frac{\sinx-x}{x^3}&=\lim_{x\to0}\frac{\cosx-1}{3x^2}\&=\lim_{x\to0}\frac{-2\sin^2\frac{x}{2}}{3x^2}\&=\lim_{x\to0}\frac{-2\cdot(\frac{x}{2})^2}{3x^2}\&=\lim_{x\to0}\frac{-\frac{x^2}{2}}{3x^2}\&=-\frac{1}{6}\end{align*}]因此，原极限为$-\frac{1}{6}$。在这个案例中，半角公式的变形（和差化积）帮助我们将复合三角函数的差转化为可处理的形式，为后续的等价无穷小替换和洛必达法则应用奠定了基础。四、“cosx-cosβ”型极限的化简应用（一）基本形式：$\lim_{x\toa}\frac{\cosx-\cosa}{x-a}$与“sinx-sinβ”型极限类似，我们可以利用和差化积公式$\cosx-\cosa=-2\sin\frac{x+a}{2}\sin\frac{x-a}{2}$进行化简：[\begin{align*}\lim_{x\toa}\frac{\cosx-\cosa}{x-a}&=\lim_{x\toa}\frac{-2\sin\frac{x+a}{2}\sin\frac{x-a}{2}}{x-a}\&=-2\lim_{x\toa}\sin\frac{x+a}{2}\cdot\lim_{x\toa}\frac{\sin\frac{x-a}{2}}{\frac{x-a}{2}}\&=-2\times\sin\frac{a+a}{2}\times1\&=-2\sina\end{align*}]这个极限是余弦函数$\cosx$在$x=a$处的导数，通过半角公式的应用，我们同样从极限计算的角度验证了导数的结果。（二）拓展形式：$\lim_{x\to0}\frac{\cos(mx)-\cos(nx)}{x^2}$（$m,n$为常数）当$x$趋近于0时，我们可以利用和差化积公式：[\begin{align*}\cos(mx)-\cos(nx)&=-2\sin\frac{mx+nx}{2}\sin\frac{mx-nx}{2}\&=-2\sin\frac{(m+n)x}{2}\sin\frac{(m-n)x}{2}\end{align*}]当$x\to0$时，$\sin\frac{(m+n)x}{2}\sim\frac{(m+n)x}{2}$，$\sin\frac{(m-n)x}{2}\sim\frac{(m-n)x}{2}$，因此：[\begin{align*}\lim_{x\to0}\frac{\cos(mx)-\cos(nx)}{x^2}&=\lim_{x\to0}\frac{-2\cdot\frac{(m+n)x}{2}\cdot\frac{(m-n)x}{2}}{x^2}\&=\lim_{x\to0}\frac{-(m+n)(m-n)x^2}{2x^2}\&=\frac{-(m^2-n^2)}{2}\&=\frac{n^2-m^2}{2}\end{align*}]在这个案例中，半角公式的变形（和差化积）将余弦函数的差转化为乘积形式，结合等价无穷小替换，快速求解出极限值。这种方法比直接使用洛必达法则更为简洁，尤其是当$m$和$n$为复杂表达式时。（三）复合形式：$\lim_{x\to0}\frac{\cos(\sinx)-\cosx}{x^4}$当极限表达式中出现复合三角函数的差时，我们可以先利用和差化积公式化简：[\begin{align*}\cos(\sinx)-\cosx&=-2\sin\frac{\sinx+x}{2}\sin\frac{\sinx-x}{2}\end{align*}]当$x\to0$时，$\sin\frac{\sinx+x}{2}\sim\frac{\sinx+x}{2}$，$\sin\frac{\sinx-x}{2}\sim\frac{\sinx-x}{2}$，因此：[\begin{align*}\lim_{x\to0}\frac{\cos(\sinx)-\cosx}{x^4}&=\lim_{x\to0}\frac{-2\cdot\frac{\sinx+x}{2}\cdot\frac{\sinx-x}{2}}{x^4}\&=-\frac{1}{2}\lim_{x\to0}\frac{(\sinx+x)(\sinx-x)}{x^4}\&=-\frac{1}{2}\lim_{x\to0}\frac{\sin^2x-x^2}{x^4}\end{align*}]接下来，我们对$\sin^2x-x^2$进行化简：[\begin{align*}\sin^2x-x^2&=(\sinx-x)(\sinx+x)\end{align*}]当$x\to0$时，$\sinx+x\sim2x$，$\sinx-x\sim-\frac{x^3}{6}$（泰勒展开：$\sinx=x-\frac{x^3}{6}+o(x^3)$），因此：[\begin{align*}\lim_{x\to0}\frac{\sin^2x-x^2}{x^4}&=\lim_{x\to0}\frac{(\sinx-x)(\sinx+x)}{x^4}\&=\lim_{x\to0}\frac{(-\frac{x^3}{6})\cdot2x}{x^4}\&=\lim_{x\to0}\frac{-\frac{x^4}{3}}{x^4}\&=-\frac{1}{3}\end{align*}]因此，原极限为$-\frac{1}{2}\times(-\frac{1}{3})=\frac{1}{6}$。在这个案例中，半角公式的变形（和差化积）帮助我们将复合三角函数的差转化为可利用等价无穷小替换的形式，大大简化了计算过程。五、半角公式与其他方法的结合应用（一）半角公式与等价无穷小替换的结合等价无穷小替换是极限计算中常用的方法，而半角公式常常与等价无穷小替换结合使用，以简化计算。例如：案例：求$\lim_{x\to0}\frac{1-\cosx\cos2x\cos3x}{x^2}$解法：首先，我们可以将表达式拆分为：[\begin{align*}1-\cosx\cos2x\cos3x&=1-\cosx+\cosx-\cosx\cos2x+\cosx\cos2x-\cosx\cos2x\cos3x\&=(1-\cosx)+\cosx(1-\cos2x)+\cosx\cos2x(1-\cos3x)\end{align*}]然后，对每一项应用半角公式和等价无穷小替换：$1-\cosx\sim\frac{x^2}{2}$（当$x\to0$时）$1-\cos2x\sim\frac{(2x)^2}{2}=2x^2$（当$x\to0$时）$1-\cos3x\sim\frac{(3x)^2}{2}=\frac{9x^2}{2}$（当$x\to0$时）同时，当$x\to0$时，$\cosx\to1$，$\cos2x\to1$，因此：[\begin{align*}\lim_{x\to0}\frac{1-\cosx\cos2x\cos3x}{x^2}&=\lim_{x\to0}\frac{(1-\cosx)+\cosx(1-\cos2x)+\cosx\cos2x(1-\cos3x)}{x^2}\&=\lim_{x\to0}\frac{1-\cosx}{x^2}+\lim_{x\to0}\frac{\cosx(1-\cos2x)}{x^2}+\lim_{x\to0}\frac{\cosx\cos2x(1-\cos3x)}{x^2}\&=\frac{1}{2}+1\times2+1\times1\times\frac{9}{2}\&=\frac{1}{2}+2+\frac{9}{2}\&=\frac{1+4+9}{2}\&=7\end{align*}]在这个案例中，半角公式的变形（$1-\cos\alpha=2\sin^2\frac{\alpha}{2}$）帮助我们将$1-\cos\alpha$转化为等价无穷小$\frac{\alpha^2}{2}$，从而快速求解出极限值。（二）半角公式与洛必达法则的结合当极限表达式较为复杂时，我们可以先利用半角公式化简，再使用洛必达法则求解。例如：案例：求$\lim_{x\to0}\frac{\sqrt{1+\tanx}-\sqrt{1+\sinx}}{x^3}$解法：首先，我们可以将分子有理化：[\begin{align*}\sqrt{1+\tanx}-\sqrt{1+\sinx}&=\frac{(\sqrt{1+\tanx}-\sqrt{1+\sinx})(\sqrt{1+\tanx}+\sqrt{1+\sinx})}{\sqrt{1+\tanx}+\sqrt{1+\sinx}}\&=\frac{(1+\tanx)-(1+\sinx)}{\sqrt{1+\tanx}+\sqrt{1+\sinx}}\&=\frac{\tanx-\sinx}{\sqrt{1+\tanx}+\sqrt{1+\sinx}}\end{align*}]当$x\to0$时，$\sqrt{1+\tanx}+\sqrt{1+\sinx}\to2$，因此：[\begin{align*}\lim_{x\to0}\frac{\sqrt{1+\tanx}-\sqrt{1+\sinx}}{x^3}&=\lim_{x\to0}\frac{\tanx-\sinx}{2x^3}\&=\frac{1}{2}\lim_{x\to0}\frac{\tanx-\sinx}{x^3}\end{align*}]接下来，对$\tanx-\sinx$进行化简：[\begin{align*}\tanx-\sinx&=\frac{\sinx}{\cosx}-\sinx\&=\sinx\left(\frac{1}{\cosx}-1\right)\&=\sinx\cdot\frac{1-\cosx}{\cosx}\end{align*}]应用半角公式$1-\cosx=2\sin^2\frac{x}{2}$，并结合等价无穷小替换$\sinx\simx$，$\sin\frac{x}{2}\sim\frac{x}{2}$（当$x\to0$时）：[\begin{align*}\tanx-\sinx&\simx\cdot\frac{2\cdot(\frac{x}{2})^2}{1}\&=x\cdot\frac{2\cdot\frac{x^2}{4}}{1}\&=\frac{x^3}{2}\end{align*}]因此：[\begin{align*}\frac{1}{2}\lim_{x\to0}\frac{\tanx-\sinx}{x^3}&=\frac{1}{2}\lim_{x\to0}\frac{\frac{x^3}{2}}{x^3}\&=\frac{1}{2}\times\frac{1}{2}\&=\frac{1}{4}\end{align*}]在这个案例中，半角公式帮助我们将$1-\cosx$转化为$\frac{x^2}{2}$，结合等价无穷小替换，快速求解出极限值。如果直接使用洛必达法则，计算过程会非常繁琐，而半角公式的应用则大大简化了计算。（三）半角公式与泰勒展开的结合泰勒展开是极限计算中强大的工具，而半角公式常常与泰勒展开结合使用，以处理复杂的极限表达式。例如：案例：求$\lim_{x\to0}\frac{\sinx-x+\frac{x^3}{6}}{x^5}$解法：我们知道$\sinx$的泰勒展开式为：[\sinx=x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040}+o(x^7)]因此：[\begin{align*}\sinx-x+\frac{x^3}{6}&=\left(x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040}+o(x^7)\right)-x+\frac{x^3}{6}\&=\frac{x^5}{120}-\frac{x^7}{5040}+o(x^7)\end{align*}]因此：[\begin{align*}\lim_{x\to0}\frac{\sinx-x+\frac{x^3}{6}}{x^5}&=\lim_{x\to0}\frac{\frac{x^5}{120}-\frac{x^7}{5040}+o(x^7)}{x^5}\&=\lim_{x\to0}\left(\frac{1}{120}-\frac{x^2}{5040}+o(x^2)\right)\&=\frac{1}{120}\end{align*}]虽然这个案例没有直接使用半角公式，但我们可以通过半角公式推导$\sinx$的泰勒展开式。例如，从$\sinx=2\sin\frac{x}{2}\cos\frac{x}{2}$出发，反复应用半角公式，可以得到$\sinx$的泰勒展开式。因此，半角公式是泰勒展开的基础之一，两者在极限计算中常常相辅相成。六、半角公式在复杂极限中的综合应用（一）含有根号的三角函数极限案例：求$\lim_{x\to0}\frac{\sqrt{1+\sin^2x}-\cosx}{x^2}$解法：首先，我们可以将分子有理化：[\begin{align*}\sqrt{1+\sin^2x}-\cosx&=\frac{(\sqrt{1+\sin^2x}-\cosx)(\sqrt{1+\sin^2x}+\cosx)}{\sqrt{1+\sin^2x}+\cosx}\&=\frac{(1+\sin^2x)-\cos^2x}{\sqrt{1+\sin^2x}+\cosx}\&=\frac{1+\sin^2x-\cos^2x}{\sqrt{1+\sin^2x}+\cosx}\end{align*}]利用三角恒等式$\sin^2x-\cos^2x=-\cos2x$，可得：[\begin{align*}1+\sin^2x-\cos^2x&=1-\cos2x\end{align*}]应用半角公式$1-\cos2x=2\sin^2x$，因此：[\begin{align*}\lim_{x\to0}\frac{\sqrt{1+\sin^2x}-\cosx}{x^2}&=\lim_{x\to0}\frac{2\sin^2x}{\sqrt{1+\sin^2x}+\cosx}\cdot\frac{1}{x^2}\&=\lim_{x\to0}\frac{2\sin^2x}{x^2}\cdot\lim_{x\to0}\frac{1}{\sqrt{1+\sin^2x}+\cosx}\&=2\times1^2\times\frac{1}{\sqrt{1+0}+1}\&=2\times\frac{1}{2}\&=1\end{align*}]在这个案例中，半角公式帮助我们将$1-\cos2x$转化为$2\sin^2x$，结合重要极限$\lim_{x\to0}\frac{\sinx}{x}=1$，快速求解出极限值。（二）含有幂指函数的三角函数极限案例：求$\lim_{x\to0}\left(\frac{\sinx}{x}\right)^{\frac{1}{1-\cosx}}$解法：这是一个幂指函数的极限，我们可以先取对数，将其转化为指数函数的极限：[\begin{align*}\lim_{x\to0}\left(\frac{\sinx}{x}\right)^{\frac{1}{1-\cosx}}&=e^{\lim_{x\to0}\frac{1}{1-\cosx}\ln\left(\frac{\sinx}{x}\right)}\end{align*}]接下来，我们需要求解$\lim_{x\to0}\frac{\ln\left(\frac{\sinx}{x}\right)}{1-\cosx}$。首先，对$\ln\left(\frac{\sinx}{x}\right)$进行泰勒展开：[\begin{align*}\frac{\sinx}{x}&=\frac{x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)}{x}\&=1-\frac{x^2}{6}+\frac{x^4}{120}-o(x^4)\end{align*}]当$t\to0$时，$\ln(1+t)\simt-\frac{t^2}{2}+\frac{t^3}{3}-o(t^3)$，因此：[\begin{align*}\ln\left(\frac{\sinx}{x}\right)&=\ln\left(1-\frac{x^2}{6}+\frac{x^4}{120}-o(x^4)\right)\&\sim-\frac{x^2}{6}+\frac{x^4}{120}-\frac{(-\frac{x^2}{6})^2}{2}+o(x^4)\&=-\frac{x^2}{6}+\frac{x^4}{120}-\frac{x^4}{72}+o(x^4)\&=-\frac{x^2}{6}-\frac{x^4}{180}+o(x^4)\end{align*}]同时，$1-\cosx\sim\frac{x^2}{2}$（当$x\to0$时），因此：[\begin{align*}\lim_{x\to0}\frac{\ln\left(\frac{\sinx}{x}\right)}{1-\cosx}&=\lim_{x\to0}\frac{-\frac{x^2}{6}-\frac{x^4}{180}+o(x^4)}{\frac{x^2}{2}}\&=\lim_{x\to0}\left(-\frac{1}{3}-\frac{x^2}{90}+o(x^2)\right)\&=-\frac{1}{3}\end{align*}]因此，原极限为$e^{-\frac{1}{3}}=\frac{1}{\sqrt[3]{e}}$。在这个案例中，半角公式的变形（$1-\cosx\sim\frac{x^2}{2}$）帮助我们快速确定分母的等价无穷小，为后续的泰勒展开提供了基础。（三）含有多个三角函数的极限案例：求$\lim_{x\to0}\frac{\sin3x-3\sinx+\frac{x^3}{2}}{x^5}$解法：首先，我们可以对$\sin3x$和$\sinx$进行泰勒展开：[\begin{align*}\sin3x&=3x-\frac{(3x)^3}{6}+\frac{(3x)^5}{120}-\frac{(3x)^7}{5040}+o(x^7)\&=3x-\frac{27x^3}{6}+\frac{243x^5}{120}-\frac{2187x^7}{5040}+o(x^7)\&=3x-\frac{9x^3}{2}+\frac{81x^5}{40}-\frac{243x^7}{560}+o(x^7)\end{align*}][\begin{align*}3\sinx&=3\left(x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040}+o(x^7)\right)\&=3x-\frac{x^3}{2}+\frac{x^5}{40}-\frac{x^7}{1680}+o(x^7)\end{align*}]将其代入原极限：[\begin{align*}\sin3x-3\sinx+\frac{x^3}{2}&=\left(3x-\frac{9x^3}{2}+\frac{81x^5}{40}-\frac{243x^7}{560}+o(x^7)\right)-\left(3x-\frac{x^3}{2}+\frac{x^5}{40}-\frac{x^7}{1680}+o(x^7)\right)+\frac{x^3}{2}\&=3x-\frac{9x^3}{2}+\frac{81x^5}{40}-\frac{243x^7}{560}-3x+\frac{x^3}{2}-\frac{x^5}{40}+\frac{x^7}{1680}+\frac{x^3}{2}+o(x^7)\&=\left(-\frac{9x^3}{2}+\frac{x^3}{2}+\frac{x^3}{2}\right)+\left(\frac{81x^5}{40}-\frac{x^5}{40}\right)+\left(-\frac{243x^7}{560}+\frac{x^7}{1680}\right)+o(x^7)\&=-\frac{7x^3}{2}+\frac{80x^5}{40}-\frac{729x^7-x^7}{1680}+o(x^7)\&=-\frac{7x^3}{2}+2x^5-\frac{728x^7}{1680}+o(x^7)\end{align*}]但这里出现了矛盾，因为原极限中含有$+\frac{x^3}{2}$，而我们的展开式中$-\frac{7x^3}{2}+\frac{x^3}{2}=-3x^3$，这说明我们的泰勒展开可能有误。实际上，我们可以先利用半角公式对$\sin3x-3\sinx$进行化简：[\begin{align*}\sin3x-3\sinx&=3\sinx-4\sin^3x-3\sinx\&=-4\sin^3x\end{align*}]因此，原极限可以转化为：[\begin{align*}\lim_{x\to0}\frac{\sin3x-3\sinx+\frac{x^3}{2}}{x^5}&=\lim_{x\to0}\frac{-4\sin^3x+\frac{x^3}{2}}{x^5}\&=\lim_{x\to0}\frac{-4\sin^3x}{x^5}+\lim_{x\to0}\frac{\frac{x^3}{2}}{x^5}\end{align*}]但此时发现$\lim_{x\to0}\frac{\frac{x^3}{2}}{x^5}=\lim_{x\to0}\frac{1}{2x^2}=\infty$，这显然与原极限的存在性矛盾，说明我们的化简有误。实际上，正确的三角恒等式是$\sin3x=3\sinx-4\sin^3x$，因此：[\begin{align*}\sin3x-3\sinx&=-4\sin^3x\end{align*}]但原极限中是$\sin3x-3\sinx+\frac{x^3}{2}$，因此：[\begin{align*}\sin3x-3\sinx+\frac{x^3}{2}&=-4\sin^3x+\frac{x^3}{2}\end{align*}]接下来，我们对$\sinx$进行泰勒展开：[\begin{align*}\sinx&=x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)\end{align*}]因此：[\begin{align*}\sin^3x&=\left(x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)\right)^3\&=x^3-3x^2\cdot\frac{x^3}{6}+3x\cdot\left(\frac{x^3}{6}\right)^2-\left(\frac{x^3}{6}\right)^3+3x^2\cdot\frac{x^5}{120}-o(x^5)\&=x^3-\frac{x^5}{2}+o(x^5)\end{align*}]因此：[\begin{align*}-4\sin^3x+\frac{x^3}{2}&=-4\left(x^3-\frac{x^5}{2}+o(x^5)\right)+\frac{x^3}{2}\&=-4x^3+2x^5+\frac{x^3}{2}+o(x^5)\&=-\frac{7x^3}{2}+2x^5+o(x^5)\end{align*}]这说明原极限的分子中含有$-\frac{7x^3}{2}$项，当$x\to0$时，$\frac{-\frac{7x^3}{2}}{x^5}=-\frac{7}{2x^2}\to-\infty$，因此原极限不存在。但这与题目要求矛盾，说明我们可能误解了题目。实际上，题目可能是$\lim_{x\to0}\frac{\sin3x-3\sinx+\frac{x^3}{2}}{x^5}$，其中$\sin3x-3\sinx$的泰勒展开为：[\begin{align*}\sin3x-3\sinx&=\left(3x-\frac{27x^3}{6}+\frac{243x^5}{120}-o(x^5)\right)-3\left(x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)\right)\&=3x-\frac{9x^3