Question

8．若數(shù)列…，a_-2，a_-1，a₀，a₁，a₂，…滿足${a_n}=\frac{{{a_{n-1}}+{a_{n+1}}}}{3}（{n∈Z}）$，則稱{a_n}具有性質(zhì)A．
（Ⅰ）若數(shù)列{a_n}、{b_n}具有性質(zhì)A，k為給定的整數(shù)，c為給定的實(shí)數(shù)．以下四個(gè)數(shù)列中哪些具有性質(zhì)A？請(qǐng)直接寫出結(jié)論．
①{-a_n}；②{a_n+b_n}；③{a_n+k}；④{ca_n}．
（Ⅱ）若數(shù)列{a_n}具有性質(zhì)A，且滿足a₀=0，a₁=1．
（i）直接寫出a_-n+a_n（n∈Z）的值；
（ii）判斷{a_n}的單調(diào)性，并證明你的結(jié)論．
（Ⅲ）若數(shù)列{a_n}具有性質(zhì)A，且滿足a_-2004=a₂₀₁₅．求證：存在無(wú)窮多個(gè)整數(shù)對(duì)（l，m），滿足a_t=a_m（l≠m）．

Answer 1

分析 （Ⅰ）由新定義可知①②③④均具有性質(zhì)A；
（Ⅱ）（i）a_-n+a_n=0（n∈Z）；
（ii）用數(shù)學(xué)歸納法證明當(dāng)n∈N時(shí)，{a_n}單調(diào)遞增；
（Ⅲ）令b_k=a_k-2014，c_k=a_2015-k，可知其滿足b₀=a_-2014=a₂₀₁₅=c₀，b₄₀₂₉=a_4029-2014=a₂₀₁₅=a_-2014=a_2015-4029=a₄₀₂₉．
記d_k=b_k-c_k，則{d_k}也具有性質(zhì)A，且d₀=d₄₀₂₉=0，然后分d₁≠0和d₁=0證明存在無(wú)窮多個(gè)整數(shù)對(duì)（l，m），滿足a_t=a_m（l≠m）．

解答 解：（Ⅰ）①②③④；
（Ⅱ）（i）a_-n+a_n=0（n∈Z）；
（ii）（1）用數(shù)學(xué)歸納法證明當(dāng)n∈N時(shí)，有a_n+1＞a_n．
當(dāng)n=0時(shí)，結(jié)論成立；
設(shè)n=k時(shí)（k∈N）時(shí)，有a_k+1＞a_k，
則當(dāng)n=k+1時(shí)，有a_k+2=3a_k+1-a_k＞2a_k+1+（2a_k+1-a_k）＞2a_k+1＞a_k+1．
故a_n+1＞a_n（n∈N）；
（2）當(dāng)n＜0時(shí)，由（ii），有a_n=-a_-n，a_n+1=-a_-（n+1），
當(dāng)-n≥-（n+1）≥0，得a_-n＞a_-（n+1），即-a_n＞-a_n+1，即a_n+1＞a_n．
由（1），（2），有a_n+1＞a_n（n∈Z），故{a_n}單調(diào)遞增；
（Ⅲ）令b_k=a_k-2014，c_k=a_2015-k，
其滿足b₀=a_-2014=a₂₀₁₅=c₀，b₄₀₂₉=a_4029-2014=a₂₀₁₅=a_-2014=a_2015-4029=a₄₀₂₉．
記d_k=b_k-c_k，則{d_k}也具有性質(zhì)A，且d₀=d₄₀₂₉=0，
若d₁≠0，則令${x}_{k}=\frac{zhfrdnb_{k}}{9rfnznb_{1}}$，{x_k}也具有性質(zhì)A，且x₀=0，x₁=1．
由（Ⅱ）知，{x_n}單調(diào)遞增，則0＞x₄₀₂₉＞x₁=1，矛盾；
故d₁=0，從而，由$l9htf3p_{n}=\frac{n9htfrf_{n-1}+dh9jvlz_{n+1}}{3}$（n∈Z），及d₀=d₁=0，可得d_n=0（n∈Z），
即b_n-c_n=0，a_n-2014-a_2015-n=0，a_n-2014=a_2015-n對(duì)一切整數(shù)n成立．
故可取m=n-2014，l=2015-n（n∈Z），易得m，l∈Z，m≠l，（否則n=$\frac{4029}{2}$∉Z），（l，m）滿足題意，
由n有無(wú)窮多種取值，且不同的整數(shù)n對(duì)應(yīng)不同的整數(shù)對(duì)（l，m），
知這樣的整數(shù)對(duì)（l，m）有無(wú)窮多個(gè)．

點(diǎn)評(píng) 本題考查數(shù)列的應(yīng)用，考查數(shù)列的函數(shù)特性，考查邏輯思維能力和推理運(yùn)算能力，難度較大．