6.6.2 Additivity Property over Intervals

定积分的区间可加性，即∫[a,b]f(x)dx + ∫[b,c]f(x)dx = ∫[a,c]f(x)dx，用于分段计算积分

定义

定积分的区间可加性（Additivity Property over Intervals）是指：如果函数 \(f(x)\) 在区间 \([a,c]\) 上可积，且 \(a < b < c\)，那么在点 \(b\) 处可以将积分区间分割，使得整个区间上的定积分等于各分段积分的和。具体地，定积分具有以下可加性质：对于任意三个数 \(a, b, c\)（不论其大小关系），都有 \(\int_a^b f(x)\,dx + \int_b^c f(x)\,dx = \int_a^c f(x)\,dx\)。这个性质允许我们将复杂的积分区间分解为若干个简单的子区间，分别计算后再求和，从而简化积分的计算过程。特别地，当被积函数在不同区间上有不同的表达式时（分段函数），这个性质尤为重要。

核心公式

• \(\int_a^c f(x)\,dx = \int_a^b f(x)\,dx + \int_b^c f(x)\,dx\)，其中 \(a < b < c\)
• \(\int_a^b f(x)\,dx + \int_b^c f(x)\,dx + \int_c^d f(x)\,dx = \int_a^d f(x)\,dx\)
• \(\int_a^b f(x)\,dx = -\int_b^a f(x)\,dx\)（积分上下限互换性质）
• \(\int_a^a f(x)\,dx = 0\)（同一点的积分为零）
• \(\int_a^c f(x)\,dx = \int_a^b f(x)\,dx + \int_b^c f(x)\,dx\) 对任意实数 \(a, b, c\) 成立（不限制大小关系）

易错点

• ⚠️ 混淆区间顺序：学生常常假设 \(a < b < c\) 才能使用可加性，但实际上对于任意三个数 \(a, b, c\)（不论其大小关系），可加性都成立。例如，\(\int_5^2 f(x)\,dx + \int_2^8 f(x)\,dx = \int_5^8 f(x)\,dx\) 也是正确的
• ⚠️ 在分段函数中忘记在分界点处分割：当被积函数在某点处定义改变时，必须在该点处分割积分区间，否则会导致计算错误。例如，对于分段函数在 \(x=2\) 处有定义变化，必须写成 \(\int_0^4 f(x)\,dx = \int_0^2 f(x)\,dx + \int_2^4 f(x)\,dx\)
• ⚠️ 错误地应用可加性到不连续函数：虽然可加性对于有限个间断点的函数仍然成立，但学生有时会忽视函数的连续性条件，导致在某些特殊情况下得出错误结论
• ⚠️ 符号错误：在使用 \(\int_a^b f(x)\,dx = -\int_b^a f(x)\,dx\) 时，学生容易遗漏负号，特别是在涉及多个区间的组合计算中