已知函数的定义域为．
（1）判断函数的单调性，并用定义给出证明；
（2）若实数满足，求的取值范围．