尧图网页设计 
定积分里有一类题看着平平无奇上手就想换元结果越算越乱被积函数里挂着 $x$分母是 $\sin x\cos x$区间从 $0$ 到 $\pi$。我第一次碰到 $\int_0^{\pi}\frac{x\sin x}{1\cos^2x},\mathrm{d}x$ 的时候分部积分来回做了三轮绕回原点两次最后灰溜溜地用数值方法凑了个近似值。后来有人轻描淡写地说了一句这类题有个统一的入口叫区间再现公式核心动作只有一句话——把 $x$ 换成 $ab-x$再和原式相加。那一下我才意识到定积分里有一批题不是靠蛮力算出来的而是靠一眼看穿结构。区间再现公式有些教材叫区间反转公式本质上不是什么偏门技巧它只是定积分换元法的一个直接推论。但绝大多数教材在讲完换元之后就翻篇了没把这条能直接省掉十行计算的结论单独拎出来讲透。结果就是很多人知道换元却不知道换元之后还能回到原区间这一层遇到对称结构的题就只能硬算。这篇内容写给三类人正在啃高数上册定积分的同学、准备考研数学的读者、以及要带习题课或者做答疑的人。我会按自己实际做题的顺序把公式本身、三条最常用的推论、以及拿到题之后怎么判断该不该用它完整讲一遍。所有例题给全过程不跳步所有结论给推导不背口诀另外还会把我在推导和教学里反复踩到的那几个坑单独列出来。1. 区间再现公式一条被低估的结构型工具1.1 公式长什么样什么条件下能用先把结论摆出来。设函数 $f(x)$ 在闭区间 $[a,b]$ 上可积那么$$\int_a^b f(x),\mathrm{d}x\int_a^b f(ab-x),\mathrm{d}x$$就这么一行。左边是原式右边是把被积函数里的每一个 $x$ 都替换成 $ab-x$而积分区间保持 $[a,b]$ 不动。关于适用条件这里有个细节值得说清楚很多资料写的是$f(x)$ 在 $[a,b]$ 上连续其实这个条件可以放宽到$f(x)$ 在 $[a,b]$ 上可积。原因很简单右边的被积函数 $f(ab-x)$ 本质上是 $f$ 和一个连续的线性函数复合$f$ 在 $[a,b]$ 上有没有间断点、有几个间断点复合之后完全不变可积性自然保持。所以哪怕是那种在个别点上跳变的有界函数公式照样成立。做常规题目时按连续理解不会出错但你要是碰到带跳跃点的题别慌它也能用。真正需要注意的是区间必须是同一个。公式的威力来自换元之后区间恰好回到原地如果区间变了那就不是区间再现而是普通的换元该重新定限就重新定限。举个例子先找找感觉。取 $a0,b1$公式说 $\int_0^1 f(x)\mathrm{d}x\int_0^1 f(1-x)\mathrm{d}x$。取 $f(x)x^2$左边是 $1/3$右边是 $\int_0^1(1-x)^2\mathrm{d}x1/3$对上了。再取 $a0,b\pi$公式说 $\int_0^{\pi}f(x)\mathrm{d}x\int_0^{\pi}f(\pi-x)\mathrm{d}x$这个形式后面会反复出现。1.2 再现二字的来历中点镜像的几何直觉为什么叫再现因为映射 $x\mapsto ab-x$ 把区间 $[a,b]$ 又映回了 $[a,b]$ 本身区间重新出现了一次只不过方向反了$xa$ 被送到 $b$$xb$ 被送到 $a$整个区间被倒过来铺了一遍。这就是名字的由来。这个映射的几何含义是关于区间中点做镜像。记中点 $m\dfrac{ab}{2}$那么 $ab-x2m-x$也就是把 $x$ 关于 $m$ 对称过去。当 $a0,b1$ 时$m0.5$$x0.2$ 被送到 $0.8$当 $a0,b\pi$ 时$m\pi/2$$x\pi/6$ 被送到 $5\pi/6$。从图形上看$yf(ab-x)$ 的图像就是 $yf(x)$ 的图像关于竖直直线 $xm$ 做一次镜像翻转的结果。镜像是一个等距变换它把 $[a,b]$ 上每一小段长度原样搬到了另一处所以曲线与 $x$ 轴围出的带符号面积完全不变。这就是公式的几何解释。这里有个必须掰开的认知误区积分值相等不代表函数相等。一般情况下 $f(x)\neq f(ab-x)$图形翻过去之后形状变了只是总面积凑巧一样。分不清这一点的人后面用配对法时会彻底懵——因为他们会错误地以为翻过去还是它自己所以直接等于原式那一步就白做了。真正有用的信息是原式和翻折式是两个不同的表达式但数值相等所以可以相加。这个可以相加才是整套方法的发动机。1.3 和奇偶性、周期性的关系它其实是奇偶性的推广学定积分的时候我们最先掌握的是奇偶性$\int_{-b}^{b}f(x)\mathrm{d}x\int_0^b[f(x)f(-x)]\mathrm{d}x$偶函数翻倍、奇函数归零。很多人把这当成一条独立的性质在背其实它就是区间再现公式在 $a-b$ 时的特例。验证一下取 $a-b$则 $ab0$$ab-x-x$公式变成 $\int_{-b}^{b}f(x)\mathrm{d}x\int_{-b}^{b}f(-x)\mathrm{d}x$。把这两个相等的式子相加除以二立刻得到$$\int_{-b}^{b}f(x),\mathrm{d}x\int_{-b}^{b}\frac{f(x)f(-x)}{2},\mathrm{d}x\int_0^{b}\left[f(x)f(-x)\right]\mathrm{d}x$$最后一步用到了 $\frac{f(x)f(-x)}{2}$ 是偶函数、$\frac{f(x)-f(-x)}{2}$ 是奇函数这个分解。你看奇偶性的整套结论都被区间再现一眼推完了。所以我在讲课时会直接告诉学生别把奇偶性当成新知识它是区间再现的一个特例这样记的东西少一半。和周期性的关系要说清楚两者容易混。周期性的核心是区间平移不变$\int_a^{aT}f(x)\mathrm{d}x\int_0^{T}f(x)\mathrm{d}x$动的是区间位置。区间再现动的是被积函数方向区间位置不动。一个管平移一个管镜像不是一回事。我把这三类对称性整理成一张表做题时可以对照着判断类型核心操作区间特征典型结论区间再现$x\mapsto ab-x$任意 $[a,b]$$\int_a^b f\int_a^b f(ab-x)$奇偶对称$x\mapsto -x$关于原点对称 $[-b,b]$偶倍奇零周期平移$x\mapsto xT$跨整数个周期积分值与起点无关中点反对称$f(x)f(ab-x)0$任意 $[a,b]$积分值为 $0$最后一行中点反对称值得单独说如果 $f(x)f(ab-x)0$把区间再现的两式相加立刻得到 $2\int_a^b f0$也就是积分直接为零。这是奇函数性质在任意区间上的版本做题时能一眼秒掉不少题。2. 三行证明背后的三个关键细节2.1 换元法推导符号和上下限是重灾区证明本身只有三行但每一行都埋着坑。完整的推导是这样的令 $tab-x$则 $xab-t$两边微分得 $\mathrm{d}x-\mathrm{d}t$。当 $xa$ 时 $tb$当 $xb$ 时 $ta$。代入右边$$\int_a^b f(ab-x),\mathrm{d}x\int_b^a f(t),(-\mathrm{d}t)\int_a^b f(t),\mathrm{d}t\int_a^b f(x),\mathrm{d}x$$第一处等号里同时发生了三件事被积函数里的 $x$ 全换成 $t$、$\mathrm{d}x$ 换成 $-\mathrm{d}t$、上下限从 $a\to b$ 改成 $b\to a$。第二处等号用的是负号与上下限交换互相抵消这一条$\int_b^a(\cdots)(-\mathrm{d}t)\int_a^b(\cdots)\mathrm{d}t$。第三处等号只是把哑变量 $t$ 换回 $x$定积分的值与积分变量用什么字母无关。从我带过的答疑来看出错的几乎全在两个地方。一是换限时只换了 $xa$ 对应的那一端忘了另一端的对应关系二是漏掉 $\mathrm{d}x-\mathrm{d}t$ 的负号然后靠结果看起来差不多蒙混过去。这两处务必在草稿纸上老老实实写全别心算。2.2 为什么必须选 ab-x从保区间反序反推有心人可能会问凭什么偏偏是 $ab-x$换个映射行不行答案很干脆——在一一线性映射里它是唯一一个把 $[a,b]$ 反向映回 $[a,b]$ 的。设 $t\alpha x\beta$要求 $xa$ 对应 $tb$、$xb$ 对应 $ta$这是反序的要求$$\begin{cases}\alpha a\betab\ \alpha b\betaa\end{cases}$$两式相减得 $\alpha(a-b)b-a$即 $\alpha-1$代回得 $\betaab$。所以 $tab-x$ 是唯一解没有第二个选择。这个反推过程的价值在于它告诉你公式的设计目标是什么。我们要的不是随便换个元而是要找一个映射让换元之后的积分区间和新变量下的被积函数结构还能回到原来的样子这样原式和变形式才能直接相加。理解了设计目标你甚至能在遇到非标准区间、非标准函数时自己造公式。比如区间是 $[0,2\pi]$中点 $\pi$映射就是 $2\pi-x$区间是 $[1,3]$中点 $2$映射就是 $4-x$。2.3 三个等价的变形写法越往后越好用公式摆在那里但实际用起来有三种等价的打开方式掌握程度依次递增第一种是最朴素的直接替换$\int_a^b f(x)\mathrm{d}x\int_a^b f(ab-x)\mathrm{d}x$。单独看这一条其实什么也没算出来它只是把算式换了个长相很多人到这一步就停住了以为做完了其实刚起步。第二种是相减归零由上式立刻得 $\int_a^b\left[f(x)-f(ab-x)\right]\mathrm{d}x0$。当你能算出 $f(x)-f(ab-x)0$ 时可以直接断定 $f(x)f(ab-x)$函数关于中点对称这类题通常一步秒杀。第三种是对称化也是最值钱的一种。把原式和变形式相加再除以二$$\int_a^b f(x),\mathrm{d}x\int_a^b \frac{f(x)f(ab-x)}{2},\mathrm{d}x$$这条说的是任何一个可积函数都可以被替换成它和它镜像的平均值而积分值不变。听起来像句废话但它是后面所有配对法的理论根基。因为平均值这个函数天生关于中点对称很多时候它恰好是个常数于是积分瞬间塌缩。3. 推论一配对相加法——分母两项之和的通用杀招3.1 推导为什么结果是 (b-a)/2配对相加法是我用得最多的一条推论值得单独拎出来讲透。设 $f(x)$ 在 $[a,b]$ 上可积且满足$$f(x)f(ab-x)C\quad(C\text{ 为常数})$$那么由第三式对称化写法$$\int_a^b f(x),\mathrm{d}x\frac{1}{2}\int_a^b\left[f(x)f(ab-x)\right]\mathrm{d}x\frac{1}{2}\int_a^b C,\mathrm{d}x\frac{C(b-a)}{2}$$结果只跟区间长度和那个常数 $C$ 有关跟 $f$ 长什么样子完全无关。这就是配对法最爽的地方结构对了答案直接写被积函数再复杂也不影响。实际题目里更常见的是 $C1$ 的情形。具体表现是被积函数长得像 $\dfrac{h(x)}{h(x)h(ab-x)}$令它等于 $f(x)$那么$$f(x)f(ab-x)\frac{h(x)}{h(x)h(ab-x)}\frac{h(ab-x)}{h(ab-x)h(x)}1$$直接得到 $\int_a^b f(x)\mathrm{d}x\dfrac{b-a}{2}$。所以你在做题时只要看到分母是两项之和、分子是其中一项、两项互为镜像这个结构答案就是区间长度的一半。3.2 三角型经典题指数再大也是 π/4来看最经典的那道$$I\int_0^{\pi/2}\frac{\sin^n x}{\sin^n x\cos^n x},\mathrm{d}x$$这里 $a0,b\pi/2$中点 $\pi/2$镜像映射是 $\pi/2-x$。注意到 $\sin(\pi/2-x)\cos x$、$\cos(\pi/2-x)\sin x$所以把 $x$ 换成 $\pi/2-x$ 之后$$I\int_0^{\pi/2}\frac{\cos^n x}{\sin^n x\cos^n x},\mathrm{d}x$$两个式子分母完全一样直接相加$$2I\int_0^{\pi/2}\frac{\sin^n x\cos^n x}{\sin^n x\cos^n x},\mathrm{d}x\int_0^{\pi/2}1,\mathrm{d}x\frac{\pi}{2}$$所以 $I\pi/4$。整个计算用不到两行而且关键结论是它和 $n$ 无关。$n1$、$n2$、$n2019$、$n\sqrt{2}$答案全是 $\pi/4$。我见过最离谱的一道题把 $n$ 写成 $n1,2,\cdots$ 让你求数列其实每一项都是 $\pi/4$。同一个模板还能套出很多变体$\displaystyle\int_0^{\pi/2}\frac{\sqrt{\sin x}}{\sqrt{\sin x}\sqrt{\cos x}},\mathrm{d}x\frac{\pi}{4}$把 $h(x)$ 取成 $\sqrt{\sin x}$ 即可$\displaystyle\int_0^{\pi/2}\frac{\tan x}{1\tan x},\mathrm{d}x\frac{\pi}{4}$这里 $h(x)\tan x$$h(\pi/2-x)\cot x1/\tan x$代入后分母变成 $\frac{\tan x1}{\tan x}$约分就是上面这个形式$\displaystyle\int_0^{\pi/2}\frac{\mathrm{d}x}{1\tan^{n}x}\frac{\pi}{4}$本质和第一条一样只是换了个写法。3.3 非三角型指数函数分母的配对配对法不是三角函数专属任何满足镜像结构的函数都能用。看这道题$$I\int_0^1\frac{\mathrm{d}x}{1e^{,x-1/2}}$$区间 $[0,1]$中点 $1/2$镜像映射是 $1-x$。记 $h(x)e^{,x-1/2}$那么 $h(1-x)e^{,1/2-x}e^{-(x-1/2)}\dfrac{1}{h(x)}$两者互为倒数。于是$$f(1-x)\frac{1}{11/h(x)}\frac{h(x)}{h(x)1}$$和原被积函数 $f(x)\dfrac{1}{1h(x)}$ 一加分母相同、分子相加正好等于 $1$。所以 $2I\int_0^1 1,\mathrm{d}x1$$I1/2$。这道题如果硬算得把分母拆成 $e^{x-1/2}$ 的幂再凑对数写起来又长又容易错用配对法两步就完。再比如 $\int_0^1\frac{x^2}{x^2(1-x)^2}\mathrm{d}x$把 $x$ 换成 $1-x$ 得到 $\frac{(1-x)^2}{(1-x)^2x^2}$两项相加等于 $1$区间长度是 $1$答案直接是 $1/2$。这类题只要你先算一遍镜像函数、确认和为常数就能写答案。注意套用之前一定要实际算一遍 $f(ab-x)$确认它和 $f(x)$ 的和真的是常数。有些函数看着像一算发现和里带 $x$那就配不上硬配会得到一个错误的答案。3.4 什么时候配不上三个失效信号配对法失效的情况就那么几类我列成清单方便对照第一分母不是两项镜像之和。像 $\int_0^{\pi/2}\frac{\sin x}{\sin x2\cos x}\mathrm{d}x$分母里第二项多乘了个 $2$镜像回去得到的是 $\frac{2\cos x}{\sin x2\cos x}$两项相加是 $\frac{\sin x2\cos x}{\sin x2\cos x}1$——等等这个其实是能配的答案是 $\pi/4$。真正配不上的是分子分母里出现非镜像的系数比如 $\int_0^{\pi/2}\frac{\sin x}{\sin xx\cos x}\mathrm{d}x$镜像之后结构全乱。第二区间不对称中点算错。有人习惯性按 $\pi/2-x$ 处理结果区间是 $[0,\pi/4]$映射应该是 $\pi/4-x$硬套 $\pi/2-x$ 直接出轨。做法先把中点 $m(ab)/2$ 写在草稿纸最上面映射统一写成 $2m-x$。第三函数里有绝对值或者分段定义。比如 $\int_{-1}^{1}|x|,\mathrm{d}x$镜像之后绝对值还在虽然这题用奇偶性两秒就完了但你如果先套区间再现得先判断 $|ab-x|$ 和 $|x|$ 的关系绕远路。这类题优先用奇偶性。4. 推论二∫₀^π x f(sin x) dx 的降维打击4.1 推导的关键一步sin(π-x)sin x这是第二条高频推论专门对付被积函数里带一个孤零零的 $x$ 因子的题。结论是$$\int_0^{\pi}x f(\sin x),\mathrm{d}x\frac{\pi}{2}\int_0^{\pi}f(\sin x),\mathrm{d}x\pi\int_0^{\pi/2}f(\sin x),\mathrm{d}x$$推导只有三步。设 $I\int_0^{\pi}x f(\sin x)\mathrm{d}x$区间是 $[0,\pi]$中点 $\pi/2$镜像映射是 $\pi-x$。套区间再现$$I\int_0^{\pi}(\pi-x)f(\sin(\pi-x)),\mathrm{d}x$$这里最关键的一步来了$\sin(\pi-x)\sin x$。正因为这个恒等式镜像之后的 $f$ 的外壳完全没变只有前面的因子 $x$ 变成了 $\pi-x$。于是$$I\int_0^{\pi}(\pi-x)f(\sin x),\mathrm{d}x$$两式相加$2I\pi\int_0^{\pi}f(\sin x)\mathrm{d}x$即 $I\dfrac{\pi}{2}\int_0^{\pi}f(\sin x)\mathrm{d}x$。最后一步用到 $\int_0^{\pi}f(\sin x)\mathrm{d}x2\int_0^{\pi/2}f(\sin x)\mathrm{d}x$原理还是 $\sin$ 关于 $\pi/2$ 对称。这条推论的意义在于它把那个碍事的 $x$ 直接消掉了。原本被积函数里有个 $x$没法直接积消掉之后剩下的只是纯三角函数通常一个代换就能收尾。4.2 完整例题∫₀^π x sin x/(1cos²x) dx拿开头折磨过我的那道题开刀$$I\int_0^{\pi}\frac{x\sin x}{1\cos^2x},\mathrm{d}x$$这里 $f(\sin x)\dfrac{\sin x}{1\cos^2x}$符合推论二的形式直接套$$I\frac{\pi}{2}\int_0^{\pi}\frac{\sin x}{1\cos^2x},\mathrm{d}x$$再用一次折半把 $[0,\pi]$ 缩到 $[0,\pi/2]$$$\int_0^{\pi}\frac{\sin x}{1\cos^2x},\mathrm{d}x2\int_0^{\pi/2}\frac{\sin x}{1\cos^2x},\mathrm{d}x$$代回去$I\pi\int_0^{\pi/2}\dfrac{\sin x}{1\cos^2x},\mathrm{d}x$。令 $u\cos x$则 $\mathrm{d}u-\sin x,\mathrm{d}x$当 $x0$ 时 $u1$当 $x\pi/2$ 时 $u0$$$\int_0^{\pi/2}\frac{\sin x}{1\cos^2x},\mathrm{d}x\int_0^{1}\frac{\mathrm{d}u}{1u^2}\frac{\pi}{4}$$所以 $I\pi\cdot\dfrac{\pi}{4}\dfrac{\pi^2}{4}$。顺手验算一下看结果合不合理。$\int_0^{\pi}\frac{\sin x}{1\cos^2x}\mathrm{d}x$ 用同一个代换算出来是 $\int_{-1}^{1}\frac{\mathrm{d}u}{1u^2}\frac{\pi}{2}$而 $x$ 在 $[0,\pi]$ 上的平均值是 $\pi/2$两者相乘约等于 $2.47$和 $\pi^2/4\approx2.467$ 对得上。这种量级校验值得养成习惯尤其是做完题不确定答案的时候。再补一个简单到可以在心里算的$\int_0^{\pi}x\sin x,\mathrm{d}x$。$f(\sin x)\sin x$套公式得 $\frac{\pi}{2}\int_0^{\pi}\sin x,\mathrm{d}x\frac{\pi}{2}\cdot2\pi$。用分部积分验证$[-x\cos x]_0^{\pi}\int_0^{\pi}\cos x\mathrm{d}x\pi0\pi$一致。4.3 折半技巧从 [0,π] 到 [0,π/2]刚才反复用到的 $\int_0^{\pi}f(\sin x)\mathrm{d}x2\int_0^{\pi/2}f(\sin x)\mathrm{d}x$ 值得单独说一句因为它本身就是区间再现的一个副产品。推导把 $[0,\pi]$ 从 $\pi/2$ 处劈成两段$\int_0^{\pi}\int_0^{\pi/2}\int_{\pi/2}^{\pi}$。对第二段令 $x\pi-t$则 $\mathrm{d}x-\mathrm{d}t$$x$ 从 $\pi/2$ 到 $\pi$ 对应 $t$ 从 $\pi/2$ 到 $0$$$\int_{\pi/2}^{\pi}f(\sin x),\mathrm{d}x\int_{0}^{\pi/2}f(\sin(\pi-t)),\mathrm{d}t\int_0^{\pi/2}f(\sin t),\mathrm{d}t$$两段一合并翻倍关系成立。这个结论的价值是$[0,\pi/2]$ 上的三角函数通常能靠 $t\tan x$ 或者 $u\cos x$ 直接搞定而 $[0,\pi]$ 上往往不行。所以我的固定操作是先降区间再做代换顺序反过来会多绕好几步。4.4 为什么换成 cos 就不行这是学生最容易犯的错误看到 $\int_0^{\pi}x f(\cos x)\mathrm{d}x$ 也去套推论二。不行因为 $\cos(\pi-x)-\cos x$镜像之后符号变了$f$ 的外壳跟着变$f(\cos x)$ 和 $f(-\cos x)$ 一般不是同一个东西两式相加消不掉 $x$。举个例子说明差别有多大$\int_0^{\pi}x\cos x,\mathrm{d}x$。如果套错误公式会得到 $\frac{\pi}{2}\int_0^{\pi}\cos x\mathrm{d}x0$而真实值是 $\int_0^{\pi}x\cos x\mathrm{d}x[x\sin x]_0^{\pi}-\int_0^{\pi}\sin x\mathrm{d}x0-2-2$。差了整整 $2$。所以判断口诀是看到 $x$ 配 $\sin$可以直接上看到 $x$ 配 $\cos$先做 $x\to\pi-x$ 观察符号变化再决定。如果函数对 $\cos$ 是偶函数比如 $f(\cos x)\cos^2 x$那镜像之后 $f(-\cos x)f(\cos x)$反而能用了——所以关键不是 $\sin$ 还是 $\cos$而是镜像之后整个 $f$ 是否原样不变。5. 推论三对数型积分里的区间再现5.1 换元造对称∫₀¹ ln(1x)/(1x²) dx对数型定积分是区间再现最能体现设计感的战场因为这类题往往不能直接套得先换元把区间改造成对称的。看这道$$I\int_0^{1}\frac{\ln(1x)}{1x^2},\mathrm{d}x$$第一步先做三角换元把 $[0,1]$ 变成 $[0,\pi/4]$。令 $x\tan t$则 $\mathrm{d}x\sec^2t,\mathrm{d}t$$1x^2\sec^2t$被积函数的分母和 $\mathrm{d}x$ 里的 $\sec^2t$ 正好抵消$$I\int_0^{\pi/4}\ln(1\tan t),\mathrm{d}t$$现在区间是 $[0,\pi/4]$中点 $\pi/8$镜像映射是 $\pi/4-t$。这里要自己验证一个恒等式$$1\tan\left(\frac{\pi}{4}-t\right)1\frac{1-\tan t}{1\tan t}\frac{(1\tan t)(1-\tan t)}{1\tan t}\frac{2}{1\tan t}$$也就是说$1\tan t$ 和它的镜像互为倒数乘以 $2$的关系。取对数$$\ln\left[1\tan t\right]\ln\left[1\tan\left(\frac{\pi}{4}-t\right)\right]\ln 2$$和是常数配对法条件满足。于是$$2I\int_0^{\pi/4}\ln 2,\mathrm{d}t\frac{\pi}{4}\ln 2,\qquad I\frac{\pi\ln 2}{8}$$整道题里最妙的是第二步那个恒等式它不是天上掉下来的而是$\tan$ 的差角公式加刻意凑成 $\frac{2}{1\tan t}$这两步合起来的结果。这种先换元造对称、再找恒等式凑常数的套路在对数题里出现频率极高。顺便给一个更短的验证路径直接把 $I$ 和它的镜像式相加利用上面的恒等式一步出结果连原函数都不用找。5.2 对数为什么天生适合配对乘积变和上一节那个恒等式之所以好用背后是一条对数运算律在撑腰$$\ln(AB)\ln A\ln B$$配对法需要两项之和为常数而对数恰好能把两项之积为常数翻译成两项之和为常数。所以在对数题里你的搜索目标应该从找哪里和为常数改成找哪两个因子乘积为常数这个视角转换能省掉大量试错。这个思路的通用模板是设被积函数含 $\ln g(x)$只要算出 $g(x)\cdot g(ab-x)k$$k$ 是非零常数就有 $\ln g(x)\ln g(ab-x)\ln k$直接进配对法。上一节的例子里 $k2$再比如遇到 $1\tan t$ 这种结构$1\tan$和$1\cot$就是天然的一对因为 $(1\tan t)(1\cot t)1\tan t\cot t12\tan t\cot t$不是常数。所以真正的配对对象是 $t$ 和 $\pi/4-t$不是 $t$ 和 $\pi/2-t$。这一点如果搞混整道题会卡死——我当年就在这里卡了整整一节课。5.3 ∫₀^{π/2} ln sin x dx 的完整证明再来一道经典的对数题它在很多教材里是作为反常积分出现的$$I\int_0^{\pi/2}\ln\sin x,\mathrm{d}x$$先说明一句$x\to0^$ 时 $\ln\sin x\to-\infty$这是广义积分需要按极限定义处理。不过它在端点附近的行为是 $\ln\sin x\sim\ln x$而 $\int_0^{\varepsilon}\ln x\mathrm{d}x$ 收敛所以积分值有限可以放心操作。区间 $[0,\pi/2]$镜像映射 $\pi/2-x$而 $\sin(\pi/2-x)\cos x$所以$$I\int_0^{\pi/2}\ln\cos x,\mathrm{d}x$$两式相加$$2I\int_0^{\pi/2}\ln(\sin x\cos x),\mathrm{d}x\int_0^{\pi/2}\ln\left(\frac{\sin 2x}{2}\right)\mathrm{d}x\int_0^{\pi/2}\ln\sin 2x,\mathrm{d}x-\frac{\pi}{2}\ln 2$$现在处理 $\int_0^{\pi/2}\ln\sin 2x,\mathrm{d}x$。令 $u2x$$\mathrm{d}u2\mathrm{d}x$$x$ 从 $0$ 到 $\pi/2$ 对应 $u$ 从 $0$ 到 $\pi$$$\int_0^{\pi/2}\ln\sin 2x,\mathrm{d}x\frac{1}{2}\int_0^{\pi}\ln\sin u,\mathrm{d}u\frac{1}{2}\cdot 2\int_0^{\pi/2}\ln\sin u,\mathrm{d}uI$$倒数第二步用了 4.3 节的折半技巧。代回去$$2II-\frac{\pi}{2}\ln 2\quad\Longrightarrow\quad I-\frac{\pi}{2}\ln 2$$结果的符号没什么奇怪$\sin x$ 在 $(0,\pi/2)$ 上小于 $1$对数恒为负积分当然是负的。这条思路还能顺手拿下 $\int_0^{\pi/2}\ln\tan x,\mathrm{d}x$镜像之后 $\tan(\pi/2-x)\cot x$$\ln\tan x\ln\cot x\ln 10$和恒为 $0$所以积分直接是 $0$。两行完事比找原函数快太多。5.4 常用结论速查表下面这些结论我建议直接记住考试时能省下大量时间但前提是你知道它们怎么来的否则碰到变形题就抓瞎。积分表达式结果主要依据$\int_0^{\pi/2}\frac{\sin^n x}{\sin^n x\cos^n x}\mathrm{d}x$$\frac{\pi}{4}$配对法与 $n$ 无关$\int_0^{\pi/2}\frac{\mathrm{d}x}{1\tan^n x}$$\frac{\pi}{4}$配对法$\int_0^{\pi/2}\ln\sin x,\mathrm{d}x$$-\frac{\pi}{2}\ln 2$折半加配对$\int_0^{\pi/2}\ln\tan x,\mathrm{d}x$$0$配对法$\int_0^{\pi}x\sin x,\mathrm{d}x$$\pi$推论二$\int_0^{\pi}\frac{x\sin x}{1\cos^2x}\mathrm{d}x$$\frac{\pi^2}{4}$推论二加折半$\int_0^{1}\frac{\ln(1x)}{1x^2}\mathrm{d}x$$\frac{\pi\ln 2}{8}$换元后配对$\int_0^{\pi/2}\frac{x}{\sin x\cos x}\mathrm{d}x$$\frac{\pi\sqrt2}{4}\ln(1\sqrt2)$区间再现加万能代换$\int_0^1\frac{\mathrm{d}x}{1e^{,x-1/2}}$$\frac{1}{2}$指数型配对表格里倒数第二行那道题值得多说一句它的做法是先用区间再现把 $x$ 消掉一半得到 $2I\frac{\pi}{2}\int_0^{\pi/2}\frac{\mathrm{d}x}{\sin x\cos x}$然后凑成 $\frac{1}{\sqrt2}\int_0^{\pi/2}\frac{\mathrm{d}x}{\sin(x\pi/4)}$再用 $\int\frac{\mathrm{d}u}{\sin u}\ln\left|\tan\frac{u}{2}\right|$ 求值最后得到上面的结果。全过程一共四步每一步都是标准动作没有灵光一现的部分。6. 拿到题怎么判断信号识别与五步流程6.1 三个一眼可用的信号方法再好用不出来也是白搭。我把实战里最常触发的三个信号整理如下做题时扫一眼被积函数和区间就能判断信号一区间里冒出特殊点。看到 $0$ 到 $\pi$、$0$ 到 $\pi/2$、$-b$ 到 $b$、$a$ 到 $b$ 且函数结构规整就该想到镜像。判断方法是心算一下中点如果中点是个好看的数$0$、$\pi/2$、$1/2$大概率能配。信号二被积函数里有个孤零零的 $x$。也就是形如 $x$ 乘以某个只含 $\sin x$ 或 $\cos x$ 的东西。这种结构里 $x$ 通常是碍事因子用它来触发配对、把 $x$ 消掉是最高效的路径。信号三分母是两项之和分子是其中一项。这是配对法最直接的标志看到就试 $\frac{b-a}{2}$。反过来什么情况不要用我总结了三条被积函数是分段定义或带绝对值先用奇偶性区间两端不对称又没有明显的镜像关系先用基本积分法被积函数里已经有 $\ln$、$e^x$ 这类超越结构且看不出配对迹象先做换元看看能不能造出对称。6.2 五步操作流程我把整套判断流程固化成五步做题时按顺序过一遍基本不会漏第一步定中点。先算 $m\frac{ab}{2}$写下来。这步不能省中点错了后面全废。第二步算镜像式。老老实实把 $f(ab-x)$ 展开写在草稿纸上别在脑子里想。展开的过程本身就会暴露结构。第三步求和判型。计算 $f(x)f(ab-x)$。如果是常数 $C$走配对法答案 $\frac{C(b-a)}{2}$结束。如果和里带 $x$说明配不上转下一步。第四步看是不是$x$ 乘纯三角。若是 $x f(\sin x)$套推论二区间降到 $[0,\pi/2]$再选代换。若是 $x$ 乘别的try 区间再现把 $x$ 换成 $\frac{ab}{2}$ 附近的形式。第五步兜底。上面都不行就回到常规方法——换元、分部、有理化一步步来别硬套公式。提示第三步的求和判型是整个流程的分水岭。我建议养成习惯不管三七二十一先算一遍 $f(x)f(ab-x)$算出来是常数就用配对不是常数就立刻放弃这条路。五分钟的心算能省掉半小时的无效尝试。6.3 常见问题与排查速查表下面这张表是我从答疑记录里挑出来的高频问题基本覆盖了 90% 的翻车场景现象根本原因处理办法套完公式没变简单还是原来的样子只做了替换没做相加原式加变形式除以二配对后答案差个系数忘了乘区间长度 $b-a$结果 $C(b-a)/2$区间是 $[0,\pi/4]$ 却用 $\pi/2-x$中点记成 $\pi/2$中点一律现算写成 $2m-x$广义积分直接算端点处爆炸没判收敛先看端点附近的行为必要时按极限处理$x$ 配 $\cos x$ 也套推论二误以为 $\cos(\pi-x)\cos x$$\cos(\pi-x)-\cos x$符号变了换元后新区间算错只换了一端两端都代入新变量对数题里找不到配对对象用错了对称轴目标是乘积为常数不是两项本身对称这张表里最值得反复看的是最后一行。对数题的配对对象往往不是$x$ 和 $\pi/2-x$而是$x$ 和 $\pi/4-x$这种更细的对称因为只有在这个尺度下乘积才是常数。判断方法是让候选的对称轴 $m$ 满足 $g(mt)\cdot g(m-t)k$自己能验出来才动笔。另外补一句关于心算不足的经验。我见过太多人在第三步求和判型时全靠脑补脑补错了就一路错到底。老老实实展开写一分钟的事。这个方法的价值就在于它把一道复杂的积分题压缩成了展开、相加、看是不是常数这三个机械动作而机械动作是不需要灵感的。我个人做完几十道这类题之后最大的体会是区间再现不是某个具体的技巧而是一种做题的阅读习惯——拿到定积分先看区间和函数有没有镜像关系有就顺水推舟没有就回去走常规路线。至于那几条推论真不用死记因为推一遍只要三五行比背结论可靠得多。唯一需要反复练的是算 $f(ab-x)$这个反射动作练到成为肌肉记忆这类题就再也不会拦住你了。 区间再现公式：定积分对称结构与配对相加法全解析
定积分里有一类题看着平平无奇上手就想换元结果越算越乱被积函数里挂着 $x$分母是 $\sin x\cos x$区间从 $0$ 到 $\pi$。我第一次碰到 $\int_0^{\pi}\frac{x\sin x}{1\cos^2x},\mathrm{d}x$ 的时候分部积分来回做了三轮绕回原点两次最后灰溜溜地用数值方法凑了个近似值。后来有人轻描淡写地说了一句这类题有个统一的入口叫区间再现公式核心动作只有一句话——把 $x$ 换成 $ab-x$再和原式相加。那一下我才意识到定积分里有一批题不是靠蛮力算出来的而是靠一眼看穿结构。区间再现公式有些教材叫区间反转公式本质上不是什么偏门技巧它只是定积分换元法的一个直接推论。但绝大多数教材在讲完换元之后就翻篇了没把这条能直接省掉十行计算的结论单独拎出来讲透。结果就是很多人知道换元却不知道换元之后还能回到原区间这一层遇到对称结构的题就只能硬算。这篇内容写给三类人正在啃高数上册定积分的同学、准备考研数学的读者、以及要带习题课或者做答疑的人。我会按自己实际做题的顺序把公式本身、三条最常用的推论、以及拿到题之后怎么判断该不该用它完整讲一遍。所有例题给全过程不跳步所有结论给推导不背口诀另外还会把我在推导和教学里反复踩到的那几个坑单独列出来。1. 区间再现公式一条被低估的结构型工具1.1 公式长什么样什么条件下能用先把结论摆出来。设函数 $f(x)$ 在闭区间 $[a,b]$ 上可积那么$$\int_a^b f(x),\mathrm{d}x\int_a^b f(ab-x),\mathrm{d}x$$就这么一行。左边是原式右边是把被积函数里的每一个 $x$ 都替换成 $ab-x$而积分区间保持 $[a,b]$ 不动。关于适用条件这里有个细节值得说清楚很多资料写的是$f(x)$ 在 $[a,b]$ 上连续其实这个条件可以放宽到$f(x)$ 在 $[a,b]$ 上可积。原因很简单右边的被积函数 $f(ab-x)$ 本质上是 $f$ 和一个连续的线性函数复合$f$ 在 $[a,b]$ 上有没有间断点、有几个间断点复合之后完全不变可积性自然保持。所以哪怕是那种在个别点上跳变的有界函数公式照样成立。做常规题目时按连续理解不会出错但你要是碰到带跳跃点的题别慌它也能用。真正需要注意的是区间必须是同一个。公式的威力来自换元之后区间恰好回到原地如果区间变了那就不是区间再现而是普通的换元该重新定限就重新定限。举个例子先找找感觉。取 $a0,b1$公式说 $\int_0^1 f(x)\mathrm{d}x\int_0^1 f(1-x)\mathrm{d}x$。取 $f(x)x^2$左边是 $1/3$右边是 $\int_0^1(1-x)^2\mathrm{d}x1/3$对上了。再取 $a0,b\pi$公式说 $\int_0^{\pi}f(x)\mathrm{d}x\int_0^{\pi}f(\pi-x)\mathrm{d}x$这个形式后面会反复出现。1.2 再现二字的来历中点镜像的几何直觉为什么叫再现因为映射 $x\mapsto ab-x$ 把区间 $[a,b]$ 又映回了 $[a,b]$ 本身区间重新出现了一次只不过方向反了$xa$ 被送到 $b$$xb$ 被送到 $a$整个区间被倒过来铺了一遍。这就是名字的由来。这个映射的几何含义是关于区间中点做镜像。记中点 $m\dfrac{ab}{2}$那么 $ab-x2m-x$也就是把 $x$ 关于 $m$ 对称过去。当 $a0,b1$ 时$m0.5$$x0.2$ 被送到 $0.8$当 $a0,b\pi$ 时$m\pi/2$$x\pi/6$ 被送到 $5\pi/6$。从图形上看$yf(ab-x)$ 的图像就是 $yf(x)$ 的图像关于竖直直线 $xm$ 做一次镜像翻转的结果。镜像是一个等距变换它把 $[a,b]$ 上每一小段长度原样搬到了另一处所以曲线与 $x$ 轴围出的带符号面积完全不变。这就是公式的几何解释。这里有个必须掰开的认知误区积分值相等不代表函数相等。一般情况下 $f(x)\neq f(ab-x)$图形翻过去之后形状变了只是总面积凑巧一样。分不清这一点的人后面用配对法时会彻底懵——因为他们会错误地以为翻过去还是它自己所以直接等于原式那一步就白做了。真正有用的信息是原式和翻折式是两个不同的表达式但数值相等所以可以相加。这个可以相加才是整套方法的发动机。1.3 和奇偶性、周期性的关系它其实是奇偶性的推广学定积分的时候我们最先掌握的是奇偶性$\int_{-b}^{b}f(x)\mathrm{d}x\int_0^b[f(x)f(-x)]\mathrm{d}x$偶函数翻倍、奇函数归零。很多人把这当成一条独立的性质在背其实它就是区间再现公式在 $a-b$ 时的特例。验证一下取 $a-b$则 $ab0$$ab-x-x$公式变成 $\int_{-b}^{b}f(x)\mathrm{d}x\int_{-b}^{b}f(-x)\mathrm{d}x$。把这两个相等的式子相加除以二立刻得到$$\int_{-b}^{b}f(x),\mathrm{d}x\int_{-b}^{b}\frac{f(x)f(-x)}{2},\mathrm{d}x\int_0^{b}\left[f(x)f(-x)\right]\mathrm{d}x$$最后一步用到了 $\frac{f(x)f(-x)}{2}$ 是偶函数、$\frac{f(x)-f(-x)}{2}$ 是奇函数这个分解。你看奇偶性的整套结论都被区间再现一眼推完了。所以我在讲课时会直接告诉学生别把奇偶性当成新知识它是区间再现的一个特例这样记的东西少一半。和周期性的关系要说清楚两者容易混。周期性的核心是区间平移不变$\int_a^{aT}f(x)\mathrm{d}x\int_0^{T}f(x)\mathrm{d}x$动的是区间位置。区间再现动的是被积函数方向区间位置不动。一个管平移一个管镜像不是一回事。我把这三类对称性整理成一张表做题时可以对照着判断类型核心操作区间特征典型结论区间再现$x\mapsto ab-x$任意 $[a,b]$$\int_a^b f\int_a^b f(ab-x)$奇偶对称$x\mapsto -x$关于原点对称 $[-b,b]$偶倍奇零周期平移$x\mapsto xT$跨整数个周期积分值与起点无关中点反对称$f(x)f(ab-x)0$任意 $[a,b]$积分值为 $0$最后一行中点反对称值得单独说如果 $f(x)f(ab-x)0$把区间再现的两式相加立刻得到 $2\int_a^b f0$也就是积分直接为零。这是奇函数性质在任意区间上的版本做题时能一眼秒掉不少题。2. 三行证明背后的三个关键细节2.1 换元法推导符号和上下限是重灾区证明本身只有三行但每一行都埋着坑。完整的推导是这样的令 $tab-x$则 $xab-t$两边微分得 $\mathrm{d}x-\mathrm{d}t$。当 $xa$ 时 $tb$当 $xb$ 时 $ta$。代入右边$$\int_a^b f(ab-x),\mathrm{d}x\int_b^a f(t),(-\mathrm{d}t)\int_a^b f(t),\mathrm{d}t\int_a^b f(x),\mathrm{d}x$$第一处等号里同时发生了三件事被积函数里的 $x$ 全换成 $t$、$\mathrm{d}x$ 换成 $-\mathrm{d}t$、上下限从 $a\to b$ 改成 $b\to a$。第二处等号用的是负号与上下限交换互相抵消这一条$\int_b^a(\cdots)(-\mathrm{d}t)\int_a^b(\cdots)\mathrm{d}t$。第三处等号只是把哑变量 $t$ 换回 $x$定积分的值与积分变量用什么字母无关。从我带过的答疑来看出错的几乎全在两个地方。一是换限时只换了 $xa$ 对应的那一端忘了另一端的对应关系二是漏掉 $\mathrm{d}x-\mathrm{d}t$ 的负号然后靠结果看起来差不多蒙混过去。这两处务必在草稿纸上老老实实写全别心算。2.2 为什么必须选 ab-x从保区间反序反推有心人可能会问凭什么偏偏是 $ab-x$换个映射行不行答案很干脆——在一一线性映射里它是唯一一个把 $[a,b]$ 反向映回 $[a,b]$ 的。设 $t\alpha x\beta$要求 $xa$ 对应 $tb$、$xb$ 对应 $ta$这是反序的要求$$\begin{cases}\alpha a\betab\ \alpha b\betaa\end{cases}$$两式相减得 $\alpha(a-b)b-a$即 $\alpha-1$代回得 $\betaab$。所以 $tab-x$ 是唯一解没有第二个选择。这个反推过程的价值在于它告诉你公式的设计目标是什么。我们要的不是随便换个元而是要找一个映射让换元之后的积分区间和新变量下的被积函数结构还能回到原来的样子这样原式和变形式才能直接相加。理解了设计目标你甚至能在遇到非标准区间、非标准函数时自己造公式。比如区间是 $[0,2\pi]$中点 $\pi$映射就是 $2\pi-x$区间是 $[1,3]$中点 $2$映射就是 $4-x$。2.3 三个等价的变形写法越往后越好用公式摆在那里但实际用起来有三种等价的打开方式掌握程度依次递增第一种是最朴素的直接替换$\int_a^b f(x)\mathrm{d}x\int_a^b f(ab-x)\mathrm{d}x$。单独看这一条其实什么也没算出来它只是把算式换了个长相很多人到这一步就停住了以为做完了其实刚起步。第二种是相减归零由上式立刻得 $\int_a^b\left[f(x)-f(ab-x)\right]\mathrm{d}x0$。当你能算出 $f(x)-f(ab-x)0$ 时可以直接断定 $f(x)f(ab-x)$函数关于中点对称这类题通常一步秒杀。第三种是对称化也是最值钱的一种。把原式和变形式相加再除以二$$\int_a^b f(x),\mathrm{d}x\int_a^b \frac{f(x)f(ab-x)}{2},\mathrm{d}x$$这条说的是任何一个可积函数都可以被替换成它和它镜像的平均值而积分值不变。听起来像句废话但它是后面所有配对法的理论根基。因为平均值这个函数天生关于中点对称很多时候它恰好是个常数于是积分瞬间塌缩。3. 推论一配对相加法——分母两项之和的通用杀招3.1 推导为什么结果是 (b-a)/2配对相加法是我用得最多的一条推论值得单独拎出来讲透。设 $f(x)$ 在 $[a,b]$ 上可积且满足$$f(x)f(ab-x)C\quad(C\text{ 为常数})$$那么由第三式对称化写法$$\int_a^b f(x),\mathrm{d}x\frac{1}{2}\int_a^b\left[f(x)f(ab-x)\right]\mathrm{d}x\frac{1}{2}\int_a^b C,\mathrm{d}x\frac{C(b-a)}{2}$$结果只跟区间长度和那个常数 $C$ 有关跟 $f$ 长什么样子完全无关。这就是配对法最爽的地方结构对了答案直接写被积函数再复杂也不影响。实际题目里更常见的是 $C1$ 的情形。具体表现是被积函数长得像 $\dfrac{h(x)}{h(x)h(ab-x)}$令它等于 $f(x)$那么$$f(x)f(ab-x)\frac{h(x)}{h(x)h(ab-x)}\frac{h(ab-x)}{h(ab-x)h(x)}1$$直接得到 $\int_a^b f(x)\mathrm{d}x\dfrac{b-a}{2}$。所以你在做题时只要看到分母是两项之和、分子是其中一项、两项互为镜像这个结构答案就是区间长度的一半。3.2 三角型经典题指数再大也是 π/4来看最经典的那道$$I\int_0^{\pi/2}\frac{\sin^n x}{\sin^n x\cos^n x},\mathrm{d}x$$这里 $a0,b\pi/2$中点 $\pi/2$镜像映射是 $\pi/2-x$。注意到 $\sin(\pi/2-x)\cos x$、$\cos(\pi/2-x)\sin x$所以把 $x$ 换成 $\pi/2-x$ 之后$$I\int_0^{\pi/2}\frac{\cos^n x}{\sin^n x\cos^n x},\mathrm{d}x$$两个式子分母完全一样直接相加$$2I\int_0^{\pi/2}\frac{\sin^n x\cos^n x}{\sin^n x\cos^n x},\mathrm{d}x\int_0^{\pi/2}1,\mathrm{d}x\frac{\pi}{2}$$所以 $I\pi/4$。整个计算用不到两行而且关键结论是它和 $n$ 无关。$n1$、$n2$、$n2019$、$n\sqrt{2}$答案全是 $\pi/4$。我见过最离谱的一道题把 $n$ 写成 $n1,2,\cdots$ 让你求数列其实每一项都是 $\pi/4$。同一个模板还能套出很多变体$\displaystyle\int_0^{\pi/2}\frac{\sqrt{\sin x}}{\sqrt{\sin x}\sqrt{\cos x}},\mathrm{d}x\frac{\pi}{4}$把 $h(x)$ 取成 $\sqrt{\sin x}$ 即可$\displaystyle\int_0^{\pi/2}\frac{\tan x}{1\tan x},\mathrm{d}x\frac{\pi}{4}$这里 $h(x)\tan x$$h(\pi/2-x)\cot x1/\tan x$代入后分母变成 $\frac{\tan x1}{\tan x}$约分就是上面这个形式$\displaystyle\int_0^{\pi/2}\frac{\mathrm{d}x}{1\tan^{n}x}\frac{\pi}{4}$本质和第一条一样只是换了个写法。3.3 非三角型指数函数分母的配对配对法不是三角函数专属任何满足镜像结构的函数都能用。看这道题$$I\int_0^1\frac{\mathrm{d}x}{1e^{,x-1/2}}$$区间 $[0,1]$中点 $1/2$镜像映射是 $1-x$。记 $h(x)e^{,x-1/2}$那么 $h(1-x)e^{,1/2-x}e^{-(x-1/2)}\dfrac{1}{h(x)}$两者互为倒数。于是$$f(1-x)\frac{1}{11/h(x)}\frac{h(x)}{h(x)1}$$和原被积函数 $f(x)\dfrac{1}{1h(x)}$ 一加分母相同、分子相加正好等于 $1$。所以 $2I\int_0^1 1,\mathrm{d}x1$$I1/2$。这道题如果硬算得把分母拆成 $e^{x-1/2}$ 的幂再凑对数写起来又长又容易错用配对法两步就完。再比如 $\int_0^1\frac{x^2}{x^2(1-x)^2}\mathrm{d}x$把 $x$ 换成 $1-x$ 得到 $\frac{(1-x)^2}{(1-x)^2x^2}$两项相加等于 $1$区间长度是 $1$答案直接是 $1/2$。这类题只要你先算一遍镜像函数、确认和为常数就能写答案。注意套用之前一定要实际算一遍 $f(ab-x)$确认它和 $f(x)$ 的和真的是常数。有些函数看着像一算发现和里带 $x$那就配不上硬配会得到一个错误的答案。3.4 什么时候配不上三个失效信号配对法失效的情况就那么几类我列成清单方便对照第一分母不是两项镜像之和。像 $\int_0^{\pi/2}\frac{\sin x}{\sin x2\cos x}\mathrm{d}x$分母里第二项多乘了个 $2$镜像回去得到的是 $\frac{2\cos x}{\sin x2\cos x}$两项相加是 $\frac{\sin x2\cos x}{\sin x2\cos x}1$——等等这个其实是能配的答案是 $\pi/4$。真正配不上的是分子分母里出现非镜像的系数比如 $\int_0^{\pi/2}\frac{\sin x}{\sin xx\cos x}\mathrm{d}x$镜像之后结构全乱。第二区间不对称中点算错。有人习惯性按 $\pi/2-x$ 处理结果区间是 $[0,\pi/4]$映射应该是 $\pi/4-x$硬套 $\pi/2-x$ 直接出轨。做法先把中点 $m(ab)/2$ 写在草稿纸最上面映射统一写成 $2m-x$。第三函数里有绝对值或者分段定义。比如 $\int_{-1}^{1}|x|,\mathrm{d}x$镜像之后绝对值还在虽然这题用奇偶性两秒就完了但你如果先套区间再现得先判断 $|ab-x|$ 和 $|x|$ 的关系绕远路。这类题优先用奇偶性。4. 推论二∫₀^π x f(sin x) dx 的降维打击4.1 推导的关键一步sin(π-x)sin x这是第二条高频推论专门对付被积函数里带一个孤零零的 $x$ 因子的题。结论是$$\int_0^{\pi}x f(\sin x),\mathrm{d}x\frac{\pi}{2}\int_0^{\pi}f(\sin x),\mathrm{d}x\pi\int_0^{\pi/2}f(\sin x),\mathrm{d}x$$推导只有三步。设 $I\int_0^{\pi}x f(\sin x)\mathrm{d}x$区间是 $[0,\pi]$中点 $\pi/2$镜像映射是 $\pi-x$。套区间再现$$I\int_0^{\pi}(\pi-x)f(\sin(\pi-x)),\mathrm{d}x$$这里最关键的一步来了$\sin(\pi-x)\sin x$。正因为这个恒等式镜像之后的 $f$ 的外壳完全没变只有前面的因子 $x$ 变成了 $\pi-x$。于是$$I\int_0^{\pi}(\pi-x)f(\sin x),\mathrm{d}x$$两式相加$2I\pi\int_0^{\pi}f(\sin x)\mathrm{d}x$即 $I\dfrac{\pi}{2}\int_0^{\pi}f(\sin x)\mathrm{d}x$。最后一步用到 $\int_0^{\pi}f(\sin x)\mathrm{d}x2\int_0^{\pi/2}f(\sin x)\mathrm{d}x$原理还是 $\sin$ 关于 $\pi/2$ 对称。这条推论的意义在于它把那个碍事的 $x$ 直接消掉了。原本被积函数里有个 $x$没法直接积消掉之后剩下的只是纯三角函数通常一个代换就能收尾。4.2 完整例题∫₀^π x sin x/(1cos²x) dx拿开头折磨过我的那道题开刀$$I\int_0^{\pi}\frac{x\sin x}{1\cos^2x},\mathrm{d}x$$这里 $f(\sin x)\dfrac{\sin x}{1\cos^2x}$符合推论二的形式直接套$$I\frac{\pi}{2}\int_0^{\pi}\frac{\sin x}{1\cos^2x},\mathrm{d}x$$再用一次折半把 $[0,\pi]$ 缩到 $[0,\pi/2]$$$\int_0^{\pi}\frac{\sin x}{1\cos^2x},\mathrm{d}x2\int_0^{\pi/2}\frac{\sin x}{1\cos^2x},\mathrm{d}x$$代回去$I\pi\int_0^{\pi/2}\dfrac{\sin x}{1\cos^2x},\mathrm{d}x$。令 $u\cos x$则 $\mathrm{d}u-\sin x,\mathrm{d}x$当 $x0$ 时 $u1$当 $x\pi/2$ 时 $u0$$$\int_0^{\pi/2}\frac{\sin x}{1\cos^2x},\mathrm{d}x\int_0^{1}\frac{\mathrm{d}u}{1u^2}\frac{\pi}{4}$$所以 $I\pi\cdot\dfrac{\pi}{4}\dfrac{\pi^2}{4}$。顺手验算一下看结果合不合理。$\int_0^{\pi}\frac{\sin x}{1\cos^2x}\mathrm{d}x$ 用同一个代换算出来是 $\int_{-1}^{1}\frac{\mathrm{d}u}{1u^2}\frac{\pi}{2}$而 $x$ 在 $[0,\pi]$ 上的平均值是 $\pi/2$两者相乘约等于 $2.47$和 $\pi^2/4\approx2.467$ 对得上。这种量级校验值得养成习惯尤其是做完题不确定答案的时候。再补一个简单到可以在心里算的$\int_0^{\pi}x\sin x,\mathrm{d}x$。$f(\sin x)\sin x$套公式得 $\frac{\pi}{2}\int_0^{\pi}\sin x,\mathrm{d}x\frac{\pi}{2}\cdot2\pi$。用分部积分验证$[-x\cos x]_0^{\pi}\int_0^{\pi}\cos x\mathrm{d}x\pi0\pi$一致。4.3 折半技巧从 [0,π] 到 [0,π/2]刚才反复用到的 $\int_0^{\pi}f(\sin x)\mathrm{d}x2\int_0^{\pi/2}f(\sin x)\mathrm{d}x$ 值得单独说一句因为它本身就是区间再现的一个副产品。推导把 $[0,\pi]$ 从 $\pi/2$ 处劈成两段$\int_0^{\pi}\int_0^{\pi/2}\int_{\pi/2}^{\pi}$。对第二段令 $x\pi-t$则 $\mathrm{d}x-\mathrm{d}t$$x$ 从 $\pi/2$ 到 $\pi$ 对应 $t$ 从 $\pi/2$ 到 $0$$$\int_{\pi/2}^{\pi}f(\sin x),\mathrm{d}x\int_{0}^{\pi/2}f(\sin(\pi-t)),\mathrm{d}t\int_0^{\pi/2}f(\sin t),\mathrm{d}t$$两段一合并翻倍关系成立。这个结论的价值是$[0,\pi/2]$ 上的三角函数通常能靠 $t\tan x$ 或者 $u\cos x$ 直接搞定而 $[0,\pi]$ 上往往不行。所以我的固定操作是先降区间再做代换顺序反过来会多绕好几步。4.4 为什么换成 cos 就不行这是学生最容易犯的错误看到 $\int_0^{\pi}x f(\cos x)\mathrm{d}x$ 也去套推论二。不行因为 $\cos(\pi-x)-\cos x$镜像之后符号变了$f$ 的外壳跟着变$f(\cos x)$ 和 $f(-\cos x)$ 一般不是同一个东西两式相加消不掉 $x$。举个例子说明差别有多大$\int_0^{\pi}x\cos x,\mathrm{d}x$。如果套错误公式会得到 $\frac{\pi}{2}\int_0^{\pi}\cos x\mathrm{d}x0$而真实值是 $\int_0^{\pi}x\cos x\mathrm{d}x[x\sin x]_0^{\pi}-\int_0^{\pi}\sin x\mathrm{d}x0-2-2$。差了整整 $2$。所以判断口诀是看到 $x$ 配 $\sin$可以直接上看到 $x$ 配 $\cos$先做 $x\to\pi-x$ 观察符号变化再决定。如果函数对 $\cos$ 是偶函数比如 $f(\cos x)\cos^2 x$那镜像之后 $f(-\cos x)f(\cos x)$反而能用了——所以关键不是 $\sin$ 还是 $\cos$而是镜像之后整个 $f$ 是否原样不变。5. 推论三对数型积分里的区间再现5.1 换元造对称∫₀¹ ln(1x)/(1x²) dx对数型定积分是区间再现最能体现设计感的战场因为这类题往往不能直接套得先换元把区间改造成对称的。看这道$$I\int_0^{1}\frac{\ln(1x)}{1x^2},\mathrm{d}x$$第一步先做三角换元把 $[0,1]$ 变成 $[0,\pi/4]$。令 $x\tan t$则 $\mathrm{d}x\sec^2t,\mathrm{d}t$$1x^2\sec^2t$被积函数的分母和 $\mathrm{d}x$ 里的 $\sec^2t$ 正好抵消$$I\int_0^{\pi/4}\ln(1\tan t),\mathrm{d}t$$现在区间是 $[0,\pi/4]$中点 $\pi/8$镜像映射是 $\pi/4-t$。这里要自己验证一个恒等式$$1\tan\left(\frac{\pi}{4}-t\right)1\frac{1-\tan t}{1\tan t}\frac{(1\tan t)(1-\tan t)}{1\tan t}\frac{2}{1\tan t}$$也就是说$1\tan t$ 和它的镜像互为倒数乘以 $2$的关系。取对数$$\ln\left[1\tan t\right]\ln\left[1\tan\left(\frac{\pi}{4}-t\right)\right]\ln 2$$和是常数配对法条件满足。于是$$2I\int_0^{\pi/4}\ln 2,\mathrm{d}t\frac{\pi}{4}\ln 2,\qquad I\frac{\pi\ln 2}{8}$$整道题里最妙的是第二步那个恒等式它不是天上掉下来的而是$\tan$ 的差角公式加刻意凑成 $\frac{2}{1\tan t}$这两步合起来的结果。这种先换元造对称、再找恒等式凑常数的套路在对数题里出现频率极高。顺便给一个更短的验证路径直接把 $I$ 和它的镜像式相加利用上面的恒等式一步出结果连原函数都不用找。5.2 对数为什么天生适合配对乘积变和上一节那个恒等式之所以好用背后是一条对数运算律在撑腰$$\ln(AB)\ln A\ln B$$配对法需要两项之和为常数而对数恰好能把两项之积为常数翻译成两项之和为常数。所以在对数题里你的搜索目标应该从找哪里和为常数改成找哪两个因子乘积为常数这个视角转换能省掉大量试错。这个思路的通用模板是设被积函数含 $\ln g(x)$只要算出 $g(x)\cdot g(ab-x)k$$k$ 是非零常数就有 $\ln g(x)\ln g(ab-x)\ln k$直接进配对法。上一节的例子里 $k2$再比如遇到 $1\tan t$ 这种结构$1\tan$和$1\cot$就是天然的一对因为 $(1\tan t)(1\cot t)1\tan t\cot t12\tan t\cot t$不是常数。所以真正的配对对象是 $t$ 和 $\pi/4-t$不是 $t$ 和 $\pi/2-t$。这一点如果搞混整道题会卡死——我当年就在这里卡了整整一节课。5.3 ∫₀^{π/2} ln sin x dx 的完整证明再来一道经典的对数题它在很多教材里是作为反常积分出现的$$I\int_0^{\pi/2}\ln\sin x,\mathrm{d}x$$先说明一句$x\to0^$ 时 $\ln\sin x\to-\infty$这是广义积分需要按极限定义处理。不过它在端点附近的行为是 $\ln\sin x\sim\ln x$而 $\int_0^{\varepsilon}\ln x\mathrm{d}x$ 收敛所以积分值有限可以放心操作。区间 $[0,\pi/2]$镜像映射 $\pi/2-x$而 $\sin(\pi/2-x)\cos x$所以$$I\int_0^{\pi/2}\ln\cos x,\mathrm{d}x$$两式相加$$2I\int_0^{\pi/2}\ln(\sin x\cos x),\mathrm{d}x\int_0^{\pi/2}\ln\left(\frac{\sin 2x}{2}\right)\mathrm{d}x\int_0^{\pi/2}\ln\sin 2x,\mathrm{d}x-\frac{\pi}{2}\ln 2$$现在处理 $\int_0^{\pi/2}\ln\sin 2x,\mathrm{d}x$。令 $u2x$$\mathrm{d}u2\mathrm{d}x$$x$ 从 $0$ 到 $\pi/2$ 对应 $u$ 从 $0$ 到 $\pi$$$\int_0^{\pi/2}\ln\sin 2x,\mathrm{d}x\frac{1}{2}\int_0^{\pi}\ln\sin u,\mathrm{d}u\frac{1}{2}\cdot 2\int_0^{\pi/2}\ln\sin u,\mathrm{d}uI$$倒数第二步用了 4.3 节的折半技巧。代回去$$2II-\frac{\pi}{2}\ln 2\quad\Longrightarrow\quad I-\frac{\pi}{2}\ln 2$$结果的符号没什么奇怪$\sin x$ 在 $(0,\pi/2)$ 上小于 $1$对数恒为负积分当然是负的。这条思路还能顺手拿下 $\int_0^{\pi/2}\ln\tan x,\mathrm{d}x$镜像之后 $\tan(\pi/2-x)\cot x$$\ln\tan x\ln\cot x\ln 10$和恒为 $0$所以积分直接是 $0$。两行完事比找原函数快太多。5.4 常用结论速查表下面这些结论我建议直接记住考试时能省下大量时间但前提是你知道它们怎么来的否则碰到变形题就抓瞎。积分表达式结果主要依据$\int_0^{\pi/2}\frac{\sin^n x}{\sin^n x\cos^n x}\mathrm{d}x$$\frac{\pi}{4}$配对法与 $n$ 无关$\int_0^{\pi/2}\frac{\mathrm{d}x}{1\tan^n x}$$\frac{\pi}{4}$配对法$\int_0^{\pi/2}\ln\sin x,\mathrm{d}x$$-\frac{\pi}{2}\ln 2$折半加配对$\int_0^{\pi/2}\ln\tan x,\mathrm{d}x$$0$配对法$\int_0^{\pi}x\sin x,\mathrm{d}x$$\pi$推论二$\int_0^{\pi}\frac{x\sin x}{1\cos^2x}\mathrm{d}x$$\frac{\pi^2}{4}$推论二加折半$\int_0^{1}\frac{\ln(1x)}{1x^2}\mathrm{d}x$$\frac{\pi\ln 2}{8}$换元后配对$\int_0^{\pi/2}\frac{x}{\sin x\cos x}\mathrm{d}x$$\frac{\pi\sqrt2}{4}\ln(1\sqrt2)$区间再现加万能代换$\int_0^1\frac{\mathrm{d}x}{1e^{,x-1/2}}$$\frac{1}{2}$指数型配对表格里倒数第二行那道题值得多说一句它的做法是先用区间再现把 $x$ 消掉一半得到 $2I\frac{\pi}{2}\int_0^{\pi/2}\frac{\mathrm{d}x}{\sin x\cos x}$然后凑成 $\frac{1}{\sqrt2}\int_0^{\pi/2}\frac{\mathrm{d}x}{\sin(x\pi/4)}$再用 $\int\frac{\mathrm{d}u}{\sin u}\ln\left|\tan\frac{u}{2}\right|$ 求值最后得到上面的结果。全过程一共四步每一步都是标准动作没有灵光一现的部分。6. 拿到题怎么判断信号识别与五步流程6.1 三个一眼可用的信号方法再好用不出来也是白搭。我把实战里最常触发的三个信号整理如下做题时扫一眼被积函数和区间就能判断信号一区间里冒出特殊点。看到 $0$ 到 $\pi$、$0$ 到 $\pi/2$、$-b$ 到 $b$、$a$ 到 $b$ 且函数结构规整就该想到镜像。判断方法是心算一下中点如果中点是个好看的数$0$、$\pi/2$、$1/2$大概率能配。信号二被积函数里有个孤零零的 $x$。也就是形如 $x$ 乘以某个只含 $\sin x$ 或 $\cos x$ 的东西。这种结构里 $x$ 通常是碍事因子用它来触发配对、把 $x$ 消掉是最高效的路径。信号三分母是两项之和分子是其中一项。这是配对法最直接的标志看到就试 $\frac{b-a}{2}$。反过来什么情况不要用我总结了三条被积函数是分段定义或带绝对值先用奇偶性区间两端不对称又没有明显的镜像关系先用基本积分法被积函数里已经有 $\ln$、$e^x$ 这类超越结构且看不出配对迹象先做换元看看能不能造出对称。6.2 五步操作流程我把整套判断流程固化成五步做题时按顺序过一遍基本不会漏第一步定中点。先算 $m\frac{ab}{2}$写下来。这步不能省中点错了后面全废。第二步算镜像式。老老实实把 $f(ab-x)$ 展开写在草稿纸上别在脑子里想。展开的过程本身就会暴露结构。第三步求和判型。计算 $f(x)f(ab-x)$。如果是常数 $C$走配对法答案 $\frac{C(b-a)}{2}$结束。如果和里带 $x$说明配不上转下一步。第四步看是不是$x$ 乘纯三角。若是 $x f(\sin x)$套推论二区间降到 $[0,\pi/2]$再选代换。若是 $x$ 乘别的try 区间再现把 $x$ 换成 $\frac{ab}{2}$ 附近的形式。第五步兜底。上面都不行就回到常规方法——换元、分部、有理化一步步来别硬套公式。提示第三步的求和判型是整个流程的分水岭。我建议养成习惯不管三七二十一先算一遍 $f(x)f(ab-x)$算出来是常数就用配对不是常数就立刻放弃这条路。五分钟的心算能省掉半小时的无效尝试。6.3 常见问题与排查速查表下面这张表是我从答疑记录里挑出来的高频问题基本覆盖了 90% 的翻车场景现象根本原因处理办法套完公式没变简单还是原来的样子只做了替换没做相加原式加变形式除以二配对后答案差个系数忘了乘区间长度 $b-a$结果 $C(b-a)/2$区间是 $[0,\pi/4]$ 却用 $\pi/2-x$中点记成 $\pi/2$中点一律现算写成 $2m-x$广义积分直接算端点处爆炸没判收敛先看端点附近的行为必要时按极限处理$x$ 配 $\cos x$ 也套推论二误以为 $\cos(\pi-x)\cos x$$\cos(\pi-x)-\cos x$符号变了换元后新区间算错只换了一端两端都代入新变量对数题里找不到配对对象用错了对称轴目标是乘积为常数不是两项本身对称这张表里最值得反复看的是最后一行。对数题的配对对象往往不是$x$ 和 $\pi/2-x$而是$x$ 和 $\pi/4-x$这种更细的对称因为只有在这个尺度下乘积才是常数。判断方法是让候选的对称轴 $m$ 满足 $g(mt)\cdot g(m-t)k$自己能验出来才动笔。另外补一句关于心算不足的经验。我见过太多人在第三步求和判型时全靠脑补脑补错了就一路错到底。老老实实展开写一分钟的事。这个方法的价值就在于它把一道复杂的积分题压缩成了展开、相加、看是不是常数这三个机械动作而机械动作是不需要灵感的。我个人做完几十道这类题之后最大的体会是区间再现不是某个具体的技巧而是一种做题的阅读习惯——拿到定积分先看区间和函数有没有镜像关系有就顺水推舟没有就回去走常规路线。至于那几条推论真不用死记因为推一遍只要三五行比背结论可靠得多。唯一需要反复练的是算 $f(ab-x)$这个反射动作练到成为肌肉记忆这类题就再也不会拦住你了。