企业官网建设流程全解析

定积分算不动的时候，我一般不会立刻去换元，也不会马上开分部积分。多年的经验是：先看这个积分区间能不能"翻"过来再看一遍。式子本身并不难看，但原函数就是凑不出来——这是绝大多数人卡住的地方。而区间再现公式给出的，恰好是一个几乎零成本的起手式：同一个积分换个写法，两式一加，答案往往自己就冒出来了。

区间再现公式说的是这样一件事：只要 f 在 [a, b] 上可积，就有 ∫ₐᵇ f(x)dx = ∫ₐᵇ f(a+b-x)dx。把区间 [a, b] 关于中点 (a+b)/2 做一次镜像反射，积分值不变。看着平淡，但它撑起了定积分计算里相当大一块题型：分母互为倒数的三角有理式、ln(sin x) 这类对数积分、带一个 x 因子的三角积分，以及"已知 f(x)+f(a-x) 求积分"的抽象题，背后站着的都是它。

这篇东西适合三类人看：正在准备考试、想把定积分这一块彻底稳住的同学；已经会算但每次都要从零推一遍、效率不高的朋友；以及想搞清楚"这个公式凭什么成立、什么时候会失效"的较真派。我打算从它为什么成立讲起，把常用的几条推论一条条推出来，再拿五类典型题型完整走一遍，最后把边界条件和我自己踩过的坑摊开说。看完你应该能做到：看到题就知道该不该翻区间，翻完往哪个方向凑。

1. 区间再现公式到底在做什么

1.1 一句话说清公式长什么样

公式本体只有一行：

设 f 在 [a, b] 上连续（或可积），则 ∫ₐᵇ f(x)dx = ∫ₐᵇ f(a+b-x)dx。

左边看是 f(x)，右边看是 f(a+b-x)，两者在同一个区间上积分，值相等。

举个最直白的例子，a = 0，b = 1，则 ∫₀¹ f(x)dx = ∫₀¹ f(1-x)dx。0 到 1 上的积分，把被积函数里的 x 换成 1-x，值不变。再比如 a = 0，b = π，就有 ∫₀^π f(x)dx = ∫₀^π f(π-x)dx。当区间取成 [-A, A] 时，∫₋ₐᵃ f(x)dx = ∫₋ᵃ f(-x)dx，这正是"偶函数不变、奇函数变号"的来源。

所以别把它看成新东西，它就是换元积分法在"区间刚好映射回自己"这一特殊情形下的产物。a+b-x 这个映射有个特点：把 a 映到 b，把 b 映到 a，区间 [a, b] 被它完整地翻回 [a, b] 自己。普通换元是把区间搬到别处去，区间再现是把区间原地翻个面。这个区别是理解后面所有推论的钥匙，也是为什么它能在完全不求原函数的情况下把答案"挤"出来。

1.2 为什么"翻转区间"就能白拿一个等式

先把推导走一遍，一共三步，每一步都值得盯紧。

第一步，做代换 x = a + b - t。两边微分，dx = -dt。第二步，处理上下限：x = a 时 t = b，x = b 时 t = a，所以积分变成 ∫_b^a f(a+b-t)(-dt)。第三步，用那个负号把上下限换回来：∫_b^a f(a+b-t)(-dt) = ∫ₐᵇ f(a+b-t)dt。最后把哑变量 t 改回 x，就得到 ∫ₐ f(x)dx = ∫ₐᵇ f(a+b-x)dx。

注意第三步那个负号。很多人在这里翻车：看到 dx = -dt 就直接把负号丢了，或者把上下限换成 b 到 a 之后忘了换回来。这里其实做了一件很有意思的事——负号和颠倒的上下限互相抵消了。正因为这层抵消，区间才被"翻回原处"，而不是搬走。普通换元换完之后区间会跑到别的地方，你必须老老实实用新的上下限；区间再现换完之后区间还是原来那个，代价是负号必须处理干净。

