已知函数，，．
（1）若，试判断并用定义证明函数的单调性；
（2）当时，求证函数存在反函数．