Question

設S_n是數列{a_n}的前n項和，且a_n是S_n和2的等差中項．
（1）求數列{a_n}的通項公式；
（2）當1≤i≤j≤n（i，j，n均為正整數）時，求a_i和a_j的所有可能的乘積a_ia_j之和T_n；
（3）設，求證：．

Answer 1

【答案】分析：（1）由a_n是S_n和2的等差中項，知S_n+2=2a_n，由此入手能求出a_n．
（2）由a_i和a_j的所有可能乘積a_i•a_j=2^i+j（1≤i≤j≤n）可構成下表：2¹⁺¹，2¹⁺²，2¹⁺³，…，2^1+（n-1），2¹⁺ⁿ2²⁺²，2²⁺³，…，2^2+（n-1），2²⁺ⁿ2³⁺³，…，2^3+（n-1），2³⁺ⁿ，…2ⁿ⁺ⁿ…．構造如下n行n列的數表：2¹⁺¹，2¹⁺²，2¹⁺³，…，2^1+（n-1），2¹⁺ⁿ2²⁺¹，2²⁺²，2²⁺³，…，2^2+（n-1），2²⁺ⁿ2³⁺¹，2³⁺²，2³⁺³，…，2^3+（n-1），2³⁺ⁿ，…2ⁿ⁺¹，2ⁿ⁺²，2ⁿ⁺³，…，2^n+（n-1），2ⁿ⁺ⁿ，求a_i和a_j的所有可能的乘積a_ia_j之和T_n．
（3），，=．由此能夠證明．
解答：解：（1）∵a_n是S_n和2的等差中項，
∴S_n+2=2a_n，①…（1分）
當n=1時，S₁+2=2a₁，解得a₁=2．
當n∈N^*，n≥2時，S_n-1+2=2a_n-1（n∈N^*，n≥2）．②
①-②得  S_n-S_n-1=2a_n-2a_n-1（n∈N^*，n≥2），
∴a_n=2a_n-2a_n-1，
∴a_n=2a_n-1，
∴（n∈N^*，n≥2）．
∴數列{a_n}是首項為2，公比為2的等比數列，
∴a_n=2ⁿ（n∈N^*）．…（5分）
（2）由a_i和a_j的所有可能乘積a_i•a_j=2^i+j（1≤i≤j≤n）可構成下表：2¹⁺¹，2¹⁺²，2¹⁺³，…，2^1+（n-1），2¹⁺ⁿ2²⁺²，2²⁺³，…，2^2+（n-1），2²⁺ⁿ2³⁺³，…，2^3+（n-1），2³⁺ⁿ
…2ⁿ⁺ⁿ…（7分）
構造如下n行n列的數表：2¹⁺¹，2¹⁺²，2¹⁺³，…，2^1+（n-1），2¹⁺ⁿ2²⁺¹，2²⁺²，2²⁺³，…，2^2+（n-1），2²⁺ⁿ2³⁺¹，2³⁺²，2³⁺³，…，2^3+（n-1），2³⁺ⁿ
…2ⁿ⁺¹，2ⁿ⁺²，2ⁿ⁺³，…，2^n+（n-1），2ⁿ⁺ⁿ
設上表第一行的和為T，則．
于是 2T_n=T（1+2+2²+…+2^n-1）+（2²+2⁴+…+2²ⁿ）==．
∴．…（10分）
（3）∵，
∴，…（12分）
∴==．
∵2ⁿ⁺¹-1≥3，
∴．
即．…（14分）
點評：考查等差數列、等比數列、不等式的證明、數列的求和等知識，考查推理論證能力和運算求解能力和化歸轉化數學思想．