Question

记数列a₁，a₂，…，a_n为A，其中a_i∈{0，1}，i=1，2，3，…，n．定义一种变换f：f将A中的1变为1，0；0变为0，1．设A₁=f（A），A_k+1=f（A_k），k∈N^*；   例如A：0，1，则A₁=f（A）：0，1，1，0．
（1）若A为1，1，0，则A₄中的项数为

 

；
（2）设A为1，0，1，记A_k中相邻两项都是0的数对个数为b_k，则b_k关于k的表达式为

 

．

Answer 1

考点：映射,集合的包含关系判断及应用

专题：函数的性质及应用

分析：（1）由已知中A为1，1，0，f将A中的1变为1，0；0变为0，1．设A₁=f（A），A_k+1=f（A_k），代入递推可得答案；
（2）设A_k中有l_k个10数对，A_k+1中的00数对只能由A_k中的10数对得到，从而有b_k+1=l_k，A_k+1中的10数对有两个产生途径：①由A_k中的1得到； ②由A_k中00得到，由变换f的定义及A：1，0，1可得A_k中0和1的个数总相等，且共有3×2^k个，从而可得A_k+1中的10数对的个数l_k+1=b_k+3×2^k-1，则b_k+2=b_k+3×2^k-1，分k为奇数、偶数讨论，用累加法可得答案；

解答： 解：（1）∵A为1，1，0，
故A₁有6项，A₂中的项数为12，A₃有24项，A₄中的项数为48，
（2）设A_k中有l_k个10数对，A_k+1中的00数对只能由A_k中的10数对得到，
∴b_k+1=l_k，A_k+1中的10数对有两个产生途径：①由A_k中的1得到； ②由A_k中00得到，
由变换f的定义及A：1，0，1可得A_k中0和1的个数总相等，且共有3×2^k个，
∴l_k+1=b_k+3×2^k-1，
∴b_k+2=b_k+3×2^k-1，
由A：1，0，1可得A₁：1，0，0，1，1，0；A₂：1，0，0，1，0，1，1，0，1，0，0，1，
∴b₁=1，b₂=2，
当k≥3时，
若k为偶数，b_k=b_k-2+3×2^k-3，b_k-2=b_k-4+3×2^k-5，…b₄=b₂+3×2．
上述各式相加可得b_k=2+3×2+3×2³+…+3×2^k-3=2+3×

2(1-4 k-2 2 )

1-4

=2^k-1，
经检验，k=2时，也满足b_k=2^k-1．
若k为奇数，b_k=b_k-2+3×2^k-3，b_k-2=b_k-4+3×2^k-5，…，b₃=b₁+3×2⁰，
上述各式相加可得b_k=1+3×1+3×2²+3×2⁴+…+3×2^k-3=1+3×

2(1-4 k-1 2 )

1-4

=2^k-1，
经检验，k=1时，也满足b_k=2^k-1．
综上，b_k=2^k-1．
故答案为：（1）48；（2）b_k=2^k-1．

点评：本题主要考查了数列的概念及简单表示法，以及数列的求和，同时考查了分类讨论的思想，难度较大，对能力要求较高．