奇偶函数与周期函数的定积分

奇偶函数与周期函数的定积分

小象实战讲义 · 人工智能数学基础

在求解定积分时，直接套用牛顿-莱布尼兹公式有时计算繁琐。许多函数本身具有对称性或周期性，利用这些性质可以极大地简化计算过程。本节将学习如何利用函数的奇偶性和周期性，快速求解对称区间或周期长度上的定积分，并掌握一个基于积分区间对称性的通用技巧。

💡 核心导读

本节你将掌握以下核心技能：

1. 奇偶函数的积分简化：掌握奇函数在对称区间上积分为零，偶函数在对称区间上积分可化为半区间两倍的结论。
2. 周期函数的积分平移：理解周期函数在任意一个完整周期上的积分值相等，从而可以将积分区间平移至标准起点（如0）。
3. 积分区间的对称变换：学习一个重要的恒等式 $\int_{0}^{a} f(x) dx = \int_{0}^{a} f(a-x) dx$，并理解其几何意义。
4. 综合应用技巧：通过典型例题，学习如何将上述性质与恒等式结合，巧妙求解复杂的定积分。

奇偶函数的定积分

函数的奇偶性源于其图像的对称性。设函数 $f(x)$ 的定义域关于原点对称。

• 偶函数：满足 $f(-x) = f(x)$，其图像关于 $y$ 轴对称。
• 奇函数：满足 $f(-x) = -f(x)$，其图像关于原点对称。

当积分区间关于原点对称，即形如 $[-a, a]$ 时，奇偶性会带来极大的计算简化。

偶函数的积分

考虑偶函数 $f(x)$ 在区间 $[-a, a]$ 上的定积分 $\int_{-a}^{a} f(x) dx$。其几何意义是曲线 $y=f(x)$ 与 $x$ 轴在 $[-a, a]$ 上围成的面积。

由于图像关于 $y$ 轴对称，左右两侧的面积完全相等。因此，整个区间的面积等于右半区间 $[0, a]$ 上面积的两倍。

$$\int_{-a}^{a} f(x) dx = 2 \int_{0}^{a} f(x) dx$$

结论：计算偶函数在对称区间上的积分，只需计算其在 $[0, a]$ 上的积分，然后乘以2。

奇函数的积分

考虑奇函数 $f(x)$ 在区间 $[-a, a]$ 上的定积分 $\int_{-a}^{a} f(x) dx$。

由于图像关于原点对称，在 $y$ 轴右侧 ($x>0$) 的“正面积”与在 $y$ 轴左侧 ($x<0$) 的“负面积”恰好相互抵消。

$$\int_{-a}^{a} f(x) dx = 0$$

结论：奇函数在关于原点对称的区间上的定积分为零。这是一个非常强大的结论，遇到此类情况可直接写出答案。

周期函数的定积分

周期函数是指存在一个正常数 $T$，使得对于定义域内所有 $x$，都有 $f(x+T) = f(x)$ 成立的函数。$T$ 称为函数的周期。

周期函数有一个重要性质：它在任意一个长度为周期 $T$ 的区间上的积分值都相等。即，对于任意实数 $a$，有：

$$\int_{a}^{a+T} f(x) dx = \int_{0}^{T} f(x) dx$$

证明： 对任意实数 $a$，将积分拆分为两部分： $$\int_{a}^{a+T} f(x) dx = \int_{a}^{T} f(x) dx + \int_{T}^{a+T} f(x) dx$$ 对第二部分积分做换元 $u = x - T$，则 $x = u + T$，$dx = du$，积分上下限从 $x=T$ 到 $x=a+T$ 变为 $u=0$ 到 $u=a$。结合周期函数性质 $f(u+T) = f(u)$，可得： $$\int_{T}^{a+T} f(x) dx = \int_{0}^{a} f(u+T) du = \int_{0}^{a} f(u) du$$ 注意到 $\int_{a}^{T} f(x) dx = -\int_{T}^{a} f(x) dx$，而 $\int_{0}^{a} f(u) du = \int_{0}^{a} f(x) dx$。因此： $$\int_{a}^{a+T} f(x) dx = \int_{a}^{T} f(x) dx + \int_{0}^{a} f(x) dx = \int_{0}^{T} f(x) dx$$