换个角度看，这个等式对任意可积函数都成立，不需要任何对称性、周期性、奇偶性。它是一条恒等式，不是一条"在某些条件下才成立"的性质。这一点非常重要，后面讲"什么时候失效"时还会回来。先记住：公式本身永远对，问题永远是"它这次能不能帮我"。

1.3 它和奇偶性、对称性到底是什么关系

常见的一种说法是：区间再现公式"要求区间关于某点对称"。这个说法不准确，得纠正一下。

主公式 ∫ₐᵇ f(x)dx = ∫ₐ f(a+b-x)dx 对任意区间 [a, b] 都成立，跟对称不对称没关系。真正需要额外条件的是推论：当我们想让 f(a+b-x) 和 f(x) 之间产生某种具体关系（比如相等、互为相反数、加起来等于常数）时，才需要 f 在区间上有额外的结构。

打个比方：区间再现是一个"翻面"的动作，翻面这个动作本身永远做得了；但翻完之后你能不能看出来"正反两面是同一个人"，取决于你翻的是不是一件对称的东西。翻一件普通外套，翻完是另一面；翻一件双面同款的外套，翻完看起来没变。数学上，前者对应 f(a+b-x) 和 f(x) 毫无关系，后者对应 f(a+b-x) = f(x)，或者 f(a+b-x) + f(x) 等于常数。

所以判断能不能用，不是先问"区间对称吗"，而是先问："把 x 换成 a+b-x 之后，被积函数变成了什么？它和原来的自己有没有配合的可能？"这个提问顺序看起来像绕口令，但它决定了你在卷子上是两行写完还是写满半页还卡着。

2. 从主公式推出来的五条常用推论

2.1 主公式的推导：三步走完，别背

推导写一遍比背十遍有用。核心就是 x = a+b-t 这个代换，配合上下限交换时出现的那次符号抵消。我把步骤压缩成可复述的形式：代换—换限—抵号—改哑变量。

• 代换：令 x = a+b-t，则 dx = -dt。
• 换限：x 从 a 走到 b，对应 t 从 b 走到 a。
• 抵号：-dt 的负号与 b→a 颠倒的上下限相互抵消，区间回到 a→b。
• 改哑变量：t 改回 x，f(a+b-t) 写成 f(a+b-x)。

顺便说一句，如果你把主公式里的 x 换成 a+b-x，也就是再做一次同样的代换，会回到原式。这说明这个操作是对合的——做两次等于没做。这个性质在解题时很好用：有时候一次翻面看不出门道，翻两次就回到原点了，说明这条路走不通，该换方向，而不是硬着头皮往下算。

注意：别把 a+b-x 记成 a-b+x 或者 b-a+x。写错一个符号，后面全废。记法上可以想：a 和 b 是区间的两端，把它们加起来再减去 x，x 从 a 走到 b，结果就从 b 走到 a，刚好对调。区间是 [1, 3] 的时候端点之和是 4，代换就是 4-x，千万别凭感觉写成 1-x。

2.2 推论一：偶倍奇零的统一写法

这是最常用的一条：

∫₋ₐᵃ f(x)dx = ∫₀ᵃ [f(x) + f(-x)]dx

推导不复杂。把 [-a, a] 拆成 [-a, 0] 和 [0, a] 两段。第一段 ∫₋ₐ f(x)dx 用代换 x = -t，得 ∫ₐ⁰ f(-t)(-dt) = ∫ᵃ f(-t)dt = ∫ᵃ f(-x)dx。第二段不动。加起来就是 ∫₀[f(-x)+f(x)]dx。

这条推论的价值在于：它把"奇偶性讨论"和"区间再现"统一成了一个动作。f 是偶函数，f(-x) = f(x)，立刻得到 2∫₀ f(x)dx；f 是奇函数，f(-x) = -f(x)，立刻得到 0。你不需要单独记"偶倍奇零"，它就是这条推论的两种特例，而特例忘了可以现推。

