关于f(t)的积分上限函数关于x求导后的结果为f(x)
求导的证明是利用导数的定义和区间的可加性做出来的.
通常书上有上面的结论的.