已知定义在区间 上的函数 满足：，，恒有 ，且当 时，．（1）证明：函数 在区间 上为单调递减函数．（...

1）  设 ，

则 ，

因为 ，

所以 ，即 ，

所以 ，

所以  在区间  上为单调递减函数．

（2）  因为 ，

所以 ，

而 ，

所以 ．

因为 ，

即 ，

由  得 ，即 ，所以 ．

故不等式  的解集为 ．