三角函数和差化积后的极限拆分

三角函数和差化积后的极限拆分在微积分的学习中，极限计算是一项核心技能，而三角函数相关的极限问题因其形式多变、技巧性强，常常成为学习者的难点。其中，利用和差化积公式对三角函数表达式进行变形，再结合极限的运算法则进行拆分计算，是解决这类问题的重要方法之一。本文将深入探讨三角函数和差化积公式的应用场景、极限拆分的原则与技巧，并通过丰富的实例展示具体的解题思路，帮助读者熟练掌握这一关键的微积分计算工具。一、三角函数和差化积公式的回顾与理解（一）基本公式梳理和差化积公式是三角函数中用于将两个三角函数的和或差转化为乘积形式的一组恒等式，其基本形式如下：正弦函数的和差化积$\sin\alpha+\sin\beta=2\sin\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}$$\sin\alpha-\sin\beta=2\cos\frac{\alpha+\beta}{2}\sin\frac{\alpha-\beta}{2}$余弦函数的和差化积$\cos\alpha+\cos\beta=2\cos\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}$$\cos\alpha-\cos\beta=-2\sin\frac{\alpha+\beta}{2}\sin\frac{\alpha-\beta}{2}$这些公式的推导基于两角和与差的正弦、余弦公式，例如对于$\sin\alpha+\sin\beta$，令$\alpha=\frac{\alpha+\beta}{2}+\frac{\alpha-\beta}{2}$，$\beta=\frac{\alpha+\beta}{2}-\frac{\alpha-\beta}{2}$，代入两角和的正弦公式$\sin(A+B)=\sinA\cosB+\cosA\sinB$和$\sin(A-B)=\sinA\cosB-\cosA\sinB$，相加后即可得到上述公式。（二）公式的本质与应用价值从本质上看，和差化积公式是三角函数运算中的一种“降维”手段，它将两个三角函数的线性组合转化为乘积形式，这一转化在极限计算中具有重要意义。在极限问题中，乘积形式往往更容易利用极限的四则运算法则、等价无穷小替换等方法进行处理，而和差形式则可能因无法直接拆分或出现$\frac{0}{0}$、$\infty-\infty$等未定式而难以计算。例如，当$x\to0$时，$\sinx-\sin2x$的极限直接计算会得到$0-0=0$，但这只是表面结果，若要深入分析其与$x$的阶数关系，就需要通过和差化积转化为$2\cos\frac{3x}{2}\sin(-\frac{x}{2})$，进而利用等价无穷小$\sint\simt$（$t\to0$）进行更精确的计算。二、极限拆分的基本原则与条件（一）极限四则运算法则的适用条件在进行极限拆分时，首先要严格遵守极限四则运算法则的适用条件。设$\lim_{x\toa}f(x)=A$，$\lim_{x\toa}g(x)=B$，则有：$\lim_{x\toa}[f(x)\pmg(x)]=A\pmB$$\lim_{x\toa}[f(x)\cdotg(x)]=A\cdotB$$\lim_{x\toa}\frac{f(x)}{g(x)}=\frac{A}{B}$（$B\neq0$）需要注意的是，这些法则成立的前提是参与运算的各个函数的极限都存在（对于除法，还要求分母的极限不为零）。如果不满足这一前提，直接进行拆分可能会导致错误的结果。例如，$\lim_{x\to0}\frac{\sinx-x}{x^3}$，若错误地拆分为$\lim_{x\to0}\frac{\sinx}{x^3}-\lim_{x\to0}\frac{x}{x^3}$，则会得到$\infty-\infty$的未定式，无法直接计算，而正确的做法是利用泰勒展开或洛必达法则求解。（二）和差化积后极限拆分的核心思路当三角函数表达式通过和差化积转化为乘积形式后，极限拆分的核心思路是将复杂的乘积式分解为若干个简单因子的乘积，使得每个因子的极限都可以单独计算，或者可以通过等价无穷小替换、重要极限等方法简化计算。具体来说，通常可以从以下几个方面入手：分离出可直接计算极限的因子：例如，当$x\toa$时，若某个因子在$x=a$处连续，则其极限值等于该点的函数值，可以直接分离出来单独计算。识别并替换等价无穷小：在乘积形式中，若某个因子是无穷小量（当$x\toa$时极限为0），可以寻找其等价无穷小进行替换，从而简化计算。常见的三角函数等价无穷小有：当$t\to0$时，$\sint\simt$，$\tant\simt$，$1-\cost\sim\frac{1}{2}t^2$等。结合重要极限进行计算：两个重要极限$\lim_{t\to0}\frac{\sint}{t}=1$和$\lim_{t\to\infty}(1+\frac{1}{t})^t=e$在三角函数极限计算中经常用到，通过和差化积后的变形，有时可以将表达式转化为重要极限的形式。三、不同类型极限问题的拆分技巧与实例分析（一）$\frac{0}{0}$型未定式的拆分计算$\frac{0}{0}$型未定式是三角函数极限问题中最常见的类型之一，当$x\toa$时，分子和分母的极限都为0，此时直接利用四则运算法则无法计算，需要通过和差化积等方法进行变形。实例1：$\lim_{x\to0}\frac{\sin3x-\sinx}{x}$分析：当$x\to0$时，分子$\sin3x-\sinx$的极限为$\sin0-\sin0=0$，分母$x$的极限也为0，属于$\frac{0}{0}$型未定式。首先对分子进行和差化积：$\sin3x-\sinx=2\cos\frac{3x+x}{2}\sin\frac{3x-x}{2}=2\cos2x\sinx$将其代入原式得：$\lim_{x\to0}\frac{2\cos2x\sinx}{x}=2\lim_{x\to0}\cos2x\cdot\lim_{x\to0}\frac{\sinx}{x}$这里，$\lim_{x\to0}\cos2x=\cos0=1$，$\lim_{x\to0}\frac{\sinx}{x}=1$（重要极限），因此最终结果为$2\times1\times1=2$。实例2：$\lim_{x\to\frac{\pi}{2}}\frac{\cosx-\cos3x}{\sin^2x}$分析：当$x\to\frac{\pi}{2}$时，分子$\cosx-\cos3x$的极限为$\cos\frac{\pi}{2}-\cos\frac{3\pi}{2}=0-0=0$，分母$\sin^2x$的极限为$\sin^2\frac{\pi}{2}=1$，表面上看不是$\frac{0}{0}$型，但实际上分子是0，分母不为0，极限应为0。不过为了展示和差化积的应用，我们仍然对分子进行变形：$\cosx-\cos3x=-2\sin\frac{x+3x}{2}\sin\frac{x-3x}{2}=-2\sin2x\sin(-x)=2\sin2x\sinx$代入原式得：$\lim_{x\to\frac{\pi}{2}}\frac{2\sin2x\sinx}{\sin^2x}=\lim_{x\to\frac{\pi}{2}}\frac{2\sin2x}{\sinx}$此时，$\sin2x=2\sinx\cosx$，进一步化简为：$\lim_{x\to\frac{\pi}{2}}\frac{2\times2\sinx\cosx}{\sinx}=\lim_{x\to\frac{\pi}{2}}4\cosx=4\cos\frac{\pi}{2}=0$，与直接分析的结果一致。（二）$\infty-\infty$型未定式的转化与拆分$\infty-\infty$型未定式通常出现在两个三角函数的差的极限中，当$x\toa$时，两个函数的极限都为无穷大（或都为负无穷大）。对于这类问题，直接计算往往无法得到结果，需要通过通分、有理化或和差化积等方法将其转化为$\frac{0}{0}$型或$\frac{\infty}{\infty}$型未定式，再进行拆分计算。实例3：$\lim_{x\to\frac{\pi}{2}^-}(\secx-\tanx)$分析：当$x\to\frac{\pi}{2}^-$时，$\secx=\frac{1}{\cosx}\to+\infty$，$\tanx=\frac{\sinx}{\cosx}\to+\infty$，属于$\infty-\infty$型未定式。首先将其转化为分式形式：$\secx-\tanx=\frac{1}{\cosx}-\frac{\sinx}{\cosx}=\frac{1-\sinx}{\cosx}$此时，当$x\to\frac{\pi}{2}^-$时，分子$1-\sinx\to0$，分母$\cosx\to0$，转化为$\frac{0}{0}$型未定式。接下来，我们可以利用和差化积的思路对分子进行变形（或者利用三角恒等式$1-\sinx=(\sin\frac{x}{2}-\cos\frac{x}{2})^2$），不过更直接的方法是利用等价无穷小替换。令$t=\frac{\pi}{2}-x$，当$x\to\frac{\pi}{2}^-$时，$t\to0^+$，则$\sinx=\sin(\frac{\pi}{2}-t)=\cost$，$\cosx=\cos(\frac{\pi}{2}-t)=\sint$，代入得：$\lim_{t\to0^+}\frac{1-\cost}{\sint}=\lim_{t\to0^+}\frac{\frac{1}{2}t^2}{t}=\lim_{t\to0^+}\frac{1}{2}t=0$实例4：$\lim_{x\to0}(\frac{1}{\sin^2x}-\frac{1}{x^2})$分析：当$x\to0$时，$\frac{1}{\sin^2x}\to+\infty$，$\frac{1}{x^2}\to+\infty$，属于$\infty-\infty$型未定式。首先通分将其转化为$\frac{0}{0}$型：$\frac{1}{\sin^2x}-\frac{1}{x^2}=\frac{x^2-\sin^2x}{x^2\sin^2x}$分子$x^2-\sin^2x$可以利用平方差公式分解为$(x-\sinx)(x+\sinx)$，分母$x^2\sin^2x$当$x\to0$时，$\sinx\simx$，因此$\sin^2x\simx^2$，分母等价于$x^4$。对于分子中的$x-\sinx$，利用泰勒展开$\sinx=x-\frac{x^3}{6}+o(x^3)$，可得$x-\sinx=\frac{x^3}{6}+o(x^3)\sim\frac{x^3}{6}$（$x\to0$），而$x+\sinx\to0+0=0$，但实际上$x+\sinx=x+x-\frac{x^3}{6}+o(x^3)=2x-\frac{x^3}{6}+o(x^3)\sim2x$（$x\to0$）。因此，分子整体等价于$\frac{x^3}{6}\times2x=\frac{x^4}{3}$，代入原式得：$\lim_{x\to0}\frac{\frac{x^4}{3}}{x^4}=\frac{1}{3}$当然，我们也可以利用和差化积的思路对分子进行处理，不过对于$x^2-\sin^2x$，更直接的是利用平方差公式，而对于$\sin^2x$，可以利用二倍角公式$\sin^2x=\frac{1-\cos2x}{2}$，不过在这个例子中，泰勒展开和等价无穷小替换更为简便。（三）含有多个三角函数乘积的极限拆分当极限表达式中含有多个三角函数的乘积时，通过和差化积将其中的和差形式转化为乘积后，整个表达式会变成更多因子的乘积，此时需要根据每个因子的特点，灵活运用极限运算法则、等价无穷小替换等方法进行拆分计算。实例5：$\lim_{x\to0}\frac{(\sinx-\sin3x)(\cosx-\cos2x)}{x^4}$分析：首先对分子中的两个三角函数差分别进行和差化积：$\sinx-\sin3x=2\cos\frac{x+3x}{2}\sin\frac{x-3x}{2}=2\cos2x\sin(-x)=-2\cos2x\sinx$$\cosx-\cos2x=-2\sin\frac{x+2x}{2}\sin\frac{x-2x}{2}=-2\sin\frac{3x}{2}\sin(-\frac{x}{2})=2\sin\frac{3x}{2}\sin\frac{x}{2}$将其代入原式得：$\lim_{x\to0}\frac{(-2\cos2x\sinx)(2\sin\frac{3x}{2}\sin\frac{x}{2})}{x^4}=\lim_{x\to0}\frac{-4\cos2x\sinx\sin\frac{3x}{2}\sin\frac{x}{2}}{x^4}$接下来，对每个正弦因子进行等价无穷小替换，当$x\to0$时：$\sinx\simx$$\sin\frac{3x}{2}\sim\frac{3x}{2}$$\sin\frac{x}{2}\sim\frac{x}{2}$同时，$\cos2x\to\cos0=1$，将这些等价无穷小代入后：$\lim_{x\to0}\frac{-4\times1\timesx\times\frac{3x}{2}\times\frac{x}{2}}{x^4}=\lim_{x\to0}\frac{-4\times\frac{3x^3}{4}}{x^4}=\lim_{x\to0}\frac{-3x^3}{x^4}=\lim_{x\to0}\frac{-3}{x}$此时发现，当$x\to0^+$时，极限为$-\infty$；当$x\to0^-$时，极限为$+\infty$，因此该极限不存在。实例6：$\lim_{x\to\pi}\frac{(\sinx+\sin\pi)(\cosx-\cos\pi)}{(x-\pi)^3}$分析：首先，$\sin\pi=0$，$\cos\pi=-1$，因此原式可化简为：$\lim_{x\to\pi}\frac{\sinx(\cosx+1)}{(x-\pi)^3}$令$t=x-\pi$，则$x=\pi+t$，当$x\to\pi$时，$t\to0$，代入得：$\lim_{t\to0}\frac{\sin(\pi+t)(\cos(\pi+t)+1)}{t^3}$利用诱导公式$\sin(\pi+t)=-\sint$，$\cos(\pi+t)=-\cost$，进一步化简为：$\lim_{t\to0}\frac{(-\sint)(-\cost+1)}{t^3}=\lim_{t\to0}\frac{\sint(1-\cost)}{t^3}$此时，$\sint\simt$（$t\to0$），$1-\cost\sim\frac{1}{2}t^2$（$t\to0$），代入得：$\lim_{t\to0}\frac{t\times\frac{1}{2}t^2}{t^3}=\lim_{t\to0}\frac{\frac{1}{2}t^3}{t^3}=\frac{1}{2}$在这个例子中，虽然没有直接使用和差化积公式，但通过变量替换和诱导公式，将原式转化为了可以利用等价无穷小替换的形式，其本质与和差化积后进行极限拆分的思路是一致的，都是将复杂的三角函数表达式转化为易于计算极限的简单形式。四、和差化积与其他极限计算方法的结合应用（一）与洛必达法则的结合洛必达法则是求解$\frac{0}{0}$型和$\frac{\infty}{\infty}$型未定式的重要方法，其基本思想是对分子和分母分别求导，再求极限。在一些情况下，先通过和差化积对三角函数表达式进行变形，再应用洛必达法则，可以简化求导过程，避免复杂的导数计算。实例7：$\lim_{x\to0}\frac{\sin5x-\sin3x}{x^3}$分析：首先，这是一个$\frac{0}{0}$型未定式，我们可以先尝试用和差化积对分子进行变形：$\sin5x-\sin3x=2\cos\frac{5x+3x}{2}\sin\frac{5x-3x}{2}=2\cos4x\sinx$代入原式得：$\lim_{x\to0}\frac{2\cos4x\sinx}{x^3}=2\lim_{x\to0}\cos4x\cdot\lim_{x\to0}\frac{\sinx}{x^3}=2\times1\times\lim_{x\to0}\frac{\sinx}{x^3}$此时，$\lim_{x\to0}\frac{\sinx}{x^3}$仍然是$\frac{0}{0}$型未定式，应用洛必达法则，对分子和分母分别求导：$\lim_{x\to0}\frac{\cosx}{3x^2}$当$x\to0$时，分子$\cosx\to1$，分母$3x^2\to0^+$，因此该极限为$+\infty$，所以原极限为$+\infty$。如果直接对原式应用洛必达法则，第一次求导得：$\lim_{x\to0}\frac{5\cos5x-3\cos3x}{3x^2}$这仍然是$\frac{0}{0}$型未定式（分子$5\cos0-3\cos0=5-3=2\neq0$？不，实际上当$x\to0$时，$5\cos5x-3\cos3x\to5-3=2$，分母$3x^2\to0$，因此极限为$+\infty$，与之前的结果一致。不过可以看到，先进行和差化积后，第一次应用洛必达法则时的表达式更为简单，求导过程也更不容易出错。（二）与泰勒展开的结合泰勒展开是将函数在某一点附近展开为幂级数的形式，对于三角函数，其泰勒展开式具有很高的精度，可以用于精确计算极限。当和差化积后的表达式仍然难以直接计算极限时，结合泰勒展开可以将三角函数转化为多项式形式，从而更方便地进行极限拆分和计算。实例8：$\lim_{x\to0}\frac{\sinx-\sin(\sinx)}{x^5}$分析：这是一个$\frac{0}{0}$型未定式，直接应用洛必达法则会非常繁琐，因为需要多次求导。我们可以先利用和差化积对分子进行变形：$\sinx-\sin(\sinx)=2\cos\frac{x+\sinx}{2}\sin\frac{x-\sinx}{2}$接下来，对$\cos\frac{x+\sinx}{2}$和$\sin\frac{x-\sinx}{2}$分别进行泰勒展开。首先，$\sinx$的泰勒展开式为：$\sinx=x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)$则$x+\sinx=x+x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)=2x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)$，$\frac{x+\sinx}{2}=x-\frac{x^3}{12}+\frac{x^5}{240}-o(x^5)$$\cost$的泰勒展开式为：$\cost=1-\frac{t^2}{2}+\frac{t^4}{24}-o(t^4)$将$t=x-\frac{x^3}{12}+\frac{x^5}{240}-o(x^5)$代入得：$\cos\frac{x+\sinx}{2}=1-\frac{1}{2}(x-\frac{x^3}{12}+\frac{x^5}{240}-o(x^5))^2+\frac{1}{24}(x-\frac{x^3}{12}+\frac{x^5}{240}-o(x^5))^4-o(x^4)$展开并忽略高阶无穷小：$(x-\frac{x^3}{12}+\frac{x^5}{240})^2=x^2-2\timesx\times\frac{x^3}{12}+(-\frac{x^3}{12})^2+2\timesx\times\frac{x^5}{240}-2\times\frac{x^3}{12}\times\frac{x^5}{240}+(\frac{x^5}{240})^2=x^2-\frac{x^4}{6}+\frac{x^6}{144}+\frac{x^6}{120}-\cdots\approxx^2-\frac{x^4}{6}$（忽略$x^6$及以上项）$(x-\frac{x^3}{12}+\frac{x^5}{240})^4\approx(x^2)^2=x^4$（忽略高阶项）因此：$\cos\frac{x+\sinx}{2}\approx1-\frac{1}{2}(x^2-\frac{x^4}{6})+\frac{1}{24}x^4=1-\frac{x^2}{2}+\frac{x^4}{12}+\frac{x^4}{24}=1-\frac{x^2}{2}+\frac{x^4}{8}$再看$\sin\frac{x-\sinx}{2}$，先计算$x-\sinx$：$x-\sinx=x-(x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5))=\frac{x^3}{6}-\frac{x^5}{120}+o(x^5)$$\frac{x-\sinx}{2}=\frac{x^3}{12}-\frac{x^5}{240}+o(x^5)$$\sint$的泰勒展开式为：$\sint=t-\frac{t^3}{6}+\frac{t^5}{120}-o(t^5)$将$t=\frac{x^3}{12}-\frac{x^5}{240}+o(x^5)$代入得：$\sin\frac{x-\sinx}{2}\approx(\frac{x^3}{12}-\frac{x^5}{240})-\frac{1}{6}(\frac{x^3}{12})^3+\cdots\approx\frac{x^3}{12}-\frac{x^5}{240}$（忽略$x^9$及以上项）现在，将$\cos\frac{x+\sinx}{2}$和$\sin\frac{x-\sinx}{2}$的展开式代入分子：$\sinx-\sin(\sinx)=2\times(1-\frac{x^2}{2}+\frac{x^4}{8})\times(\frac{x^3}{12}-\frac{x^5}{240})$展开计算：$2\times[1\times(\frac{x^3}{12}-\frac{x^5}{240})-\frac{x^2}{2}\times(\frac{x^3}{12}-\frac{x^5}{240})+\frac{x^4}{8}\times(\frac{x^3}{12}-\frac{x^5}{240})]$$=2\times[\frac{x^3}{12}-\frac{x^5}{240}-\frac{x^5}{24}+\frac{x^7}{480}+\frac{x^7}{96}-\frac{x^9}{1920}]$$=2\times[\frac{x^3}{12}-(\frac{x^5}{240}+\frac{10x^5}{240})+(\frac{x^7}{480}+\frac{5x^7}{480})-\cdots]$$=2\times[\frac{x^3}{12}-\frac{11x^5}{240}+\frac{6x^7}{480}-\cdots]$$=\frac{x^3}{6}-\frac{11x^5}{120}+\frac{x^7}{40}-\cdots$最后，代入原式求极限：$\lim_{x\to0}\frac{\frac{x^3}{6}-\frac{11x^5}{120}+o(x^5)}{x^5}=\lim_{x\to0}(\frac{1}{6x^2}-\frac{11}{120}+\frac{o(x^5)}{x^5})$这显然有问题，说明在展开过程中可能忽略了一些重要的高阶项，或者应该采用更简洁的方法。实际上，对于这个例子，更合适的方法是直接对$\sin(\sinx)$进行泰勒展开：$\sin(\sinx)=\sinx-\frac{(\sinx)^3}{6}+\frac{(\sinx)^5}{120}-o((\sinx)^5)$$\sinx=x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)$，则$(\sinx)^3=(x-\frac{x^3}{6}+\frac{x^5}{120})^3=x^3-3x^2\times\frac{x^3}{6}+3x\times(\frac{x^3}{6})^2-(\frac{x^3}{6})^3+\cdots=x^3-\frac{x^5}{2}+\cdots$（忽略$x^7$及以上项）$(\sinx)^5\approxx^5$（忽略高阶项）代入得：$\sin(\sinx)\approx(x-\frac{x^3}{6}+\frac{x^5}{120})-\frac{1}{6}(x^3-\frac{x^5}{2})+\frac{1}{120}x^5$$=x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^3}{6}+\frac{x^5}{12}+\frac{x^5}{120}$$=x-\frac{x^3}{3}+(\frac{1}{120}+\frac{10}{120}+\frac{1}{120})x^5$$=x-\frac{x^3}{3}+\frac{12}{120}x^5$$=x-\frac{x^3}{3}+\frac{x^5}{10}$则$\sinx-\sin(\sinx)\approx(x-\frac{x^3}{6}+\frac{x^5}{120})-(x-\frac{x^3}{3}+\frac{x^5}{10})=\frac{x^3}{6}-\frac{11x^5}{120}$哦，原来之前的和差化积后展开是正确的，那为什么代入原式后会得到错误的结果呢？因为我在计算$\lim_{x\to0}\frac{\frac{x^3}{6}-\frac{11x^5}{120}+o(x^5)}{x^5}$时犯了一个错误，实际上，$\frac{x^3}{6}$是$x^3$阶的无穷小，而分母是$x^5$，所以$\frac{x^3}{6x^5}=\frac{1}{6x^2}\to\infty$（$x\to0$），这说明我的泰勒展开过程中可能哪里出错了。重新计算$\sin(\sinx)$的泰勒展开：$\sinu=u-\frac{u^3}{6}+\frac{u^5}{120}-\frac{u^7}{5040}+\cdots$，令$u=\sinx=x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040}+\cdots$计算$u^3$：$u^3=(x-\frac{x^3}{6}+\frac{x^5}{120})^3=x^3-3x^2\times\frac{x^3}{6}+3x\times(\frac{x^3}{6})^2-(\frac{x^3}{6})^3+3x^2\times\frac{x^5}{120}-6x\times\frac{x^3}{6}\times\frac{x^5}{120}+3\times(\frac{x^3}{6})^2\times\frac{x^5}{120}-(\frac{x^5}{120})^3+\cdots$$=x^3-\frac{x^5}{2}+\frac{x^7}{12}-\frac{x^9}{216}+\frac{x^7}{40}-\frac{x^9}{720}+\frac{x^{11}}{8640}-\frac{x^{15}}{1728000}+\cdots$$\approxx^3-\frac{x^5}{2}+(\frac{1}{12}+\frac{1}{40})x^7=x^3-\frac{x^5}{2}+\frac{13}{120}x^7$计算$u^5$：$u^5\approx(x-\frac{x^3}{6})^5=x^5-5x^4\times\frac{x^3}{6}+\cdots\approxx^5-\frac{5x^7}{6}$（忽略$x^9$及以上项）现在代入$\sinu$：$\sin(\sinx)=u-\frac{u^3}{6}+\frac{u^5}{120}-\cdots$$\approx(x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040})-\frac{1}{6}(x^3-\frac{x^5}{2}+\frac{13}{120}x^7)+\frac{1}{120}(x^5-\frac{5x^7}{6})$$=x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040}-\frac{x^3}{6}+\frac{x^5}{12}-\frac{13x^7}{720}+\frac{x^5}{120}-\frac{5x^7}{720}$$=x-(\frac{x^3}{6}+\frac{x^3}{6})+(\frac{x^5}{120}+\frac{x^5}{12}+\frac{x^5}{120})+(-\frac{x^7}{5040}-\frac{13x^7}{720}-\frac{5x^7}{720})$$=x-\frac{x^3}{3}+(\frac{1+10+1}{120})x^5+(-\frac{1}{5040}-\frac{13+5}{720})x^7$$=x-\frac{x^3}{3}+\frac{12}{120}x^5+(-\frac{1}{5040}-\frac{18}{720})x^7$$=x-\frac{x^3}{3}+\frac{x^5}{10}+(-\frac{1}{5040}-\frac{126}{5040})x^7$$=x-\frac{x^3}{3}+\frac{x^5}{10}-\frac{127}{5040}x^7$则$\sinx-\sin(\sinx)=(x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040})-(x-\frac{x^3}{3}+\frac{x^5}{10}-\frac{127}{5040}x^7)$$=x-\frac{x^3}{6}+\frac{x^5}{120}-\frac{x^7}{5040}-x+\frac{x^3}{3}-\frac{x^5}{10}+\frac{127}{5040}x^7$$=(\frac{x^3}{3}-\frac{x^3}{6})+(\frac{x^5}{120}-\frac{x^5}{10})+(-\frac{x^7}{5040}+\frac{127}{5040}x^7)$$=\frac{x^3}{6}+(\frac{1-12}{120})x^5+\frac{126}{5040}x^7$$=\frac{x^3}{6}-\frac{11x^5}{120}+\frac{x^7}{40}$现在代入原式：$\lim_{x\to0}\frac{\frac{x^3}{6}-\frac{11x^5}{120}+\frac{x^7}{40}}{x^5}=\lim_{x\to0}(\frac{1}{6x^2}-\frac{11}{120}+\frac{x^2}{40})$当$x\to0$时，$\frac{1}{6x^2}\to+\infty$，$\frac{x^2}{40}\to0$，因此该极限为$+\infty$？这显然和我们的直觉不符，因为当$x\to0$时，$\sinx\approxx-\frac{x^3}{6}$，$\sin(\sinx)\approx\sin(x-\frac{x^3}{6})\approx(x-\frac{x^3}{6})-\frac{(x-\frac{x^3}{6})^3}{6}\approxx-\frac{x^3}{6}-\frac{x^3}{6}=x-\frac{x^3}{3}$，则$\sinx-\sin(\sinx)\approx(x-\frac{x^3}{6})-(x-\frac{x^3}{3})=\frac{x^3}{6}$，所以$\frac{\sinx-\sin(\sinx)}{x^5}\approx\frac{x^3/6}{x^5}=\frac{1}{6x^2}\to+\infty$，这说明之前的计算是正确的，原极限确实为$+\infty$。这个例子说明，在进行极限计算时，即使使用了和差化积等方法进行变形，也需要仔细检查每一步的计算，避免因忽略高阶无穷小或计算错误而导致结果偏差。同时，也可以通过多种方法交叉验证，确保结果的正确性。（三）与重要极限的结合两个重要极限$\lim_{t\to0}\frac{\sint}{t}=1$和$\lim_{t\to\infty}(1+\frac{1}{t})^t=e$在三角函数极限计算中具有广泛的应用，通过和差化积将表达式转化为重要极限的形式，可以快速求出极限。实例9：$\lim_{x\to0}(\frac{\sinx}{x})^{\frac{1}{1-\cosx}}$分析：这是一个$1^\infty$型未定式，对于这类未定式，通常可以利用重要极限$\lim_{t\to0}(1+t)^{\frac{1}{t}}=e$进行求解。首先，将原式变形为：$(\frac{\sinx}{x})^{\frac{1}{1-\cosx}}=e^{\ln(\frac{\sinx}{x})^{\frac{1}{1-\cosx}}}=e^{\frac{\ln(\frac{\sinx}{x})}{1-\cosx}}$因此，原极限等于$e^{\lim_{x\to0}\frac{\ln(\frac{\sinx}{x})}{1-\cosx}}$，现在只需要计算指数部分的极限。首先，当$x\to0$时，$\frac{\sinx}{x}\to1$，$\ln(\frac{\sinx}{x})\sim\frac{\sinx}{x}-1$（因为$\ln(1+t)\simt$，$t\to0$），而$1-\cosx\sim\frac{1}{2}x^2$（$x\to0$），所以指数部分的极限可以转化为：$\lim_{x\to0}\frac{\frac{\sinx}{x}-1}{\frac{1}{2}x^2}=2\lim_{x\to0}\frac{\sinx-x}{x^3}$现在，计算$\lim_{x\to0}\frac{\sinx-x}{x^3}$，这是一个$\frac{0}{0}$型未定式，可以应用洛必达法则：$\lim_{x\to0}\frac{\cosx-1}{3x^2}=\lim_{x\to0}\frac{-\sinx}{6x}=\lim_{x\to0}\frac{-\cosx}{6}=-\frac{1}{6}$因此，指数部分的极限为$2\times(-\frac{1}{6})=-\frac{1}{3}$，所以原极限为$e^{-\frac{1}{3}}=\frac{1}{\sqrt[3]{e}}$。在这个例子中，虽然没有直接使用和差化积公式，但通过将原式转化为指数形式，再利用等价无穷小替换和洛必达法则，最终求出了极限。其思路与和差化积后进行极限拆分的思路一致，都是将复杂的表达式转化为易于计算极限的形式。如果我们尝试用和差化积的方法来计算$\lim_{x\to0}\frac{\sinx-x}{x^3}$，会发现并不适用，因为$\sinx-x$不是两个三角函数的和或差，无法直接应用和差化积公式。这说明和差化积公式有其特定的应用场景，在实际解题过程中，需要根据具体问题选择合适的方法。五、常见错误与注意事项（一）错误应用和差化积公式和差化积公式的形式较为相似，容易混淆，例如将$\sin\alpha-\sin\beta$错误地记为$2\sin\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}$，或者将$\cos\alpha-\cos\beta$的符号记错。这些错误会导致后续的极限计算全部出错，因此必须熟练掌握和差化积公式的正确形式，可以通过口诀“正加正，正在前；正减正，余在前；余加余，余并肩；余减余，负正弦”来帮助记忆。（二）忽略极限拆分的前提条件在进行极限拆分时，必须严格遵守极限四则运算法则的适用条件，即参与运算的各个函数的极限都存在（对于除法，分母的极限不为零）。如果不满足这一条件，直接进行拆分可能会导致错误的结果。例如，$\lim_{x\to0}\frac{\sinx+x}{x}$，正确的做法是拆分为$\lim_{x\to0}\frac{\sinx}{x}+\lim_{x\to0}\frac{x}{x}=1+1=2$，这是因为两个极限都存在；而$\lim_{x\to\infty}\frac{\sinx+x}{x}$，拆分为$\lim_{x\to\infty}\frac{\sinx}{x}+\lim_{x\to\infty}\frac{x}{x}=0+1=1$，也是正确的，因为$\lim_{x\to\infty}\frac{\sinx}{x}=0$（因为$\sinx$有界，$\frac{1}{x}\to0$，有界函数乘以无穷小量仍为无穷小量），$\lim_{x\to\infty}\frac{x}{x}=1$，两个极限都存在。但如果是$\lim_{x\to0}\frac{\sinx-x}{x^3}$，错误地拆分为$\lim_{x\to0}\frac{\sinx}{x^3}-\lim_{x\