Question

已知常數a≠0，數列{a_n}的前n項和為S_n，a₁=1，且．
（1）求證：數列{a_n}為等差數列；
（2）若，且數列{b_n}是單調遞增數列，求實數a的取值范圍；
（3）若，數列{c_n}滿足：，對于任意給定的正整數k，是否存在p，q∈N^*，使c_k=c_p•c_q？若存在，求p，q的值（只要寫出一組即可）；若不存在，說明理由．

Answer 1

解：（Ⅰ）∵
∴S_n=na_n-an（n-1），a_n+1=S_n+1-S_n，…（2分）
∴a_n+1=[（n+1）a_n+1-a（n+1）n]-[na_n-an（n-1）]
化簡得：a_n+1-a_n=2a（常數），
∴數列{a_n}是以1為首項，公差為2a的等差數列；…（4分）
（Ⅱ）由（Ⅰ）知a_n=1+2a（n-1），
又∵，b_n＜b_n+1，
∴，
∴（-1）ⁿ[1+（2n-1）a]＜3ⁿ
①當n是奇數時，∵-[1+（2n-1）a]＜3ⁿ，
∴，n=1，3，5，7，…
令，
∴a＞f（n）_max
∵
∴f（1）＞f（3）＞f（5）＞…＞f（n）＞…，且f（1）=-4，
∴a＞-4；…（7分）
②當n是偶數時，
∵1+（2n-1）a＜3ⁿ，
∴，n=2，4，6，8，…
令，
∴a＜g（n）_min
∵
∴g（2）＜g（4）＜g（6）＜…＜g（n）＜…，且，
∴；
綜上可得：實數a的取值范圍是．…（10分）
（Ⅲ）由（Ⅰ）知，a_n=n，又∵，
設對任意正整數k，都存在正整數p，q，使c_k=c_pc_q，
∴，
∴…（12分）
令q=k+1，則p=k（k+2012）（或q=2k，p=2k+2011）
∴c_k=c_{k（k+2012）}•c_k+1（或c_k=c_2k+2011•c_2k）…（16分）
分析：（Ⅰ）由已知利用a_n+1=S_n+1-S_n，代入整理化簡得：a_n+1-a_n=2a（常數），可證
（Ⅱ）由（Ⅰ）知a_n=1+2a（n-1），，結合b_n＜b_n+1，可得（-1）ⁿ[1+（2n-1）a]＜3ⁿ①當n是奇數②當n是偶數，結合數列的單調性及恒成立與最值的相互轉換可求a的范圍
（Ⅲ）由（Ⅰ）可得，假設 滿足c_k=c_pc_q，代入整理可得可求
點評：本題綜合考查了由數列的和與項的遞推公式證明等差數列，及利用數列的單調性求解數列的最大（最�。╉椀膯栴}及恒成立與最值求解的相互轉化．