Question

（2013•北京）已知{a_n}是由非負整數組成的無窮數列，該數列前n項的最大值記為A_n，第n項之后各項a_n+1，a_n+2…的最小值記為B_n，d_n=A_n-B_n．
（Ⅰ）若{a_n}為2，1，4，3，2，1，4，3…，是一個周期為4的數列（即對任意n∈N^*，a_n+4=a_n），寫出d₁，d₂，d₃，d₄的值；
（Ⅱ）設d是非負整數，證明：d_n=-d（n=1，2，3…）的充分必要條件為{a_n}是公差為d的等差數列；
（Ⅲ）證明：若a₁=2，d_n=1（n=1，2，3，…），則{a_n}的項只能是1或者2，且有無窮多項為1．

Answer 1

分析：（Ⅰ）根據條件以及d_n=A_n-B_n 的定義，直接求得d₁，d₂，d₃，d₄的值．
（Ⅱ）設d是非負整數，若{a_n}是公差為d的等差數列，則a_n=a₁+（n-1）d，從而證得d_n=A_n-B_n=-d，
（n=1，2，3，4…）．若d_n=A_n-B_n=-d，（n=1，2，3，4…）．可得{a_n}是一個不減的數列，
求得d_n=A_n-B_n=-d，即 a_n+1-a_n=d，即{a_n}是公差為d的等差數列，命題得證．
（Ⅲ）若a₁=2，d_n=1（n=1，2，3，…），則{a_n}的項不能等于零，再用反證法得到{a_n}的項不能超過2，
從而證得命題．

解答：解：（Ⅰ）若{a_n}為2，1，4，3，2，1，4，3…，是一個周期為4的數列，∴d₁=A₁-B₁=2-1=1，
d₂=A₂-B₂=2-1=1，d₃=A₃-B₃=4-1=3，d₄=A₄-B₄=4-1=3．
（Ⅱ）充分性：設d是非負整數，若{a_n}是公差為d的等差數列，則a_n=a₁+（n-1）d，
∴A_n=a_n=a₁+（n-1）d，B_n=a_n+1=a₁+nd，∴d_n=A_n-B_n=-d，（n=1，2，3，4…）．
必要性：若 d_n=A_n-B_n=-d，（n=1，2，3，4…）．假設a_k是第一個使a_k-a_k-1＜0的項，
則d_k=A_k-B_k=a_k-1-B_k≥a_k-1-a_k＞0，這與d_n=-d≤0相矛盾，故{a_n}是一個不減的數列．
∴d_n=A_n-B_n=a_n-a_n+1=-d，即 a_n+1-a_n=d，故{a_n}是公差為d的等差數列．
（Ⅲ）證明：若a₁=2，d_n=1（n=1，2，3，…），首先，{a_n}的項不能等于零，否則d₁=2-0=2，矛盾．
而且還能得到{a_n}的項不能超過2，用反證法證明如下：
假設{a_n}的項中，有超過2的，設a_m是第一個大于2的項，由于{a_n}的項中一定有1，否則與d₁=1矛盾．
當n≥m時，a_n≥2，否則與d_m=1矛盾．
因此，存在最大的i在2到m-1之間，使a_i=1，此時，d_i=A_i-B_i=2-B_i≤2-2=0，矛盾．
綜上，{a_n}的項不能超過2，故{a_n}的項只能是1或者2．
下面用反證法證明{a_n}的項中，有無窮多項為1．
若a_k是最后一個1，則a_k是后邊的各項的最小值都等于2，故d_k=A_k-B_k=2-2=0，矛盾，
故{a_n}的項中，有無窮多項為1．
綜上可得，{a_n}的項只能是1或者2，且有無窮多項為1．

點評：本題主要考查充分條件、必要條件的判斷和證明，等差關系的確定，用反證法和放縮法證明數學命題，
屬于中檔題．