∵f(t)的原函数是F(t)
∴据牛顿莱布尼茨公式有 F(x)=∫[a,x/2]f(t)dt=F(x/2)-F(a)
根据复合函数求导公式有 F'(x)=[F(x/2)-F(a)]'=f(x/2)(x/2)'+0=1/2*f(x/2)为什么F(x)的导函数是f(x)啊？课本上有证明是微积分基本原理吗？对，其实直接代入变限积分求导公式也行。恩，谢谢