已知数列{an}中，a1=0，an+1=12-an，n∈N*．（1）求证：{1an-1}是等差数列；并求数列{an}的通项公式；（2）假设对于任意的正整数m、n

题型：普陀区一模难度：来源：

已知数列{a_n}中，a₁=0，an+1=

1

2-an

，n∈N^*．
（1）求证：{

1

an-1

}是等差数列；并求数列{a_n}的通项公式；
（2）假设对于任意的正整数m、n，都有|b_n-b_m|＜ω，则称该数列为“ω域收敛数列”．试判断：数列bn=an•(-

4

5

)n，n∈N^*是否为一个“

2

3

域收敛数列”，请说明你的理由．

答案

证：（1）因为

1

an+1-1

=

1

1 2-an -1

=

2-an

an-1

=-1+

1

an-1

，
所以

1

an+1-1

-

1

an-1

=-1，n∈N^*；
故{

1

an-1

}是等差数列．
由此可得，

1

an-1

=

1

a1-1

+(n-1)×(-1)=-n，
所以an=1-

1

n

=

n-1

n

，n∈N^*．
（2）由条件bn=an•(-

4

5

)n，
可知当n=2k，b_n＞0；当n=2k-1时，b_n≤0，k∈N^*．
令|bn|=an•(

4

5

)n，则|bn+1|-|bn|=

n

n+1

•(

4

5

)n+1-

n-1

n

•(

4

5

)n=(

4

5

)n[

4

5

•

n

n+1

-

n-1

n

]=(

4

5

)n•

-n2+5

5n(n+1)

．
∴当-n²+5＞0⇒n≤2时，|b_n+1|＞|b_n|；
同理可得，当-n²+5＜0⇒n≥3时，|b_n+1|＜|b_n|；
即数列{|b_n|}在n=1，2，3时递增；n≥4时，递减；
即|b₃|是数列{|b_n|}的最大项．
然而，因为{b_n}的奇数项均为-|b_n|，故b3=-

2

3

•(

4

5

)3=-

128

375

为数列{b_n}的最小项；
而b2=

1

2

(

4

5

)2=

8

25

=0.32，b4=

3

4

•(

4

5

)4=

192

625

=0.3072，
所以b₂＞b₄，故b₂是数列{b_n}的最大项．
∴对任意的正整数m、n，|bn-bm|≤|b2-b3|=|

8

25

+

128

375

|=

248

375

＜

2

3

，
∴数列bn=an•(-

4

5

)n，n∈N^*是一个“

2

3

域收敛数列”．