设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(区间长度等于区间的右端点与左端点之差)