更有用的是中间地带：f 既不是奇函数也不是偶函数，但 f(x) + f(-x) 恰好能化简。比如 f(x) = 1/(1+e^x)，在对称区间上，f(x)+f(-x) = 1/(1+e^x) + 1/(1+e^{-x}) = 1/(1+e^x) + e^x/(1+e^x) = 1。所以 ∫₋₁¹ dx/(1+e^x) = ∫₀¹ 1 dx = 1。这类题用常规做法（换元或者拆项凑分母）都要绕一圈，用推论一是两行的事。这也是（1+e^x）型积分为什么总在题海里出现的原因。

2.3 推论二：三角函数的"折半"与"互换"

在三角函数积分里，有两条几乎每天都用得上的推论。

第一条，互换：

∫₀^{π/2} f(sin x)dx = ∫₀^{π/2} f(cos x)dx

推导很短。在 [0, π/2] 上用主公式，a = 0，b = π/2，a+b-x = π/2 - x。所以 ∫₀^{π/2} f(sin x)dx = ∫₀^{π/2} f(sin(π/2 - x))dx = ∫^{π/2} f(cos x)dx。一行搞定。

第二条，折半：

∫₀^{π} f(sin x)dx = 2∫₀^{π/2} f(sin x)dx

推导：把 [0, π] 从 π/2 处劈开，∫₀^{π/2} 保留，∫_{π/2}^{π} 用代换 x = π - t。x 从 π/2 走到 π 时 t 从 π/2 走到 0，dx = -dt，于是 ∫_{π/2}^{π} f(sin x)dx = ∫_{π/2}^{0} f(sin(π-t))(-dt) = ∫₀^{π/2} f(sin t)dt。两段相加，得 2∫₀^{π/2} f(sin x)dx。

这两条有个共同的前提，必须划重点：f 里面只能出现 sin x。合起来说，就是 f 是 sin x 的函数。如果式子里混进了 cos x，比如 g(sin x, cos x) 这种，折半和互换都不一定成立，因为 sin(π - x) = sin x 成立，但 cos(π - x) = -cos x，符号变了。这是最容易出错的地方，第四章会专门列表。

2.4 推论三：把 x 这个因子"消掉"

∫₀^{π} x f(sin x)dx = (π/2)∫₀^{π} f(sin x)dx = π∫₀^{π/2} f(sin x)dx

推导记 I = ∫₀^π x f(sin x)dx。用主公式，a = 0，b = π，a+b-x = π - x，而 sin(π - x) = sin x，所以

I = ∫^π (π - x) f(sin(π - x))dx = ∫₀^π (π - x) f(sin x)dx。

把右边展开：I = π∫₀^π f(sin x)dx - ∫₀^π x f(sin x)dx = π∫₀^π f(sin x)dx - I。于是 2I = π∫₀^π f(sin x)dx，I = (π/2)∫₀^π f(sin x)dx。再套用推论二的折半，就得到最后那个 π∫₀^{π/2} f(sin x)dx。

这条推论是"看到 x 因子就该警觉"的来源。定积分里但凡出现一个孤零零的 x 乘在一个只含 sin x 的函数前面，基本就是在提示你：x 可以被处理掉，剩下的部分只需要算一个不含 x 的积分。这个信号在考场上价值很高，因为它把一道看起来需要分部积分的题变成了纯换元。

在 [0, π/2] 上也有一个更弱的版本，得说清楚，别记混。记 I = ∫₀^{π/2} x f(sin x)dx，翻区间 x → π/2 - x 时 sin(π/2 - x) = cos x，于是

I = ∫₀^{π/2}(π/2 - x)f(cos x)dx。

两式相加得到 2I = ∫₀^{π/2}[x f(sin x) + (π/2 - x)f(cos x)]dx。这个式子能不能化简，取决于 f(sin x) 与 f(cos x) 的关系。只有当 f 是常函数、或者 f(sin x) 的取值关于 x = π/4 对称（即 f(sin x) = f(cos x)）时，才能整理成 (π/2)∫₀^{π/2}f(sin x)dx。条件不满足就老老实实按原式算，别硬套。

2.5 推论四：分母配对，f 与 f(a-x) 相加

