（本小题满分16分）已知函数且的图象经过点．
（1）求函数的解析式；          
（2）设，用函数单调性的定义证明：函数在区间上单调递减；
（3）求不等式的解集：．