已知函数f（x）是定义在R上的偶函数，且当x＞0时，函数f（x）的解析式为 ．

（1）求当x＜0时函数f（x）的解析式；

（2）用定义证明f（x）在（0，+∞）上的是减函数．