函数是R上的偶函数,且当时,函数的解析式为
(1)求的值; 
(2)用定义证明在上是减函数;
(3)求当时,函数的解析式;