结论：计算周期函数在一个完整周期上的积分时，我们可以自由地将积分起点平移至一个方便计算的位置，最常用的就是 $[0, T]$。

一个重要的积分恒等式及其应用

除了奇偶性和周期性，积分区间本身也存在一种对称性，可以导出一个非常有用的恒等式。

恒等式的建立

考虑定积分 $I = \int_{0}^{a} f(x) dx$。其几何意义是从左向右“累加”宽度为 $dx$ 的小矩形面积。 我们也可以从右向左进行累加。此时，每个小矩形的高度由该点距离右端点 $a$ 的距离决定，即 $f(a-x)$，宽度仍为 $dx$（从 $a$ 向左移动）。

这两种累加方式得到的总面积显然是相等的。因此，我们得到以下恒等式：

$$\int_{0}^{a} f(x) dx = \int_{0}^{a} f(a-x) dx$$

这个等式对任意函数 $f(x)$ 和任意上限 $a$ 都成立。

技巧应用：例题解析

这个恒等式本身看似简单，但与其他技巧结合时，能产生意想不到的简化效果。

例题1：计算 $I = \int_{0}^{\pi} \frac{x \sin x}{1 + \cos^2 x} dx$。

分析：被积函数中 $x$ 与 $\sin x$ 相乘，直接积分较难。注意到积分上限为 $\pi$，可尝试应用恒等式 $I = \int_{0}^{\pi} \frac{(\pi - x) \sin(\pi - x)}{1 + \cos^2(\pi - x)} dx$。

解： 令 $I = \int_{0}^{\pi} \frac{x \sin x}{1 + \cos^2 x} dx$。 根据恒等式，有： $$I = \int_{0}^{\pi} \frac{(\pi - x) \sin(\pi - x)}{1 + \cos^2(\pi - x)} dx$$ 利用三角恒等式 $\sin(\pi - x) = \sin x$，$\cos(\pi - x) = -\cos x$，且 $(-\cos x)^2 = \cos^2 x$，得： $$I = \int_{0}^{\pi} \frac{(\pi - x) \sin x}{1 + \cos^2 x} dx$$ 将原式 $I$ 与此式相加： $$2I = \int_{0}^{\pi} \frac{x \sin x + (\pi - x) \sin x}{1 + \cos^2 x} dx = \int_{0}^{\pi} \frac{\pi \sin x}{1 + \cos^2 x} dx$$ 于是： $$I = \frac{\pi}{2} \int_{0}^{\pi} \frac{\sin x}{1 + \cos^2 x} dx$$ 对剩下的积分进行换元，令 $u = \cos x$，则 $du = -\sin x dx$。当 $x=0$ 时，$u=1$；当 $x=\pi$ 时，$u=-1$。 $$\begin{aligned} I &= \frac{\pi}{2} \int_{1}^{-1} \frac{-du}{1+u^2} \ &= \frac{\pi}{2} \int_{-1}^{1} \frac{du}{1+u^2} \ &= \frac{\pi}{2} \left[ \arctan u \right]_{-1}^{1} \ &= \frac{\pi}{2} \left( \frac{\pi}{4} - (-\frac{\pi}{4}) \right) \ &= \frac{\pi}{2} \cdot \frac{\pi}{2} = \frac{\pi^2}{4} \end{aligned}$$

例题2：计算 $I = \int_{0}^{\frac{\pi}{2}} \frac{\sin x}{\sin x + \cos x} dx$。

分析：积分上限为 $\frac{\pi}{2}$，且分母中 $\sin x$ 与 $\cos x$ 具有对称性。考虑应用恒等式，令 $x \to \frac{\pi}{2} - x$。

