Question

已知數列{a_n}中，a₁=2，對于任意的p，q∈N^*，有a_p+q=a_p+a_q
（1）求數列{a_n}的通項公式；
（2）若數列{b_n}滿足：an=

b1

2+1

-

b2

22+1

+

b3

23+1

-

b4

24+1

+…+(-1)n-1

bn

2n+1

(n∈N*)求數列{b_n}的通項公式；
（3）設C_n=3ⁿ+λb_n（n∈N^*），是否存在實數λ，當n∈N^*時，C_n+1＞C_n恒成立，若存在，求實數λ的取值范圍，若不存在，請說明理由．

Answer 1

（1）取p=n，q=1，則a_n+1=a_n+a₁=a_n+2
∴a_n+1-a_n=2（n∈N^*）
∴{a_n}是公差為2，首項為2的等差數列
∴a_n=2n（4分）
（2）∵

b1

21+1

-

b2

22+1

+

b3

23+1

-

b4

24+1

++(-1)n-1

bn

2n+1

=an(n≥1)①
∴

b1

21+1

-

b2

22+1

++(-1)n-2

bn-1

2n-1+1

=an-1(n≥2)②
①-②得：(-1)n-1

bn

2n+1

=2(n≥2)b_n=（-1）^n-1（2ⁿ⁺¹+2）（n≥2）
當n=1時，a1=

b1

3

∴b₁=6滿足上式
∴b_n=（-1）^n-1（2ⁿ⁺¹+2）（n∈N^*）（9分）
（3）C_n=3ⁿ+（-1）^n-1（2ⁿ⁺¹+2）•λ
假設存在λ，使C_n+1＞C_n（n∈N^*）3ⁿ⁺¹+（-1）ⁿ（2ⁿ⁺²+2）•λ＞3ⁿ+（-1）^n-1（2ⁿ⁺¹+2）•λ[（-1）ⁿ（2ⁿ⁺²+2）-（-1）^n-1（2ⁿ⁺¹+2）]•λ＞3ⁿ-3ⁿ⁺¹=-2•3ⁿ（-1）ⁿ（3•2ⁿ⁺¹+4）•λ＞-2•3ⁿ
當n為正偶函數時，（3•2ⁿ⁺¹+4）λ＞-2•3ⁿ恒成立λ＞(-

3n

3•2n+2

)max=(-

1

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

)max
當n=2時(-

1

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

)max=-

9

14

∴λ＞-

9

14

當n為正奇數時，-（3•2ⁿ⁺¹+4）•λ＞-2•3ⁿ恒成立
∴λ＜(

3n

3•2n+2

)min=(

1

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

)min
當n=1時[

1

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

]min=

3

8

∴λ＜

3

8

綜上，存在實數λ，且λ∈(-

9

14

，

3

8

)（16分）