Question

设项数均为k（k≥2，k∈N^*）的数列{a_n}、{b_n}、{c_n}前n项的和分别为S_n、T_n、U_n．已知：an-bn=2n  (1≤n≤k， n∈N*)，且集合{a₁，a₂，…，a_k，b₁，b₂，…，b_k}={2，4，6，…，4k-2，4k}．
（1）已知Un=2n+2n，求数列{c_n}的通项公式；
（2）若k=4，求S₄和T₄的值，并写出两对符合题意的数列{a_n}、{b_n}；
（3）对于固定的k，求证：符合条件的数列对（{a_n}，{b_n}）有偶数对．

Answer 1

分析：（1）当n=1时，c₁=U₁=4；当n≥2时，易求c_n=U_n-U_n-1=2+2^n-1，从而可得数列{c_n}的通项公式；
（2）依题意，可求得S₄-T₄=20，S₄+T₄=72，从而可求得S₄和T₄的值，继而可写出两对符合题意的数列{a_n}、{b_n}；
（3）令d_n=4k+2-b_n，e_n=4k+2-a_n（1≤n≤k，n∈N^*），可求得d_n-e_n=（4k+2-b_n）-（4k+2-a_n）=a_n-b_n=2n，结合{a₁，a₂，…，a_k，b₁，b₂，…，b_k}={2，4，6，…，4k}⇒数列对（{a_n}，{b_n}）与（{d_n}，{e_n}）成对出现，从而可证得结论．

解答：解：（1）n=1时，c₁=U₁=4，
当n≥2时，c_n=U_n-U_n-1=2n+2ⁿ-2（n-1）-2^n-1=2+2^n-1，
c₁=4不适合该式，
故c_n=

4，  n=1 2+2n-1，  2≤n≤k

，
（2）S₄-T₄=（a₁+a₂+a₃+a₄）-（b₁+b₂+b₃+b₄）
=（a₁-b₁）+（a₂-b₂）+（a₃-b₃）+（a₄-b₄）
=2+4+6+8=20，
又S₄+T₄=（a₁+a₂+a₃+a₄）+（b₁+b₂+b₃+b₄）
=2+4+6+8+10+12+14+16
=72，
∴S₄=46，T₄=26；            
数列{a_n}、{b_n}可以为：
①16，10，8，12；14，6，2，4 ②14，6，10，16；12，2，4，8
③6，16，14，10；4，12，8，2 ④4，14，12，16；2，10，6，8
⑤4，12，16，14；2，8，10，6 ⑥16，8，12，10；14，4，6，2；    
（3）令d_n=4k+2-b_n，e_n=4k+2-a_n（1≤n≤k，n∈N^*），
d_n-e_n=（4k+2-b_n）-（4k+2-a_n）=a_n-b_n=2n；
又{a₁，a₂，…，a_k，b₁，b₂，…，b_k}={2，4，6，…，4k}，
得{4k+2-a₁，4k+2-a₂，…，4k+2-a_k，4k+2-b₁，4k+2-b₂，…，4k+2-b_k}
={2，4，6，…，4k}；
∴数列对（{a_n}，{b_n}）与（{d_n}，{e_n}）成对出现． 
假设数列{a_n}与{d_n}相同，则由d₂=4k+2-b₂=a₂及a₂-b₂=4，得a₂=2k+3，b₂=2k-1，均为奇数，矛盾！
故符合条件的数列对（{a_n}，{b_n}）有偶数对．

点评：本题考查数列的求和，着重考查构造函数思想，考查抽象思维与创新思维的综合运用，属于难题．