已知函数f(x)是定义在区间(−1,1)上的函数,且满足下列性质:
①f(x)是定义在区间(−1,1)上的增函数;
②对于定义域内的任意实数x,y满足f(x)+f(y)=f(x+y1+xy).(1)求f(0)的值,判断并证明f(x)的奇偶性;
(2)若f(12)=1,试比较f(15)+f(111)+f(119)+f(129)+⋯+f(189)与1的大小.
分析 第(1)小题比较简单,直接赋值即可:
令x=y=0得f(0)=0;令y=−x,得f(x)为奇函数;
关键是第(2)小题的求和,尝试倒序相加,没有结果;分析要求和函数值对应的自变量15,111,119,⋯,189,
它们的通项公式为an=1n2+n−1,n=2,3,⋯,9.
尝试对通项进行裂项1n2+n−1=1n2+n1−1n2+n=1n−1n+11−1n(n+1).
再借助题目中的式子,将自变量的裂项转化成函数值的裂项即可.
解 (2)由(1)知f(x)−f(y)=f(x)+f(−y)=f(x−y1−xy).
又因为
1n2+n−1=1n−1n+11−1n(n+1),
所以f(1n2+n−1)=f(1n)−f(1n+1).
记S=f(15)+f(111)+f(119)+f(129)+⋯+f(189),
则S=f(12)−f(13)+f(13)−f(14)+⋯+f(19)−f(110)=f(12)−f(110).
因为f(x)是(−1,1)上的增函数,所以f(110)>f(0)=0,
所以S<f(12)=1.