嘿，咱们一步一步把这两个问题理清楚，先搞定视频里的证明逻辑，再解释积分常数为啥和x无关～

一、拆解视频里的证明思路 #

视频里用的是微积分里的经典技巧：如果两个函数的导数处处相等，那它们最多差一个常数，再通过代入特殊值确定常数为0。咱们拆成细节看：

1. 先算左边的导数：
   左边是$\int_{0}^{x} \int_{0}^{u} f(t),dt,du$，用变上限积分的求导法则（莱布尼茨公式），对x求导时直接把上限x替换内层积分的上限u，得到：
   $$\frac{d}{dx}LHS = \int_{0}^{x} f(t),dt$$

2. 再算右边的导数：
   右边$\int_0^x f(u)(x-u)du$里，x对积分变量u来说是固定值，所以可以拆成$x\int_0^x f(u)du - \int_0^x u f(u)du$，再分别求导：

   • 第一项用乘积法则求导：$\frac{d}{dx}\left(x\int_0^x f(u)du\right) = \int_0^x f(u)du + x f(x)$
   • 第二项直接用变上限积分求导：$\frac{d}{dx}\left(\int_0^x u f(u)du\right) = x f(x)$
     把两项相减，$x f(x)$抵消，结果就是$\int_0^x f(u)du$，和左边的导数完全一样。

3. 为什么会出现常数C？
   这是微积分的核心结论：如果$F'(x)=G'(x)$在某个区间上处处成立，那么$F(x)-G(x)=C$，这里的C是个固定常数——因为导数为0的函数只能是常数函数（前提是函数连续，这里f(x)连续，所以两边的函数都满足这个条件）。

4. 为啥x=0就能确定C=0？
   代入x=0时，左边的积分上下限都是0，结果肯定是0；右边的积分上下限也都是0，结果也是0。所以$0=0+C$，直接得出C=0，等式就严格成立了。

二、为什么积分常数C和x无关？ #

这个问题本质上是“导数为0的函数为什么是常数”的延伸：

• 假设$H(x)=F(x)-G(x)$，我们已经证明$H'(x)=0$对所有x都成立。
• 根据均值定理的推论：如果一个函数在某个区间上的导数恒为0，那这个函数在整个区间上就是固定不变的常数。也就是说，不管x取什么值，H(x)的结果都是同一个数，不可能随x变化——要是C随x变，那H(x)的导数就不可能是0了，这就矛盾了。

举个直观的例子：如果$f'(x)=0$，那f(x)只能是像2、-7这种固定数值，绝对不可能是f(x)=x或者f(x)=cosx这种随x变化的函数，因为后者的导数根本不是0。所以这里的C必然是和x无关的固定常数。

内容的提问来源于stack exchange，提问作者Neev Parikh