Question

【題目】設(shè)數(shù)列{an}和{bn}的項(xiàng)數(shù)均為m，則將數(shù)列{an}和{bn}的距離定義為 |ai﹣bi|．
（1）給出數(shù)列1，3，5，6和數(shù)列2，3，10，7的距離；
（2）設(shè)A為滿足遞推關(guān)系an+1= 的所有數(shù)列{an}的集合，{bn}和{cn}為A中的兩個(gè)元素，且項(xiàng)數(shù)均為m，若b1=2，c1=3，{bn}和{cn}的距離小于2016，求m的最大值；
（3）記S是所有7項(xiàng)數(shù)列{an|1≤n≤7，an=0或1}的集合，TS，且T中任何兩個(gè)元素的距離大于或等于3，證明：T中的元素個(gè)數(shù)小于或等于16．

Answer 1

【答案】
（1）解：由題意可知，數(shù)列1，3，5，6和數(shù)列2，3，10，7的距離為1+0+5+1=7
（2）解：設(shè)a1=p，其中p≠0，且p≠±1，

由an+1= ，得a2= ，a3=﹣ ，a4= ，a5=p，

∴a1=a5，

因此A中數(shù)列的項(xiàng)周期性重復(fù)，且間隔4項(xiàng)重復(fù)一次，

所數(shù)列{bn}中，b4k﹣3=2，b4k﹣2=﹣3，b4k﹣1=﹣ ，b4k= ，k∈N*，

所以{cn}中，b4k﹣3=3，b4k﹣2=﹣2，b4k﹣1=﹣ ，b4k= ，k∈N*，

|bi﹣ci|≥ |bi﹣ci|，得項(xiàng)數(shù)m越大，數(shù)列{bn}和{cn}的距離越大，

由 =bi﹣ci|= ，

得 |bi﹣ci|= |bi﹣ci|= ×864=2016，

所以m＜3456時(shí)， |bi﹣ci|＜2016，

故m的最大值為3455

（3）解：證明：假設(shè)T中的元素個(gè)數(shù)大于等于17個(gè)，

因?yàn)閿?shù)列{an}中，ai=0或1，

所以僅由數(shù)列前三項(xiàng)組成的數(shù)組（a1，a2，a3）有且僅有8個(gè)，（0，0，0），（1，0，0），（0，1，0），（0，0，1），（1，1，0），

（1，0，1），（0，1，1），（1，1，1），

那么這17個(gè)元素（即數(shù)列）之中必有三個(gè)具有相同的a1，a2，a3，

設(shè)這個(gè)數(shù)列分別為{cn}：c1，c2，c3，c4，c5，c6，c7，{dn}：d1，d2，d3，d4，d5，d6，d7，{fn}：f1，f2，f3，f4，f5，f6，f7，

其中c1=d1=f1，c2=d2=f2，c3=d3=f3，

因?yàn)檫@三個(gè)數(shù)列中每?jī)蓚�(gè)的距離大于等于3，

所以，{bn}和{cn}中，ci=di，（i=4，5，6，7）中至少有三個(gè)成立，

不妨設(shè)c4≠d4，c5≠d5，c6≠d6，

由題意，c4和d4中一個(gè)等于0，而另一個(gè)等于1，

又因?yàn)閒4=0或1，

所以f4=c4和f4=d4中必有一個(gè)成立，

同理，得f5=c5和f5=d5中必有一個(gè)成立，f6=c6和f6=d6中必有一個(gè)成立，

所以“fi=ci（i=3，4，5）中至少有兩個(gè)成立”或”fi=di（i=4，5，6）中至少有兩個(gè)成立“中必有一個(gè)成立，

所以 |fi﹣ci|≤2和 |fi﹣di|≤2中必有一個(gè)成立．

與題意矛盾，

∴T中的元素個(gè)數(shù)小于或等于16

【解析】（1）由數(shù)列距離的定義即可求得數(shù)列1，3，5，6和數(shù)列2，3，10，7的距離；（2）由數(shù)列的遞推公式，即可求得a，a3 ， a4 ， a5 ， 求得A中數(shù)列的項(xiàng)周期性重復(fù)，且間隔4項(xiàng)重復(fù)一次，求得數(shù)列{bn}和{cn}規(guī)律，可知隨著項(xiàng)數(shù)m越大，數(shù)列{bn}和{cn}的距離越大，由 =bi﹣ci|= ，根據(jù)周期的定義，得 |bi﹣ci|= |bi﹣ci|= ×864=2016，求得m的最大值；（3）利用反證法，假設(shè)T中的元素個(gè)數(shù)大于等于17個(gè)，設(shè)出{cn}，{dn}，{fn}，最總求得 |fi﹣ci|≤2和 |fi﹣di|≤2中必有一個(gè)成立，與數(shù)列的距離大于或等于3矛盾，故可證明T中的元素個(gè)數(shù)小于或等于16．