已知函数=。
（1）当时，求函数的单调增区间；
（2）求函数在区间上的最小值；
（3）在（1）的条件下，设=+，
求证：  （），参考数据：。