Question

（2011•綿陽(yáng)一模）已知函數(shù)f（x）定義在區(qū)間（-1，1）上，f（

1

2

）=-1，且當(dāng)x，y∈（-1，1）時(shí)，恒有f（x）-f（y）=f（

x-y

1-xy

）．又?jǐn)?shù)列{a_n}滿(mǎn)足，a₁=

1

2

，a_n+1=

2an

1+an2

．
（I ）證明：f（x）在（-1，1）上是奇函數(shù)
（ II ）求f（a_n）的表達(dá)式；
（III）設(shè)b_n=-

1

2f(an)

，T_n為數(shù)列{b_n}的前n項(xiàng)和，試問(wèn)是否存在正整數(shù)m，n，使得

4Tn-m

4Tn+1-m

＜

1

2

成立？若存在，求出這樣的正整數(shù)；若不存在，請(qǐng)說(shuō)明理由．

Answer 1

分析：（Ⅰ）利用賦值法：令x=y=0時(shí)，可求f （0）=0．令x=0，y∈（-1，1），則可得f （-y）=-f （y）可證
（Ⅱ）令x=a_n，y=-a_n，可得f(an)-f(-an)=f(

2an

1+an2

)，結(jié)合已知得2f （a_n）=f （a_n+1+1），可得

f(an+1)

f(an)

=2，利用等比數(shù)列的通項(xiàng)可求
（III）由bn=-

1

2f(an)

=

1

2n

，利用等比數(shù)列的求和可求T_n，代入不等式

4Tn-m

4Tn+1-m

＜

1

2

整理得

2n(4-m)-4

2n(4-m)-2

＜

1

2

．令t=2ⁿ（4-m），可求得2＜t＜6．即2＜2ⁿ（4-m）＜6，利用反證法
假設(shè)存在正整數(shù)m，n使得上述不等式成立，結(jié)合2ⁿ是偶數(shù)，4-m為整數(shù)，可得

2n=4 4-m=1

或

2n=2 4-m=2

可求

解答：（Ⅰ）證明：令x=y=0時(shí)，則由已知有f（0）-f（0）=f（0）
∴f （0）=0．
再令x=0，y∈（-1，1），則有f（0）-f（y）=f（-y），即f （-y）=-f （y）
∴f （x）是（-1，1）上的奇函數(shù)．…（4分）
（Ⅱ）令x=a_n，y=-a_n，于是f(an)-f(-an)=f(

2an

1+an2

)
由已知得2f （a_n）=f （a_n+1+1），
∴

f(an+1)

f(an)

=2，
∴數(shù)列{f（a_n）}是以f（a1）=f（

1

2

）=-1為首項(xiàng)，2為公比的等比數(shù)列．
∴f(an)=-1•2n-1=-2n-1…（8分）
（III）bn=-

1

2f(an)

=

1

2n

，
∴Tn=b₁+b₂+…+b_n=

1 2 (′1- 1 2n )

1- 1 2

=1-

1

2n

．…（10分）
于是不等式

4Tn-m

4Tn+1-m

＜

1

2

即

4(1- 1 2n )-m

4(1-  1 2n+1 )-m

＜

1

2

，
整理得

2n(4-m)-4

2n(4-m)-2

＜

1

2

．
令t=2ⁿ（4-m），于是變形為

t-4

t-2

＜

1

2

，等價(jià)于2＜t＜6．
即2＜2ⁿ（4-m）＜6．
假設(shè)存在正整數(shù)m，n使得上述不等式成立，
∵2ⁿ是偶數(shù)，4-m為整數(shù)，
∴2ⁿ（4-m）=4．
于是 

2n=4 4-m=1

或

2n=2 4-m=2

  
解得

m=3 n=2

或

m=2 n=1

因此存在正整數(shù)m=2，n=1或m=3，n=2使原不等式成立．…（12分）

點(diǎn)評(píng)：本題綜合考查了抽象函數(shù)奇偶性的判斷，注意賦值法的應(yīng)用，構(gòu)造等比數(shù)列求和的應(yīng)用及不等式解法的應(yīng)用，解答本題還要求考生具備一定的綜合應(yīng)用的能力