（本小题满分12分）
已知函数满足对一切都有,且,
当时有.
(1)求的值;
(2)判断并证明函数在上的单调性;
(3)解不等式:.