已知函数是定义在上的偶函数，当时，．
（1）求当时的解析式；
（2）试确定函数的单调区间，并证明你的结论；
（3）若且，证明：.