新版演習微分積分（７）—— 从点火公式到欧拉积分（Beta & Gamma）

10485 words

52 minutes

新版演習微分積分（７）—— 从点火公式到欧拉积分（Beta & Gamma）

2026-05-24

ノート / Notes

院试 / Grad Prep

/

数学 / Math

在高等数学与日本院试（修二 / 专攻考试）的复习中，我们经常会遇到一些形式非常怪异的广义积分，或是高次三角函数的定积分。如果沿着传统的换元法和有理拆分路线走下去，虽然最终能做出答案，但是计算量极大、步骤繁琐，在考场的紧张高压下极其容易算错。

为了彻底解决这一痛点，今天我们将微积分中两个最强的“神兵利器”——**点火公式（Wallis 公式）与欧拉积分（Beta & Gamma 函数）**进行完美合流。

本篇笔记将带大家从经典的级数递推证明（例题 25）出发，经历贝塔与伽马函数的严谨收敛性证明（例题 28 & 30）与课后习题全景解答，最后通过院试真题大 PK展示高级函数工具的“降维打击”威力！

📌 第一部分：核心知识卡片与知识体系#

在开始手撕证明之前，我们先将这两张最核心的“公式库”刻进脑子里。

1. 伽马函数 $\Gamma(p)$ 的核心公式#

定义式（无穷区间）： $\Gamma(p) = \int_0^\infty e^{-x} x^{p-1} dx \quad (p>0)$
递推性质： $\Gamma(p+1) = p \Gamma(p)$
阶乘性质（当 $n$ 为自然数时）： $\Gamma(n+1) = n!, \quad \Gamma(1) = 1$
核心特值： $\Gamma\left(\frac{1}{2}\right) = \sqrt{\pi}$
余元公式（🚨 考场秒杀大招）： $\Gamma(x)\Gamma(1-x) = \frac{\pi}{\sin(\pi x)} \quad (0 < x < 1)$

💡 考场秒杀大杀器：经典 Gamma 积分缩放模板#

在考场上，我们常常会遇到形如 $\int_0^\infty x^n e^{-\lambda x} dx$ 的广义积分。如果用分部积分法硬算，那简直是无意义的体力活。这是一个经典 Gamma 函数积分模板，考场上强烈建议直接秒写，不要用任何分部积分！

⚙️ 缩放公式的推导过程（变量代换）：#

我们要将它套用为标准 Gamma 函数的形式：

\Gamma(s) = \int_0^\infty t^{s-1} e^{-t} dt

这里的关键技巧是通过变量代换，把被积函数中的 $e^{-\lambda x}$ 变成标准的 $e^{-t}$ 。

令 $t = \lambda x$ （这里 $\lambda > 0$ ），则有：

$x = \frac{t}{\lambda}$
$dx = \frac{dt}{\lambda}$
积分上下限不变：当下限 $x = 0 \to t = 0$ ，当上限 $x \to \infty \to t \to \infty$ 。

将这些关系代入原积分中：

\int_0^\infty x^n e^{-\lambda x} dx = \int_0^\infty \left( \frac{t}{\lambda} \right)^n e^{-t} \frac{dt}{\lambda}

将分母上的常数项 $\lambda^n$ 和 $\lambda$ 提出来，得到：

= \frac{1}{\lambda^{n+1}} \int_0^\infty t^n e^{-t} dt

注意到 $t^n$ 可以写成标准幂的形式 $t^{(n+1)-1}$ ，所以后面的积分项完完全全就是标准的伽马函数 $\Gamma(n+1)$ ：

= \frac{\Gamma(n+1)}{\lambda^{n+1}}

因此，我们直接秒写出经典的 Gamma 缩放公式：

\int_0^\infty x^n e^{-\lambda x} dx = \frac{\Gamma(n+1)}{\lambda^{n+1}}

特别是当 $n$ 为正整数 时，由于 $\Gamma(n+1) = n!$ ，我们有极简的阶乘秒杀形式：

\boxed{\int_0^\infty x^n e^{-\lambda x} dx = \frac{n!}{\lambda^{n+1}}}

🎓 考场速记与秒杀口诀：#

看到形如 $x^n e^{-\lambda x}$ 在 $[0, \infty)$ 上的积分，脑子里立刻反应 “Gamma 型积分”，直接套用模板：

分母：缩放系数 $\lambda$ 的 $n+1$ 次幂（即 $\lambda^{n+1}$ ）。
分子：指数 $n$ 的阶乘 $n!$ （当 $n$ 是整数时）或伽马值 $\Gamma(n+1)$ 。

🔥 秒杀例题：#

例题 1：计算 $\int_0^\infty x^3 e^{-2x} dx$ 。我们直接对照参数： $n=3$ （正整数）， $\lambda=2$ 。根本不用动笔，直接口算：
$\int_0^\infty x^3 e^{-2x} dx = \frac{3!}{2^4} = \frac{6}{16} = \mathbf{\frac{3}{8}}$
例题 2：计算 $\int_0^\infty x^{1/2} e^{-3x} dx$ 。我们对照参数： $n=1/2$ （分数）， $\lambda=3$ 。直接套用公式：
$\int_0^\infty x^{1/2} e^{-3x} dx = \frac{\Gamma(3/2)}{3^{3/2}}$
因为 $\Gamma(3/2) = \frac{1}{2}\Gamma(1/2) = \frac{\sqrt{\pi}}{2}$ ，所以：
$= \frac{\frac{\sqrt{\pi}}{2}}{3\sqrt{3}} = \mathbf{\frac{\sqrt{\pi}}{6\sqrt{3}} = \frac{\sqrt{3\pi}}{18}}$

这类题目在实战中本质上是“识图认模板”，不是“临时推公式”。记住这把钥匙，在考场上能够为你省下极其宝贵的计算时间！

2. 贝塔函数 $B(p, q)$ 的核心公式#

定义式 1（标准区间 $[0, 1]$ ）： $B(p, q) = \int_0^1 x^{p-1}(1-x)^{q-1} dx \quad (p>0, q>0)$
定义式 2（三角函数形式，求含 $\sin/\cos$ 积分的王道）： $B(p, q) = 2 \int_0^{\pi/2} (\sin\theta)^{2p-1} (\cos\theta)^{2q-1} d\theta$
定义式 3（半无穷区间形式）： $B(p, q) = \int_0^\infty \frac{y^{p-1}}{(1+y)^{p+q}} dy$
与 Gamma 函数的神奇羁绊（桥梁公式）： $B(p, q) = \frac{\Gamma(p)\Gamma(q)}{\Gamma(p+q)}$

📘 第二部分：点火公式（Wallis 公式）的经典证明（例题 25）#

在三角函数定积分中，**点火公式（ウォリスの公式 / Wallis 公式）**是快速求解高次三角积分的利器。

我们要求证，对于 $I_n = \int_0^{\pi/2} \sin^n x dx = \int_0^{\pi/2} \cos^n x dx$ ，有：

I_n = \begin{cases} \frac{n-1}{n} \cdot \frac{n-3}{n-2} \dots \frac{4}{5} \cdot \frac{2}{3} & (n \ge 2, \text{奇数}) \\ \frac{n-1}{n} \cdot \frac{n-3}{n-2} \dots \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} & (n \ge 2, \text{偶数}) \end{cases}

✏️ 证明步骤：#

1. 证明对称性 $\int_0^{\pi/2} \sin^n x dx = \int_0^{\pi/2} \cos^n x dx$ #

令 $x = \frac{\pi}{2} - t$ ，则 $dx = -dt$ 。

当 $x = 0 \to t = \frac{\pi}{2}$ ；
当 $x = \frac{\pi}{2} \to t = 0$ 。

代入积分中：

\int_0^{\pi/2} \sin^n x dx = \int_{\pi/2}^0 \sin^n \left(\frac{\pi}{2} - t\right) (-dt) = \int_0^{\pi/2} \cos^n t dt = \int_0^{\pi/2} \cos^n x dx

证明非常简单，两者完全对称。

2. 建立递推关系式（利用分部积分法）#

我们要计算 $I_n = \int_0^{\pi/2} \sin^n x dx$ 。我们将其写成 $\sin^{n-1} x \cdot \sin x$ ：

令 $u = \sin^{n-1} x \implies du = (n-1) \sin^{n-2} x \cos x dx$
令 $dv = \sin x dx \implies v = -\cos x$

使用分部积分法：

