已知数列{an}满足a1=1，an+1=（1+cos2nπ2）an+sin2nπ2，n∈N*．（1）求a2，a3，a4，并求出数列{an}的通项公式；（2）设b

题型：不详难度：来源：

已知数列{a_n}满足a₁=1，a_n+1=（1+cos²

nπ

2

）a_n+sin²

nπ

2

，n∈N^*．
（1）求a₂，a₃，a₄，并求出数列{a_n}的通项公式；
（2）设b_n=

a2n

a2n-1

，S_n=b₁+b₂+…+b_n，求证：S_n≤n+

5

3

．

答案

（1）a₂=（1+0）a₁+1=2，a₃=（1+1）a₂+0=4，a₄=（1+0）a₃+1=5，
∵a_n+1=

an+1 (n=2m-1，m∈N+)  2an(n=2m，m∈N+)

，∴

a2m+1=2a2m a2m=a2m-1+1

∴a_2m+1=2a_2m-1+2，∴a_2m+1+2=2（a_2m-1+2），∴

a2m+1+2

a2m-1+2

=2
∴数列{a_2m-1+2}是公比为2的等比数列，∴a_2m-1+2=（a₁+2）2^m-1，
∴a_2m-1=-2+3•2^m-1（m∈N₊），a_2m=

1

2

a_2m+1=-1+3•2^m-1（m∈N₊），
∴a_n=

-2+3•2 n+1 2 -1 -1+3•2 n 2 -1

=

-2+3•2 n+1 2 -1(n为奇数) -1+3•2 n 2 -1  (n为偶数)

=

-2+3•2 n-1 2 (n为奇数) -1+3•2 n-2 2 (n为偶数)

．
（2）b_n=

-1+3•2n-1

-2+3•2n-1

=1+

1

-2+3•2n-1

=1+

1

2(-1+3•2n-2)

，
①当n=1时，S₁=b₁=2≤1+

5

3

，不等式成立；
②当n≥2时，-1+3•2^n-2≥2，∴0＜

1

-1+3•2n-2

＜1，
∵0＜

1

-1+3•2n-2

＜

1+1

(-1+3•2n-2)+1

=

2

3•2n-2

∴

1

2(-1+3•2n-2)

＜

1

3•2n-2

∴b_n＜1+

1

3•2n-2

=1+

4

3•2n

∴S_n＜2+（1+

4

3•22

）+（1+

4

3•23

）+…+（1+

4

3•2n

）
=n+1+

4

3

×

1 4

1- 1 2

（1-

1

2n-1

）=n+1+

2

3

（1-

1

2n-1

）
=n+

5

3

-

4

3•2n

＜n+

5

3

由①②知：S_n≤n+

5

3

．