Question

【題目】已知是定義在上的函數(shù)，如果存在常數(shù)，對(duì)區(qū)間的任意劃分：，和式恒成立，則稱為上的“絕對(duì)差有界函數(shù)”。注：。

（1）證明函數(shù)在上是“絕對(duì)差有界函數(shù)”。

（2）證明函數(shù)不是上的“絕對(duì)差有界函數(shù)”。

（3）記集合存在常數(shù)，對(duì)任意的，有成立，證明集合中的任意函數(shù)為“絕對(duì)差有界函數(shù)”，并判斷是否在集合中，如果在，請(qǐng)證明并求的最小值；如果不在，請(qǐng)說(shuō)明理由。

Answer 1

【答案】（1）詳見(jiàn)解析；（2）詳見(jiàn)解析；（3）證明詳見(jiàn)解析，的最小值為.

【解析】

（1）首先化簡(jiǎn)函數(shù)，并且函數(shù)在區(qū)間上為單調(diào)遞增函數(shù)，由定義可知任意劃分區(qū)間，根據(jù)定義求；

（2）取區(qū)間的一個(gè)劃分：，代入則有，由此根據(jù)定義判斷是否存在；

（3）利用不等式的傳遞性證明，

，利用和差化積公式化簡(jiǎn)證明求的最小值.

解：（1）因?yàn)?/span>在區(qū)間上為單調(diào)遞增函數(shù)，

所以當(dāng)時(shí)，有，

所以。

從而對(duì)區(qū)間的任意劃分：，存在，成立。

綜上，函數(shù)在上是“絕對(duì)差有界函數(shù)”。

（2）取區(qū)間的一個(gè)劃分：，

則有：

所以對(duì)任意常數(shù)，只要足夠大，就有區(qū)間的一個(gè)劃分：

滿足。

（3）證明：任取，存在常數(shù)有成立。從而對(duì)區(qū)間的任意劃分：，和式成立。取，所以集合中的任意函數(shù)為“絕對(duì)差有界函數(shù)”。

因?yàn)?/span>，所以對(duì)任意的有

，

所以的最小值為。