Question

17．對于無窮數(shù)列{a_n}，記T={x|x=a_j-a_i，i＜j}，若數(shù)列{a_n}滿足：“存在t∈T，使得只要a_m-a_k=t（m，k∈N^*且m＞k），必有a_m+1-a_k+1=t”，則稱數(shù)列{a_n}具有性質(zhì)P（t）．
（Ⅰ）若數(shù)列{a_n}滿足${a_n}=\left\{{\begin{array}{l}{2n，n≤2}\\{2n-5，n≥3}\end{array}}\right.$判斷數(shù)列{a_n}是否具有性質(zhì)P（2）？是否具有性質(zhì)P（4）？
（Ⅱ）求證：“T是有限集”是“數(shù)列{a_n}具有性質(zhì)P（0）”的必要不充分條件；
（Ⅲ）已知{a_n}是各項為正整數(shù)的數(shù)列，且{a_n}既具有性質(zhì)P（2），又具有性質(zhì)P（5），求證：存在整數(shù)N，使得a_N，a_N+1，a_N+2，…，a_N+k，…是等差數(shù)列．

Answer 1

分析 （Ⅰ）由${a_n}=\left\{{\begin{array}{l}{2n，n≤2}\\{2n-5，n≥3}\end{array}}\right.$可得a₂-a₁=2，但a₃-a₂=-1≠2，數(shù)列{a_n}不具有性質(zhì)P（2）；同理可判斷數(shù)列{a_n}具有性質(zhì)P（4）．
（Ⅱ）舉例“周期數(shù)列1，1，2，2，1，1，2，2，…，T={-1，0，1}是有限集，利用新定義可證數(shù)列{a_n}不具有性質(zhì)P（0），即不充分性成立；再證明其必要性即可．
（Ⅲ）依題意，數(shù)列{a_n}是各項為正整數(shù)的數(shù)列，且{a_n}既具有性質(zhì)P（2），又具有性質(zhì)P（5），可證得存在整數(shù)N，使得a_N，a_N+1，a_N+2，…，a_N+k，…是等差數(shù)列．

解答 （本小題滿分13分）
解：（Ⅰ）∵${a_n}=\left\{{\begin{array}{l}{2n，n≤2}\\{2n-5，n≥3}\end{array}}\right.$，a₂-a₁=2，但a₃-a₂=-1≠2，數(shù)列{a_n}不具有性質(zhì)P（2）；
同理可得，數(shù)列{a_n}具有性質(zhì)P（4）．
（Ⅱ）（不充分性）對于周期數(shù)列1，1，2，2，1，1，2，2，…，T={-1，0，1}是有限集，但是由于a₂-a₁=0，a₃-a₂=1，
所以不具有性質(zhì)P（0）；
（必要性）因為數(shù)列{a_n}具有性質(zhì)P（0），
所以一定存在一組最小的且m＞k，滿足a_m-a_k=0，即a_m=a_k
由性質(zhì)P（0）的含義可得a_m+1=a_k+1，a_m+2=a_k+2，…，a_2m-k-1=a_m-1，a_2m-k=a_m，…
所以數(shù)列{a_n}中，從第k項開始的各項呈現(xiàn)周期性規(guī)律：a_k，a_k+1，…，a_m-1為一個周期中的各項，
所以數(shù)列{a_n}中最多有m-1個不同的項，
所以T最多有$C_{m-1}^2$個元素，即T是有限集．
（Ⅲ）因為數(shù)列{a_n}具有性質(zhì)P（2），數(shù)列{a_n}具有性質(zhì)P（5），
所以存在M′、N′，使得a_M'+p-a_M'=2，a_N'+q-a_N'=5，其中p，q分別是滿足上述關(guān)系式的最小的正整數(shù)，
由性質(zhì)P（2），P（5）的含義可得，a_M'+p+k-a_M'+k=2，a_N'+q+k-a_N'+k=5，
若M'＜N'，則取k=N'-M'，可得a_N'+p-a_N'=2；
若M'＞N'，則取k=M'-N'，可得a_M'+q-a_M'=5．
記M=max{M'，N'}，則對于a_M，有a_M+p-a_M=2，a_M+q-a_M=5，顯然p≠q，
由性質(zhì)P（2），P（5）的含義可得，a_M+p+k-a_M+k=2，a_N+q+k-a_N+k=5，
所以a_M+qp-a_M=（a_M+qp-a_M+（q-1）p）+（a_M+（q-1）p-a_M+（q-2）p）+…+（a_M+p-a_M）=2qa_M+qp-a_M=（a_M+pq-a_M+（p-1）q）+（a_M+（p-1）q-a_M+（p-2）q）+…+（a_M+q-a_M）=5p
所以a_M+qp=a_M+2q=a_M+5p．
所以2q=5p，
又p，q是滿足a_M+p-a_M=2，a_M+q-a_M=5的最小的正整數(shù)，
所以q=5，p=2，a_M+2-a_M=2，a_M+5-a_M=5，
所以，a_M+2+k-a_M+k=2，a_M+5+k-a_M+k=5，
所以，a_M+2k=a_M+2（k-1）+2=…=a_M+2k，a_M+5k=a_M+5（k-1）+5=…=a_M+5k，
取N=M+5，則，
所以，若k是偶數(shù)，則a_N+k=a_N+k；
若k是奇數(shù)，則a_N+k=a_{N+5+（k-5）}=a_N+5+（k-5）=a_N+5+（k-5）=a_N+k，
所以，a_N+k=a_N+k
所以a_N，a_N+1，a_N+2，…，a_N+k，…是公差為1的等差數(shù)列．

點評 本題考查數(shù)列遞推式的應(yīng)用，考查充分、必要條件的判定，考查推理與論證能力，屬于難題．