Question

對于函數y=f（x），x∈（0，+∞），如果a，b，c是一個三角形的三邊長，那么f（a），f（b），f（c）也是一個三角形的三邊長，則稱函數f（x）為“保三角形函數”．
對于函數y=g（x），x∈[0，+∞），如果a，b，c是任意的非負實數，都有g（a），g（b），g（c）是一個三角形的三邊長，則稱函數g（x）為“恒三角形函數”．
（Ⅰ）判斷三個函數“f₁（x）=x，f₂（x）=，f₃（x）=3x²（定義域均為x∈（0，+∞））”中，哪些是“保三角形函數”？請說明理由；
（Ⅱ）若函數，x∈[{0，+∞}）是“恒三角形函數”，試求實數k的取值范圍；
（Ⅲ）如果函數h（x）是定義在（0，+∞）上的周期函數，且值域也為（0，+∞），試證明：h（x）既不是“恒三角形函數”，也不是“保三角形函數”．

Answer 1

【答案】分析：（Ⅰ）不妨設a≤b≤c，由a+b＞c，能推出f₁（a）+f₁（b）＞c=f₁（c），可得f₁（x）是“保三角形函數”．
同理可得f₂（x）是“保三角形函數”．通過舉反列a=3，b=3，c=5，f₃（a）+f₃（b）=f₃（c），
故f₃（x）不是“保三角形函數”．
（Ⅱ）當x=0時，g（x）=1；當x＞0時，，當k＞-1時，g（x）∈（1，k+2]，
由“恒三角形函數”的定義，1+1＞k+2，k＜0，故 有-1＜k＜0．
當k＜-1時，g（x）∈[k+2，1]，解 ，得，所以，．
將以上兩個范圍取并集．
（Ⅲ）因為存在正實數a，b，c，使得h（a）=1，h（b）=1，h（c）=2，故h（x）不是“恒三角形函數”．
由周期函數的定義，存在n＞m＞0，使得h（m）=1，h（n）=2，a，b，c是一個三角形的三邊長，但因為
h（a）=h（b）=h（m）=1，h（c）=h（n）=2，故h（a），h（b），h（c）不是一個三角形的三邊長，
h（x）也不是“保三角形函數”．
解答：解：（Ⅰ）對于f₁（x）=x，它在（0，+∞）上是增函數，
不妨設a≤b≤c，則f₁（a）≤f₁（b）≤f₁（c），因為a+b＞c，
所以f₁（a）+f₁（b）=a+b＞c=f₁（c），故f₁（x）是“保三角形函數”（2分）
對于，它在（0，+∞）上是增函數，
不妨設a≤b≤c，則f₂（a）≤f₂（b）≤f₂（c），因為a+b＞c，
所以=f₂（c），
故f₂（x）是“保三角形函數”（4分）
對于f₃（x）=3x²，取a=3，b=3，c=5，顯然a，b，c是一個三角形的三邊長，
但因為f₃（a）+f₃（b）=3×（3²+3²）＜3×5²=f₃（c），
所以，f₃（a）、f₃（b）、f₃（c）不是三角形的三邊長，故f₃（x）不是“保三角形函數”（6分）
（Ⅱ）∵，
∴當x=0時，g（x）=1；  當x＞0時，．
當k＞-1時，因為，
所以，g（x）∈（1，k+2]，
從而當k＞-1時，g（x）∈[1，k+2]，由1+1＞k+2，得k＜0，所以，-1＜k＜0（9分）
當k＜-1時，因為，
所以，g（x）∈[k+2，1），
從而當k＜-1時，g（x）∈[k+2，1]，由，
得 ，所以，，
綜上所述，所求k的取值范圍是：．（11分）

（Ⅲ）①因為h（x）的值域為（0，+∞），∴存在正實數a，b，c，
使得h（a）=1，h（b）=1，h（c）=2，
顯然這樣的h（a），h（b），h（c）不是一個三角形的三邊長，
故h（x）不是“恒三角形函數”（13分）
②因為h（x）是值域為（0，+∞）的周期函數，所以存在n＞m＞0，
使得h（m）=1，h（n）=2，
設h（x）的最小正周期為T（T＞0），
令a=b=m+kT，c=n，其中k∈N^*，且，
則a+b＞c，又顯然b+c＞a，c+a＞b，所以a，b，c是一個三角形的三邊長，
但因為h（a）=h（b）=h（m）=1，h（c）=h（n）=2，
所以h（a），h（b），h（c）不是一個三角形的三邊長，
故h（x）也不是“保三角形函數”（16分）
點評：本題考查“保三角形函數”、“恒三角形函數”的定義，函數的單調性與周期性，體現了分類討論的數學思想．