设是定义在上的函数，若存在，使得在上单调递增，在上单调递减，则称为上的单峰函数，为峰点，包含峰点的区间为含峰区间.　　对任意的上的单峰函数，下面研究缩短其含峰区间长度的方法.

  （1）证明：对任意的，，若，则为含峰区间；若，则为含峰区间；

  （2）对给定的，证明：存在，满足，使得由（1）所确定的含峰区间的长度不大于；

设是定义在上的函数，若存在，使得在上单调递增，在上单调递减，则称为上的单峰函数，为峰点，包含峰点的区间为含峰区间.　　对任意的上的单峰函数，下面研究缩短其含峰区间长度的方法.

（1）证明：对任意的，，若，则为含峰区间；若，则为含峰区间；

（2）对给定的，证明：存在，满足，使得由（1）所确定的含峰区间的长度不大于；

设是定义在上的函数，用分点

将区间任意划分成个小区间，如果存在一个常数，使得和式（）恒成立，则称为上的有界变差函数.

（1）函数在上是否为有界变差函数？请说明理由；

（2）设函数是上的单调递减函数，证明：为上的有界变差函数；

（3）若定义在上的函数满足：存在常数，使得对于任意的、 时，.证明：为上的有界变差函数.

(本小题满分14分)
设是定义在上的函数，用分点

将区间任意划分成个小区间，如果存在一个常数，使得和式（）恒成立，则称为上的有界变差函数.
（1）函数在上是否为有界变差函数？请说明理由；
（2）设函数是上的单调递减函数，证明：为上的有界变差函数；
（3）若定义在上的函数满足：存在常数，使得对于任意的、 时，.证明：为上的有界变差函数.