Question

【题目】设各项均为正数的数列的前项和为，且，（，），数列满足（）.

（1）求数列、的通项公式；

（2）设，是的前项和，求正整数，使得对任意的，

均有；

（3）设，且，其中（，），求集合中所有元素的和.

Answer 1

【答案】（1），；（2）；（3）见解析.

【解析】

（1）①a1＝1，an2＝Sn+Sn﹣1（n∈N*，n≥2），Sn+1+Sn，相减可得：an+1+an，化简利用已知条件及其等差数列的通项公式可得an．

②数列{bn}满足（n∈N*）．n≥2时，b1b2…bn﹣1，相除可得bn．

（2）cn，利用求和公式与裂项求和方法可得：Tn．作差Tn+1﹣Tn，利用其单调性即可得出．

（3）x＝k1b1+k2b2+…+knbn，且x＞0，其中k1，k2，…，kn∈{﹣1，1}（n∈N*，n≥2），

①要使x＞0，则必须kn＝1．其它k1，k2，…，kn﹣1∈{﹣1，1}（n∈N*，n≥2），可任取1，﹣1．通过放缩及其求和公式即可证明．另外kn＝1．此时：x≥﹣2﹣22﹣……﹣2n﹣1+2n＞0．

②其它k1，k2，…，kn﹣1∈{﹣1，1}（n∈N*，n≥2），可任取1，﹣1．此时集合内的元素x共有2n﹣1个互不相同的正数，利用乘法原理可得：表示x的式子共有2n﹣1个．利用反证法证明这2n﹣1个式子所表示的x互不相等，再分析求解所有元素的和．

（1）①a1＝1，an2＝Sn+Sn﹣1（n∈N*，n≥2），

∴Sn+1+Sn，相减可得：an+1+an，

化为：（an+1+an）（an+1﹣an﹣1）＝0，

∵an+1+an＞0，

∴an+1﹣an＝1，

又S2+S1，可得a2﹣2＝0，a2＞0，

解得：a2＝2，

∴a2﹣a1＝1，

∴数列{an}设等差数列，an＝1+n﹣1＝n．

②数列{bn}满足（n∈N*）．

n≥2时，b1b2…bn﹣1，

∴．

（2）cn，

∴Tn（1）．

Tn+1﹣Tn（）．

n≤3时，Tn+1≥Tn．

n≥4时，Tn+1≤Tn．

当m＝4时，使得对任意的n∈N*，均有Tm≥Tn．

（3）x＝k1b1+k2b2+…+knbn，且x＞0，其中k1，k2，…，kn∈{﹣1，1}（n∈N*，n≥2），

①要使x＞0，则必须kn＝1．其它k1，k2，…，kn﹣1∈{﹣1，1}（n∈N*，n≥2），可任取1，﹣1．

证明：若kn＝﹣1，则x＝k12+k222+…+kn﹣12n﹣1﹣kn2n≤2+22+……+2n﹣1﹣2n2n＝﹣2＜0，

此时x恒为负数，不成立．

∴kn＝1．此时：x≥﹣2﹣22﹣……﹣2n1+2n2n＝2＞0，

故k1，k2，…，kn﹣1∈{﹣1，1}（n∈N*，n≥2），可任取1，﹣1．

②其它k1，k2，…，kn﹣1∈{﹣1，1}（n∈N*，n≥2），可任取1，﹣1．

此时集合内的元素x共有2n﹣1个互不相同的正数．

证明：k1，k2，…，kn﹣1∈{﹣1，1}（n∈N*，n≥2），

利用乘法原理可得：表示x的式子共有2n﹣1个．

下面证明这2n﹣1个式子所表示的x互不相等，具体如下：

证明：假如这2n﹣1个式子所表示的x存在相等的数，

x1＝2n+kn﹣12n﹣1+……+k222+k12＝x2＝2n2n﹣1222．ki，∈{﹣1，1}（i∈N*，n﹣1≥i≥2），

即满足ki∈{﹣1，1}（i∈N*，n﹣1≥i≥2）的第一组系数的下标数为m．

则2m2m﹣1+（）2m﹣2+……+（）2，

而|2m﹣1+（）2m﹣2+……+（）2|≤22m﹣1+22m﹣2+……+2×2＝2m+1﹣4＜|2m|＜2m+1．

因此，假设不成立，即这2n﹣1个式子所表示的x

③这2n﹣1个x互不相等的正数x（每个均含knbn＝2n）．

又ki＝1或﹣1（i＝1，2，……，n﹣1）等可能出现，因此所有kibi（i＝1，2，……，n﹣1）部分的和为0．

故集合B中所有元素的和为所有knbn＝2n的和，即2n2n﹣1＝22n﹣1．