Question

已知函數(shù)，（x∈R，p₁，p₂為常數(shù)）．函數(shù)f（x）定義為：對(duì)每個(gè)給定的實(shí)數(shù)x，
（1）求f（x）=f₁（x）對(duì)所有實(shí)數(shù)x成立的充分必要條件（用p₁，p₂表示）；
（2）設(shè)a，b是兩個(gè)實(shí)數(shù)，滿足a＜b，且p₁，p₂∈（a，b）．若f（a）=f（b），求證：函數(shù)f（x）在區(qū)間[a，b]上的單調(diào)增區(qū)間的長(zhǎng)度之和為（閉區(qū)間[m，n]的長(zhǎng)度定義為n-m）

Answer 1

【答案】分析：（1）根據(jù)題意，先證充分性：由f（x）的定義可知，f（x）=f₁（x）對(duì)所有實(shí)數(shù)成立，等價(jià)于f₁（x）≤f₂（x）對(duì)所有實(shí)數(shù)x成立等價(jià)于，即對(duì)所有實(shí)數(shù)x均成立，分析容易得證；再證必要性：對(duì)所有實(shí)數(shù)x均成立等價(jià)于，即|p₁-p₂|≤log₃2，
（2）分兩種情形討論：①當(dāng)|p₁-p₂|≤log₃2時(shí)，由中值定理及函數(shù)的單調(diào)性得到函數(shù)f（x）在區(qū)間[a，b]上的單調(diào)增區(qū)間的長(zhǎng)度；②當(dāng)|p₁-p₂|＞log₃2時(shí)，a，b是兩個(gè)實(shí)數(shù)，滿足a＜b，且p₁，p₂∈（a，b）．若f（a）=f（b），根據(jù)圖象和函數(shù)的單調(diào)性得到函數(shù)f（x）在區(qū)間[a，b]上的單調(diào)增區(qū)間的長(zhǎng)度．
解答：解：（1）由f（x）的定義可知，f（x）=f₁（x）（對(duì)所有實(shí)數(shù)x）等價(jià)于f₁（x）≤f₂（x）（對(duì)所有實(shí)數(shù)x）這又等價(jià)于，即對(duì)所有實(shí)數(shù)x均成立．（*）
由于|x-p₁|-|x-p₂|≤|（x-p₁）-（x-p₂）|=|p₁-p₂|（x∈R）的最大值為|p₁-p₂|，
故（*）等價(jià)于，即|p₁-p₂|≤log₃2，這就是所求的充分必要條件
（2）分兩種情形討論
（i）當(dāng)|p₁-p₂|≤log₃2時(shí)，由（1）知f（x）=f₁（x）（對(duì)所有實(shí)數(shù)x∈[a，b]）
則由f（a）=f（b）及a＜p₁＜b易知，
再由的單調(diào)性可知，
函數(shù)f（x）在區(qū)間[a，b]上的單調(diào)增區(qū)間的長(zhǎng)度
為（參見(jiàn)示意圖）

（ii）|p₁-p₂|＞log₃2時(shí)，不妨設(shè)p₁＜p₂，，則p₂-p₁＞log₃2，于是
當(dāng)x≤p₁時(shí)，有，從而f（x）=f₁（x）；
當(dāng)x≥p₂時(shí)，有
從而f（x）=f₂（x）；當(dāng)p₁＜x＜p₂時(shí)，，及，由方程
解得f₁（x）與f₂（x）圖象交點(diǎn)的橫坐標(biāo)為（1）
顯然，
這表明x在p₁與p₂之間．由（1）易知
綜上可知，在區(qū)間[a，b]上，（參見(jiàn)示意圖）

故由函數(shù)f₁（x）及f₂（x）的單調(diào)性可知，f（x）在區(qū)間[a，b]上的單調(diào)增區(qū)間的長(zhǎng)度之和為（x-p₁）+（b-p₂），由于f（a）=f（b），即，得p₁+p₂=a+b+log₃2（2）
故由（1）、（2）得
綜合（i）（ii）可知，f（x）在區(qū)間[a，b]上的單調(diào)增區(qū)間的長(zhǎng)度和為．
點(diǎn)評(píng)：考查學(xué)生理解充分必要條件的證明方法，用數(shù)形結(jié)合的數(shù)學(xué)思想解決問(wèn)題的能力，以及充分必要條件的證明方法．