Question

已知數列{a_n}對任意的n≥2，n∈N^*滿足：a_n+1+a_n-1＜2a_n，則稱{a_n}為“Z數列”．
（1）求證：任何的等差數列不可能是“Z數列”；
（2）若正數列{b_n}，數列{lgb_n}是“Z數列”，數列{b_n}是否可能是等比數列，說明理由，構造一個數列{c_n}，使得{c_n}是“Z數列”；
（3）若數列{a_n}是“Z數列”，設s，t，m∈N^*，且s＜t，求證求證a_t+m-a_s+m＜a_t-a_s．

Answer 1

【答案】分析：（1）利用等差數列的通項公式和“Z數列”的意義即可證明；
（2）利用對數的運算法則、“Z數列”的定義、等比數列的性質即可證明；由“Z數列”的意義：若a_n+1-a_n＜a_n-a_n-1，則，根據幾何意義只要c_n=f（n）的一階導函數單調遞減就可以．
（3）分別計算出a_t-a_s，a_t+m-a_s+m，設b_s=a_s+1-a_s，利用數列{b_n}滿足對任意的n∈N^*b_n+1＜b_n，即可證明．
解答：解：（1）設等差數列{a_n}的首項a₁，公差d，
∵a_n=a₁+（n-1）d，a_n+1+a_n-1-2a_n=a₁+nd+a₁+（n-2）d-2a₁-2（n-1）d=0，
所以任何的等差數列不可能是“Z數列”．
或者根據等差數列的性質：a_n+1+a_n-1=2a_n
所以任何的等差數列不可能是“Z數列”．
（2）∵a_n是“Z數列”，∴lga_n+1+lga_n-1＜2lga_n
∴，所以{a_n}不可能是等比數列．
等比數列只要首項c₁＜0公比q≠1．
[其他的也可以：（a＜0）或]
等比數列{c_n}的首項c₁，公比q，通項公式
=恒成立，∴c₁＜0．
（3）因為b_s=a_s+1-a_s，b_s+1=a_s+2-a_s+1，b_s+2=a_s+3-a_s+2，…，b_t-1=a_t-a_t-1
∴
同理：
因為數列{b_n}滿足對任意的n∈N^*b_n+1＜b_n，
所以b_t-1＞b_t+m-1，b_t-2＞b_t+m-2，…，b_s+m＞b_s，
∴a_t-a_s＞a_t+m-a_s+m．
點評：正確理解“Z數列”的定義，數列掌握等差數列與等比數列的通項公式、對數的運算法則是解題的關鍵．本題需要較強的邏輯推理能力和計算能力．