I_n = \left[ -\sin^{n-1} x \cos x \right]_0^{\pi/2} - \int_0^{\pi/2} (-\cos x) \cdot (n-1) \sin^{n-2} x \cos x dx

前面端点值部分：由于 $\cos(\pi/2) = 0$ 且 $\sin(0) = 0$ ，所以 第一项完全为 0。整理后面的积分项：

= (n-1) \int_0^{\pi/2} \sin^{n-2} x \cos^2 x dx

利用 $\cos^2 x = 1 - \sin^2 x$ ，展开积分：

= (n-1) \int_0^{\pi/2} \sin^{n-2} x (1 - \sin^2 x) dx = (n-1) \left( \int_0^{\pi/2} \sin^{n-2} x dx - \int_0^{\pi/2} \sin^n x dx \right)

这正好是 $I_{n-2}$ 和 $I_n$ 的线性组合：

I_n = (n-1) I_{n-2} - (n-1) I_n

移项整理：

n I_n = (n-1) I_{n-2} \implies \mathbf{I_n = \frac{n-1}{n} I_{n-2}}

这就是著名的 点火递推式！每往前点火一次，自变量降 2，前面乘以 $\frac{n-1}{n}$ 。

3. 确定边界条件并分类连乘#

为了将递推进行到底，我们需要知道最初的边界值：

当 $n=1$ 时： $I_1 = \int_0^{\pi/2} \sin x dx = [-\cos x]_0^{\pi/2} = 1$
当 $n=0$ 时： $I_0 = \int_0^{\pi/2} 1 dx = \frac{\pi}{2}$

通过交替套用递推公式：

若 $n$ 为奇数： $I_n = \frac{n-1}{n} I_{n-2} = \frac{n-1}{n} \cdot \frac{n-3}{n-2} \dots I_1 = \frac{n-1}{n} \cdot \frac{n-3}{n-2} \dots \frac{2}{3} \cdot 1$
若 $n$ 为偶数： $I_n = \frac{n-1}{n} I_{n-2} = \frac{n-1}{n} \cdot \frac{n-3}{n-2} \dots I_0 = \frac{n-1}{n} \cdot \frac{n-3}{n-2} \dots \frac{1}{2} \cdot \frac{\pi}{2}$

点火公式证毕！

💡 考场秒杀与避坑指南：点火公式的实战使用方法及注意事项#

在院试和高数考场上，能够直接套用点火公式的积分往往不会乖乖地刚好限在 $[0, \frac{\pi}{2}]$ 内。我们常常会遇到更广的积分区间（如 $[0, \pi]$ 或 $[0, \frac{3\pi}{2}]$ ）。

为了在实战中做到秒杀且不踩坑，我们必须彻底拆开并理清两个不同维度的核心概念：指数 $n$ 的奇偶性 和 积分区间所包含的 $\frac{\pi}{2}$ 块数。

1. 指数 $n$ 的奇偶性（决定“用哪个公式”和“是否有负数”）#

🚨 核心重点：这里的奇偶，全部都是指三角函数的幂指数 $n$ 的奇偶性！

当指数 $n$ 为偶数时（例如 $\sin^4 x$ ）： 任何实数经过偶数次幂后都会变成正数，这意味着三角函数图像 the 负半周全被翻折到了 $x$ 轴上方，不存在正负抵消。 👉 对应动作：套用结尾乘 $\frac{\pi}{2}$ 的偶数版点火公式。
当指数 $n$ 为奇数时（例如 $\sin^3 x$ ）： 奇数次幂会保留原三角函数的正负号，这意味着图像在正半周为正、负半周为负，极易发生正负面积抵消。 👉 对应动作：套用结尾乘 1 的奇数版点火公式。

2. 区间里包含几个 $\frac{\pi}{2}$ （决定“乘几倍”或“怎么抵消”）#

区间的长度决定了我们要把整体图形切成几个长度为 $\frac{\pi}{2}$ 的**“标准块”**（即对称区间）。

当我们将区间化为数个 $\frac{\pi}{2}$ 标准块后，结合指数的奇偶性来判定各块的正负号及抵消关系。例如，面对上限为奇数个 $\frac{\pi}{2}$ 块的区间 $[0, \frac{3\pi}{2}]$ （包含 3 个标准块时）：

搭配偶数次幂时（例如 $\int_0^{3\pi/2} \sin^4 x \, dx$ ）： 因为是偶数次幂，所有标准块的图像均位于 $x$ 轴上方。3 个标准块的面积全部为正，直接无脑相加！
$\int_0^{3\pi/2} \sin^4 x \, dx = \mathbf{3 \times I_4} \quad \text{（套用偶数版公式）}$
搭配奇数次幂时（例如 $\int_0^{3\pi/2} \sin^3 x \, dx$ ）： 因为是奇数次幂，正负号得以保留。我们将区间 $[0, \frac{3\pi}{2}]$ 拆成三块标准块分析其正负面积：
1. 第一块 $[0, \frac{\pi}{2}]$ ：正半周 $\implies$ 正面积
2. 第二块 $[\frac{\pi}{2}, \pi]$ ：正半周 $\implies$ 正面积
3. 第三块 $[\pi, \frac{3\pi}{2}]$ ：负半周 $\implies$ 负面积
此时，第二块的正面积会刚好与第三块的负面积“完美吃掉”（抵消为 0）！整个区间只剩下了第一块的面积：
$\int_0^{3\pi/2} \sin^3 x \, dx = \mathbf{1 \times I_3} \quad \text{（套用奇数版公式）}$

📌 实战秒杀心法总结：#

先看指数 $n$ ：
- 指数是偶数 $\implies$ 选用乘 $\frac{\pi}{2}$ 版公式；
- 指数是奇数 $\implies$ 选用乘 $1$ 版公式。
后看区间块：
- 拆解出区间里含有多少个 $\frac{\pi}{2}$ 块；
- 依据函数图像和指数奇偶，心算或手画正负号，得出净余块数，直接作为系数乘在公式最前面！

✨ 第三部分：高阶合流——用 Beta 函数“降维统一”点火公式#

许多人认为点火公式只是一个独立的初等数学公式。然而，在高等数学的宏伟蓝图中：点火公式不过是贝塔函数三角形式的一个天然特例！

我们来见证这个奇迹般的统一。根据贝塔函数的定义式 2：

B(p, q) = 2 \int_0^{\pi/2} (\sin\theta)^{2p-1} (\cos\theta)^{2q-1} d\theta

如果我们想要计算点火积分 $I_n = \int_0^{\pi/2} \sin^n \theta d\theta$ ，我们只需令：

$2p - 1 = n \implies p = \frac{n+1}{2}$
$2q - 1 = 0 \implies q = \frac{1}{2}$

带入定义式，瞬间得到：

I_n = \frac{1}{2} B\left(\frac{n+1}{2}, \frac{1}{2}\right)

利用“桥梁公式”将其转换为 Gamma 函数：

I_n = \frac{1}{2} \frac{\Gamma\left(\frac{n+1}{2}\right)\Gamma\left(\frac{1}{2}\right)}{\Gamma\left(\frac{n+1}{2} + \frac{1}{2}\right)} = \frac{\sqrt{\pi}}{2} \frac{\Gamma\left(\frac{n+1}{2}\right)}{\Gamma\left(\frac{n}{2} + 1\right)}

我们通过这行极简的 $\Gamma$ 表达式，分别代入奇偶数来验证它是否与点火公式完全一致：

(i) 当 $n$ 为偶数 $2k$ 时：#

代入表达式：

I_{2k} = \frac{\sqrt{\pi}}{2} \frac{\Gamma\left(k + \frac{1}{2}\right)}{\Gamma(k + 1)}

我们知道 $\Gamma(k+1) = k!$ ，且利用递推性质展开半整数的伽马函数：

\Gamma\left(k + \frac{1}{2}\right) = \left(k - \frac{1}{2}\right)\left(k - \frac{3}{2}\right)\dots \frac{1}{2}\Gamma\left(\frac{1}{2}\right) = \frac{(2k-1)!!}{2^k} \sqrt{\pi}

代入原式：

I_{2k} = \frac{\sqrt{\pi}}{2} \frac{\frac{(2k-1)!!}{2^k} \sqrt{\pi}}{k!} = \frac{(2k-1)!!}{2^{k+1} k!} \pi

因为 $2^{k} k! = (2k)!!$ ，所以：

I_{2k} = \frac{(2k-1)!!}{(2k)!!} \frac{\pi}{2} = \frac{2k-1}{2k} \cdot \frac{2k-3}{2k-2}\dots \frac{1}{2} \cdot \frac{\pi}{2}

