已知函数f(x)为偶函数,而且在(0,+∞)上是减函数,并证明判断