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=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}）有偶数对．