设有多项式P(x)=x^4+a3*x^3+a2*x^2+a1*x+a0,又设x=x0是它的最大是跟,则P(x0)的导数满