Question

对于给定数列{c_n}，如果存在实常数p、q，使得c_n+1=pc_n+q对于任意n∈N^*都成立，我们称数列{c_n}是“M类数列”；
（1）若a_n=2n，数列{a_n}是否为“M类数列”？若是，指出它对应的实常数p、q，若不是，请说明理由；
（2）数列{a_n}满足a₁=2，a_n+a_n+1=3•2ⁿ（n∈N^*），若数列{a_n}是“M类数列”，求数列{a_n}的通项公式；
（3）记数列{a_n}的前n项之和为S_n，求证：（n≥3）．

Answer

（1）由an=2n，可得an+1=an+2，根据“M类数列”定义，可得结论；
（2）根据数列{an}是“M类数列”，可得存在实常数p、q使得an+1=pan+q对于任意n∈N*都成立，结合an+an+1=3•2n（n∈N*），可求数列{an}的通项公式；
（3）确定数列{an}的前n项之和为Sn，利用放缩法，结合裂项求和，即可得到结论．
（1）【解析】
∵an=2n，∴an+1=an+2，
故数列{an}是“M类数列”，对应的实常数p、q的值分别为1、2．（2分）
（2）【解析】
∵数列{an}是“M类数列”，
∴存在实常数p、q使得an+1=pan+q对于任意n∈N*都成立，
∴an+2=pan+1+q，故（4分）
又，∴对于任意n∈N*都成立，
即对于任意n∈N*都成立，（6分）
因此p=2，q=0
此时，∴（8分）
（3）证明：由（2）知：（9分）
当n≥3时，，
当且仅当n=3时等号成立，所以Sn≥2（2n+1）（11分）
于是
因为S1=2，S2=6，S3=14，所以
=．（13分）