∫₀ᵃ f(x)/(f(x) + f(a-x)) dx = a/2

推导记 I = ∫₀ f(x)/(f(x)+f(a-x))dx。用主公式，区间端点为 0 和 a，a+b-x = a - x：

I = ∫ᵃ f(a-x)/(f(a-x) + f(x))dx。

分母是同一个东西，把两式相加：

2I = ∫₀ [f(x)+f(a-x)]/[f(x)+f(a-x)] dx = ∫₀ᵃ 1 dx = a。

所以 I = a/2。

这条推论的形式非常特别：答案和 f 具体是什么完全无关，只跟区间长度有关。它成立的唯一前提是分母不为零，也就是 f(x)+f(a-x) 在区间上不取零，以及 f 连续。

用它能秒掉的题一眼可见：∫₀^{π/2} √(sin x)/(√(sin x)+√(cos x)) dx，把 f(x) 取成 √(sin x)，注意 cos x = sin(π/2 - x)，配上去之后整套结构完全对上，答案直接就是 π/4。不用算原函数——事实上这个原函数根本算不出来。这条推论是"结构对称就能出答案"的典型代表。

2.6 推论速查表与适用条件

把上面几条整理成表，做题时对着看。

看这张表要注意一件事：主公式那一栏写的是"无额外条件"，而下面每一条都多了一行限制。越往下走，条件越苛刻，适用面越窄。做题时的顺序也该是这样：先用主公式看看能不能翻，翻完发现函数有对称结构，再往上套对应的推论。反过来，一上来就硬套推论，很容易在"f 里混了 cos x"这种细节上翻车。顺序搞反，是很多人觉得"这公式不好用"的真正原因。

3. 五类典型题型的完整实操

3.1 分母配对型：含 tan^n 的经典积分

题目：计算 I = ∫₀^{π/2} dx/(1 + tan^n x)，n 为任意实数。

这个积分直接算原函数是算不出来的，n 不是整数时更麻烦。但只要区间是 [0, π/2]，配合 tan(π/2 - x) = cot x = 1/tan x，就能秒。

第一步，用主公式翻区间，a = 0，b = π/2，x → π/2 - x：

I = ∫₀^{π/2} dx/(1 + tan^n(π/2 - x)) = ∫₀^{π/2} dx/(1 + cot^n x)。

第二步，把 cot^n x 写成 1/tan^n x，分子分母同乘 tan^n x：

1/(1 + 1/tan^n x) = tan^n x/(1 + tan^n x)。

所以 I = ∫₀^{π/2} tan^n x/(1+tan^n x) dx。

第三步，两式相加。原来的 I = ∫₀^{π/2} 1/(1+tan^n x)dx，新的 I = ∫₀^{π/2} tan^n x/(1+tan^n x)dx。分母一样，加起来分子是 1+tan^n x：

2I = ∫₀^{π/2} (1+tan^n x)/(1+tan^n x)dx = ∫₀^{π/2}1 dx = π/2。

所以 I = π/4。

注意：答案和 n 完全无关。无论 n 是 1、2、100 还是 0.5，只要这个积分收敛，值都是 π/4。这个结论值得记，考场上遇到 n 是一个吓人的大数，直接写 π/4 就好。

同样的套路可以推广到更一般的形状：∫₀^{π/2} g(sin x)/(g(sin x)+g(cos x))dx = π/4，其中 g 只要能保证分母不为零。比如 g(t) = t^a（a > 0），g(t) = ln(1+t)，都能套进去。判断的信号很清楚：分母里出现两个结构相似、互为补角的函数相加。看到这种形状，别急着找原函数，先配对。

3.2 对数型：ln(sin x) 与 ln(1+tan x)

题目一：计算 I = ∫₀^{π/2} ln(sin x)dx。

这个积分的原函数不是初等函数，但区间再现能绕过去。

先由推论二的互换，把 sin 换成 cos：I = ∫₀^{π/2} ln(cos x)dx。两式相加：

