设项数均为k（k≥2，k∈N*）的数列{an}、{bn}、{cn}前n项的和分别

问题解答题

设项数均为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}）有偶数对．

答案

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