西北大学文学院院长:判断函数f(x)=-x的立方在(负无穷,0)上是增函数还是减函数,并证明