求证fx=-x^3+1在区间R上是单调减函数