微积分设f(x)=x^2-∫0~af(x)dx