let
g(x)=∫0xf(u)(x−u)du−∫0x(∫0uf(t)dt)du
By the Fundamental Theorem of Calculus:
dxd(∫0xuf(u)du)=xf(x)
dxd(∫0x∫0uf(t)dtdu)=∫0xf(t)dt
Notice here we needed both that f and the indefinite integral of f are continuous functions. Now,
g′(x)=∫0xf(t)dt+xf(x)−xf(x)−∫0xf(u)du=0
So by the Mean Value Theorem, g is a constant. Further, observe that
g(0)=∫00f(u)(x−u)du−∫00(∫0uf(t)dt)du=0−0=0
Thus, g(x) = 0 for all x. It follows that
∫0xf(u)(x−u)du=∫0x(∫0uf(t)dt)du
Comments