解： 令 $I = \int_{0}^{\frac{\pi}{2}} \frac{\sin x}{\sin x + \cos x} dx$。 根据恒等式，令 $a = \frac{\pi}{2}$，有： $$I = \int_{0}^{\frac{\pi}{2}} \frac{\sin(\frac{\pi}{2} - x)}{\sin(\frac{\pi}{2} - x) + \cos(\frac{\pi}{2} - x)} dx = \int_{0}^{\frac{\pi}{2}} \frac{\cos x}{\cos x + \sin x} dx$$ 将原式 $I$ 与此式相加： $$2I = \int_{0}^{\frac{\pi}{2}} \frac{\sin x + \cos x}{\sin x + \cos x} dx = \int_{0}^{\frac{\pi}{2}} 1 dx = \frac{\pi}{2}$$ 因此： $$I = \frac{\pi}{4}$$

这个技巧的关键在于，通过变换 $x \to a-x$，我们得到了一个与原积分形式相似但分子（或部分结构）不同的新积分，两者相加时，复杂的部分被消去，从而简化计算。

import numpy as np
import sympy as sp

# 使用Sympy验证例题1和例题2的结果
print("=== 验证例题1结果 ===")
x = sp.symbols('x')
I1_expr = (x * sp.sin(x)) / (1 + sp.cos(x)**2)
I1_calc = sp.integrate(I1_expr, (x, 0, sp.pi))
print(f"计算积分 I1 = ∫_0^π [x*sin(x)/(1+cos^2(x))] dx")
print(f"符号计算结果: {I1_calc}")
print(f"数值近似值: {I1_calc.evalf()}")
print(f"理论结果 π^2/4 的数值: {(sp.pi**2/4).evalf()}")

print("\n=== 验证例题2结果 ===")
I2_expr = sp.sin(x) / (sp.sin(x) + sp.cos(x))
I2_calc = sp.integrate(I2_expr, (x, 0, sp.pi/2))
print(f"计算积分 I2 = ∫_0^(π/2) [sin(x)/(sin(x)+cos(x))] dx")
print(f"符号计算结果: {I2_calc}")
print(f"数值近似值: {I2_calc.evalf()}")
print(f"理论结果 π/4 的数值: {(sp.pi/4).evalf()}")

# 演示奇偶函数积分性质
print("\n=== 演示奇偶函数积分性质 ===")
# 定义一个偶函数 f(x) = x^2 和奇函数 g(x) = x^3
a = 2
x_vals = np.linspace(-a, a, 1000)
f_vals = x_vals**2  # 偶函数
g_vals = x_vals**3  # 奇函数

# 数值积分（梯形法）
I_f_full = np.trapezoid(f_vals, x_vals)  # ∫_{-a}^{a} x^2 dx
I_f_half = np.trapezoid(f_vals[x_vals>=0], x_vals[x_vals>=0]) # ∫_{0}^{a} x^2 dx
I_g_full = np.trapezoid(g_vals, x_vals)  # ∫_{-a}^{a} x^3 dx

print(f"偶函数 x^2 在 [-{a}, {a}] 上的数值积分: {I_f_full:.6f}")
print(f"偶函数 x^2 在 [0, {a}] 上的数值积分: {I_f_half:.6f}")
print(f"验证 2 * ∫_0^{a} = {2*I_f_half:.6f} ≈ ∫_{-a}^{a} ? {np.isclose(2*I_f_half, I_f_full, atol=1e-5)}")
print(f"奇函数 x^3 在 [-{a}, {a}] 上的数值积分: {I_g_full:.6f} (应接近0)")

📝 动手练一练

1. 快速判断：不进行计算，直接写出下列定积分的值（或化简形式）。 a) $\int_{-1}^{1} x^5 \cos x , dx$ b) $\int_{-\pi/2}^{\pi/2} \sin^3 x , dx$ c) $\int_{-2}^{2} (x^4 + 2x^2 + 1) , dx$ d) $\int_{0}^{2\pi} \sin(3x) , dx$ （提示：考虑周期性）

