（本小题满分10分）
已知函数，且， 
（1）求函数的解析式；
（2）判断函数在定义域上的单调性，并证明；
（3）求证：方程至少有一根在区间.