2I = ∫₀^{π/2} [ln(sin x) + ln(cos x)]dx = ∫₀^{π/2} ln(sin x cos x)dx。

用倍角公式 sin x cos x = (sin 2x)/2，拆成两项：

2I = ∫^{π/2} ln(sin 2x)dx - ∫₀^{π/2} ln 2 dx = ∫₀^{π/2} ln(sin 2x)dx - (π/2)ln 2。

处理前面那个积分。令 u = 2x，du = 2dx，x 从 0 到 π/2 对应 u 从 0 到 π：

∫₀^{π/2} ln(sin 2x)dx = (1/2)∫₀^{π} ln(sin u)du。

再用推论二的折半（这里 u 的表达式符合"只含 sin u"的条件），∫₀^{π} ln(sin u)du = 2∫₀^{π/2} ln(sin u)du = 2I。

代回去：(1/2)·2I = I。于是 2I = I - (π/2)ln 2，解得 I = -(π/2)ln 2。

这题是区间再现的"标准答案级"应用：全程没有求一次原函数，全靠恒等变形。建议自己动手推三遍，把每一个"为什么这里可以换 sin 和 cos""为什么这里能折半"都搞清楚。这题的通透程度，基本上决定了你对这套方法的掌握程度。

题目二：计算 J = ∫₀^{π/4} ln(1 + tan x)dx。

区间是 [0, π/4]，用主公式翻，x → π/4 - x。关键是这个恒等式：

tan(π/4 - x) = (1 - tan x)/(1 + tan x)。

于是 1 + tan(π/4 - x) = 1 + (1-tan x)/(1+tan x) = (1+tan x+1-tan x)/(1+tan x) = 2/(1+tan x)。所以

J = ∫^{π/4} ln[2/(1+tan x)]dx = ∫₀^{π/4} ln 2 dx - ∫₀^{π/4} ln(1+tan x)dx = (π/4)ln 2 - J。

解得 2J = (π/4)ln 2，J = (π/8)ln 2。

这题的精髓在于"自己减自己"：翻完区间发现新的积分等于常数减原来那个，直接解方程。这种自指结构是区间再现最漂亮的地方，也是它区别于普通换元的地方——普通换元很少能把积分换回自己。记住 tan(π/4 - x) 那个恒等式，它在这一类题里出场率极高。

3.3 x 因子剥离型：x sin x/(1+cos²x)

题目：计算 I = ∫₀^{π} x sin x/(1 + cos²x) dx。

先做条件检查。被积函数里有一个 x 因子，剩下的部分是 sin x/(1+cos²x)。能不能写成 f(sin x) 的形式？cos²x = 1 - sin²x，所以 sin x/(1+cos²x) = sin x/(2 - sin²x)。如果把 sin x 看成一个整体字母 s，这个函数就是 s/(2-s²)，确实只依赖 sin x。条件满足，可以用推论三。

由推论三的第一种形式：I = (π/2)∫^{π} sin x/(1+cos²x)dx。

接下来算 ∫₀^{π} sin x/(1+cos²x)dx。令 u = cos x，du = -sin x dx。x = 0 时 u = 1，x = π 时 u = -1：

∫₀^{π} sin x/(1+cos²x)dx = ∫₁^{-1} -du/(1+u²) = ∫_{-1}^{1} du/(1+u²) = [arctan u]_{-1}^{1} = π/4 - (-π/4) = π/2。

所以 I = (π/2)(π/2) = π²/4。

小结一下这题的思路链：看到 x 因子 → 判断剩余部分是否只含 sin x → 用推论三把 x 消掉 → 剩下的积分做一次简单换元 → arctan 收尾。整条链上一共两步，比硬做分部积分快得多，而且不容易在符号上出错。

提示：用推论三之前，一定要先把 cos²x 用 1 - sin²x 或者别的恒等式统一到 sin x 上，确认"只含 sin x"。如果式子里是非 sin x 的其他结构，比如 sin x·cos x，或者单独出现的 cos x 作为真正变量，推论三不成立，得另想办法。