这正好与偶数点火公式完美重合！

(ii) 当 $n$ 为奇数 $2k-1$ 时：#

代入表达式：

I_{2k-1} = \frac{\sqrt{\pi}}{2} \frac{\Gamma(k)}{\Gamma\left(k - \frac{1}{2} + 1\right)} = \frac{\sqrt{\pi}}{2} \frac{(k-1)!}{\Gamma\left(k + \frac{1}{2}\right)}

代入刚才推导出的 $\Gamma(k+1/2)$ 展开式：

I_{2k-1} = \frac{\sqrt{\pi}}{2} \frac{(k-1)!}{\frac{(2k-1)!!}{2^k} \sqrt{\pi}} = \frac{2^{k-1}(k-1)!}{(2k-1)!!}

由于 $2^{k-1}(k-1)! = (2k-2)!!$ ，所以：

I_{2k-1} = \frac{(2k-2)!!}{(2k-1)!!} = \frac{2k-2}{2k-1} \cdot \frac{2k-4}{2k-3}\dots \frac{2}{3}

这同样与奇数点火公式完美重合！

✨ 合流感言： 初等数学中分类讨论、繁琐递推得到的 Wallis 连乘，在欧拉积分的高维视角下，不过是 Gamma 函数在整数与半整数自变量下体现出的优美算术规律。这种降维统一的数学韵律，正是院试考官最喜欢在综合大题中考察的高端素养！

📘 第四部分：书本定理与收敛性证明（例题 28 & 例题 30）#

在享受秒杀的乐趣之前，我们必须脚踏实地，掌握这两个核心函数的严谨收敛性证明。

1. 贝塔函数 $B(p, q)$ 的收敛性证明（例题 28）#

贝塔函数的定义式为： $B(p, q) = \int_0^1 x^{p-1}(1-x)^{q-1} dx \quad (p>0, q>0)$

我们要证明其在 $p>0, q>0$ 时必定收敛。

💡 证明核心：奇点分割#

由于在 $0 < p < 1$ 和 $0 < q < 1$ 时，积分区间 $[0, 1]$ 的两个端点 $x=0$ 和 $x=1$ 分别是无界被积函数的奇点。因此我们必须将区间一分为二，在中点 $x=1/2$ 处“一刀切开”：

B(p, q) = I_1 + I_2 = \int_0^{1/2} x^{p-1}(1-x)^{q-1} dx + \int_{1/2}^1 x^{p-1}(1-x)^{q-1} dx

✏️ 证明步骤：#

当 $p \ge 1$ 且 $q \ge 1$ 时：被积函数连续有界，属于普通定积分，显然收敛。
当 $0 < p < 1$ 时证明 $I_1$ ：此时奇点为下限 $x=0$ 。我们引入极限审敛法，选择标准积分的除项 $x^{1-p}$ 对比： $\lim_{x \to 0^+} x^{1-p} \left\{ x^{p-1}(1-x)^{q-1} \right\} = \lim_{x \to 0^+} (1-x)^{q-1} = 1$ 因为极限为非零常数，且 $0 < p < 1 \implies 1-p < 1$ 。根据比较审敛定理，指数小于 $1$ 时积分收敛，故 $I_1$ 收敛。
证明 $I_2$ ：奇点为上限 $x=1$ 。令 $t = 1 - x$ ，则 $I_2$ 转化为： $I_2 = \int_0^{1/2} t^{q-1}(1-t)^{p-1} dt$ 此积分形式与 $I_1$ 完全对称（只需对调 $p$ 和 $q$ ）。根据上步结论，在 $q>0$ 时 $I_2$ 收敛。

因此，当 $p>0, q>0$ 时， $B(p, q)$ 整体收敛。

2. 伽马函数 $\Gamma(p)$ 的收敛性证明（例题 30）#

伽马函数的定义式为： $\Gamma(p) = \int_0^\infty e^{-x} x^{p-1} dx \quad (p>0)$

💡 证明核心：双重奇点分析#

该积分同时具有在 $x=0$ 处的无界特异积分问题（当 $0 < p < 1$ 时）和 $x \to \infty$ 处的无穷区间无限积分问题。我们选择分裂点 $c > 0$ ，拆分为：

\Gamma(p) = I_1 + I_2 = \int_0^c e^{-x} x^{p-1} dx + \int_c^\infty e^{-x} x^{p-1} dx

✏️ 证明步骤：#

证明 $I_1$ 的收敛性（特异积分）：若 $p \ge 1$ ，无奇点，积分为普通定积分。若 $0 < p < 1$ ， $x=0$ 是奇点。采用极限审敛法： $\lim_{x \to 0^+} x^{1-p} \left\{ e^{-x} x^{p-1} \right\} = \lim_{x \to 0^+} e^{-x} = 1$ 因为极限存在，且当 $0<p<1$ 时审敛指数满足 $1-p < 1$ ，所以 $I_1$ 收敛。
证明 $I_2$ 的收敛性（无限积分）：由于指数函数在无穷远处的增长速度压倒一切幂函数，我们有 $\lim_{x \to \infty} \frac{x^{p+1}}{e^x} = 0$ 。根据极限的定义，必定存在足够大的 $c \le x$ ，使得在该范围内： $e^{-x} x^{p+1} < 1 \implies e^{-x} x^{p-1} < \frac{1}{x^2}$ 因为比较积分 $\int_c^\infty \frac{1}{x^2} dx$ 的指数满足 $2 > 1$ ，必定收敛。根据比较定理，较小的正函数积分也必收敛，故 $I_2$ 收敛。

综上所述，当 $p>0$ 时， $\Gamma(p)$ 整体收敛。

📝 第五部分：书本课后习题保姆级详解#

我们对书本上的所有经典习题进行最详尽、不留死角的解答。

1. 问题 28.1 详解#

(1) 计算 $B\left(\frac{1}{2}, 1\right)$ 直接代入幂积分公式：

B\left(\frac{1}{2}, 1\right) = \int_0^1 x^{-1/2} dx = \left[ 2\sqrt{x} \right]_0^1 = \mathbf{2}

(2) 计算 $B\left(\frac{1}{2}, \frac{1}{2}\right)$ 分母含有二次根式，采用极具技巧性的三角换元法。令 $x = \sin^2\theta$ ，则 $dx = 2\sin\theta\cos\theta d\theta$ 。代入积分：

B\left(\frac{1}{2}, \frac{1}{2}\right) = \int_0^{\pi/2} \frac{2\sin\theta\cos\theta}{\sqrt{\sin^2\theta (1-\sin^2\theta)}} d\theta = \int_0^{\pi/2} \frac{2\sin\theta\cos\theta}{\sin\theta\cos\theta} d\theta = \int_0^{\pi/2} 2 d\theta = \mathbf{\pi}

2. 问题 28.2 详解#

(1) 证明 $B(p, q) = B(q, p)$ 令 $t = 1 - x \implies dx = -dt$ 。

B(p, q) = \int_1^0 (1-t)^{p-1} t^{q-1} (-dt) = \int_0^1 t^{q-1}(1-t)^{p-1} dt = B(q, p) \quad \text{(证毕)}

(2) 证明 $B(p+1, q) = \frac{p}{q} B(p, q+1)$ 利用分部积分法。

令 $u = x^p \implies du = p x^{p-1} dx$
令 $dv = (1-x)^{q-1} dx \implies v = -\frac{(1-x)^q}{q}$

B(p+1, q) = \left[ -x^p \frac{(1-x)^q}{q} \right]_0^1 + \frac{p}{q} \int_0^1 x^{p-1} (1-x)^q dx

由于在端点 $x=0$ 处 $x^p = 0$ （因为 $p>0$ ），在 $x=1$ 处 $(1-x)^q = 0$ （因为 $q>0$ ），所以第一项端点值完全为 $0$ 。剩下的积分部分：

= 0 + \frac{p}{q} \int_0^1 x^{p-1} (1-x)^q dx = \frac{p}{q} B(p, q+1) \quad \text{(证毕)}

(3) 证明 $B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!}$ （ $m, n$ 为自然数） 利用递推公式 (2) 不断做“套娃”递推：

B(m, n) = \frac{m-1}{n} B(m-1, n+1) = \frac{m-1}{n} \cdot \frac{m-2}{n+1} B(m-2, n+2) = \dots

经过 $m-1$ 次降低左参数后：

