Question

设首项为a₁的正项数列{a_n}的前n项和为S_n，q为非零常数，已知对任意正整数n，m，S_n+m=S_m+q^mS_n总成立．
（Ⅰ）求证：数列{a_n}是等比数列；
（Ⅱ）若不等的正整数m，k，h成等差数列，试比较a_m^m•a_h^h与a_k^2k的大小；
（Ⅲ）若不等的正整数m，k，h成等比数列，试比较与的大小．

Answer 1

【答案】分析：（Ⅰ）令n=m=1，得a₂=qa₁，令m=1，得S_n+1=S₁+qS_n（1），从而S_n+2=S₁+qS_n+1两式相减即可得出a_n+2=qa_n+1，进而可判断出数列{a_n}是等比数列
（Ⅱ）根据m，k，h成等差数列，可知m+h=2k，进而可判定，进而根据等比数列的通项公式分q大于、等于和小于1三种情况判断．
（Ⅲ）正整数m，k，h成等比数列，则m•h=k²，判断出，进而根据等差根据等比数列的通项公式分a₁和q大于、等于和小于1三种情况判断．
解答：（Ⅰ）证：因为对任意正整数n，m，S_n+m=S_m+q^mS_n总成立，
令n=m=1，得S₂=S₁+qS₁，则a₂=qa₁
令m=1，得S_n+1=S₁+qS_n（1），从而S_n+2=S₁+qS_n+1（2），
（2）-（1）得a_n+2=qa_n+1，（n≥1）
综上得a_n+1=qa_n（n≥1），所以数列{a_n}是等比数列
（Ⅱ）正整数m，k，h成等差数列，
则m+h=2k，
所以，
则
①当q=1时，a_m^m•a_h^h=a₁^2k=a_k^2k
②当q＞1时，
③当0＜q＜1时，
（Ⅲ）正整数m，k，h成等比数列，则m•h=k²，则，
所以，
①当a₁=q，即时，=
②当a₁＞q，即时，=
③当a₁＜q，即时，=
点评：本题主要考查了等比关系的确定和等比数列的性质．等比数列常与不等式一块考查，应引起重视．