Question

（2005•北京）設(shè)f（x）是定義在[0，1]上的函數(shù)，若存在x*∈（0，1），使得f（x）在[0，x•]上單調(diào)遞增，在[x•，1]單調(diào)遞減，則稱(chēng)f（x）為[0，1]上的單峰函數(shù)，x•為峰點(diǎn)，包含峰點(diǎn)的區(qū)間為含峰區(qū)間．

對(duì)任意的[0，1]上的單峰函數(shù)f（x），下面研究縮短其含峰區(qū)間長(zhǎng)度的方法．

（Ⅰ）證明：對(duì)任意的x1，x2∈（0，1），x1＜x2，若f（x1）≥f（x2），則（0，x2）為含峰區(qū)間；若f（x1）≤f（x2），則（x1，1）為含峰區(qū)間；

（Ⅱ）對(duì)給定的r（0＜r＜0.5），證明：存在x1，x2∈（0，1），滿(mǎn)足x2﹣x1≥2r，使得由（Ⅰ）確定的含峰區(qū)間的長(zhǎng)度不大于0.5+r；

（Ⅲ）選取x1，x2∈（0，1），x1＜x2由（Ⅰ）可確定含峰區(qū)間為（0，x2）或（x1，1），在所得的含峰區(qū)間內(nèi)選取x3，由x3與x1或x3與x2類(lèi)似地可確定是一個(gè)新的含峰區(qū)間．在第一次確定的含峰區(qū)間為（0，x2）的情況下，試確定x1，x2，x3的值，滿(mǎn)足兩兩之差的絕對(duì)值不小于0.02且使得新的含峰區(qū)間的長(zhǎng)度縮短到0.34．

（區(qū)間長(zhǎng)度等于區(qū)間的右端點(diǎn)與左端點(diǎn)之差）．

 

Answer 1

見(jiàn)解析

【解析】

試題分析：（Ⅰ）本題是一道新定義題，咋一看挺繁瑣且無(wú)從下手，其實(shí)這類(lèi)新定義題目只需牢牢的抓住題干定義，需要分f（x1）≥f（x2）和 f（x1）≤f（x2）兩類(lèi)情況討論分析；

（Ⅱ）有了（Ⅰ）的討論處理，第（Ⅱ）顯的容易一些，只要借助（Ⅰ）用r把x1，x2分別表達(dá)出來(lái)；

（Ⅲ）本問(wèn)題是在第（Ⅱ）問(wèn)的基礎(chǔ)上又提出的問(wèn)題，關(guān)鍵是找出以下兩組關(guān)系式：x1+x2=l和x3+x1=x2，

證明：（Ⅰ）設(shè)x*為f（x）的峰點(diǎn)，則由單峰函數(shù)定義可知，f（x）在[0，x*]上單調(diào)遞增，在[x*，1]上單調(diào)遞減．

當(dāng)f（x1）≥f（x2）時(shí)，假設(shè)x*∉（0，x2），則x1＜x2＜x*，從而f（x*）≥f（x2）＞f（x1），

這與f（x1）≥f（x2）矛盾，所以x*∈（0，x2），即（0，x2）是含峰區(qū)間．

當(dāng)f（x1）≤f（x2）時(shí)，假設(shè)x*∉（x1，1），則x*≤x1＜x2，從而f（x*）≥f（x1）＞f（x2），

這與f（x1）≤f（x2）矛盾，所以x*∈（x1，1），即（x1，1）是含峰區(qū)間．

（Ⅱ）由（Ⅰ）的結(jié)論可知：

當(dāng)f（x1）≥f（x2）時(shí)，含峰區(qū)間的長(zhǎng)度為l1=x2；

當(dāng)f（x1）≤f（x2）時(shí)，含峰區(qū)間的長(zhǎng)度為l2=1﹣x1；

對(duì)于上述兩種情況，由題意得①

由①得1+x2﹣x1≤1+2r，即x2﹣x1≤2r

又因?yàn)閤2﹣x1≥2r，所以x2﹣x1=2r，②

將②代入①得

x1≤0.5﹣r，x2≥0.5﹣r，③

由①和③解得x1=0.5﹣r，x2=0.5+r．

所以這時(shí)含峰區(qū)間的長(zhǎng)度l1=l1=0.5+r，即存在x1，x2使得所確定的含峰區(qū)間的長(zhǎng)度不大于0.5+r．

（Ⅲ）【解析】
對(duì)先選擇的x1；x2，x1＜x2，由（Ⅱ）可知

x1+x2=l，④

在第一次確定的含峰區(qū)間為（0，x2）的情況下，x3的取值應(yīng)滿(mǎn)足

x3+x1=x2，⑤

由④與⑤可得，

當(dāng)x1＞x3時(shí)，含峰區(qū)間的長(zhǎng)度為x1．

由條件x1﹣x3≥0.02，得x1﹣（1﹣2x1）≥0.02，從而x1≥0.34．

因此，為了將含峰區(qū)間的長(zhǎng)度縮短到0.34，只要取x1=0.34，x2=0.66，x3=0.32．