= \frac{(m-1)!}{n(n+1)\dots (n+m-2)} B(1, n+m-1)

而根据定义计算边界项：

B(1, n+m-1) = \int_0^1 (1-x)^{n+m-2} dx = \left[ -\frac{(1-x)^{n+m-1}}{n+m-1} \right]_0^1 = \frac{1}{n+m-1}

代入递推式尾部：

B(m, n) = \frac{(m-1)!}{n(n+1)\dots (n+m-1)}

分子分母同时乘以 $(n-1)!$ ，整理阶乘式可得：

B(m, n) = \frac{(m-1)!(n-1)!}{(m+n-1)!} \quad \text{(证毕)}

3. 问题 30.1 详解#

(1) 证明 $\Gamma(p+1) = p\Gamma(p)$ 根据定义式，利用分部积分法：

\Gamma(p+1) = \int_0^\infty e^{-x} x^p dx

令 $u = x^p \implies du = p x^{p-1} dx$
令 $dv = e^{-x} dx \implies v = -e^{-x}$

\Gamma(p+1) = \left[ -e^{-x} x^p \right]_0^\infty + p \int_0^\infty e^{-x} x^{p-1} dx

在上限 $x \to \infty$ 处，指数级衰减满足 $\lim_{x\to\infty} \frac{x^p}{e^x} = 0$ ；在下限 $x = 0$ 处， $0^p = 0$ 。因此第一项端点值完全为 $0$ 。所以：

\Gamma(p+1) = 0 + p \int_0^\infty e^{-x} x^{p-1} dx = p \Gamma(p) \quad \text{(证毕)}

(2) 证明 $\Gamma(1) = 1$ 且 $\Gamma(n+1) = n!$

首先计算 $\Gamma(1)$ ： $\Gamma(1) = \int_0^\infty e^{-x} dx = \left[ -e^{-x} \right]_0^\infty = 1$
当 $n$ 为自然数时，循环套用递推公式： $\Gamma(n+1) = n \Gamma(n) = n(n-1)\dots 1 \cdot \Gamma(1) = n! \quad \text{(证毕)}$

4. 问题 30.2 详解#

(1) 判别 $\int_0^1 \frac{\sin x}{\sqrt{x}} dx$ 的存在性 虽然在 $x=0$ 处看似分母为 $0$ ，但我们考察其右极限：由于等价无穷小 $\sin x \sim x$ ，有：

\lim_{x \to 0^+} \frac{\sin x}{\sqrt{x}} = \lim_{x \to 0^+} \frac{x}{\sqrt{x}} = \lim_{x \to 0^+} \sqrt{x} = 0

该极限存在且为有限常数，说明被积函数在区间 $[0, 1]$ 上事实上是有界的， $x=0$ 只是一个可去奇点。这本质上只是一个普通的定积分，因此该广义积分必定存在（收敛）。

(2) 判别 $\int_0^\infty \frac{1}{\sqrt{1+x^4}} dx$ 的存在性 被积函数在 $[0, \infty)$ 上连续无界处仅在无穷远处 $x \to \infty$ 。我们使用极限审敛法：当 $x \to \infty$ 时，被积函数满足等价关系 $\frac{1}{\sqrt{1+x^4}} \sim \frac{1}{x^2}$ 。考察其与标准积分 $\int_1^\infty \frac{1}{x^2} dx$ 的极限：

\lim_{x \to \infty} \frac{\frac{1}{\sqrt{1+x^4}}}{\frac{1}{x^2}} = 1

由于比较基准积分的指数满足 $2 > 1$ ，必定收敛。根据比较定理的极限形式，原积分在无穷远处也必定收敛。因此该广义积分必定存在（收敛）。

🔍 第六部分：经典院试真题大 PK#

我们来看下面这道经典的广义积分题：

I = \int_0^\infty \frac{dx}{\sqrt{3}\sqrt[3]{e^x-1}}

(注：此处以最纯粹的根式形式 $I = \int_0^\infty \frac{dx}{\sqrt[3]{e^x-1}}$ 为例展示推导)

🛠️ 共同的起点：第一步换元#

面对分母中根式与超越函数 $e^x$ 的组合，第一步令 $t = e^x$ 进行代数化，消除指数函数。

当 $t = e^x$ 时，有 $x = \log t \implies dx = \frac{1}{t} dt$ 。

积分上下限：当 $x=0$ 时， $t=1$ ；当 $x\to\infty$ 时， $t\to\infty$ 。

原积分成功转换为纯代数积分：

I = \int_1^\infty \frac{1}{\sqrt[3]{t-1}} \cdot \frac{1}{t} dt = \int_1^\infty (t-1)^{-\frac{1}{3}} t^{-1} dt

走到这一步，因为式子中带有分数次幂（ $-\frac{1}{3}$ ），无法直接积出。现在，我们有两条完全不同的路线可以走。

路线一：常规代数路线（标准答案做法）#

如果走常规路线，我们的目标是把无理次幂强行变成有理次幂。

1. 第二步换元#

令 $z^3 = t - 1$ （即 $z = \sqrt[3]{t-1}$ ）。此时有 $t = z^3 + 1 \implies dt = 3z^2 dz$ 。

积分上下限：当 $t=1$ 时， $z=0$ ；当 $t \to \infty$ 时， $z \to \infty$ 。

将它们代入积分式：

I = \int_0^\infty (z^3)^{-\frac{1}{3}} \cdot \frac{1}{z^3+1} \cdot 3z^2 dz = \int_0^\infty \frac{1}{z} \cdot \frac{3z^2}{z^3+1} dz = \int_0^\infty \frac{3z}{z^3+1} dz

这个式子和标准答案里的积分形式完全一致，剩下的就是纯粹的微积分基本功折磨了。

2. 有理函数拆项#

为了积分 $\int_0^\infty \frac{3z}{z^3+1} dz$ ，我们需要对分母进行因式分解： $z^3+1 = (z+1)(z^2-z+1)$ 。利用待定系数法进行有理拆分：

\frac{3z}{(z+1)(z^2-z+1)} = \frac{z+1}{z^2-z+1} - \frac{1}{z+1}

(通分心算校验： $(z+1)^2 - (z^2-z+1) = z^2+2z+1 - z^2+z-1 = 3z$ ，分子完美吻合！)

3. 凑微分与配方#

我们对第一项进行凑微分和配方，以便分别积出自然对数 $\log$ 和反正切 $\tan^{-1}$ ：

凑对数项： $(z^2-z+1)' = 2z-1$ 。因此将分子 $z+1$ 拆写为 $\frac{1}{2}(2z-1) + \frac{3}{2}$ 。
凑反正切项：分母配方得到 $z^2-z+1 = \left(z-\frac{1}{2}\right)^2 + \frac{3}{4}$ 。

带回原积分中：

I = \int_0^\infty \left( \frac{\frac{1}{2}(2z-1)}{z^2-z+1} + \frac{\frac{3}{2}}{\left(z-\frac{1}{2}\right)^2 + \frac{3}{4}} - \frac{1}{z+1} \right) dz

= \left[ \frac{1}{2} \log(z^2-z+1) + \frac{3}{2} \cdot \frac{1}{\frac{\sqrt{3}}{2}} \tan^{-1}\frac{z-1/2}{\frac{\sqrt{3}}{2}} - \log(z+1) \right]_0^\infty

将对数项合并整理，并将反正切项常数化简：

= \left[ \log\frac{\sqrt{z^2-z+1}}{z+1} + \sqrt{3} \tan^{-1}\frac{2z-1}{\sqrt{3}} \right]_0^\infty

4. 精确求极限#

在代入积分上限 $\infty$ 和下限 $0$ 时，必须极其小心极限项：

当 $z \to \infty$ 时：
- 对数项： $\lim_{z\to\infty} \frac{\sqrt{z^2-z+1}}{z+1} = 1 \implies \log 1 = 0$ 。
- 反正切项： $\lim_{z\to\infty} \tan^{-1}\frac{2z-1}{\sqrt{3}} = \frac{\pi}{2}$ 。
当 $z = 0$ 时：
- 对数项： $\log\frac{1}{1} = 0$ 。
- 反正切项： $\tan^{-1}\left(-\frac{1}{\sqrt{3}}\right) = -\frac{\pi}{6}$ 。

代入边界值做差：

I = \left( 0 + \sqrt{3} \cdot \frac{\pi}{2} \right) - \left( 0 + \sqrt{3} \cdot \left(-\frac{\pi}{6}\right) \right)

