尧图网站建设 
定积分算不动的时候我一般不会立刻去换元也不会马上开分部积分。多年的经验是先看这个积分区间能不能翻过来再看一遍。式子本身并不难看但原函数就是凑不出来——这是绝大多数人卡住的地方。而区间再现公式给出的恰好是一个几乎零成本的起手式同一个积分换个写法两式一加答案往往自己就冒出来了。区间再现公式说的是这样一件事只要 f 在 [a, b] 上可积就有 ∫ₐᵇ f(x)dx ∫ₐᵇ f(ab-x)dx。把区间 [a, b] 关于中点 (ab)/2 做一次镜像反射积分值不变。看着平淡但它撑起了定积分计算里相当大一块题型分母互为倒数的三角有理式、ln(sin x) 这类对数积分、带一个 x 因子的三角积分以及已知 f(x)f(a-x) 求积分的抽象题背后站着的都是它。这篇东西适合三类人看正在准备考试、想把定积分这一块彻底稳住的同学已经会算但每次都要从零推一遍、效率不高的朋友以及想搞清楚这个公式凭什么成立、什么时候会失效的较真派。我打算从它为什么成立讲起把常用的几条推论一条条推出来再拿五类典型题型完整走一遍最后把边界条件和我自己踩过的坑摊开说。看完你应该能做到看到题就知道该不该翻区间翻完往哪个方向凑。1. 区间再现公式到底在做什么1.1 一句话说清公式长什么样公式本体只有一行设 f 在 [a, b] 上连续或可积则 ∫ₐᵇ f(x)dx ∫ₐᵇ f(ab-x)dx。左边看是 f(x)右边看是 f(ab-x)两者在同一个区间上积分值相等。举个最直白的例子a 0b 1则 ∫₀¹ f(x)dx ∫₀¹ f(1-x)dx。0 到 1 上的积分把被积函数里的 x 换成 1-x值不变。再比如 a 0b π就有 ∫₀^π f(x)dx ∫₀^π f(π-x)dx。当区间取成 [-A, A] 时∫₋ₐᵃ f(x)dx ∫₋ᵃ f(-x)dx这正是偶函数不变、奇函数变号的来源。所以别把它看成新东西它就是换元积分法在区间刚好映射回自己这一特殊情形下的产物。ab-x 这个映射有个特点把 a 映到 b把 b 映到 a区间 [a, b] 被它完整地翻回 [a, b] 自己。普通换元是把区间搬到别处去区间再现是把区间原地翻个面。这个区别是理解后面所有推论的钥匙也是为什么它能在完全不求原函数的情况下把答案挤出来。1.2 为什么翻转区间就能白拿一个等式先把推导走一遍一共三步每一步都值得盯紧。第一步做代换 x a b - t。两边微分dx -dt。第二步处理上下限x a 时 t bx b 时 t a所以积分变成 ∫_b^a f(ab-t)(-dt)。第三步用那个负号把上下限换回来∫_b^a f(ab-t)(-dt) ∫ₐᵇ f(ab-t)dt。最后把哑变量 t 改回 x就得到 ∫ₐ f(x)dx ∫ₐᵇ f(ab-x)dx。注意第三步那个负号。很多人在这里翻车看到 dx -dt 就直接把负号丢了或者把上下限换成 b 到 a 之后忘了换回来。这里其实做了一件很有意思的事——负号和颠倒的上下限互相抵消了。正因为这层抵消区间才被翻回原处而不是搬走。普通换元换完之后区间会跑到别的地方你必须老老实实用新的上下限区间再现换完之后区间还是原来那个代价是负号必须处理干净。换个角度看这个等式对任意可积函数都成立不需要任何对称性、周期性、奇偶性。它是一条恒等式不是一条在某些条件下才成立的性质。这一点非常重要后面讲什么时候失效时还会回来。先记住公式本身永远对问题永远是它这次能不能帮我。1.3 它和奇偶性、对称性到底是什么关系常见的一种说法是区间再现公式要求区间关于某点对称。这个说法不准确得纠正一下。主公式 ∫ₐᵇ f(x)dx ∫ₐ f(ab-x)dx 对任意区间 [a, b] 都成立跟对称不对称没关系。真正需要额外条件的是推论当我们想让 f(ab-x) 和 f(x) 之间产生某种具体关系比如相等、互为相反数、加起来等于常数时才需要 f 在区间上有额外的结构。打个比方区间再现是一个翻面的动作翻面这个动作本身永远做得了但翻完之后你能不能看出来正反两面是同一个人取决于你翻的是不是一件对称的东西。翻一件普通外套翻完是另一面翻一件双面同款的外套翻完看起来没变。数学上前者对应 f(ab-x) 和 f(x) 毫无关系后者对应 f(ab-x) f(x)或者 f(ab-x) f(x) 等于常数。所以判断能不能用不是先问区间对称吗而是先问把 x 换成 ab-x 之后被积函数变成了什么它和原来的自己有没有配合的可能这个提问顺序看起来像绕口令但它决定了你在卷子上是两行写完还是写满半页还卡着。2. 从主公式推出来的五条常用推论2.1 主公式的推导三步走完别背推导写一遍比背十遍有用。核心就是 x ab-t 这个代换配合上下限交换时出现的那次符号抵消。我把步骤压缩成可复述的形式代换—换限—抵号—改哑变量。代换令 x ab-t则 dx -dt。换限x 从 a 走到 b对应 t 从 b 走到 a。抵号-dt 的负号与 b→a 颠倒的上下限相互抵消区间回到 a→b。改哑变量t 改回 xf(ab-t) 写成 f(ab-x)。顺便说一句如果你把主公式里的 x 换成 ab-x也就是再做一次同样的代换会回到原式。这说明这个操作是对合的——做两次等于没做。这个性质在解题时很好用有时候一次翻面看不出门道翻两次就回到原点了说明这条路走不通该换方向而不是硬着头皮往下算。注意别把 ab-x 记成 a-bx 或者 b-ax。写错一个符号后面全废。记法上可以想a 和 b 是区间的两端把它们加起来再减去 xx 从 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)dxf 是奇函数f(-x) -f(x)立刻得到 0。你不需要单独记偶倍奇零它就是这条推论的两种特例而特例忘了可以现推。更有用的是中间地带f 既不是奇函数也不是偶函数但 f(x) f(-x) 恰好能化简。比如 f(x) 1/(1e^x)在对称区间上f(x)f(-x) 1/(1e^x) 1/(1e^{-x}) 1/(1e^x) e^x/(1e^x) 1。所以 ∫₋₁¹ dx/(1e^x) ∫₀¹ 1 dx 1。这类题用常规做法换元或者拆项凑分母都要绕一圈用推论一是两行的事。这也是1e^x型积分为什么总在题海里出现的原因。2.3 推论二三角函数的折半与互换在三角函数积分里有两条几乎每天都用得上的推论。第一条互换∫₀^{π/2} f(sin x)dx ∫₀^{π/2} f(cos x)dx推导很短。在 [0, π/2] 上用主公式a 0b π/2ab-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 走到 0dx -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 0b πab-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)dxI (π/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 和 aab-x a - xI ∫ᵃ 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(x)dx ∫ₐᵇ f(ab-x)dxf 在 [a,b] 可积无额外条件推论一∫₋ₐᵃ f(x)dx ∫ᵃ[f(x)f(-x)]dx区间关于原点对称推论二·互换∫₀^{π/2} f(sin x)dx ∫₀^{π/2} f(cos x)dxf 表现为只含 sin x 的形式推论二·折半∫₀^{π} f(sin x)dx 2∫^{π/2} f(sin x)dx只含 sin x含 cos x 不成立推论三∫₀^{π} x f(sin x)dx π∫₀^{π/2} f(sin x)dx出现 x 因子剩余部分只含 sin x推论四∫₀ᵃ f(x)/(f(x)f(a-x))dx a/2分母在区间上恒不为零看这张表要注意一件事主公式那一栏写的是无额外条件而下面每一条都多了一行限制。越往下走条件越苛刻适用面越窄。做题时的顺序也该是这样先用主公式看看能不能翻翻完发现函数有对称结构再往上套对应的推论。反过来一上来就硬套推论很容易在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 0b π/2x → π/2 - xI ∫₀^{π/2} dx/(1 tan^n(π/2 - x)) ∫₀^{π/2} dx/(1 cot^n x)。第二步把 cot^n x 写成 1/tan^n x分子分母同乘 tan^n x1/(1 1/tan^n x) tan^n x/(1 tan^n x)。所以 I ∫₀^{π/2} tan^n x/(1tan^n x) dx。第三步两式相加。原来的 I ∫₀^{π/2} 1/(1tan^n x)dx新的 I ∫₀^{π/2} tan^n x/(1tan^n x)dx。分母一样加起来分子是 1tan^n x2I ∫₀^{π/2} (1tan^n x)/(1tan^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^aa 0g(t) ln(1t)都能套进去。判断的信号很清楚分母里出现两个结构相似、互为补角的函数相加。看到这种形状别急着找原函数先配对。3.2 对数型ln(sin x) 与 ln(1tan x)题目一计算 I ∫₀^{π/2} ln(sin x)dx。这个积分的原函数不是初等函数但区间再现能绕过去。先由推论二的互换把 sin 换成 cosI ∫₀^{π/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 2xdu 2dxx 从 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)/(1tan x) (1tan x1-tan x)/(1tan x) 2/(1tan x)。所以J ∫^{π/4} ln[2/(1tan x)]dx ∫₀^{π/4} ln 2 dx - ∫₀^{π/4} ln(1tan x)dx (π/4)ln 2 - J。解得 2J (π/4)ln 2J (π/8)ln 2。这题的精髓在于自己减自己翻完区间发现新的积分等于常数减原来那个直接解方程。这种自指结构是区间再现最漂亮的地方也是它区别于普通换元的地方——普通换元很少能把积分换回自己。记住 tan(π/4 - x) 那个恒等式它在这一类题里出场率极高。3.3 x 因子剥离型x sin x/(1cos²x)题目计算 I ∫₀^{π} x sin x/(1 cos²x) dx。先做条件检查。被积函数里有一个 x 因子剩下的部分是 sin x/(1cos²x)。能不能写成 f(sin x) 的形式cos²x 1 - sin²x所以 sin x/(1cos²x) sin x/(2 - sin²x)。如果把 sin x 看成一个整体字母 s这个函数就是 s/(2-s²)确实只依赖 sin x。条件满足可以用推论三。由推论三的第一种形式I (π/2)∫^{π} sin x/(1cos²x)dx。接下来算 ∫₀^{π} sin x/(1cos²x)dx。令 u cos xdu -sin x dx。x 0 时 u 1x π 时 u -1∫₀^{π} sin x/(1cos²x)dx ∫₁^{-1} -du/(1u²) ∫_{-1}^{1} du/(1u²) [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 - xI ∫ᵃ 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 加自己或自己的镜像等于某函数的条件第一反应就是区间再现然后两式相加。只要能凑出一个好算的和题目基本就破了。关键是把区间的两端准确地代进 ab-xa 和 b 写错一个整个和就配不出来。3.5 换元回套型ln(1x)/(1x²) 的漂亮闭环题目计算 I ∫₀¹ ln(1x)/(1x²) dx。这题的常规做法是先做三角换元再用区间再现收尾两步配合得非常漂亮值得完整走一遍。第一步令 x tan t。x 从 0 到 1 对应 t 从 0 到 π/4dx sec²t dt1x² sec²t。于是I ∫^{π/4} ln(1 tan t) · sec²t/sec²t dt ∫₀^{π/4} ln(1 tan t)dt。这一步换元把分母整个消干净了剩下的积分正好就是 3.2 里的 J。如果没做这一步分母里的 1x² 会一直挡在那里。第二步用 3.2 的结论∫₀^{π/4} ln(1tan t)dt (π/8)ln 2。所以 I (π/8)ln 2。第一次看到这题的人通常会在换元之后愣住——分母没了式子变成了一个从没见过原函数的对数积分。但如果你知道 [0, π/4] 上的这个自减技巧后面就是两行。这里还有一个变体值得记∫₀^1 ln x/(1x²)dx 和其他一些含 x² 分母的对数积分把区间和换元配合起来常常能凑出闭环。判断的信号是分母是 1x² 且区间是 [0,1]因为 x tan t 会把 [0,1] 映到 [0,π/4]而 [0,π/4] 上的区间再现又恰好能自减。提示含 1x² 的积分三角换元 x tan t 是默认选项换完后如果区间变成了 [0, π/4]立刻检查能不能用区间再现自减。这两步是配套的缺一步都做不下去。4. 使用时的边界、失效情形与常见错误4.1 主公式永远成立但能帮上忙是有条件的先把这个说清楚避免走偏主公式 ∫ₐᵇ f(x)dx ∫ₐ f(ab-x)dx 对任意可积函数、任意区间都成立。它不是在某种条件下才可用的技巧它是恒等式。哪怕 f 是随便一个乱七八糟的函数这个等式照样是对的——只是翻完之后你可能什么也得不到。所谓的失效实际有三种情况。第一种翻完之后没有产生任何新信息。比如 f(x) 里含 x 的高次项或者含 e^x 这类项f(ab-x) 和 f(x) 之间配不出和、差、常数两式相加之后只是得到一个同样复杂的式子没有帮助。这不叫公式不成立叫这条路不通该换分部积分或者其他方法。第二种误用了带条件的推论。比如 f 里混了 cos x你还在用折半或者x 因子剥离。前面反复强调了那几条推论的前提是 f 只含 sin x。前提不满足结论就不成立。这是实际做题中最常见的失分点而且错得往往很隐蔽因为步骤看起来一模一样。第三种区间端点代错。主公式里 ab 是两端之和x 换成 ab-x 之后a 对应的值是 bb 对应的值是 a。写成 a-b-x 或者 a-bx 都会让整个推导垮掉。特别是区间不关于原点对称的时候比如 [1, 3]端点之和是 4代换成 4-x这一点千万别凭感觉。4.2 五类高频错误的对照排查表现象常见原因怎么改翻完区间后积分区间变了换限后忘了负号与颠倒上下限抵消这一步记住 ab-x 把 [a,b] 映回 [a,b]中间不会换到别的区间端点代换写错把 ab 写成 a-b 或 b-a明确 a、b 是两端代换用两端之和减 x折半/互换后结果不对f 里混了 cos x 或其他不含 sin 的项先用恒等式把所有东西统一到 sin x 上做不到就别用这两条两式相加后系数搞错2I 常数 这一步漏乘或错乘相加时先写清两个 I 的完整表达式再合并同类项抽象题配不出常数a 与 b 代入位置颠倒逐项检查 f(ab-x) 中 x 替换后的取值这张表里的每一行我都真实见过。尤其是第一行和第三行出镜率最高。第一行的根源是对区间再现和普通换元的区别没吃透——普通换元会把区间搬到别处区间再现是原地翻面所以上下限看起来没变但中间的负号必须处理干净。第三行的根源是背结论不记条件把推论当主公式使这在考场上是很致命的。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 xsin 变成了 cos所以只有当 f(sin x) 和 f(cos x) 能配对上才有用。我有一段时间没意识到这个差别直接照搬 [0, π] 的结论算出一个错答案还反复检查不出问题。后来养成习惯每次翻完先把新变量下的函数形式完整写出来再决定下一步不凭印象跳步。第三个坑是收敛性问题。∫₀^{π/2} ln(sin x)dx 在 x 0 处是反常积分因为 ln(sin x) → -∞。区间再现的推导在反常积分上需要额外确认收敛性虽然这个具体的积分确实收敛但严格书写的时候不能当成普通定积分一笔带过。如果是考试作答至少提一句该反常积分收敛或者用极限定义写一步把过程补完整。实操心得把翻区间当成一个固定动作之前先花两秒钟做三件事——看清楚区间的两端、看清楚新变量下的函数形状、判断能不能凑出和或差。这三件事做完再动笔能省掉一大半返工。这个习惯我养了几年后来做题的准确率明显上了一个台阶。5. 和别的技巧组合起来用5.1 与三角换元叠加区间再现和三角换元经常是连着的这是最实用的一组搭档。典型的触发条件是被积函数里有 1x² 或者 √(1-x²) 这类结构区间是 [0, 1]。拿 3.5 的题再看一遍∫₀^1 ln(1x)/(1x²)dx (π/8)ln 2。整条链是三角换元 → 区间变成 [0, π/4] → 区间再现自减 → 出答案。如果只做换元不做区间再现会停在 ∫₀^{π/4} ln(1tan 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 0b 1x → 1-x被积函数变成 (1-x)^m x^n x^n(1-x)^m积分值不变。这个等式说明 m 和 n 可以互换位置是 Beta 函数 B(m1, n1) B(n1, m1) 的积分版本。它本身不是算积分的方法但它能让你在遇到两端幂次不对称的式子时往更省事的那一侧靠。再比如 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 换成 ab-x 之后式子变成了什么。这三句话过完用不用区间再现基本就定了。这个习惯花不了十秒钟但它能帮你避开绝大部分算到一半发现方向错了的情况。第二推论我建议只背两条——主公式和推论四。其余几条都可以在考场上用主公式现推推一次也就两三行比背错结论安全得多。尤其是推论二和推论三条件容易记混现推反而更快。第三遇到反常积分比如含 ln、含 1/x 在端点发散用区间再现时一定要先确认收敛性。这不是形式主义因为两式相加的推导本身是建立在积分存在且有限的前提上的。这个细节在平时做题时容易被忽略但在需要写严格过程的时候它决定你丢不丢分。第四三角有理式那一类题只要分母呈现出两个互补结构相加的样子先试配对别急着做万能代换。万能代换 t tan(x/2) 当然能算但计算量经常是配对法的五倍以上而且极易算错。这些习惯没什么高深的都是一次次算错之后总结出来的。区间再现公式本身不难难的是知道什么时候该想起它。 定积分区间再现公式：原理、推论与五类典型题型
定积分算不动的时候我一般不会立刻去换元也不会马上开分部积分。多年的经验是先看这个积分区间能不能翻过来再看一遍。式子本身并不难看但原函数就是凑不出来——这是绝大多数人卡住的地方。而区间再现公式给出的恰好是一个几乎零成本的起手式同一个积分换个写法两式一加答案往往自己就冒出来了。区间再现公式说的是这样一件事只要 f 在 [a, b] 上可积就有 ∫ₐᵇ f(x)dx ∫ₐᵇ f(ab-x)dx。把区间 [a, b] 关于中点 (ab)/2 做一次镜像反射积分值不变。看着平淡但它撑起了定积分计算里相当大一块题型分母互为倒数的三角有理式、ln(sin x) 这类对数积分、带一个 x 因子的三角积分以及已知 f(x)f(a-x) 求积分的抽象题背后站着的都是它。这篇东西适合三类人看正在准备考试、想把定积分这一块彻底稳住的同学已经会算但每次都要从零推一遍、效率不高的朋友以及想搞清楚这个公式凭什么成立、什么时候会失效的较真派。我打算从它为什么成立讲起把常用的几条推论一条条推出来再拿五类典型题型完整走一遍最后把边界条件和我自己踩过的坑摊开说。看完你应该能做到看到题就知道该不该翻区间翻完往哪个方向凑。1. 区间再现公式到底在做什么1.1 一句话说清公式长什么样公式本体只有一行设 f 在 [a, b] 上连续或可积则 ∫ₐᵇ f(x)dx ∫ₐᵇ f(ab-x)dx。左边看是 f(x)右边看是 f(ab-x)两者在同一个区间上积分值相等。举个最直白的例子a 0b 1则 ∫₀¹ f(x)dx ∫₀¹ f(1-x)dx。0 到 1 上的积分把被积函数里的 x 换成 1-x值不变。再比如 a 0b π就有 ∫₀^π f(x)dx ∫₀^π f(π-x)dx。当区间取成 [-A, A] 时∫₋ₐᵃ f(x)dx ∫₋ᵃ f(-x)dx这正是偶函数不变、奇函数变号的来源。所以别把它看成新东西它就是换元积分法在区间刚好映射回自己这一特殊情形下的产物。ab-x 这个映射有个特点把 a 映到 b把 b 映到 a区间 [a, b] 被它完整地翻回 [a, b] 自己。普通换元是把区间搬到别处去区间再现是把区间原地翻个面。这个区别是理解后面所有推论的钥匙也是为什么它能在完全不求原函数的情况下把答案挤出来。1.2 为什么翻转区间就能白拿一个等式先把推导走一遍一共三步每一步都值得盯紧。第一步做代换 x a b - t。两边微分dx -dt。第二步处理上下限x a 时 t bx b 时 t a所以积分变成 ∫_b^a f(ab-t)(-dt)。第三步用那个负号把上下限换回来∫_b^a f(ab-t)(-dt) ∫ₐᵇ f(ab-t)dt。最后把哑变量 t 改回 x就得到 ∫ₐ f(x)dx ∫ₐᵇ f(ab-x)dx。注意第三步那个负号。很多人在这里翻车看到 dx -dt 就直接把负号丢了或者把上下限换成 b 到 a 之后忘了换回来。这里其实做了一件很有意思的事——负号和颠倒的上下限互相抵消了。正因为这层抵消区间才被翻回原处而不是搬走。普通换元换完之后区间会跑到别的地方你必须老老实实用新的上下限区间再现换完之后区间还是原来那个代价是负号必须处理干净。换个角度看这个等式对任意可积函数都成立不需要任何对称性、周期性、奇偶性。它是一条恒等式不是一条在某些条件下才成立的性质。这一点非常重要后面讲什么时候失效时还会回来。先记住公式本身永远对问题永远是它这次能不能帮我。1.3 它和奇偶性、对称性到底是什么关系常见的一种说法是区间再现公式要求区间关于某点对称。这个说法不准确得纠正一下。主公式 ∫ₐᵇ f(x)dx ∫ₐ f(ab-x)dx 对任意区间 [a, b] 都成立跟对称不对称没关系。真正需要额外条件的是推论当我们想让 f(ab-x) 和 f(x) 之间产生某种具体关系比如相等、互为相反数、加起来等于常数时才需要 f 在区间上有额外的结构。打个比方区间再现是一个翻面的动作翻面这个动作本身永远做得了但翻完之后你能不能看出来正反两面是同一个人取决于你翻的是不是一件对称的东西。翻一件普通外套翻完是另一面翻一件双面同款的外套翻完看起来没变。数学上前者对应 f(ab-x) 和 f(x) 毫无关系后者对应 f(ab-x) f(x)或者 f(ab-x) f(x) 等于常数。所以判断能不能用不是先问区间对称吗而是先问把 x 换成 ab-x 之后被积函数变成了什么它和原来的自己有没有配合的可能这个提问顺序看起来像绕口令但它决定了你在卷子上是两行写完还是写满半页还卡着。2. 从主公式推出来的五条常用推论2.1 主公式的推导三步走完别背推导写一遍比背十遍有用。核心就是 x ab-t 这个代换配合上下限交换时出现的那次符号抵消。我把步骤压缩成可复述的形式代换—换限—抵号—改哑变量。代换令 x ab-t则 dx -dt。换限x 从 a 走到 b对应 t 从 b 走到 a。抵号-dt 的负号与 b→a 颠倒的上下限相互抵消区间回到 a→b。改哑变量t 改回 xf(ab-t) 写成 f(ab-x)。顺便说一句如果你把主公式里的 x 换成 ab-x也就是再做一次同样的代换会回到原式。这说明这个操作是对合的——做两次等于没做。这个性质在解题时很好用有时候一次翻面看不出门道翻两次就回到原点了说明这条路走不通该换方向而不是硬着头皮往下算。注意别把 ab-x 记成 a-bx 或者 b-ax。写错一个符号后面全废。记法上可以想a 和 b 是区间的两端把它们加起来再减去 xx 从 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)dxf 是奇函数f(-x) -f(x)立刻得到 0。你不需要单独记偶倍奇零它就是这条推论的两种特例而特例忘了可以现推。更有用的是中间地带f 既不是奇函数也不是偶函数但 f(x) f(-x) 恰好能化简。比如 f(x) 1/(1e^x)在对称区间上f(x)f(-x) 1/(1e^x) 1/(1e^{-x}) 1/(1e^x) e^x/(1e^x) 1。所以 ∫₋₁¹ dx/(1e^x) ∫₀¹ 1 dx 1。这类题用常规做法换元或者拆项凑分母都要绕一圈用推论一是两行的事。这也是1e^x型积分为什么总在题海里出现的原因。2.3 推论二三角函数的折半与互换在三角函数积分里有两条几乎每天都用得上的推论。第一条互换∫₀^{π/2} f(sin x)dx ∫₀^{π/2} f(cos x)dx推导很短。在 [0, π/2] 上用主公式a 0b π/2ab-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 走到 0dx -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 0b πab-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)dxI (π/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 和 aab-x a - xI ∫ᵃ 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(x)dx ∫ₐᵇ f(ab-x)dxf 在 [a,b] 可积无额外条件推论一∫₋ₐᵃ f(x)dx ∫ᵃ[f(x)f(-x)]dx区间关于原点对称推论二·互换∫₀^{π/2} f(sin x)dx ∫₀^{π/2} f(cos x)dxf 表现为只含 sin x 的形式推论二·折半∫₀^{π} f(sin x)dx 2∫^{π/2} f(sin x)dx只含 sin x含 cos x 不成立推论三∫₀^{π} x f(sin x)dx π∫₀^{π/2} f(sin x)dx出现 x 因子剩余部分只含 sin x推论四∫₀ᵃ f(x)/(f(x)f(a-x))dx a/2分母在区间上恒不为零看这张表要注意一件事主公式那一栏写的是无额外条件而下面每一条都多了一行限制。越往下走条件越苛刻适用面越窄。做题时的顺序也该是这样先用主公式看看能不能翻翻完发现函数有对称结构再往上套对应的推论。反过来一上来就硬套推论很容易在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 0b π/2x → π/2 - xI ∫₀^{π/2} dx/(1 tan^n(π/2 - x)) ∫₀^{π/2} dx/(1 cot^n x)。第二步把 cot^n x 写成 1/tan^n x分子分母同乘 tan^n x1/(1 1/tan^n x) tan^n x/(1 tan^n x)。所以 I ∫₀^{π/2} tan^n x/(1tan^n x) dx。第三步两式相加。原来的 I ∫₀^{π/2} 1/(1tan^n x)dx新的 I ∫₀^{π/2} tan^n x/(1tan^n x)dx。分母一样加起来分子是 1tan^n x2I ∫₀^{π/2} (1tan^n x)/(1tan^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^aa 0g(t) ln(1t)都能套进去。判断的信号很清楚分母里出现两个结构相似、互为补角的函数相加。看到这种形状别急着找原函数先配对。3.2 对数型ln(sin x) 与 ln(1tan x)题目一计算 I ∫₀^{π/2} ln(sin x)dx。这个积分的原函数不是初等函数但区间再现能绕过去。先由推论二的互换把 sin 换成 cosI ∫₀^{π/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 2xdu 2dxx 从 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)/(1tan x) (1tan x1-tan x)/(1tan x) 2/(1tan x)。所以J ∫^{π/4} ln[2/(1tan x)]dx ∫₀^{π/4} ln 2 dx - ∫₀^{π/4} ln(1tan x)dx (π/4)ln 2 - J。解得 2J (π/4)ln 2J (π/8)ln 2。这题的精髓在于自己减自己翻完区间发现新的积分等于常数减原来那个直接解方程。这种自指结构是区间再现最漂亮的地方也是它区别于普通换元的地方——普通换元很少能把积分换回自己。记住 tan(π/4 - x) 那个恒等式它在这一类题里出场率极高。3.3 x 因子剥离型x sin x/(1cos²x)题目计算 I ∫₀^{π} x sin x/(1 cos²x) dx。先做条件检查。被积函数里有一个 x 因子剩下的部分是 sin x/(1cos²x)。能不能写成 f(sin x) 的形式cos²x 1 - sin²x所以 sin x/(1cos²x) sin x/(2 - sin²x)。如果把 sin x 看成一个整体字母 s这个函数就是 s/(2-s²)确实只依赖 sin x。条件满足可以用推论三。由推论三的第一种形式I (π/2)∫^{π} sin x/(1cos²x)dx。接下来算 ∫₀^{π} sin x/(1cos²x)dx。令 u cos xdu -sin x dx。x 0 时 u 1x π 时 u -1∫₀^{π} sin x/(1cos²x)dx ∫₁^{-1} -du/(1u²) ∫_{-1}^{1} du/(1u²) [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 - xI ∫ᵃ 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 加自己或自己的镜像等于某函数的条件第一反应就是区间再现然后两式相加。只要能凑出一个好算的和题目基本就破了。关键是把区间的两端准确地代进 ab-xa 和 b 写错一个整个和就配不出来。3.5 换元回套型ln(1x)/(1x²) 的漂亮闭环题目计算 I ∫₀¹ ln(1x)/(1x²) dx。这题的常规做法是先做三角换元再用区间再现收尾两步配合得非常漂亮值得完整走一遍。第一步令 x tan t。x 从 0 到 1 对应 t 从 0 到 π/4dx sec²t dt1x² sec²t。于是I ∫^{π/4} ln(1 tan t) · sec²t/sec²t dt ∫₀^{π/4} ln(1 tan t)dt。这一步换元把分母整个消干净了剩下的积分正好就是 3.2 里的 J。如果没做这一步分母里的 1x² 会一直挡在那里。第二步用 3.2 的结论∫₀^{π/4} ln(1tan t)dt (π/8)ln 2。所以 I (π/8)ln 2。第一次看到这题的人通常会在换元之后愣住——分母没了式子变成了一个从没见过原函数的对数积分。但如果你知道 [0, π/4] 上的这个自减技巧后面就是两行。这里还有一个变体值得记∫₀^1 ln x/(1x²)dx 和其他一些含 x² 分母的对数积分把区间和换元配合起来常常能凑出闭环。判断的信号是分母是 1x² 且区间是 [0,1]因为 x tan t 会把 [0,1] 映到 [0,π/4]而 [0,π/4] 上的区间再现又恰好能自减。提示含 1x² 的积分三角换元 x tan t 是默认选项换完后如果区间变成了 [0, π/4]立刻检查能不能用区间再现自减。这两步是配套的缺一步都做不下去。4. 使用时的边界、失效情形与常见错误4.1 主公式永远成立但能帮上忙是有条件的先把这个说清楚避免走偏主公式 ∫ₐᵇ f(x)dx ∫ₐ f(ab-x)dx 对任意可积函数、任意区间都成立。它不是在某种条件下才可用的技巧它是恒等式。哪怕 f 是随便一个乱七八糟的函数这个等式照样是对的——只是翻完之后你可能什么也得不到。所谓的失效实际有三种情况。第一种翻完之后没有产生任何新信息。比如 f(x) 里含 x 的高次项或者含 e^x 这类项f(ab-x) 和 f(x) 之间配不出和、差、常数两式相加之后只是得到一个同样复杂的式子没有帮助。这不叫公式不成立叫这条路不通该换分部积分或者其他方法。第二种误用了带条件的推论。比如 f 里混了 cos x你还在用折半或者x 因子剥离。前面反复强调了那几条推论的前提是 f 只含 sin x。前提不满足结论就不成立。这是实际做题中最常见的失分点而且错得往往很隐蔽因为步骤看起来一模一样。第三种区间端点代错。主公式里 ab 是两端之和x 换成 ab-x 之后a 对应的值是 bb 对应的值是 a。写成 a-b-x 或者 a-bx 都会让整个推导垮掉。特别是区间不关于原点对称的时候比如 [1, 3]端点之和是 4代换成 4-x这一点千万别凭感觉。4.2 五类高频错误的对照排查表现象常见原因怎么改翻完区间后积分区间变了换限后忘了负号与颠倒上下限抵消这一步记住 ab-x 把 [a,b] 映回 [a,b]中间不会换到别的区间端点代换写错把 ab 写成 a-b 或 b-a明确 a、b 是两端代换用两端之和减 x折半/互换后结果不对f 里混了 cos x 或其他不含 sin 的项先用恒等式把所有东西统一到 sin x 上做不到就别用这两条两式相加后系数搞错2I 常数 这一步漏乘或错乘相加时先写清两个 I 的完整表达式再合并同类项抽象题配不出常数a 与 b 代入位置颠倒逐项检查 f(ab-x) 中 x 替换后的取值这张表里的每一行我都真实见过。尤其是第一行和第三行出镜率最高。第一行的根源是对区间再现和普通换元的区别没吃透——普通换元会把区间搬到别处区间再现是原地翻面所以上下限看起来没变但中间的负号必须处理干净。第三行的根源是背结论不记条件把推论当主公式使这在考场上是很致命的。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 xsin 变成了 cos所以只有当 f(sin x) 和 f(cos x) 能配对上才有用。我有一段时间没意识到这个差别直接照搬 [0, π] 的结论算出一个错答案还反复检查不出问题。后来养成习惯每次翻完先把新变量下的函数形式完整写出来再决定下一步不凭印象跳步。第三个坑是收敛性问题。∫₀^{π/2} ln(sin x)dx 在 x 0 处是反常积分因为 ln(sin x) → -∞。区间再现的推导在反常积分上需要额外确认收敛性虽然这个具体的积分确实收敛但严格书写的时候不能当成普通定积分一笔带过。如果是考试作答至少提一句该反常积分收敛或者用极限定义写一步把过程补完整。实操心得把翻区间当成一个固定动作之前先花两秒钟做三件事——看清楚区间的两端、看清楚新变量下的函数形状、判断能不能凑出和或差。这三件事做完再动笔能省掉一大半返工。这个习惯我养了几年后来做题的准确率明显上了一个台阶。5. 和别的技巧组合起来用5.1 与三角换元叠加区间再现和三角换元经常是连着的这是最实用的一组搭档。典型的触发条件是被积函数里有 1x² 或者 √(1-x²) 这类结构区间是 [0, 1]。拿 3.5 的题再看一遍∫₀^1 ln(1x)/(1x²)dx (π/8)ln 2。整条链是三角换元 → 区间变成 [0, π/4] → 区间再现自减 → 出答案。如果只做换元不做区间再现会停在 ∫₀^{π/4} ln(1tan 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 0b 1x → 1-x被积函数变成 (1-x)^m x^n x^n(1-x)^m积分值不变。这个等式说明 m 和 n 可以互换位置是 Beta 函数 B(m1, n1) B(n1, m1) 的积分版本。它本身不是算积分的方法但它能让你在遇到两端幂次不对称的式子时往更省事的那一侧靠。再比如 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 换成 ab-x 之后式子变成了什么。这三句话过完用不用区间再现基本就定了。这个习惯花不了十秒钟但它能帮你避开绝大部分算到一半发现方向错了的情况。第二推论我建议只背两条——主公式和推论四。其余几条都可以在考场上用主公式现推推一次也就两三行比背错结论安全得多。尤其是推论二和推论三条件容易记混现推反而更快。第三遇到反常积分比如含 ln、含 1/x 在端点发散用区间再现时一定要先确认收敛性。这不是形式主义因为两式相加的推导本身是建立在积分存在且有限的前提上的。这个细节在平时做题时容易被忽略但在需要写严格过程的时候它决定你丢不丢分。第四三角有理式那一类题只要分母呈现出两个互补结构相加的样子先试配对别急着做万能代换。万能代换 t tan(x/2) 当然能算但计算量经常是配对法的五倍以上而且极易算错。这些习惯没什么高深的都是一次次算错之后总结出来的。区间再现公式本身不难难的是知道什么时候该想起它。