设f(x)是定义在[0,1]上的函数，若存在x*∈(0，1)，使得f(x)在[0，x*]上单调递增，在[x*，1]上单调递减，则称f(x)为[0，1]上的单峰函数，x*为峰点，包含峰点的区间为含峰区间．对任意的[0，1]上的单峰函数f(x)，下面研究缩短其含峰区间长度的方法．

  (I)证明：对任意的∈(O，1)，，若f()≥f()，则(0，)为含峰区间：若f()f()，则为含峰区间：

  (II)对给定的r(0<r<0.5)，证明：存在∈(0，1)，满足，使得由(I)所确定的含峰区间的长度不大于0.5+r：

  (III)选取∈(O，1)，，由(I)可确定含峰区间为或，在所得的含峰区间内选取，由与或与类似地可确定一个新的含峰区间，在第一次确定的含峰区间为（0，）的情况下，试确定的值，满足两两之差的绝对值不小于0.02，且使得新的含峰区间的长度缩短到0. 34（区间长度等于区间的右端点与左端点之差）

（05年北京卷理）（14分）

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

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

（Ⅱ）对给定的（0<<0.5），证明：存在,满足，使得由（Ⅰ）确定的含峰区间的长度不大于0.5+;

(Ⅲ)选取, 由（Ⅰ）可确定含峰区间为（0，）或（，1），在所得的含峰区间内选取,由与或与类似地可确定是一个新的含峰区间．在第一次确定的含峰区间为（0，）的情况下，试确定的值，满足两两之差的绝对值不小于0.02且使得新的含峰区间的长度缩短到0.34

（区间长度等于区间的右端点与左端点之差）