若f(x)是偶函数,且在(0,正无穷)上是减函数,判断并证明f(x)在