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