（本小题满分12分）
函数是R上的偶函数,且当时,函数的解析式为
(1)求的值;  
(2)求当时,函数的解析式;
(3)用定义证明在上是减函数;