设是定义在上的函数，若存在，使得在上单调递增，在上单调递减，则称为上的单峰函数，为峰点，包含峰点的区间为含峰区间．对任意的上的单峰函数，下面研究缩短其含峰区间长度的方法，
(1)证明：对任意的，则为含峰区间；若，则为含峰区间；
(2)对给定的，证明：存在，满足，使得由（1）所确定的含峰区间的长度不大于；
(3)选取，由（1）可确定含峰区间为或，在所得的含峰区间内选取，由与或与2类似地可确定一个新的含峰区间，在第一次确定的含峰区间为的情况下，试确定的值，满足两两之差的绝地值不小于0.02，且使得新的含峰区间的长度缩短到0.34．
注：区间长度等于区间的右端点与左端点之差．