∵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)啊？

　　课本上有证明

　　是微积分基本原理吗？

　　对，其实直接代入变限积分求导公式也行。

　　恩，谢谢