Wallis 公式(点火公式)与区间再现公式专项技巧
模块一:Wallis 公式(点火公式 / 华里士公式)
1. 标准公式与递推本质
💡 递推原理推导(分部积分)
通过分部积分可建立降次递推关系:
In=∫0π/2sinn−1xd(−cosx)=[−sinn−1xcosx]0π/2+(n−1)∫0π/2sinn−2xcos2xdx=0+(n−1)∫0π/2sinn−2x(1−sin2x)dx=(n−1)In−2−(n−1)In
移项整理即得核心递推公式:
In=nn−1In−2
- 初始项:I1=∫0π/2sinxdx=1;I0=∫0π/21dx=2π。
2. 30 秒极速记忆口诀与高频速查表
常用高频项速查表(考场直接口算)
| 幂次 n | 奇偶性 | 展开计算式 | 积分值 In |
|---|
| n=1 | 奇数 | 1 | 1 |
| n=2 | 偶数 | 21⋅2π | 4π |
| n=3 | 奇数 | 32⋅1 | 32 |
| n=4 | 偶数 | 43⋅21⋅2π | 163π |
| n=5 | 奇数 | 54⋅32⋅1 | 158 |
| n=6 | 偶数 | 65⋅43⋅21⋅2π | 325π |
3. 对称区间与全周期拓展(考研高频实战)
点火公式原定义在 [0,2π] 上,结合三角函数在各象限的符号与对称性,可直接扩展至更宽区间:
4. 典型实战例题:换元后调用点火公式
【解】
令 x=atant(t∈[0,2π)),则 dx=asec2tdt,x2+a2=a2sec2t:
I=∫0π/2(a2sec2t)nasec2tdt=a2n−11∫0π/2sec2n−2t1dt=a2n−11∫0π/2cos2n−2tdt
直接套用 Wallis 公式:
I=a2n−11I2n−2
例如当 a=1,n=2 时:
∫0+∞(x2+1)2dx=I2=4π
模块二:区间再现公式及其推论
1. 基本公式与几何本质
💡 几何本质
y=f(a+b−x) 是曲线 y=f(x) 关于垂直直线 x=2a+b 进行水平镜像翻转后的图形。由于在区间 [a,b] 上的总面积不随图形左右镜像而改变,因而积分值严格相等。
2. 核心推论:消去线性因子 x(考研第一秒杀推论)
💡 推论证明(两式相加法)
令 I=∫abxg(x)dx。
利用区间再现公式(令 x=a+b−t):
I=∫ab(a+b−x)g(a+b−x)dx=∫ab(a+b−x)g(x)dx=(a+b)∫abg(x)dx−I
移项得 2I=(a+b)∫abg(x)dx,两边同除以 2 证毕!
3. 解题信号与适用场景
| 题型特征 | 核心信号 | 解题动作 |
|---|
| 信号 1:含 x 乘积项 | 形如 ∫abx⋅g(x)dx,且 g(x) 具有轴对称性(如三角函数、圆弧) | 直接套用推论将 x 提为常数 2a+b |
| 信号 2:互补对称结构 | 被积函数无法求原函数,但分子分母含 ex,sinx,cosx 等对称结构 | 令 x=a+b−t,两式相加分子分母抵消为 1 |
4. 经典题型与真题示范
题型一:消 x 因子秒杀定积分
【解】
设 g(x)=2x−x2,区间为 [0,2](a+b=2)。
检验对称性:g(2−x)=2(2−x)−(2−x)2=2x−x2=g(x)。
直接由消 x 因子推论提取:
∫02x2x−x2dx=20+2∫022x−x2dx=1⋅∫021−(x−1)2dx
由半径为 1 的上半圆几何面积:
∫022x−x2dx=21π(1)2=2π
题型二:周期绝对值与区间再现组合
【解】
区间为 [0,nπ],a+b=nπ。
由于 ∣sin(nπ−x)∣=∣sinx∣,满足对称条件,直接消去 x:
I=2nπ∫0nπ∣sinx∣dx=2nπ⋅n∫0πsinxdx=2nπ⋅2n=n2π
题型三:互补对称结构(两式相加消去被积函数)
【解】
令 x=2π−t:
I=∫0π/2sinn(2π−t)+cosn(2π−t)sinn(2π−t)dt=∫0π/2cosnx+sinnxcosnxdx
两式相加:
2I=∫0π/2sinnx+cosnxsinnx+cosnxdx=∫0π/21dx=2π⟹I=4π
模块三:两大核武器联用综合大题模型
考研中常将 区间再现公式 与 Wallis 公式 联合考察:第一步用区间再现消去 x 因子,第二步用点火公式一步出值。
【解】
- 第一步:区间再现消去 x
设 g(x)=1+cos2xsin3x,在 [0,π] 上 a+b=π。
g(π−x)=1+cos2(π−x)sin3(π−x)=1+(−cosx)2sin3x=g(x)。
由消 x 因子推论:
I=2π∫0π1+cos2xsin3xdx=2π⋅2∫0π/21+cos2xsin3xdx=π∫0π/21+cos2x1−cos2xsinxdx
- 第二步:凑微分积分
令 u=cosx(x=0→u=1,x=π/2→u=0):
I=π∫101+u21−u2(−du)=π∫011+u21−u2du=π∫01(1+u22−1)du=π[2arctanu−u]01=π(2⋅4π−1)=2π2−π
Discussion
Comments
Thoughts, corrections, and follow-up notes are welcome here.