Question

（2013•寶山區(qū)二模）已知數(shù)列{a_n}的前n項(xiàng)和為S_n，且滿足a₁=a（a≠3），an+1=Sn+3n，設(shè)bn=Sn-3n，n∈N^*．
（1）求證：數(shù)列{b_n}是等比數(shù)列；
（2）若a_n+1≥a_n，n∈N^*，求實(shí)數(shù)a的最小值；
（3）當(dāng)a=4時(shí)，給出一個(gè)新數(shù)列{e_n}，其中en=

3 ， n=1 bn ， n≥2

，設(shè)這個(gè)新數(shù)列的前n項(xiàng)和為C_n，若C_n可以寫成t^p（t，p∈N^*且t＞1，p＞1）的形式，則稱C_n為“指數(shù)型和”．問(wèn){C_n}中的項(xiàng)是否存在“指數(shù)型和”，若存在，求出所有“指數(shù)型和”；若不存在，請(qǐng)說(shuō)明理由．

Answer 1

分析：（1）依題意，可求得S_n+1=2S_n+3ⁿ，當(dāng)a≠3時(shí)，

bn+1

bn

=2，利用等比數(shù)列的定義即可證得數(shù)列{b_n}是等比數(shù)列；
（2）由（1）可得S_n-3ⁿ=（a-3）×2^n-1，a_n=S_n-S_n-1，n≥2，n∈N^*，從而可求得a_n=

a 2×3n-1+(a-3)×2n-2

n=1 n≥2

，由a_n+1≥a_n，可求得a≥-9，從而可求得實(shí)數(shù)a的最小值；
（3）由（1）當(dāng)a=4時(shí)，b_n=2^n-1，當(dāng)n≥2時(shí)，C_n=3+2+4+…+2ⁿ=2ⁿ⁺¹+1，C₁=3，可證得對(duì)正整數(shù)n都有C_n=2ⁿ+1，依題意由t^p=2ⁿ+1，t^p-1=2ⁿ，（t，p∈N^*且t＞1，p＞1），t只能是不小于3的奇數(shù)．分①當(dāng)p為偶數(shù)時(shí)與②當(dāng)p為奇數(shù)討論即可得到答案．

解答：解：（1）a_n+1=S_n+3ⁿ⇒S_n+1=2S_n+3ⁿ，b_n=S_n-3ⁿ，n∈N^*，
當(dāng)a≠3時(shí)，

bn+1

bn

=

Sn+1-3n+1

Sn-3n

=

2Sn+3n-3n+1

Sn-3n

=2，
所以{b_n}為等比數(shù)列．b₁=S₁-3=a-3，b_n=（a-3）×2^n-1．
（2）由（1）可得S_n-3ⁿ=（a-3）×2^n-1，
a_n=S_n-S_n-1，n≥2，n∈N^*，
∴a_n=

a 2×3n-1+(a-3)×2n-2

n=1 n≥2

，
∵a_n+1≥a_n，
∴a≥-9，又a≠3，
所以a的最小值為-9；
（3）由（1）當(dāng)a=4時(shí)，b_n=2^n-1，
當(dāng)n≥2時(shí)，C_n=3+2+4+…+2ⁿ=2ⁿ⁺¹+1，C₁=3，
所以對(duì)正整數(shù)n都有C_n=2ⁿ+1．
由t^p=2ⁿ+1，t^p-1=2ⁿ，（t，p∈N^*且t＞1，p＞1），t只能是不小于3的奇數(shù)．
①當(dāng)p為偶數(shù)時(shí)，t^p-1=（t

p

2

+1）（t

p

2

-1）=2ⁿ，
因?yàn)閠^p+1和t^p-1都是大于1的正整數(shù)，
所以存在正整數(shù)g，h，使得t^p+1=2^g，t

p

2

-1=2^h，2^g-2^h=2，2^h（2^g-h-1）=2，
所以2^h=2且2^g-h-1=1⇒h=1，g=2，相應(yīng)的n=3，即有C₃=3²，C₃為“指數(shù)型和”；
②當(dāng)p為奇數(shù)時(shí)，t^p-1=（t-1）（1+t+t²+…+t^p-1），由于1+t+t²+…+t^p-1是p個(gè)奇數(shù)之和，仍為奇數(shù)，又t-1為正偶數(shù)，
所以（t-1）（1+t+t²+…+t^p-1）=2ⁿ不成立，此時(shí)沒(méi)有“指數(shù)型和”．

點(diǎn)評(píng)：本題考查等差數(shù)列與等比數(shù)列的綜合，考查數(shù)列求和，突出邏輯思維與創(chuàng)新思維、綜合分析、運(yùn)算能力的考查，屬于難題．