= \sqrt{3}\pi \left( \frac{1}{2} + \frac{1}{6} \right) = \sqrt{3}\pi \cdot \frac{2}{3} = \mathbf{\frac{2\sqrt{3}}{3}\pi}

💡 路线一总结： 这是一条堂堂正正的常规解法，也是绝大多数答案给出的解法。然而其缺点是显而易见的：有理拆分步骤繁琐、凑微分配方容错率极低、边界极限稍有不慎就会丢掉正负号。 在考场的紧张氛围下，非常消耗体力和答题时间。

路线二：欧拉积分秒杀路线（降维打击）#

现在，让我们把视线重新拉回到你最初成功化简出的纯代数积分式：

I = \int_1^\infty t^{-1} (t-1)^{-\frac{1}{3}} dt

既然这已经是一个纯粹的代数广义积分，我们只要做一个简单的倒数换元，就能直接召唤 Beta 函数！

1. 倒数换元#

令 $v = \frac{1}{t}$ ，则有 $t = \frac{1}{v}$ ， $dt = -\frac{1}{v^2} dv$ 。

积分上下限：当 $t=1$ 时， $v=1$ ；当 $t \to \infty$ 时， $v=0$ 。

代入原式中：

I = \int_1^0 v \cdot \left(\frac{1}{v}-1\right)^{-\frac{1}{3}} \cdot \left(-\frac{1}{v^2}\right) dv

利用微分项前面的负号把积分上下限颠倒回来：

= \int_0^1 \frac{1}{v} \cdot \left(\frac{1-v}{v}\right)^{-\frac{1}{3}} dv

整理幂次项合并：

= \int_0^1 \frac{1}{v} \cdot (1-v)^{-\frac{1}{3}} \cdot v^{\frac{1}{3}} dv

= \int_0^1 v^{-\frac{2}{3}} (1-v)^{-\frac{1}{3}} dv

2. 识别 Beta 函数与秒杀#

睁大双眼，这个积分完全符合贝塔函数的标准定义式！

B(p, q) = \int_0^1 v^{p-1}(1-v)^{q-1} dv

我们进行无脑的指数对照：

$p-1 = -\frac{2}{3} \implies p = \frac{1}{3}$
$q-1 = -\frac{1}{3} \implies q = \frac{2}{3}$

所以，原积分值直接就是：

I = B\left(\frac{1}{3}, \frac{2}{3}\right)

此时，我们通过“桥梁公式”把它翻译为 Gamma 函数，并直接套用余元公式进行收割：

B\left(\frac{1}{3}, \frac{2}{3}\right) = \frac{\Gamma\left(\frac{1}{3}\right)\Gamma\left(\frac{2}{3}\right)}{\Gamma\left(\frac{1}{3}+\frac{2}{3}\right)} = \frac{\Gamma\left(\frac{1}{3}\right)\Gamma\left(\frac{2}{3}\right)}{\Gamma(1)}

由于 $\Gamma(1) = 1$ ，且因为 $\frac{2}{3} = 1 - \frac{1}{3}$ ，套用余元公式 $\Gamma(x)\Gamma(1-x) = \frac{\pi}{\sin(\pi x)}$ ：

= \frac{\pi}{\sin\left(\frac{\pi}{3}\right)} = \frac{\pi}{\frac{\sqrt{3}}{2}} = \mathbf{\frac{2\sqrt{3}}{3}\pi}

答案同样是 $\frac{2\sqrt{3}}{3}\pi$ ！没有繁琐的因式分解，没有复杂的凑积分和配方，没有任何需要求极限的边界踩坑点，直接三行出答案！

🚀 第七部分：点火公式（Wallis）在几何应用中的实战神威#

前面我们梳理了点火公式的推导、避坑指南，以及它与贝塔函数的合流。但在真正的日本院试中，点火公式最常作为求积分的终极收割武器，隐藏在经典的几何应用大题中。

我们来看书本中的 31.1 星芒形（Astroid） 与 31.2 摆线（Cycloid） 这两道院试常青藤题目：

星芒形与摆线问题

这两道题虽然考查的是直角坐标与参数方程的面积与弧长，但有趣的是：它们的最后一步计算，全都要依赖点火公式进行收割！

我们结合书本的解答，对这两道题进行最详尽的中文手撕和剖析：

星芒形与摆线解答

1. 问题 31.1：星芒形 $x^{2/3} + y^{2/3} = a^{2/3} \ (a > 0)$ 的面积及全长#

星芒形（Astroid，又称四尖瓣线）由于在四个象限高度对称，其面积和弧长均可以通过第一象限的图形对称求解。

📐 (1) 面积计算的深度拆解：#

第一步：明确所用的积分公式与对称性#

星芒形是由四条对称的弧线围成的封闭图形，其在四个象限的面积完全对称。在第一象限，自变量 $x$ 的范围为 $[0, a]$ ，此时对应的 $y \ge 0$ 。根据直角坐标系下的标准面积公式 $S = \int_{x_1}^{x_2} y dx$ ，第一象限的面积为 $\int_0^a y dx$ 。利用对称性，整体面积 $S$ 直接等于第一象限面积的 4 倍：

S = 4 \int_0^a y dx

第二步：反解出 $y$ 的表达式#

从星芒形的方程 $x^{2/3} + y^{2/3} = a^{2/3}$ 出发，我们需要把 $y$ 显式地用 $x$ 表示出来：

y^{2/3} = a^{2/3} - x^{2/3} \implies y = \left( a^{2/3} - x^{2/3} \right)^{3/2}

代入第一步的对称积分公式，得到待求面积的定积分式：

S = 4 \int_0^a \left( a^{2/3} - x^{2/3} \right)^{3/2} dx

第三步：精妙的三角换元及消去无理次幂#

这个积分含有极其棘手的 $2/3$ 次幂与 $3/2$ 次幂，直接积分是做不出来的。为了消去无理数次幂，我们需要引入经典的三角代换。令 $x = a \sin^3 \theta$ 。为什么是 $\sin^3\theta$ 呢？因为这样可以完美消去分母上的三次方根：

计算 $x^{2/3}$ 项： $x^{2/3} = \left( a \sin^3 \theta \right)^{2/3} = (a^{2/3}) \cdot \left(\sin^3\theta\right)^{2/3} = a^{2/3} \sin^2\theta$
代入根式内部化简： $a^{2/3} - x^{2/3} = a^{2/3} - a^{2/3} \sin^2\theta = a^{2/3} (1 - \sin^2\theta) = a^{2/3} \cos^2\theta$
再对其进行 $3/2$ 次方幂运算（直接把分数次幂全部化为有理整数幂！）： $y = \left( a^{2/3} - x^{2/3} \right)^{3/2} = \left( a^{2/3} \cos^2\theta \right)^{3/2} = a \cos^3\theta$ (在第一象限， $\theta \in [0, \pi/2]$ ，余弦值 $\cos\theta$ 恒为正，无需加绝对值)

第四步：代入微分项 $dx$ 与转换积分区间#

既然做了解析换元 $x = a \sin^3 \theta$ ，我们必须同时更换微分项 $dx$ 和 积分上下限：

求导得出微分项： $dx = d(a \sin^3\theta) = a \cdot 3\sin^2\theta \cdot (\sin\theta)' d\theta = 3a \sin^2\theta \cos\theta d\theta$
映射积分上下限：
- 当下限 $x = 0$ 时，有 $a \sin^3\theta = 0 \implies \sin\theta = 0 \implies \theta = 0$ 。
- 当上限 $x = a$ 时，有 $a \sin^3\theta = a \implies \sin^3\theta = 1 \implies \sin\theta = 1 \implies \theta = \frac{\pi}{2}$ 。

第五步：全面代入积分式进行整合#

将第三步化简后的 $y = a\cos^3\theta$ 、第四步求出的 $dx = 3a\sin^2\theta\cos\theta d\theta$ 以及新区间 $[0, \pi/2]$ 全部带回原积分：

S = 4 \int_0^{\pi/2} \left( a \cos^3\theta \right) \cdot \left( 3a \sin^2\theta \cos\theta d\theta \right)

把常数提到最前面：

= 12a^2 \int_0^{\pi/2} \sin^2\theta \cos^4\theta d\theta

第六步：利用三角恒等式拆项并召唤点火公式#

为了使用 Wallis / 点火公式，我们需要把被积函数化为纯正弦或纯余弦形式。我们将 $\sin^2\theta$ 换写为 $1 - \cos^2\theta$ ：

