Question

（Ⅰ）已知函數．數列{a_n}滿足：a_n＞0，a₁=1，且，記數列{b_n}的前n項和為S_n，且．求數列{b_n}的通項公式；并判斷b₄+b₆是否仍為數列{b_n}中的項？若是，請證明；否則，說明理由．
（Ⅱ）設{c_n}為首項是c₁，公差d≠0的等差數列，求證：“數列{c_n}中任意不同兩項之和仍為數列{c_n}中的項”的充要條件是“存在整數m≥-1，使c₁=md”．

Answer 1

解：（Ⅰ）因為，
所以，
即，，
即．（4分）
因為，
當n=1時，，
當n≥2時，，
所以．（6分）
又因為，
所以令，
則；
得到與t∈N^*矛盾，
所以b₄+b₆不在數列{b_n}中．（8分）
（Ⅱ）充分性：若存在整數m≥-1，使c₁=md．
設c_r，c_t為數列{c_n}中不同的兩項，
則c_r+c_t=c₁+（r-1）d+c₁+（t-1）d=c₁+（r+m+t-2）d=c₁+[（r+m+t-1）-1]d．
又r+t≥3且m≥-1，所以r+m+t-1≥1．
即c_r+c_t是數列{c_n}的第r+m+t-1項．（11分）
必要性：若數列{c_n}中任意不同兩項之和仍為數列{c_n}中的項，
則c_s=c₁+（s-1）d，c_t=c₁+（t-1）d，
（s，t為互不相同的正整數）
則c_s+c_t=2c₁+（s+t-2）d，令c_s+c_t=c_l，
得到2c₁+（s+t-2）d=c₁+（l-1）d（n，t，s∈N^*），
所以c₁=（l-s-t+1）d，
令整數m=l-s-t+1，所以c₁=md． （14分）
下證整數m≥-1
若設整數m＜-1，則-m≥2．令k=-m，
由題設取c₁，c_k使c₁+c_k=c_r（r≥1）
即c₁+c₁+（k-1）d=c₁+（r-1）d，
所以md+（-m-1）d=（r-1）d
即rd=0與r≥1，d≠0相矛盾，所以m≥-1．
綜上，數列{c_n}中任意不同兩項之和仍為數列{c_n}中的項的充要條件是存在整數m≥-1，使c₁=md．（16分）
分析：（Ⅰ）由題意知，，所以．再由題設條件可以導出，由此可知b₄+b₆不在數列{b_n}中．
（Ⅱ）先證充分性：若存在整數m≥-1，使c₁=md．再證必要性：若數列{c_n}中任意不同兩項之和仍為數列{c_n}中的項，則c_s=c₁+（s-1）d，c_t=c₁+（t-1）d．
點評：本題考查數列的性質和綜合運用，難度較大．解題時要認真審題，仔細解答．