设集合W是满足下列两个条件的无穷数列{an}的集合：①an+an+22≤an+1，②an≤M．其中n∈N+，M是与n无关的常数．（1）设数列{bn}的通项为bn

题型：不详难度：来源：

设集合W是满足下列两个条件的无穷数列{a_n}的集合：①

an+an+2

2

≤a_n+1，②a_n≤M．其中n∈N⁺，M是与n无关的常数．
（1）设数列{b_n}的通项为b_n=5n-2ⁿ，证明：{b_n}∈W；
（2）若{a_n}是等差数列，S_n是其前n项的和，a₄=2，S₄=20，证明：{S_n}∈W并求M的取值范围．

答案

证明：（1）

bn+bn+2

2

=

5n-2n+5(n+2)-2n+2

2

=5(n+1)-

5

4

•2n+1
又bn+1=5(n+1)-2n+1∵

5

4

•2n+1＞2n+1∴

bn+bn+2

2

≤bn+1…（3分）
∵bn+1-bn=5(n+1)-2n+1-5n+2n=5-2n
∴当n≤2时b_n+1＞b_n，
当n≥3时b_n+1＜b_n，
∴当n=3时，{b_n}取得最大值7
∴b_n≤7，由已知{b_n}∈W…（6分）
（2）由已知：设a_n=a₁+（n-1）d
∵a₄=2，s₄=20
∴a₁+3d=4，4a₁+6d=20
得∴a₁=8，d=-2，
∴a_n=10-2n，
sn=8n+

n(n+1)

2

•(-2)=-n2+9n…（8分）
∴

sn+sn+2

2

=

-n2+9n-(n+1)2+9(n+2)

2

=-n2+7n+7
又sn+1=-(n+1)2+9(n+1)=-n2+7n+8，
∴

sn+sn+2

2

≤sn+1…（10分）
sn=-n2+9n=-(n-

9

2

)2+

81

4

又∵n∈N⁺，
∴当n=4或5时，{s_n}取得最大值20
∴s_n≤20…（13分）
∴{s_n}∈W且M≥20
∴M的取值范围为M≥20…（14分）