S = 12a^2 \int_0^{\pi/2} (1 - \cos^2\theta) \cos^4\theta d\theta = 12a^2 \left( \int_0^{\pi/2} \cos^4\theta d\theta - \int_0^{\pi/2} \cos^6\theta d\theta \right)

现在，直接套用我们第二部分学过的偶数版点火公式（结尾乘以 $\frac{\pi}{2}$ ）：

计算 $I_4$ ： $\int_0^{\pi/2} \cos^4\theta d\theta = \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} = \frac{3\pi}{16}$
计算 $I_6$ ： $\int_0^{\pi/2} \cos^6\theta d\theta = \frac{5}{6} \cdot \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} = \frac{5\pi}{32}$

带回两项相减中，大功告成：

S = 12a^2 \left( \frac{3\pi}{16} - \frac{5\pi}{32} \right) = 12a^2 \left( \frac{6\pi - 5\pi}{32} \right) = 12a^2 \cdot \frac{\pi}{32} = \mathbf{\frac{3\pi a^2}{8}}

无需任何复杂的二倍角降幂公式，直接秒杀！

📐 (2) 全长计算：#

星芒形全长 $L$ 同样是第一象限弧长的 4 倍。对于第一象限 $y = (a^{2/3} - x^{2/3})^{3/2}$ ，对其求导：

\frac{dy}{dx} = \frac{3}{2}(a^{2/3} - x^{2/3})^{1/2} \cdot \left( -\frac{2}{3}x^{-1/3} \right) = -\frac{(a^{2/3} - x^{2/3})^{1/2}}{x^{1/3}}

代入弧长微分勾股微元 $1 + y'^2$ 中进行化简：

1 + \left(\frac{dy}{dx}\right)^2 = 1 + \frac{a^{2/3} - x^{2/3}}{x^{2/3}} = \frac{a^{2/3}}{x^{2/3}} \quad (x \neq 0)

因此，全长 $L$ 为（利用极限避免 $x=0$ 处的无界奇点）：

L = 4 \lim_{\varepsilon \to +0} \int_\varepsilon^a \sqrt{\frac{a^{2/3}}{x^{2/3}}} dx = 4 \lim_{\varepsilon \to +0} \int_\varepsilon^a a^{1/3} x^{-1/3} dx

= 4a^{1/3} \left[ \frac{3}{2}x^{2/3} \right]_0^a = 4a^{1/3} \cdot \frac{3}{2}a^{2/3} = \mathbf{6a}

星芒形的全长为极其简洁的 $6a$ ！

2. 问题 31.2：摆线 $x = a(\theta - \sin\theta), y = a(1 - \cos\theta) \ (0 \le \theta \le 2\pi)$ 与 x 轴所包围的面积#

摆线（Cycloid）是经典的参数方程图形，其围成的拱形区域高度对称。

📐 面积计算的深度拆解：#

第一步：明确所用的参数方程面积公式#

在直角坐标系中，曲线下方的标准面积公式为：

S = \int_{x_1}^{x_2} y dx

由于曲线是用参数方程 $x = x(\theta), y = y(\theta)$ 给出的，为了能对参数 $\theta$ 进行积分，我们必须执行积分变量更换（积分换元）。利用微分关系：

dx = x'(\theta) d\theta = \frac{dx}{d\theta} d\theta

将其代入标准直角坐标面积公式，即得到了参数方程下的面积公式：

S = \int_{\theta_1}^{\theta_2} y(\theta) \frac{dx}{d\theta} d\theta

摆线的一拱对应 $x$ 范围在 $[0, 2\pi a]$ 之间，这正好无缝对应了角度自变量 $\theta$ 的范围从 $0$ 变到 $2\pi$ 。

第二步：计算导数项并全面代入#

已知摆线的方程：

$y = a(1 - \cos\theta)$
$x = a(\theta - \sin\theta) \implies \frac{dx}{d\theta} = a(1 - \cos\theta)$

将这两项全面带入第一步的参数方程面积公式中：

S = \int_0^{2\pi} \left[ a(1 - \cos\theta) \right] \cdot \left[ a(1 - \cos\theta) \right] d\theta

整理常数并合并平方项：

= a^2 \int_0^{2\pi} (1 - \cos\theta)^2 d\theta

第三步：应用三角恒等式降幂#

为了对 $(1 - \cos\theta)^2$ 进行积分，我们采用经典的半角公式：

1 - \cos\theta = 2 \sin^2 \frac{\theta}{2}

所以有：

(1 - \cos\theta)^2 = \left( 2 \sin^2 \frac{\theta}{2} \right)^2 = 4 \sin^4 \frac{\theta}{2}

代回原积分式中：

S = a^2 \int_0^{2\pi} 4 \sin^4 \frac{\theta}{2} d\theta

第四步：换元凑出点火公式边界#

我们需要将 $\sin^4 \frac{\theta}{2}$ 的自变量化简。令 $t = \frac{\theta}{2}$ 。

计算微分项： $dt = \frac{1}{2} d\theta \implies d\theta = 2 dt$
映射积分区间上下限：
- 当下限 $\theta = 0 \to t = 0$ 。
- 当上限 $\theta = 2\pi \to t = \pi$ 。

代入第四步换元后的式子：

S = a^2 \int_0^\pi \left( 4\sin^4 t \right) \cdot (2 dt) = 8a^2 \int_0^\pi \sin^4 t dt

第五步：利用对称性区间翻倍，完美结合点火公式#

注意看，此时的积分区间为 $[0, \pi]$ ，我们不能直接使用上限为 $\pi/2$ 的点火公式。但是，由于被积函数 $\sin^4 t$ 是偶数次幂，它关于 $t = \pi/2$ 是对称的（因为 $\sin(\pi - t) = \sin t \implies \sin^4(\pi-t) = \sin^4 t$ ）。也就是说，区间 $[0, \pi]$ 扫过的面积，恰好等于区间 $[0, \pi/2]$ 扫过的面积的 2 倍（对应我们前文总结的：包含 2 个标准块）：

\int_0^\pi \sin^4 t dt = 2 \int_0^{\pi/2} \sin^4 t dt

代入这一对称性：

S = 8a^2 \cdot \left( 2 \int_0^{\pi/2} \sin^4 t dt \right) = 16a^2 \int_0^{\pi/2} \sin^4 t dt

第六步：套用点火公式直接秒杀#

直接套用偶数版点火公式（自变量 $n=4$ ，结尾乘以 $\frac{\pi}{2}$ ）：

\int_0^{\pi/2} \sin^4 t dt = I_4 = \frac{3}{4} \cdot \frac{1}{2} \cdot \frac{\pi}{2} = \frac{3\pi}{16}

代入完成最后一步计算：

S = 16a^2 \cdot \frac{3\pi}{16} = \mathbf{3\pi a^2}

摆线面积直接秒杀，为完美的 $3\pi a^2$ ！

🚀 第八部分：几何应用综合检阅——从直角坐标到极坐标的代数合围（问题 32.1 & 32.2）#

在完成了前面的核心定理证明与经典题 PK 后，我们来迎战第二章与第三章几何应用的综合检阅大题。这两组习题（书本第 94 页，PDF 第 104 页）融合了直角坐标下的面积/弧长、极坐标系经典曲线（三叶线、双纽线）以及极为巧妙的参数方程代换，是院试出题的绝佳温床。

1. 问题 32.1 详解（面积计算）#

求面积的核心在于：通过联立方程锁定积分区间，并精确判定上下边界函数（或极坐标下的积分扇形区域）。

(1) 双曲线 $xy + x + y = 1$ 与两坐标轴正半轴围成的面积#

解题直觉：需要先将隐函数显式化为 $y = f(x)$ ，求出它与坐标轴的交点，然后求定积分。
计算步骤：
1. 变形显式化： $y(x+1) = 1-x \implies y = \frac{1-x}{x+1}$
2. 多项式除法化简（便于积分）： $y = \frac{-(x+1) + 2}{x+1} = -1 + \frac{2}{x+1}$
3. 确定积分区间（求交点）：
  - 令 $x=0 \implies y=1$ （ $y$ 轴交点为 $1$ ）。
  - 令 $y=0 \implies \frac{1-x}{x+1} = 0 \implies x=1$ （ $x$ 轴交点为 $1$ ）。
  - 因此，第一象限内积分范围被锁定在区间 $[0, 1]$ 。
