交换积分顺序得
F(t)=积分(从1到t)dx 积分(从1到x)f(x)dy
=积分(从1到t) (x-1)f(x)dx
由微积分基本定理知道
F'(t)=(t-1)f(t),因此
F'(2)=f(2).