xf(t)在闭区间[a,x]上的定积分的导数