4. 积分计算： $S = \int_0^1 \left( -1 + \frac{2}{x+1} \right) dx = \left[ -x + 2\log|x+1| \right]_0^1$ $= (-1 + 2\log 2) - (0 + 0) = \mathbf{2\log 2 - 1}$

(2) 抛物线变种 $\sqrt{x} + \sqrt{y} = \sqrt{a} \ (a > 0)$ 与两坐标轴围成的面积#

解题直觉：含有根式，其定义域要求 $x \ge 0, y \ge 0$ 。边界与坐标轴的交点在端点 $(a, 0)$ 和 $(0, a)$ 处，图形完全在第一象限。
计算步骤：
1. 解出 $y$ 的显式表达式： $\sqrt{y} = \sqrt{a} - \sqrt{x} \implies y = (\sqrt{a} - \sqrt{x})^2 = a - 2\sqrt{a}\sqrt{x} + x$
2. 定积分计算（区间为 $[0, a]$ ）： $S = \int_0^a \left( a - 2\sqrt{a}x^{1/2} + x \right) dx = \left[ ax - 2\sqrt{a} \cdot \frac{2}{3}x^{3/2} + \frac{1}{2}x^2 \right]_0^a$ $= \left( a^2 - \frac{4}{3}a^2 + \frac{1}{2}a^2 \right) - 0 = a^2 \left( 1 - \frac{4}{3} + \frac{1}{2} \right) = \mathbf{\frac{1}{6}a^2}$

(3) 曲线 $y = \frac{1}{x^2+1}$ 与抛物线 $x^2 = 2y$ 围成的面积#

解题直觉：两条曲线围成的封闭区域，需要联立两方程求出交点以锁定积分区间，并判断谁在上方（上限天花板函数），谁在下方（下限地板函数）。
计算步骤：
1. 联立求解交点：将 $y = \frac{x^2}{2}$ 代入 $y = \frac{1}{x^2+1}$ ： $\frac{x^2}{2} = \frac{1}{x^2+1} \implies x^4 + x^2 - 2 = 0 \implies (x^2+2)(x^2-1) = 0$ 因为 $x$ 是实数，所以 $x^2 = 1 \implies x = \pm 1$ 。交点为 $(-1, 1/2)$ 和 $(1, 1/2)$ 。
2. 判定上下界关系：在区间 $[-1, 1]$ 内，中间点 $x=0$ 处： $\frac{1}{0^2+1} = 1 > \frac{0^2}{2} = 0$ ，故上限函数为 $y = \frac{1}{x^2+1}$ ，下限函数为 $y = \frac{x^2}{2}$ 。并且由于两函数都是偶函数，图像关于 $y$ 轴对称。
3. 对称积分计算（区间变更为 $[0, 1]$ 且整体乘以 2）： $S = 2 \int_0^1 \left( \frac{1}{x^2+1} - \frac{x^2}{2} \right) dx = 2 \left[ \tan^{-1}x - \frac{x^3}{6} \right]_0^1$ $= 2 \left( \tan^{-1}(1) - \frac{1}{6} \right) = 2 \left( \frac{\pi}{4} - \frac{1}{6} \right) = \mathbf{\frac{\pi}{2} - \frac{1}{3}}$

(4) 三叶线 $r = a\sin 3\theta$ 与圆 $r=a$ 之间部分的面积#

解题直觉：这里的“之间部分”指的是大圆的面积减去三叶线所占的总面积。
计算步骤：
1. 计算圆的面积： $S_{\text{圆}} = \pi a^2$
2. 求三叶线单叶面积：三叶线在 $\theta \in [0, \pi]$ 区间内均匀分布 3 片叶子。令 $r \ge 0 \implies \sin 3\theta \ge 0$ ，单叶对应的极角区间为 $[0, \pi/3]$ ： $S_{\text{单叶}} = \frac{1}{2} \int_0^{\pi/3} r^2 d\theta = \frac{1}{2} \int_0^{\pi/3} a^2 \sin^2 3\theta d\theta$ 利用二倍角降幂公式 $\sin^2 3\theta = \frac{1-\cos 6\theta}{2}$ ： $S_{\text{单叶}} = \frac{a^2}{4} \int_0^{\pi/3} (1 - \cos 6\theta) d\theta = \frac{a^2}{4} \left[ \theta - \frac{\sin 6\theta}{6} \right]_0^{\pi/3}$ $= \frac{a^2}{4} \left( \frac{\pi}{3} - 0 \right) = \frac{\pi a^2}{12}$
3. 计算三叶线总面积： $S_{\text{三叶}} = 3 \times S_{\text{单叶}} = 3 \times \frac{\pi a^2}{12} = \frac{\pi a^2}{4}$
4. 做差求之间面积： $S = S_{\text{圆}} - S_{\text{三叶}} = \pi a^2 - \frac{\pi a^2}{4} = \mathbf{\frac{3}{4}\pi a^2}$

(5) 双纽线 $(x^2+y^2)^2 = a^2(x^2-y^2)$ 所围成的面积#

解题直觉：直角坐标系下高次方程极其难解，属于经典的必须采用极坐标公式的题型。
计算步骤：
1. 转换为极坐标方程：代入 $x^2+y^2 = r^2$ ， $x = r\cos\theta$ ， $y = r\sin\theta$ ： $(r^2)^2 = a^2(r^2\cos^2\theta - r^2\sin^2\theta) \implies r^4 = a^2 r^2 \cos 2\theta \implies \mathbf{r^2 = a^2\cos 2\theta}$
2. 确定单叶极角区间：要求 $r^2 \ge 0 \implies \cos 2\theta \ge 0$ ，因此有： $-\frac{\pi}{2} \le 2\theta \le \frac{\pi}{2} \implies -\frac{\pi}{4} \le \theta \le \frac{\pi}{4}$ 这正好对应双纽线位于右侧的一片完整叶子。
3. 利用对称性积分求总面积（双纽线高度对称，总面积为右侧单叶的 2 倍）： $S = 2 \times \left( \frac{1}{2} \int_{-\pi/4}^{\pi/4} r^2 d\theta \right) = \int_{-\pi/4}^{\pi/4} a^2 \cos 2\theta d\theta$ $= 2 \int_0^{\pi/4} a^2 \cos 2\theta d\theta = 2a^2 \left[ \frac{\sin 2\theta}{2} \right]_0^{\pi/4} = 2a^2 \left( \frac{1}{2} - 0 \right) = \mathbf{a^2}$ (极其漂亮干净的最终结果 $a^2$ ！)

2. 问题 32.2 详解（曲线长度）#

我们重点手撕其中最具有代数化简挑战性的第 (1) 题。这是一道将参数方程代换发挥到极致的弧长巅峰之作。

📐 求曲线 $\sqrt{x} + \sqrt{y} = \sqrt{a}$ 的全长 $L$ #

