已知函数（为常数），函数定义为：对每一个给定的实数，
（1）求证：当满足条件时，对于,；
（2）设是两个实数，满足，且，若，求函数在区间上的单调递增区间的长度之和.（闭区间的长度定义为）