3.4 抽象函数型：已知 f(x)+f(a-x) 求值

题目：设 f 在 [0, a] 上连续，且满足 f(x) + f(a-x) = c（常数），求 ∫₀ᵃ f(x)dx。

这类题不给具体表达式，很多人一看就慌。但实际上区间再现处理这类题是最稳的。记 I = ∫₀ᵃ f(x)dx，翻区间 x → a - x：

I = ∫ᵃ f(a-x)dx。

两式相加：

2I = ∫₀ᵃ [f(x) + f(a-x)]dx = ∫₀ c dx = ac。

所以 I = ac/2。

再给一个具体的：设 f 连续，且 f(x) + f(-x) = x²，求 ∫₁¹ f(x)dx。用推论一：∫₋₁¹ f(x)dx = ∫¹ [f(x) + f(-x)]dx = ∫₀¹ x²dx = 1/3。

用同样思路，还能处理更绕的条件型题目。例如"已知 f(x) + f(1-x) = sin(πx)，求 ∫₀¹ f(x)dx"。翻区间相加，2I = ∫₀¹ sin(πx)dx = 2/π，I = 1/π。整个过程不需要知道 f 长什么样，只需要知道"和"是什么。

实操心得：碰到"f 加自己（或自己的镜像）等于某函数"的条件，第一反应就是区间再现，然后两式相加。只要能凑出一个好算的和，题目基本就破了。关键是把区间的两端准确地代进 a+b-x，a 和 b 写错一个，整个和就配不出来。

3.5 换元回套型：ln(1+x)/(1+x²) 的漂亮闭环

题目：计算 I = ∫₀¹ ln(1+x)/(1+x²) dx。

这题的常规做法是先做三角换元，再用区间再现收尾，两步配合得非常漂亮，值得完整走一遍。

第一步，令 x = tan t。x 从 0 到 1 对应 t 从 0 到 π/4，dx = sec²t dt，1+x² = sec²t。于是

I = ∫^{π/4} ln(1 + tan t) · sec²t/sec²t dt = ∫₀^{π/4} ln(1 + tan t)dt。

这一步换元把分母整个消干净了，剩下的积分正好就是 3.2 里的 J。如果没做这一步，分母里的 1+x² 会一直挡在那里。

第二步，用 3.2 的结论：∫₀^{π/4} ln(1+tan t)dt = (π/8)ln 2。所以 I = (π/8)ln 2。

第一次看到这题的人通常会在换元之后愣住——分母没了，式子变成了一个从没见过原函数的对数积分。但如果你知道 [0, π/4] 上的这个"自减"技巧，后面就是两行。

这里还有一个变体值得记：∫₀^1 ln x/(1+x²)dx 和其他一些含 x² 分母的对数积分，把区间和换元配合起来，常常能凑出闭环。判断的信号是"分母是 1+x² 且区间是 [0,1]"，因为 x = tan t 会把 [0,1] 映到 [0,π/4]，而 [0,π/4] 上的区间再现又恰好能自减。

提示：含 1+x² 的积分，三角换元 x = tan t 是默认选项；换完后如果区间变成了 [0, π/4]，立刻检查能不能用区间再现自减。这两步是配套的，缺一步都做不下去。

4. 使用时的边界、失效情形与常见错误

4.1 主公式永远成立，但"能帮上忙"是有条件的

先把这个说清楚，避免走偏：主公式 ∫ₐᵇ f(x)dx = ∫ₐ f(a+b-x)dx 对任意可积函数、任意区间都成立。它不是"在某种条件下才可用"的技巧，它是恒等式。哪怕 f 是随便一个乱七八糟的函数，这个等式照样是对的——只是翻完之后你可能什么也得不到。

所谓的"失效"，实际有三种情况。

第一种，翻完之后没有产生任何新信息。比如 f(x) 里含 x 的高次项，或者含 e^x 这类项，f(a+b-x) 和 f(x) 之间配不出和、差、常数，两式相加之后只是得到一个同样复杂的式子，没有帮助。这不叫公式不成立，叫"这条路不通"，该换分部积分或者其他方法。