解题直觉：如果直接套用直角坐标系弧长公式 $\int \sqrt{1 + y'^2} dx$ ，代入 $y = (\sqrt{a}-\sqrt{x})^2$ 求导后，根式内部将出现极其丑陋的分式，很难直接积分。书后标准解答采用了一个极其有智慧的参数化代换：令 $x = a\cos^4 t$ ， $y = a\sin^4 t$ 。 代入校验： $\sqrt{x} + \sqrt{y} = \sqrt{a}\cos^2 t + \sqrt{a}\sin^2 t = \sqrt{a}(\cos^2 t + \sin^2 t) = \sqrt{a}$ 。等式完美成立！ 由于曲线完全位于第一象限，参数 $t$ 的取值范围被限定在 $[0, \frac{\pi}{2}]$ 。
计算步骤：
1. 对参数 $t$ 求一阶导数：
  $\frac{dx}{dt} = 4a\cos^3 t \cdot (-\sin t) = -4a\cos^3 t \sin t$ $\frac{dy}{dt} = 4a\sin^3 t \cdot \cos t = 4a\sin^3 t \cos t$
2. 计算弧长微元（根式内代数化简）：
  $\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2 = 16a^2 \cos^6 t \sin^2 t + 16a^2 \sin^6 t \cos^2 t$
  提取公因式 $16a^2 \sin^2 t \cos^2 t$ ：
  $= 16a^2 \sin^2 t \cos^2 t \left( \cos^4 t + \sin^4 t \right)$
  利用三角恒等式降幂： $\cos^4 t + \sin^4 t = (\cos^2 t + \sin^2 t)^2 - 2\sin^2 t \cos^2 t = 1 - 2\sin^2 t \cos^2 t$ 。由于在区间 $t \in [0, \pi/2]$ 内正余弦值恒为正，开根号求得 $ds$ ：
  $ds = \sqrt{\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2} dt = 4a\sin t \cos t \sqrt{1 - 2\sin^2 t \cos^2 t} \, dt$
3. 建立弧长定积分：
  $L = \int_0^{\pi/2} 4a\sin t \cos t \sqrt{1 - 2\sin^2 t \cos^2 t} \, dt$
  【换元法破局】：令 $u = \sin^2 t$ $\implies$ $du = 2\sin t \cos t dt$ 。同时映射积分上下限：
  - 当下限 $t = 0 \to u = 0$ 。
  - 当上限 $t = \pi/2 \to u = 1$ 。
  将 $2\sin^2 t \cos^2 t$ 换写为 $2u(1-u)$ 。代入原积分中：
  $L = 2a \int_0^1 \sqrt{1 - 2u(1-u)} \, du = 2a \int_0^1 \sqrt{2u^2 - 2u + 1} \, du$
4. 配方并套用对数积分公式：对二次三项式配方： $2u^2 - 2u + 1 = 2(u^2 - u + 1/2) = 2\left[ (u - 1/2)^2 + 1/4 \right]$ 。代入根式，将常数提出：
  $L = 2\sqrt{2}a \int_0^1 \sqrt{\left(u - \frac{1}{2}\right)^2 + \left(\frac{1}{2}\right)^2} \, du$
  令 $v = u - 1/2$ $\implies$ $dv = du$ 。积分上下限相应变更为 $[-1/2, 1/2]$ 。利用被积函数的偶对称性，将区间折半翻倍：
  $L = 2\sqrt{2}a \int_{-1/2}^{1/2} \sqrt{v^2 + \left(\frac{1}{2}\right)^2} \, dv = 4\sqrt{2}a \int_0^{1/2} \sqrt{v^2 + \left(\frac{1}{2}\right)^2} \, dv$
  套用书本第 52 页著名的【基本积分公式 8】： $\int \sqrt{x^2 + A^2} dx = \frac{x}{2}\sqrt{x^2+A^2} + \frac{A^2}{2}\log|x+\sqrt{x^2+A^2}|$ 。在这里，我们的自变量为 $v$ ，常数项 $A = 1/2$ ：
  $\int_0^{1/2} \sqrt{v^2 + \left(\frac{1}{2}\right)^2} \, dv = \left[ \frac{v}{2}\sqrt{v^2 + \frac{1}{4}} + \frac{1}{8}\log\left|v + \sqrt{v^2 + \frac{1}{4}}\right| \right]_0^{1/2}$
  - 代入上限 $v = 1/2$ ： $\text{第一项} = \frac{1}{4}\sqrt{\frac{1}{4} + \frac{1}{4}} = \frac{\sqrt{2}}{8}$ $\text{第二项} = \frac{1}{8}\log\left|\frac{1}{2} + \frac{\sqrt{2}}{2}\right| = \frac{1}{8}\log\left(\frac{1+\sqrt{2}}{2}\right)$
  - 代入下限 $v = 0$ ： $\text{第一项} = 0$ $\text{第二项} = \frac{1}{8}\log\left|0 + \frac{1}{2}\right| = \frac{1}{8}\log\left(\frac{1}{2}\right)$
  - 做差相减合并： $= \frac{\sqrt{2}}{8} + \frac{1}{8}\left[ \log\left(\frac{1+\sqrt{2}}{2}\right) - \log\left(\frac{1}{2}\right) \right] = \frac{\sqrt{2}}{8} + \frac{1}{8}\log(1+\sqrt{2})$
5. 乘以最前面的常数系数 $4\sqrt{2}a$ 得到最终结果：
  $L = 4\sqrt{2}a \cdot \left[ \frac{\sqrt{2}}{8} + \frac{1}{8}\log(1+\sqrt{2}) \right] = a + \frac{a}{\sqrt{2}}\log(1+\sqrt{2})$ $= \mathbf{a + \frac{\sqrt{2}a}{2}\log(1+\sqrt{2})}$

💡 考场应试方法归纳：关于“画不画图”与“代数破局”的终极心法#

很多备考日本院试（修二/专攻）的同学在几何大题中常常纠结：我到底要不要在答题纸或草稿纸上画出精确的函数图像？ 这里我们提炼出最接地气、最高效的考场判定心法：

1. 到底画不画图？（“三画三不画”法则）#

🚨 强烈建议画图（或勾勒草图）的场景：
1. 多曲线围成的复合区域（如 32.1 (3) 抛物线与有理函数围成面积）：
  - 理由：必须画图锁定谁是上限“天花板”（天顶函数），谁是下限“地板”（地基函数）。如果仅凭心算，极易在相减时将符号颠倒，或因错判对称区间而漏乘系数。
2. 极坐标系下的旋转对称曲线（如 32.1 (4) 三叶线，32.1 (5) 双纽线）：
  - 理由：极坐标的对称性极其抽象。粗略勾勒出极坐标叶瓣的分布形态，能让你瞬间看出有几片完整的叶子、每片叶子的自变量界限是多少。这能直接将整体积分转化为“单片积分 $\times$ 对称倍数”，大幅缩短计算量。
3. 含有绝对值或分段定义的函数区域：
  - 理由：图像能瞬间指引你在哪个转折点“切开”区间分别积分。
🚫 坚决不画图（无脑直接计算）的场景：
1. 边界由坐标轴与显函数自然锁死的场景（如 32.1 (1) 双曲线变种， 32.1 (2) 根式抛物线）：
  - 理由：积分区间在方程与坐标轴相交时已被物理锁定（如横截距与纵截距），作图无法提供任何额外应试信息，纯属浪费时间。
2. 参数方程求曲线弧长/全长（如 32.2 (1) $\sqrt{x}+\sqrt{y}=\sqrt{a}$ ）：
  - 理由：弧长计算的核心完全在于微元 $ds = \sqrt{x'^2+y'^2}dt$ 在根式内部的代数降幂与化简。曲线的弯曲形状对最终的定积分计算毫无指导作用，不需要在此处浪费哪怕一秒钟。

2. 几何积分代数破局的三大核心步骤#

找限（联立与求解）：
- 无论是直角坐标还是极坐标，拿到题目第一件事永远是找交点。联立曲线方程，解出交点的横坐标 $x$ 或极角 $\theta$ ，这就是你接下来积分的物理边界。
化简（参数化与降次）：
- 代数降维：遇到 $\sqrt{x}+\sqrt{y}=\sqrt{a}$ 这类带有严重非线性无理次幂的方程，合理的参数代换（如令 $x=a\cos^4 t$ ）是降维打击的终极秘籍。它能把生硬的无理代数根式转换为极其丝滑的三角恒等式，轻松开根号！
- 极坐标扇形面积：牢记极坐标面积公式为 $S = \frac{1}{2} \int_\alpha^\beta r^2 d\theta$ （切记不要漏掉开头的 $\frac{1}{2}$ ）。
收割（对称性与点火）：
- 一旦建立了积分式，先看被积函数是否具有奇偶性或对称区间。利用区间翻倍和 Wallis 点火公式进行大收割，能让你在考场高压下保持极高精准度。

🎓 院试考点必拿分技巧总结#

通过本篇对点火公式、欧拉积分、以及几何应用大题的全面解析，我们可以为考场上的积分难题提炼出以下极具实战意义的必杀心法：

三角高次积分找点火：
- 看到 $[0, \pi/2]$ 的高次正余弦积分 $\int \sin^n x dx$ $\implies$ 直接用点火公式秒杀。非偶数区间可以通过对称性和诱导公式强行转换。
形式敏感，快速识别欧拉积分：
- 看到积分区间为 $[0, 1]$ 且被积函数由 $x^\alpha (1-x)^\beta$ 形式的幂组成 $\implies$ 直接联想 Beta 函数。
- 看到积分区间为 $[0, \infty)$ 且带有 $e^{-x}$ 指数衰减项 $\implies$ 直接联想 Gamma 函数。
倒数换元是召唤 Beta 的大招：
- 很多代数分式带有分数次幂的无穷广义积分，通过倒数换元 $v = 1/t$ 可以无缝拼出标准的 $\int_0^1 v^{p-1}(1-v)^{q-1} dv$ 结构。
终极收尾看余元公式：
- 只要能够化为 $B(p, q)$ ，就可以通过 $\Gamma$ 转换为余元公式。余元公式是解决分数自变量 Gamma 乘积的终极收割武器，考前务必烂熟于心！