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

科目 数学   题型 解答题   难度 较难

知识点： 函数的基本性质