Question

12．设定义在R上的函数f（x）满足：对于任意的x₁、x₂∈R，当x₁＜x₂时，都有f（x₁）≤f（x₂）．
（1）若f（x）=ax³+1，求a的取值范围；
（2）若f（x）是周期函数，证明：f（x）是常值函数；
（3）设f（x）恒大于零，g（x）是定义在R上的、恒大于零的周期函数，M是g（x）的最大值．函数h（x）=f（x）g（x）．证明：“h（x）是周期函数”的充要条件是“f（x）是常值函数”．

Answer 1

分析 （1）直接由f（x₁）-f（x₂）≤0求得a的取值范围；
（2）若f（x）是周期函数，记其周期为T_k，任取x₀∈R，则有f（x₀）=f（x₀+T_k），证明对任意x∈[x₀，x₀+T_k]，f（x₀）≤f（x）≤f（x₀+T_k），可得f（x₀）=f（x₀+nT_k），n∈Z，再由…∪[x₀-3T_k，x₀-2T_k]∪[x₀-2T_k，x₀-T_k]∪[x₀-T_k，x₀]∪[x₀，x₀+T_k]∪[x₀+T_k，x₀+2T_k]∪…=R，可得对任意x∈R，f（x）=f（x₀）=C，为常数；
（3）分充分性及必要性证明．类似（2）证明充分性；再证必要性，然后分类证明．

解答 （1）解：由f（x₁）≤f（x₂），得f（x₁）-f（x₂）=a（x₁³-x₂³）≤0，
∵x₁＜x₂，∴x₁³-x₂³＜0，得a≥0．
故a的范围是[0，+∞）；
（2）证明：若f（x）是周期函数，记其周期为T_k，任取x₀∈R，则有
f（x₀）=f（x₀+T_k），
由题意，对任意x∈[x₀，x₀+T_k]，f（x₀）≤f（x）≤f（x₀+T_k），
∴f（x₀）=f（x）=f（x₀+T_k）．
又∵f（x₀）=f（x₀+nT_k），n∈Z，并且
…∪[x₀-3T_k，x₀-2T_k]∪[x₀-2T_k，x₀-T_k]∪[x₀-T_k，x₀]∪[x₀，x₀+T_k]∪[x₀+T_k，x₀+2T_k]∪…=R，
∴对任意x∈R，f（x）=f（x₀）=C，为常数；
（3）证明：充分性：若f（x）是常值函数，记f（x）=c₁，设g（x）的一个周期为T_g，则
h（x）=c₁•g（x），则对任意x₀∈R，
h（x₀+T_g）=c₁•g（x₀+T_g）=c₁•g（x₀）=h（x₀），
故h（x）是周期函数；
必要性：若h（x）是周期函数，记其一个周期为T_h．
若存在x₁，x₂，使得f（x₁）＞0，且f（x₂）＜0，则由题意可知，
x₁＞x₂，那么必然存在正整数N₁，使得x₂+N₁T_k＞x₁，
∴f（x₂+N₁T_k）＞f（x₁）＞0，且h（x₂+N₁T_k）=h（x₂）．
又h（x₂）=g（x₂）f（x₂）＜0，而
h（x₂+N₁T_k）=g（x₂+N₁T_k）f（x₂+N₁T_k）＞0≠h（x₂），矛盾．
综上，f（x）＞0恒成立．
由f（x）＞0恒成立，
任取x₀∈A，则必存在N₂∈N，使得x₀-N₂T_h≤x₀-T_g，
即[x₀-T_g，x₀]⊆[x₀-N₂T_h，x₀]，
∵…∪[x₀-3T_k，x₀-2T_k]∪[x₀-2T_k，x₀-T_k]∪[x₀-T_k，x₀]∪[x₀，x₀+T_k]∪[x₀+T_k，x₀+2T_k]∪…=R，
∴…∪[x₀-2N₂T_h，x₀-N₂T_h]∪[x₀-N₂T_h，x₀]∪[x₀，x₀+N₂T_h]∪[x₀+N₂T_h，x₀+2N₂T_h]∪…=R．
h（x₀）=g（x₀）•f（x₀）=h（x₀-N₂T_h）=g（x₀-N₂T_h）•f（x₀-N₂T_h），
∵g（x₀）=M≥g（x₀-N₂T_h）＞0，f（x₀）≥f（x₀-N₂T_h）＞0．
因此若h（x₀）=h（x₀-N₂T_h），必有g（x₀）=M=g（x₀-N₂T_h），且f（x₀）=f（x₀-N₂T_h）=c．
而由（2）证明可知，对任意x∈R，f（x）=f（x₀）=C，为常数．
综上，必要性得证．

点评 本题考查抽象函数及其应用，考查逻辑思维能力与理论运算能力考查分类讨论的数学思想方法，题目设置难度过大．