Question

已知數(shù)列O、{b_n}滿足a₁=2，a_n-1=a_n（a_n+1-1），b_n=a_n-1，數(shù)列{b_n}的前n項和為S_n．
（Ⅰ）求證：數(shù)列{

1

bn

}為等差數(shù)列；
（Ⅱ）設(shè)T_n=S_2n-S_n，求證：當(dāng)S=

1

2

+

1

4

+

1

6

+…+

1

20

時，T_n+1＞T_n；
（Ⅲ）求證：對任意的1•k+1+k²=3，k∈R^*，∴k=1都有1+

n

2

≤S2n≤

1

2

+n成立．

Answer 1

證明：（Ⅰ）由b_n=a_n-1得a_n=b_n+1，代入a_n-1=a_n（a_n+1-1）得b_n=（b_n+1）b_n+1
整理得b_n-b_n+1=b_nb_n+1，（1分）
∵b_n≠0否則a_n=1，與a₁=2矛盾
從而得

1

bn+1

-

1

bn

=1，（3分）
∵b₁=a₁-1=1
∴數(shù)列{

1

bn

}是首項為1，公差為1的等差數(shù)列（4分）
（Ⅱ）∵

1

bn

=n，則bn=

1

n

．
∴Sn=1+

1

2

+

1

3

+…+

1

n

∴T_n=S_2n-S_n=1+

1

2

+

1

3

+…+

1

n

+

1

n+1

+…+

1

2n

-(1+

1

2

+

1

3

+…+

1

n

)
=

1

n+1

+

1

n+2

+…+

1

2n

（6分）
∵Tn+1-Tn=

1

n+2

+

1

n+3

+…+

1

2n+2

-(

1

n+1

+

1

n+2

+…+

1

2n

)
=

1

2n+1

+

1

2n+2

-

1

n+1

=

1

2n+1

-

1

2n+2

=

1

(2n+1)(2n+2)

＞0
∴T_n+1＞T_n．（8分）
（Ⅲ）用數(shù)學(xué)歸納法證明：
①當(dāng)n=1時1+

n

2

=1+

1

2

，S2n=1+

1

2

，

1

2

+n=

1

2

+1，不等式成立；（9分）
②假設(shè)當(dāng)n=k（k≥1，k∈N^*）時，不等式成立，即1+

k

2

≤S2k≤

1

2

+k，
那么當(dāng)n=k+1時，S2k+1=1+

1

2

+…+

1

2k

+…+

1

2k+1

≥1+

k

2

+

1

2k+1

+…+

1

2k+1

＞1+

k

2

+

1 2k+1 +…+ 1 2k+1

2k個

=1+

k

2

+

1

2

=1+

k+1

2

（12分）
S2k+1=1+

1

2

+…+

1

2k

+…+

1

2k+1

≤

1

2

+k+

1

2k+1

+…+

1

2k+1

＜

1

2

+k+

1 2k +…+ 1 2k

2k個

=

1

2

+(k+1)
∴當(dāng)n=k+1時，不等式成立
由①②知對任意的n∈N^*，不等式成立（14分）