Question

已知S_n=·a₁+·a₁+…+a_n，n∈N^*.

（1）若S_n=n·2^n-1（n∈N^*），是否存在等差数列{a_n}对一切自然数n满足上述等式？

（2）若数列{a_n}是公比为q(q≠±1)首项为1的等比数列，b₁+b₂+…+b_n=S_n2ⁿ(n∈N^*).求证：{b_n}是等比数列.

Answer 1

（1）解析：假设存在等差数列{a_n}满足条件.设a_n=d_n+a,∴·a₁+·a₂+…+·a_n=d(+2+…+n)+a(++…+)=d(n·+n·+…+n·)+a·(2ⁿ-1)=d·n·2^n-1+a·(2ⁿ-1)=n·2^n-1.

令d=1，a=0满足上式.

故存在等差数列{a_n}满足题设.

（2）证明：a_n=,

∴S_n=［·（q-1）+·(q²-1)+…+(qⁿ-1)］

=［(+·q+·q²+…+·qⁿ)-( ++…+)］=［(1+q)ⁿ-2ⁿ］.

∴S_n2ⁿ=［(1+q2)ⁿ-1］.

当n≥2时，b_n=［()ⁿ-()^n-1］=·（）^n-1;

当n=1时，b₁==满足上式 .

∴b_n=·（）^n-1.故{b_n}是首项为，公比为的等比数列.