Question

已知函数f（x）满足对一切x₁，x₂∈R都有f（x₁+x₂）=f（x₁）+f（x₂）-2，且f（1）=0，当x＞1时有f（x）＜0．
（1）求f（-1）的值；
（2）判断并证明函数f（x）在R上的单调性；
（3）解不等式：[f（x²-2x）]²+2f（x²-2x-1）-12＜0．

Answer 1

分析：（1）利用赋值法，先令x₁=x₂=0，代入恒等式求得f（0），再令x₁=1，x₂=-1，代入即可得f（-1）
（2）先证明x＞0时，f（x）＜2，只需证明0＜x＜1时，f（x）＜2，再利用函数单调性定义证明函数f（x）的单调性
（3）先利用恒等式将不等式等价转化，再利用换元法解不等式，最后利用函数的单调性解不等式即可

解答：解：（1）令x₁=x₂=0，则f（0）=f（0）+f（0）-2，∴f（0）=2
令x₁=1，x₂=-1，则f（0）=f（1）+f（-1）-2，∵f（1）=0，∴f（-1）=2+2=4
∴f（-1）=4
（2）设0＜x＜1，则x+1＞1，∴f（x+1）=f（x）+f（1）-2=f（x）-2＜0
∴0＜x＜1时，f（x）＜2，又∵当x＞1时有f（x）＜0，f（1）=0
∴x＞0时，f（x）＜2
函数f（x）在R上为单调递减函数，证明如下：
证明：设?x₁＜x₂∈R，且x₂-x₁=t＞0
则f（x₁）-f（x₂）=f（x₁）-f（x₁+t）=f（x₁）-f（x₁）-f（t）+2=2-f（t）
∵t＞0，∴f（t）＜2，∴2-f（t）＞0
∴f（x₁）＞f（x₂）
∴函数f（x）在R上为单调递减函数
（3）不等式[f（x²-2x）]²+2f（x²-2x-1）-12＜0
?[f（x²-2x）]²+2f（x²-2x）+2f（-1）-4-12＜0
?[f（x²-2x）]²+2f（x²-2x）-8＜0
设t=f（x²-2x），则t²+2t-8＜0，即-4＜t＜2
∴原不等式?-4＜f（x²-2x）＜2
?f（3）＜f（x²-2x）＜f（0）（注：f（3）=f（2）+f（1）-2=3f（1）-4=-4）
?3＞x²-2x＞0
?-1＜x＜0或2＜x＜3
∴不等式的解集为（-1，0）∪（2，3）

点评：本题综合考察了抽象函数表达式的意义和应用，函数单调性的定义及其证明方法，利用函数的单调性解不等式