Question

已知函數(shù)f(x)=log3

3 x

1-x

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

1

2

的點(diǎn)P滿足2

OP

=

OM

+

ON

（O為坐標(biāo)原點(diǎn)）．
（1）求證：y₁+y₂為定值；
（2）若Sn=f(

1

n

)+f(

2

n

)+…+f(

n-1

n

)，其中n∈N^*，n≥2令an=

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

，其中n∈N^*，T_n為數(shù)列{a_n}的前n項(xiàng)和，若T_n＜m（S_n+1+1）對一切n∈N^*都成立，試求m的取值范圍．
（3）對于給定的實(shí)數(shù)a（a＞1）是否存在這樣的數(shù)列{a_n}，使得f(an)=log3(

3

an+1)，且a1=

1

a-1

？若存在，求出a滿足的條件；若不存在，請說明理由．

Answer 1

分析：（1）設(shè)P點(diǎn)坐標(biāo)為(

1

2

，yP)，由已知的向量關(guān)系得出x₁+x₂=1，利用對數(shù)運(yùn)算即可求得y₁+y₂為定值；
（2）由（1）知當(dāng)x₁+x₂=1時，y₁+y₂=f（x₁）+f（x₂）=1．得出Sn=

n-1

2

，下面對n進(jìn)行分類討論：當(dāng)n≥2時，當(dāng)n=1時，得到：an=

1

n+1

-

1

n+2

(n∈N*)再利用數(shù)列求和得出Tn，結(jié)合T_n＜m（S_n+1+1）對一切n∈N^*都成立結(jié)合基本不等式即可求得m的取值范圍；
（3）對于存在性問題，可先假設(shè)存在，即假設(shè)存在數(shù)列{a_n}滿足條件，再利用等差數(shù)列的性質(zhì)，求出a_n的長，若出現(xiàn)矛盾，則說明假設(shè)不成立，即不存在；否則存在．

解答：解：（1）設(shè)P點(diǎn)坐標(biāo)為(

1

2

，yP)，由已知可得，

OP

=

1

2

(

OM

+

ON

)則(

1

2

，yP)=

1

2

(x1+x2，y1+y2)，
∴x₁+x₂=1y1+y2=log3

3 x1

1-x1

+log3

3 x2

1-x2

=log3

3x1x2

1-(x1+x2)+x1x2

=log3

3x1x2

1-1+x1x2

=1
（2）由（1）知當(dāng)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

)，②，
∴2S_n=n-1，故Sn=

n-1

2

當(dāng)n≥2時，an=

1

4× n+1 2 × n+2 2

=

1

n+1

-

1

n+2

．
又當(dāng)n=1時，a1=

1

6

=

1

2

-

1

3

，所以an=

1

n+1

-

1

n+2

(n∈N*)
故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≥8（當(dāng)且僅當(dāng)n=2時等號成立）
∴m＞

1

8

，即m的取值范圍是(

1

8

，+∞)
（3）假設(shè)存在數(shù)列{a_n}滿足條件，則log3(

3

an+1)=log3

3 an

1-an

，
即an+1=

an

1-an

⇒

1

an+1

=

1

an

-1，∴{

1

an

}是以

1

a1

=a-1為首項(xiàng)，-1為公差的等差數(shù)列，
于是

1

an

=a-1+(n-1)×(-1)=a-n，∴an=

1

a-n

，注意到an=

1

a-n

∈(0，1)
∴當(dāng)a＞3時，存在這樣的有窮數(shù)列{a_n}；當(dāng)1＜a≤3時，不存在這樣的數(shù)列．

點(diǎn)評：本小題主要考查等差數(shù)列的應(yīng)用、數(shù)列與不等式的綜合、數(shù)列的求和等基礎(chǔ)知識，考查運(yùn)算求解能力，考查化歸與轉(zhuǎn)化思想．屬于中檔題．