Question

設(shè)A是滿足下列兩個(gè)條件的無窮數(shù)列{a_n}的集合：
①

an+an+2

2

≤an+1；     ②a_n≤M．其中n∈N^*，M是與n無關(guān)的常數(shù)．
（Ⅰ）若{a_n}是等差數(shù)列，S_n是其前n項(xiàng)的和，a₃=4，S₃=18，證明：{S_n}∈A；
（Ⅱ）對(duì)于（Ⅰ）中數(shù)列{a_n}，正整數(shù)n₁，n₂，…，n_t…（t∈N^*）滿足7＜n₁＜n₂＜…＜n_t＜…（t∈N^*），并且使得a6，a7，an1，an2，…，ant，…成等比數(shù)列． 若b_m=10m-n_m（m∈N^*），則{b_m}∈A是否成立？若成立，求M的取值范圍，若不成立，請(qǐng)說明理由；
（Ⅲ）設(shè)數(shù)列{c_n}的各項(xiàng)均為正整數(shù)，且{c_n}∈A，證明：c_n≤c_n+1．

Answer 1

（Ⅰ）設(shè)等差數(shù)列{a_n}的公差是d，
則a₁+2d=4，3a₁+3d=18，
解得a₁=8，d=-2．，
所以Sn=na1+

n(n-1)

2

d=-n2+9n．
由

Sn+Sn+2

2

-Sn+1=

1

2

[(-n2+9n)-(n+2)2+9(n+2)+2(n+1)2-18(n+1)]＜0，
得 

Sn+Sn+2

2

＜Sn+1，適合條件 ①．
又Sn=-n2+9n=-(n-

9

2

)2+

81

4

，
所以當(dāng)n=4或5時(shí)，S_n取得最大值20，
即S_n≤20，適合條件 ②．
所以，{S_n}∈A．4分
（Ⅱ）由（Ⅰ）得a₁=8，d=-2，
故a_n=8-2（n-1）=10-2n，
因此a₆=-2，a₇=-4．
因?yàn)?span mathtag="math" >a6，a7，an1，an2，…，ant，…成等比數(shù)列，
故q=

a7

a6

=2．
所以ant=a6•qt+1=-2•2t+1．
又ant=10-2nt，所以n_t=2^t+1+5．
從而b_m=10m-2^m+1-5．
因?yàn)?span mathtag="math" >

bm+bm+2

2

-bm+1=

(10m-2m+1-5)+[10(m+2)-2m+3-5]

2

-[10（m+1）-2^m+2-5]=-2^m＜0，
故

bm+bm+2

2

＜bm+1．
又b₁＜b₂＜b₃，并且b₃＞b₄＞b₅＞…，
而b₃=10×3-2³⁺¹-5=9，
故當(dāng)m∈N^*時(shí)，b_m≤9．
綜上，當(dāng)m∈N^*時(shí)，{b_m}∈A，此時(shí)M的取值范圍是[9，+∞）．9分
（Ⅲ）假設(shè)存在正整數(shù)k，使得c_k＞c_k+1成立．
由數(shù)列{c_n}的各項(xiàng)均為正整數(shù)，
可得c_k≥c_k+1+1，即c_k+1≤c_k-1．
∵

ck+1+ck+2

2

 ≤ck+2，
∴c_k+2≤2c_k+1-c_k
≤2（c_k-1）-c_k
=c_k-2，
由c_k+2≤2c_k+1-c_k及c_k＞c_k+1，
得c_k+2＜2c_k+1-c_k+1=c_k+1，
故c_k+2≤c_k+1-1．
∵

ck+1+ck+3

2

≤ck+2，
∴c_k+3≤2c_k+2-c_k+1≤2（c_k+1-1）-c_k+1=c_k+1-2≤c_k-3，
依此類推，可得c_k+m≤c_k-m（m∈N^*）．
設(shè)c_k=p（p∈N^*），則當(dāng)m=p時(shí)，有c_k+p≤c_k-p=0，
這顯然與數(shù)列{c_n}的各項(xiàng)均為正整數(shù)矛盾．
所以假設(shè)不成立，即對(duì)于任意n∈N^*，都有c_n≤c_n+1成立．14分．