Question

已知函數(shù)f（x）=log₃

3 x

1-x

，M(x1，y1)，N(x2，y2)是f（x）圖象上的兩點，橫坐標為

1

2

的點P滿足2

OP

=

OM

+

ON

（O為坐標原點）．
（Ⅰ）求證：y₁+y₂為定值；
（Ⅱ）若Sn=f(

1

n

)+f(

2

n

)+…+f(

n-1

n

)，其中n∈N^*，且n≥2，求S_n；
（Ⅲ）已知a_n=

1 6 ，                          n=1 1 4(Sn+1)(Sn+1+1) ，n≥2

，其中n∈N^*，T_n為數(shù)列{a_n}的前n項和，若T_n＜m（S_n+1+1）對一切n∈N^*都成立，試求m的取值范圍．

Answer 1

分析：（1）先用

OM

，

ON

表示出

OP

，再由P是MN的中點可得到x₁+x₂=1，然后代入到y(tǒng)₁+y₂=f（x₁）+f（x₂）結(jié)合對數(shù)的運算法則即可得到y(tǒng)₁+y₂=1，得證．
（2）先由（Ⅰ）知當x₁+x₂=1時，y₁+y₂=1，然后對Sn=f(

1

n

)+f(

2

n

)++f(

n-1

n

)進行倒敘相加即可得到2Sn=[f(

1

n

)+f(

n-1

n

)]+[(

2

n

)+f(

n-2

n

)]++[f(

n-1

n

)+f(

1

n

)]，再結(jié)合x₁+x₂=1時，y₁+y₂=1可得到Sn=

n-1

2

．
（3）將（2）中的Sn=

n-1

2

．代入到a_n的表達式中進行整理當n≥2時滿足an=

1

n+1

-

1

n+2

．，然后驗證當n=1時滿足，再代入到T_n中進行求值，當T_n＜m（S_n+1+1）對一切n∈N^*都成立時可轉(zhuǎn)化為m＞

Tn

Sn+1+1

=

n

(n+2)2

=

1

n+ 4 n +4

恒成立，再由均值不等式可求出m的范圍．

解答：解：（1）由已知可得，

OP

=

1

2

(

OM

+

ON

)，
∴P是MN的中點，有x₁+x₂=1．
∴y₁+y₂=f（x₁）+f（x₂）
=log3

3 x1

1-x1

+log3

3 x2

1-x2

=log3(

3 x1

1-x1

•

3 x2

1-x2

)
=log3

3x1x2

(1-x1)(1-x2)

=log3

3x1x2

1-(x1+x2)+x1x2

=log3

3x1x2

1-1+x1x2

=1．
（2）解：由（Ⅰ）知當x₁+x₂=1時，y₁+y₂=f（x₁）+f（x₁）=1
Sn=f(

1

n

)+f(

2

n

)++f(

n-1

n

)，
Sn=f(

n-1

n

)++f(

2

n

)+f(

1

n

)，
相加得
2Sn=[f(

1

n

)+f(

n-1

n

)]+[(

2

n

)+f(

n-2

n

)]++[f(

n-1

n

)+f(

1

n

)]
=

1+1++1

(n-1)個1

=n-1
∴Sn=

n-1

2

．
（3）解：當n≥2時，
an=

1

4(Sn+1)(Sn+1+1)

=

1

4× n+1 2 • n+2 2

=

1

(n+1)(n+2)

=

1

n+1

-

1

n+2

．
又當n=1時，
a1=

1

6

=

1

2

-

1

3

．
∴an=

1

n+1

-

1

n+2

．
Tn=(

1

2

-

1

3

)+(

1

3

-

1

4

)+…+(

1

n+1

-

1

n+2

)=

n

2(n+2)

．
由于T_n＜m（S_n+1+1）對一切n∈N^*都成立，
m＞

Tn

Sn+1+1

=

n

(n+2)2

=

1

n+ 4 n +4

∵n+

4

n

≥4，當且僅當n=2時，取“=”，
∴

1

n+ 4 n +4

≤

1

4+4

=

1

8

因此m＞

1

8

．
綜上可知，m的取值范圍是(

1

8

，+∞)．

點評：本題主要考查數(shù)列求和的倒敘相加法、數(shù)列的裂項法和均值不等式的應用．考查對基礎(chǔ)知識的綜合運用．