已知上是减函数，且。
（1）求的值，并求出和的取值范围。
（2）求证。
（3）求的取值范围，并写出当取最小值时的的解析式。