欢迎来到进阶微积分 (Further Calculus)!

欢迎来到 进阶纯数学 1 (FP1) 中最强大的章节之一。在一般的 A Level 课程中,你已经学会了如何对基础函数进行微分和积分。而在这里,我们要将这些技能「升级」。我们将学习如何将任何函数近似为简单的多项式、求出看起来不可能的极限,并使用一种「魔法」代换法来解决最棘手的三角函数积分。

如果有些公式刚看时让你觉得有点头晕,别担心。我们会一步步拆解它们,你很快就会发现,它们其实只是你既有知识的巧妙延伸!

1. 泰勒级数 (Taylor Series)

想象你有一个曲线非常复杂的函数,例如 \( \sin(x) \) 或 \( e^x \),但你心里想着:「如果这只是一个简单的二次或三次方程该有多好,因为那样处理起来容易多了。」泰勒级数正是为了达成这个目标而存在的!它能利用多项式在特定点附近近似一个函数。

核心概念

如果我们完全掌握一个函数在某一点的信息(函数值、斜率、曲率等),我们就能预测该函数在这一点附近的样子。我们将这个进行近似的「中心点」称为 \( a \)。

公式

\( f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \frac{f'''(a)}{3!}(x-a)^3 + \dots \)

或者,以求和符号 (Sigma notation) 表示:\( f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!} (x-a)^n \)

步骤演示:在 \( x = \pi \) 处展开 \( \sin(x) \)

1. 求导数: \( f(x) = \sin x \),\( f'(x) = \cos x \),\( f''(x) = -\sin x \),\( f'''(x) = -\cos x \)。
2. 代入中心点 (\( a = \pi \)):
\( f(\pi) = \sin(\pi) = 0 \)
\( f'(\pi) = \cos(\pi) = -1 \)
\( f''(\pi) = -\sin(\pi) = 0 \)
\( f'''(\pi) = -\cos(\pi) = 1 \)
3. 代入公式:
\( f(x) \approx 0 - 1(x-\pi) + 0 + \frac{1}{6}(x-\pi)^3 \dots \)
\( f(x) \approx -(x-\pi) + \frac{1}{6}(x-\pi)^3 \)

小复习: 泰勒级数是以 \( x = a \) 为中心。如果中心点是 \( x = 0 \),它被称为 麦克劳林级数 (Maclaurin Series)(这在 Core Pure 课程中你已经见过)。

常见错误: 忘了分母的阶乘 (\( n! \))。请务必记住:「幂次必须对应阶乘!」(3 次方下面就要除以 3!)。

关键要点: 泰勒级数让我们能将复杂函数转化为以任何点 \( a \) 为中心的多项式。

2. 利用级数求极限

有时候,当你试图通过代入数值来求极限时,会得到 \( \frac{0}{0} \)。虽然你可以经常使用洛必达法则 (L'Hospital's Rule,见下文),但对于「嵌套」分数来说,使用级数展开通常快得多。

运作原理

将极限中棘手的函数替换为它们的级数展开式。通常,前几项就足以看出当 \( x \) 趋近于 0 时会发生什么事。

示例:求 \( \lim_{x \to 0} \frac{x - \arctan x}{x^3} \)

1. 我们知道 \( \arctan x \) 的麦克劳林级数为 \( \arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \dots \)
2. 代入极限中: \( \lim_{x \to 0} \frac{x - (x - \frac{x^3}{3} + \dots)}{x^3} \)
3. 化简分子: \( \lim_{x \to 0} \frac{\frac{x^3}{3} - \frac{x^5}{5}}{x^3} \)
4. 除以 \( x^3 \): \( \lim_{x \to 0} (\frac{1}{3} - \frac{x^2}{5}) \)
5. 当 \( x \to 0 \) 时,带有 \( x^2 \) 的项会消失,只剩下 \( \frac{1}{3} \)

关键要点: 如果一个极限看起来是一堆三角函数和幂次的组合,试着用级数展开式来替换三角函数!

3. 莱布尼茨定理 (Leibnitz's Theorem)

你已经学过求两个函数相乘 (\( uv \)) 一阶导数的乘积法则 (Product Rule)。但如果你需要求第 10 阶导数呢?或者是第 \( n \) 阶导数呢?

类比

莱布尼茨定理就像是微积分中的「二项式定理」。它看起来与 \( (a+b)^n \) 的展开式几乎一模一样,只是我们用导数取代了幂次!

公式

\( \frac{d^n}{dx^n}(uv) = \sum_{r=0}^{n} \binom{n}{r} u^{(n-r)} v^{(r)} \)

其中 \( u^{(k)} \) 代表 \( u \) 的第 \( k \) 阶导数。

实用技巧

在挑选哪个函数作为 \( u \),哪个作为 \( v \) 时,请务必选择那个在多次微分后会消失的函数(例如 \( x^2 \))作为 \( v \)。这会让长公式中后面的大部分项变为零!

示例: 要找 \( x^2 \sin x \) 的 4 阶导数,令 \( v = x^2 \)。
\( v = x^2 \)
\( v' = 2x \)
\( v'' = 2 \)
\( v''' = 0 \) (此后所有项都会变为零!)

关键要点: 使用莱布尼茨定理来求积函数的第 \( n \) 阶导数。它遵循与二项式定理相同的模式。

4. 洛必达法则 (L'Hospital's Rule)

如果你遇到一个极限 \( \lim \frac{f(x)}{g(x)} \),结果产生了像 \( \frac{0}{0} \) 或 \( \frac{\infty}{\infty} \) 这样的未定式 (Indeterminate form),洛必达法则是你的好伙伴。

法则内容

\( \lim_{x \to c} \frac{f(x)}{g(x)} = \lim_{x \to c} \frac{f'(x)}{g'(x)} \)

注意:你是分别对分子和分母进行微分!这不是商法则 (Quotient rule)。

重复应用

如果你使用了一次法则后仍然得到 \( \frac{0}{0} \),别担心。你只需要再用一次!持续微分,直到得到一个具体的数值或明确的无穷大。

「幂次」极限: \( \lim_{x \to \infty} (1 + \frac{a}{x})^x \)

这是考题中的经典必考题。求解步骤如下:
1. 令 \( y = (1 + \frac{a}{x})^x \)
2. 取自然对数: \( \ln y = x \ln(1 + \frac{a}{x}) \)
3. 改写成分数形式: \( \frac{\ln(1 + a/x)}{1/x} \)
4. 应用洛必达法则求 \( \ln y \) 的极限。
5. 你知道吗? 这个特定极限的结果永远是 \( e^a \)。这是一个检查你计算结果的好方法!

关键要点: 洛必达法则将「0/0」问题变成了微分问题。只要记得分别对分子和分母微分即可。

5. 魏尔斯特拉斯代换 (Weierstrass Substitution,即 \( t \)-代换)

有时你会遇到涉及 \( \sin x \) 和 \( \cos x \) 的积分,看起来用标准方法根本无法解决。魏尔斯特拉斯代换是一种「魔法」工具,能将三角积分转换为代数积分。

代换方式

\( t = \tan(\frac{x}{2}) \)

使用此代换时,三角函数会转换如下:
\( \sin x = \frac{2t}{1+t^2} \)
\( \cos x = \frac{1-t^2}{1+t^2} \)
\( dx = \frac{2}{1+t^2} dt \)

为什么要用它?

它将「波浪形」的三角积分转换成了「有理」积分(即 \( t \) 的幂次分数)。通常你可以随后使用部分分式 (Partial fractions) 或标准的 arctan/ln 积分来求解。

示例:积分 \( \int \csc x \, dx \)

1. 记住 \( \csc x = \frac{1}{\sin x} \)。
2. 代入 \( \sin x = \frac{2t}{1+t^2} \) 及 \( dx = \frac{2}{1+t^2} dt \)。
3. 积分变为: \( \int \frac{1+t^2}{2t} \cdot \frac{2}{1+t^2} dt \)。
4. 除了 \( \int \frac{1}{t} dt \) 之外,一切都抵消了。
5. 这等于 \( \ln|t| + C \)。
6. 将 \( t \) 代回: \( \ln|\tan(\frac{x}{2})| + C \)

如果这看起来很复杂,别担心! 你不需要每次都重新推导 \( \sin x \) 和 \( \cos x \) 的公式;只要记住它们,或者学会使用参考三角形——其对边为 \( 2t \),邻边为 \( 1-t^2 \),斜边为 \( 1+t^2 \)。

关键要点: 当遇到困难的三角积分时,将 \( t = \tan(x/2) \) 作为最后手段。它能将三角问题化为代数问题。