已知函数是上的增函数，
（1）若，且，求证
（2）判断（1）中命题的逆命题是否成立，并证明你的结论。