第二种，误用了带条件的推论。比如 f 里混了 cos x，你还在用"折半"或者"x 因子剥离"。前面反复强调了，那几条推论的前提是 f 只含 sin x。前提不满足，结论就不成立。这是实际做题中最常见的失分点，而且错得往往很隐蔽，因为步骤看起来一模一样。

第三种，区间端点代错。主公式里 a+b 是两端之和，x 换成 a+b-x 之后，a 对应的值是 b，b 对应的值是 a。写成 a-b-x 或者 a-b+x 都会让整个推导垮掉。特别是区间不关于原点对称的时候，比如 [1, 3]，端点之和是 4，代换成 4-x，这一点千万别凭感觉。

4.2 五类高频错误的对照排查表

这张表里的每一行我都真实见过。尤其是第一行和第三行，出镜率最高。第一行的根源是对"区间再现和普通换元的区别"没吃透——普通换元会把区间搬到别处，区间再现是原地翻面，所以上下限看起来没变，但中间的负号必须处理干净。第三行的根源是背结论不记条件，把推论当主公式使，这在考场上是很致命的。

4.3 我踩过的几个坑

第一个坑是把推论三用在不该用的地方。早期我做 ∫₀^{π} x·sin x·cos x dx 的时候，看到 x 就条件反射套推论三，结果卡住。问题在于 sin x cos x = (sin 2x)/2，它不是 f(sin x) 的形式——它是 sin 2x 的函数，不是 sin x 的函数。正确做法是把倍角展开或者直接分部积分。所以判断标准要精细：看能不能写成只含 sin x 的表达式，而不是"看起来有 sin"。

第二个坑是 [0, π/2] 上那个版本的推论三。这个版本在翻面时 sin(π/2-x) = cos x，sin 变成了 cos，所以只有当 f(sin x) 和 f(cos x) 能配对上才有用。我有一段时间没意识到这个差别，直接照搬 [0, π] 的结论，算出一个错答案还反复检查不出问题。后来养成习惯：每次翻完，先把新变量下的函数形式完整写出来，再决定下一步，不凭印象跳步。

第三个坑是收敛性问题。∫₀^{π/2} ln(sin x)dx 在 x = 0 处是反常积分，因为 ln(sin x) → -∞。区间再现的推导在反常积分上需要额外确认收敛性，虽然这个具体的积分确实收敛，但严格书写的时候不能当成普通定积分一笔带过。如果是考试作答，至少提一句"该反常积分收敛"，或者用极限定义写一步，把过程补完整。

实操心得：把"翻区间"当成一个固定动作之前，先花两秒钟做三件事——看清楚区间的两端、看清楚新变量下的函数形状、判断能不能凑出和或差。这三件事做完再动笔，能省掉一大半返工。这个习惯我养了几年，后来做题的准确率明显上了一个台阶。

5. 和别的技巧组合起来用

5.1 与三角换元叠加

区间再现和三角换元经常是连着的，这是最实用的一组搭档。典型的触发条件是：被积函数里有 1+x² 或者 √(1-x²) 这类结构，区间是 [0, 1]。

拿 3.5 的题再看一遍：∫₀^1 ln(1+x)/(1+x²)dx = (π/8)ln 2。整条链是"三角换元 → 区间变成 [0, π/4] → 区间再现自减 → 出答案"。如果只做换元不做区间再现，会停在 ∫₀^{π/4} ln(1+tan t)dt 这一步；如果只做区间再现不做换元，分母根本消不掉。两个动作必须连在一起用。

类似的组合还有 √(1-x²) 型：令 x = sin t，区间从 [0,1] 变成 [0, π/2]，然后就能用推论二的互换或折半。比如 ∫₀^1 √(1-x²)dx，换成 ∫₀^{π/2} cos²t dt，再用区间再现把 cos² 换成 sin²，两式相加得 π/4，整个过程干净利落。

