（本小题满分12分）
已知定义域为的函数满足：①时，；②③对任意的正实数，都有
（1）求证：；（2）求证：在定义域内为减函数；
（3）求不等式的解集．