已知函数为实常数）．
（I）当时，求函数在上的最小值；
（Ⅱ）若方程在区间上有解，求实数的取值范围；
（Ⅲ）证明：
（参考数据：）