《数学问题绿皮书》第5题：求解指定区间内的定积分

嘿，这个积分可是微积分里的经典对称题型，咱们一步步拆解它：

首先，设这个积分的结果为 $I$：
$$I = \int_{0}^{a} \frac{f(x)}{f(x)+f(a-x)} dx$$

接下来用换元法处理，令 $t = a - x$。当 $x=0$ 时，$t=a$；当 $x=a$ 时，$t=0$，同时 $dx = -dt$。把这些代入原积分：
$$I = \int_{a}^{0} \frac{f(a-t)}{f(a-t)+f(t)} (-dt)$$

交换积分上下限会抵消掉负号，而且积分变量的符号不影响结果（把 $t$ 换成 $x$ 完全没问题），所以上式可以改写为：
$$I = \int_{0}^{a} \frac{f(a-x)}{f(a-x)+f(x)} dx$$

现在把原来的 $I$ 和这个新的 $I$ 加起来：
$$2I = \int_{0}^{a} \frac{f(x)}{f(x)+f(a-x)} dx + \int_{0}^{a} \frac{f(a-x)}{f(x)+f(a-x)} dx$$

把两个积分合并，分子相加后刚好等于分母：
$$2I = \int_{0}^{a} \frac{f(x) + f(a-x)}{f(x)+f(a-x)} dx = \int_{0}^{a} 1 dx$$

计算这个简单的积分：
$$\int_{0}^{a} 1 dx = a$$

所以 $2I = a$，最终解得：
$$I = \frac{a}{2}$$

要特别说明的是，题目里已经保证积分区间内分母恒不为零，而且咱们不需要对 $f(x)$ 的连续性、可导性做任何假设——只要这个积分是存在的（题目隐含了可积前提），整个推导就完全成立，因为过程只用到了积分的换元性质和基本运算规则。

内容的提问来源于stack exchange，提问作者donal obaoill