证明:函数F(x)=X分之3在(负无穷大,0)上是减函数