Question

對于數列{A_n}：A₁，A₂，A₃，…，A_n，若不改變A₁，僅改變A₂，A₃，…，A_n中部分項的符號，得到的新數列{a_n}稱為數列{A_n}的一個生成數列．如僅改變數列1，2，3，4，5的第二、三項的符號可以得到一個生成數列1，-2，-3，4，5．已知數列{a_n}為數列{

1

2n

}(n∈N*)的生成數列，S_n為數列{a_n}的前n項和．
（1）寫出S₃的所有可能值；
（2）若生成數列{a_n}滿足：S3n=

1

7

(1-

1

8n

)，求{a_n}的通項公式；
（3）證明：對于給定的n∈N^*，S_n的所有可能值組成的集合為：{x|x=

2m-1

2n

，m∈N*，m≤2n-1}．

Answer 1

分析：（1）根據生成數列的定義，可知當n=3時，a1=

1

2

，a₂、a₃分別在±

1

4

、±

1

8

中取值．由此給出{a_n}的所有可能的情況，即可算出S₃的所有可能值；
（2）根據{a_n}的前3n項和與通項的關系式，可得當n=1時S3=

1

8

，當n≥2時a_3n-2+a_3n-1+a_3n=S_3n-S_3n-3=

1

8n

．由a_3n-2、a_3n-1、a_3n的8種組合加以推斷，可得：當且僅當a3n-2=

4

8n

、a3n-1=-

2

8n

且a3n=-

1

8n

時，以上相等關系可以成立．由此即可得到滿足條件的{a_n}的通項公式；
（3）利用數學歸納法證明：①當n=1時命題成立；②假設n=k（k∈N^*）時，S_k=

2m-1

2k

(m∈N*，m≤2k-1)，則當n=k+1時，Sk+1=Sk±

1

2k+1

=

2k+1Sk±1

2k+1

=

2(2m-1)±1

2k+1

（m∈N^*，m≤2^k-1），從而證出Sk+1=

2m-1

2k+1

（m∈N^*，m≤2^k），即由n=k時命題成立可推出n=k+1時命題也成立．根據以上兩點，可以推斷出原命題成立．

解答：解：（1）由題意，得a1=

1

2

，|an|=

1

2n

(n∈N*，n≥2)，
∴根據生成數列的定義，可得a2=±

1

4

，a3=±

1

8

．
又∵

1

2

+

1

4

+

1

8

=

7

8

，

1

2

+

1

4

-

1

8

=

5

8

，

1

2

-

1

4

+

1

8

=

3

8

，

1

2

-

1

4

-

1

8

=

1

8

，
∴為

1

8

，

3

8

，

5

8

，

7

8

．
（2）∵S3n=

1

7

(1-

1

8n

)，
當n=1時，a1+a2+a3=S3=

1

7

(1-

1

8

)=

1

8

，
當n≥2時，a3n-2+a3n-1+a3n=S3n-S3n-3=

1

7

(1-

1

8n

)-

1

7

(1-

1

8n-1

)=

1

8n

∵{a_n}是{

1

2n

}(n∈N*)的生成數列
∴a3n-2=±

1

23n-2

，a3n-1=±

1

23n-1

，a3n=±

1

23n

；
可得a3n-2+a3n-1+a3n=±

1

23n-2

±

1

23n-1

±

1

23n

=

1

8n

(±4±2±1)=

1

8n

(n∈N*)，
在以上各種組合中，當且僅當a3n-2=

4

8n

，a3n-1=-

2

8n

，a3n=-

1

8n

(n∈N*)時，相等關系成立．
∴an=

1 2n ，n=3k-2 - 1 2n ，n≠3k-2

，k∈N*．
（3）利用數學歸納法證明：
①n=1時，S1=

1

2

，命題成立．
②假設n=k（k∈N^*）時命題成立，即S_k所有可能值集合為：{x|x=

2m-1

2k

，m∈N*，m≤2k-1}
由假設得S_k=

2m-1

2k

(m∈N*，m≤2k-1)…（13分）
則當n=k+1時，Sk+1=

1

2

±

1

22

±

1

23

±…±

1

2k

±

1

2k+1

=Sk±

1

2k+1

=

2k+1Sk±1

2k+1

Sk+1=

2k+1Sk±1

2k+1

=

2(2m-1)±1

2k+1

（m∈N^*，m≤2^k-1）…（15分）
即Sk+1=

2×(2m-1)-1

2k+1

或Sk+1=

2×(2m)-1

2k+1

（m∈N^*，m≤2^k-1）
即Sk+1=

2m-1

2k+1

（m∈N^*，m≤2^k）∴n=k+1時，命題成立       …（17分）
由①②，n∈N^*，S_n所有可能值集合為{x|x=

2m-1

2n

，m∈N*，m≤2n-1}．

點評：本題給出數列{A_n}的生成數列{a_n}的定義，求S₃的可能值并證明S_n的所有可能值組成的集合．著重考查了數列的通項與求和公式、等比數列的通項公式與前n項和公式、利用數學歸納法證明與正整數n有關的命題等知識，屬于難題．同時考查了學生的計算能力、邏輯推理能力與分析問題、解決問題的能力，考查了轉化化歸與分類討論的數學思想的運用，是一道綜合性較強的試題．