（本小题满分12分）已知函数的定义域为（0，+∞），且满足对任意的＞0，y＞0，，.当＞1时，＞0.
（1）求的值
(2)判断的单调性，并加以证明
（3）解不等式.