f(x)=x^2-∫(0到a)f(x)dx,a为常数且不等于-1,证f(0)=-a^3/3(a+1)