Question

設(shè)，其中c₀，c₁，c₂，…，c_k為非零常數(shù)，數(shù)列{a_n}的首項(xiàng)a₁=1，前n項(xiàng)和為S_n，對(duì)于任意的正整數(shù)n，a_n+S_n=f_k（n）．
（1）若k=0，求證：數(shù)列{a_n}是等比數(shù)列；
（2）試確定所有的自然數(shù)k，使得數(shù)列{a_n}能成等差數(shù)列．

Answer 1

（1）證明：∵k=0，則f_k（n）即f₀（n）為常數(shù)，不妨設(shè)f₀（n）=c（c為常數(shù)）．
因?yàn)閍_n+S_n=f_k（n）恒成立，所以a₁+S₁=c，即c=2a₁=2．
而且當(dāng)n≥2時(shí)，由a_n+S_n=2 可得①a_n-1+S_n-1=2，②，把①-②可得 2a_n-a_n-1=0（n∈N，n≥2）．
若a_n=0，則a_n-1=0，…，a₁=0，與已知矛盾，所以．
故數(shù)列{a_n}是首項(xiàng)為1，公比為的等比數(shù)列．
（2）解：（i） 若k=0，由（1）知，不符題意，舍去．
（ii） 若k=1，設(shè)f₁（n）=bn+c（b，c為常數(shù)），則 當(dāng)n≥2時(shí)，由a_n+S_n=bn+c ③，可得a_n-1+S_n-1=b（n-1）+c．④
③-④得 2a_n-a_n-1=b（n∈N，n≥2）．要使數(shù)列{a_n}是公差為d（d為常數(shù)）的等差數(shù)列，必須有a_n=b-d（常數(shù)），
而a₁=1，故{a_n}只能是常數(shù)數(shù)列，通項(xiàng)公式為a_n=1（n∈N^*），
故當(dāng)k=1時(shí)，數(shù)列{a_n}能成等差數(shù)列，其通項(xiàng)公式為a_n=1（n∈N^*），此時(shí)f₁（n）=n+1．
（iii） 若k=2，設(shè)（a≠0，a，b，c是常數(shù)），
當(dāng)n≥2時(shí)，由 ⑤，可得 ⑥，
⑤-⑥得 2a_n-a_n-1=2an+b-a（n∈N，n≥2）．
要使數(shù)列{a_n}是公差為d（d為常數(shù)）的等差數(shù)列，必須有a_n=2an+b-a-d，且d=2a，
考慮到a₁=1，所以a_n=1+（n-1）•2a=2an-2a+1（n∈N^*）．
故當(dāng)k=2時(shí)，數(shù)列{a_n}能成等差數(shù)列，其通項(xiàng)公式為a_n=2an-2a+1（n∈N^*），
此時(shí)（a為非零常數(shù)）．
（iv） 當(dāng)k≥3時(shí)，若數(shù)列{a_n}能成等差數(shù)列，則a_n+S_n的表達(dá)式中n的最高次數(shù)為2，故數(shù)列{a_n}不能成等差數(shù)列．
綜上得，當(dāng)且僅當(dāng)k=1或2時(shí)，數(shù)列{a_n}能成等差數(shù)列．
分析：（1）由a₁ =S₁ 求出首項(xiàng) a₁ 的值，當(dāng)n≥2時(shí)，由a_n+S_n=2 ①，可得a_n-1+S_n-1=2 ②，相減可得 2a_n-a_n-1=0（n∈N，n≥2）．判斷，從而證得結(jié)論．
（2）若k=0，由（1）知，不符題意．若k=1，求得a_n=1（n∈N^*），此時(shí)f₁（n）=n+1．若k=2，同理求得a_n=2an-2a+1（n∈N^*），此時(shí)．
當(dāng)k≥3時(shí)，若數(shù)列{a_n}能成等差數(shù)列，則a_n+S_n的表達(dá)式中n的最高次數(shù)為2，故數(shù)列{a_n}不能成等差數(shù)列，綜上可得結(jié)論．
點(diǎn)評(píng)：本題主要考查等比關(guān)系的確定，等差數(shù)列的通項(xiàng)公式的應(yīng)用，數(shù)列的前n項(xiàng)和與第n項(xiàng)的關(guān)系，體現(xiàn)了分類討論的數(shù)學(xué)思想，屬于中檔題．