2. 技巧应用：利用本节所学的恒等式 $\int_{0}^{a} f(x) dx = \int_{0}^{a} f(a-x) dx$，计算积分： $$I = \int_{0}^{1} \frac{\ln(1+x)}{1+x^2} dx$$ （提示：先令 $x = \tan t$ 将积分化为关于 $t$ 的积分，再取 $a = \frac{\pi}{4}$ 应用本节恒等式，寻找与原式相加能产生简化的形式。）

参考答案：

1. a) 被积函数 $x^5 \cos x$ 是奇函数（奇×偶=奇），在对称区间 $[-1,1]$ 上积分为 0。 b) $\sin^3 x$ 是奇函数（奇函数的奇次幂仍是奇函数），在对称区间 $[-\pi/2, \pi/2]$ 上积分为 0。 c) 被积函数 $x^4+2x^2+1$ 是偶函数，可化简为 $2\int_{0}^{2} (x^4+2x^2+1) dx$。 d) $\sin(3x)$ 的周期为 $2\pi/3$，在长度 $2\pi$（即3个完整周期）上的积分为 0（每个周期内正负面积抵消）。
2. 令 $I = \int_{0}^{1} \frac{\ln(1+x)}{1+x^2} dx$。第一步先换元 $x = \tan t$，则 $dx = \sec^2 t , dt$，$1+x^2 = \sec^2 t$，积分区间从 $[0,1]$ 变为 $[0, \frac{\pi}{4}]$： $$I = \int_{0}^{\frac{\pi}{4}} \ln(1+\tan t) , dt$$ 第二步取 $a = \frac{\pi}{4}$，应用本节恒等式（相当于令 $t \to \frac{\pi}{4} - t$）： $$I = \int_{0}^{\frac{\pi}{4}} \ln\left(1+\tan\left(\frac{\pi}{4}-t\right)\right) dt$$ 利用 $\tan\left(\frac{\pi}{4}-t\right) = \frac{1-\tan t}{1+\tan t}$，可得： $$1+\tan\left(\frac{\pi}{4}-t\right) = 1 + \frac{1-\tan t}{1+\tan t} = \frac{2}{1+\tan t}$$ 取对数：$\ln\left(1+\tan\left(\frac{\pi}{4}-t\right)\right) = \ln 2 - \ln(1+\tan t)$。代入上式： $$I = \int_{0}^{\frac{\pi}{4}} \left[\ln 2 - \ln(1+\tan t)\right] dt = \frac{\pi}{4}\ln 2 - I$$ 移项即得 $2I = \frac{\pi}{4}\ln 2$，所以 $I = \frac{\pi}{8} \ln 2$。这道题的关键在于：恒等式中的”$a$”不一定是原积分的上限，换元后新积分的上限才是应用恒等式的正确选择。

本章小结

本节深入探讨了利用函数特性简化定积分计算的方法：

• 奇偶性：对称区间上，奇函数积分为零，偶函数积分可折半计算。这是最直接、最常用的简化工具。
• 周期性：周期函数在任意一个完整周期上的积分值相等，允许我们将积分区间平移至最方便计算的标准位置。
• 区间对称恒等式：$\int_{0}^{a} f(x) dx = \int_{0}^{a} f(a-x) dx$ 是一个普适的恒等式，其核心思想是积分与累加方向无关。通过构造与原积分对称的“镜像”积分，两者相加往往能消去复杂项，是解决特定类型积分问题的巧妙钥匙。

行动清单

1. 养成先判断的习惯：遇到定积分，首先观察被积函数的奇偶性和积分区间是否对称，以及函数是否具有周期性。
2. 掌握恒等式的应用场景：当积分上限为常数 $a$，且被积函数在 $x$ 和 $a-x$ 处形式有关联时，主动尝试使用恒等式进行变换。
3. 完成代码验证：运行讲义中的Python代码，直观感受奇偶函数积分的性质，并验证例题结果的正确性，加深对理论的理解。

— 小象教研组