已知f(x)=-ax+x^3当x=1时f(x)有极,值证明在(-1,1)时/f(x1)-f(x2)/小于等于4恒成立