提示：三角换元的作用是把"代数区间"变成"三角区间"，区间再现的作用是在三角区间上做对称配对。前者负责换场地，后者负责在场地里找对称。两者分工明确，配合起来才顺。

5.2 与分部积分、递推叠加

区间再现还能和分部积分配合，处理带幂次的积分。

典型的比如 Beta 函数那条对称性：∫^1 x^m (1-x)^n dx = ∫₀^1 x^n (1-x)^m dx。用主公式一行就能证明——a = 0，b = 1，x → 1-x，被积函数变成 (1-x)^m x^n = x^n(1-x)^m，积分值不变。这个等式说明 m 和 n 可以互换位置，是 Beta 函数 B(m+1, n+1) = B(n+1, m+1) 的积分版本。它本身不是算积分的方法，但它能让你在遇到两端幂次不对称的式子时，往更省事的那一侧靠。

再比如 Wallis 型的递推。记 I_n = ∫^{π/2} sin^n x dx。先由推论二的互换，I_n = ∫₀^{π/2} cos^n x dx，所以 2I_n = ∫₀^{π/2}(sin^n x + cos^n x)dx。这一步本身不直接给出递推，但它能把某些"混合型"积分化简。真正的递推靠分部积分：I_n = [(n-1)/n]I_{n-2}，配合 I_0 = π/2 和 I_1 = 1 就能算出所有值。区间再现在这里的角色是"把 cos 和 sin 看成同一个东西"，让某些题从两步变一步。

注意：区间再现不产生新的递推关系，它只负责把式子变形到一个更适合分部积分、或者更适合查表的形式。别指望它单独解决所有问题。

5.3 与对称区间的奇偶拆分叠加

最后说一个看起来很基础、但配合起来很好用的组合：把区间拆成"对称段 + 剩下的段"，对对称段用推论一，对剩下的段用主公式或别的工具。

举例：∫₋₁² f(x)dx，其中 f 满足 f(x) + f(-x) = 某个好算的函数。这时候先拆 ∫₋₁¹ + ∫₁²，第一段用推论一变成 ∫₀¹[f(x)+f(-x)]dx，第二段独立处理，各走各的，互不干扰。

再比如周期函数。若 f 以 T 为周期，那么很多区间上的积分都会被化简。配合区间再现，可以把任意长度为一个周期的区间上的积分归到 [0, T] 上，这一步在傅里叶级数相关的计算里非常常用。

这里的经验是：别一上来就想着用区间再现解决全部问题。先看区间能不能拆，能拆就先拆，拆出来的对称段再用推论一，剩下的段用主公式或者其他方法。这样每一步都很小、很稳，出错概率低。我见过太多人想一步到位，结果在中间某一步的符号上栽了跟头，回头检查时又找不到是哪一步错的。

6. 最后分享几个我长期用下来的习惯

第一，看到一个定积分，先不写，先在心里问三句话：区间是什么、被积函数里有没有孤立的 x 因子、把 x 换成 a+b-x 之后式子变成了什么。这三句话过完，用不用区间再现基本就定了。这个习惯花不了十秒钟，但它能帮你避开绝大部分"算到一半发现方向错了"的情况。

第二，推论我建议只背两条——主公式和推论四。其余几条都可以在考场上用主公式现推，推一次也就两三行，比背错结论安全得多。尤其是推论二和推论三，条件容易记混，现推反而更快。

第三，遇到反常积分（比如含 ln、含 1/x 在端点发散），用区间再现时一定要先确认收敛性。这不是形式主义，因为两式相加的推导本身是建立在积分存在且有限的前提上的。这个细节在平时做题时容易被忽略，但在需要写严格过程的时候，它决定你丢不丢分。

第四，三角有理式那一类题，只要分母呈现出"两个互补结构相加"的样子，先试配对，别急着做万能代换。万能代换 t = tan(x/2) 当然能算，但计算量经常是配对法的五倍以上，而且极易算错。

这些习惯没什么高深的，都是一次次算错之后总结出来的。区间再现公式本身不难，难的是知道什么时候该想起它。