Question

（2012•东城区一模）若对于正整数k，g（k）表示k的最大奇数因数，例如g（3）=3，g（10）=5．设Sn=g(1)+g(2)+g(3)+g(4)+…+g(2n)．
（Ⅰ）求g（6），g（20）的值；
（Ⅱ）求S₁，S₂，S₃的值；
（Ⅲ）求数列{S_n}的通项公式．

Answer 1

分析：（Ⅰ）利用g（k）表示k的最大奇数因数，可求g（6），g（20）的值；
（Ⅱ）根据g（k）表示k的最大奇数因数，确定相应的函数值，从而可求S₁，S₂，S₃的值；
（Ⅲ）由（Ⅰ）（Ⅱ）不难发现对m∈N^*，有g（2m）=g（m），从而可得当n≥2时，S_n=4^n-1+S_n-1，利用S_n=（S_n-S_n-1）+（S_n-1-S_n-2）+…+（S₂-S₁）+S₁，即可求得结论．

解答：解：（Ⅰ）∵g（k）表示k的最大奇数因数，
∴g（6）=3，g（20）=5．                                           …（2分）
（Ⅱ）S₁=g（1）+g（2）=1+1=2；S₂=g（1）+g（2）+g（3）+g（4）=1+1+3+1=6；
S₃=g（1）+g（2）+g（3）+g（4）+g（5）+g（6）+g（7）+g（8）=1+1+3+1+5+3+7+1=22．…（6分）
（Ⅲ）由（Ⅰ）（Ⅱ）不难发现对m∈N^*，有g（2m）=g（m）．            …（8分）
所以当n≥2时，Sn=g(1)+g(2)+g(3)+g(4)+…+g(2n-1)+g(2n)
=[g（1）+g（3）+g（5）+…+g（2ⁿ-1）]+[g（2）+g（4）+…+g（2ⁿ）]
=[1+3+5+…+（2ⁿ-1）]+[g（2×1）+g（2×2）+…+g（2×2^n-1）]
=

(1+2n-1)×2n-1

2

+[g(1)+g(2)+…+g(2n-1)]=4^n-1+S_n-1…（11分）
于是Sn-Sn-1=4n-1，n≥2，n∈N^*．
所以S_n=（S_n-S_n-1）+（S_n-1-S_n-2）+…+（S₂-S₁）+S₁=4^n-1+4^n-2+…+4²+4+2
=

4(1-4n-1)

1-4

+2=

4n

3

+

2

3

，n≥2，n∈N^*．       …（13分）
又S₁=2，满足上式，
所以对n∈N^*，Sn=

1

3

(4n+2)．                                 …（14分）

点评：本题考查新定义，考查数列的求和，解题的关键是正确理解新定义，正确求数列的和是关键．