(本小题满分12分)已知定义域为的函数满足:①时,;②③对任意的正实数,都有;(1)求证:;(2)求证:在定义域内为减函数;(3)求不等式的解集.
(1)求常数的值 (2)当a>0时,设,且,求的单调区间
(2)设,求的单调区间
(2) 的值; (3) 方程的两根及此时的值
(2)试借助诱导公式证明△A2B2C2中必有一个角为钝角