Question

已知{an}是公差为d的等差数列，{bn}是公比为q的等比数列，设m，n，p，k都是正整数．

Answer 1

解题思路：（1）根据等差数列、等比数列的通项公式即可证得；

（2）由a_m+a_m+1=a_k，得6m+5=3k+1，

k−2m＝

4

3

，由m、k∈N^*，知k-2m为整数，所以不存在m、k∈N^*，使等式成立．

（3）“若b_n=aqⁿ（a、q为常数，且aq≠0）对任意m，都存在k，有b_mb_m+1=b_k”成立，取m=1，可得a=q^c，其中c是大于等于-2的整数，再说明反之也成立，从而得结论．

（1）∵{a_n}是公差为d的等差数列，

∴a_m=a₁+（m-1）d，a_n=a₁+（n-1）d，a_m+a_n=2a₁+（m+n-2）d，

又m+n=2p，∴a_m+a_n=2a₁+2（p-1）d，

∵a₁+（p-1）d=a_p，∴a_m+a_n=2a_p． …（3分）

∵{b_n}是公比为q的等比数列，

∴b_m=b₁q^m-1，b_n=b₁q^n-1，b_mb_n=b₁²q^m+n-2，

∵m+n=2p，

∴b_mb_n=b₁²q^2p-2=b₁q^p-1•b₁q^p-1=b_p•b_p=b_p²．　…（6分）

（2）假设存在m，k，使得a_m+a_m+1=a_k，由a_m+a_m+1=a_k得6m+5=3k+1，

即k−2m＝

4

3

Qm、k∈N^*，∴k-2m为整数，矛盾．∴不存在m、k∈N⁺，使等式成立．（10分）

（3）“若b_n=aqⁿ（a、q为常数，且aq≠0）对任意m，都存在k，有b_mb_m+1=b_k”成立，取m=1，

得b₁b₂=b_k，∴a²q³=aq^k，∴a=q^k-3，即a=q^c，其中c是大于等于-2的整数．（13分）

反之，当a=q^c（c是大于等于-2的整数）时，有b_n=q^n+c，

显然b_m⋅b_m+1=q^m+c⋅q^m+1+c=q^2m+1+2c=b_k，其中k=2m+1+c．

∴所求的充要条件是a=q^c，其中c是大于等于-2的整数．…（16分）

点评：

本题考点： 等比关系的确定；充要条件；反证法与放缩法．

考点点评： 本题以等差数列、等比数列为载体，考查数列的性质和应用，解题时要认真审题，仔细解答，注意公式的灵活运用．