Question

6．正整数列{a_n}，{b_n}满足：a₁≥b₁，且对一切k≥2，k∈N^*，a_k是a_k-1与b_k-1的等差中项，b_k是a_k-1与b_k-1的等比中项．
（1）若a₂=2，b₂=1，求a₁，b₁的值；
（2）求证：{a_n}是等差数列的充要条件是{a_n}为常数数列；
（3）记c_n=|a_n-b_n|，当n≥2（n∈N^*）时，指出c₂+…+c_n与c₁的大小关系并说明理由．

Answer 1

分析 （1）正整数列{a_n}，{b_n}满足：a₁≥b₁，且对一切k≥2，k∈N^*，a_k是a_k-1与b_k-1的等差中项，b_k是a_k-1与b_k-1的等比中项．可得2a_k=a_k-1+b_k-1，b_k²=a_k-1b_k-1，对k取值即可得出．
（2）{a_n}是等差数列，2a_k=a_k-1+b_k-1，2a_k=a_k-1+a_k+1，可得b_k-1=a_k+1，b_k=a_k+2，b_k²=a_k-1b_k-1，a_k+2²=a_k-1a_k+1，k=2时，a₄²=a₁a₃，（a₁+3d）²=a₁（a₁+2d），可得d=0．即可证明．
（3）对一切k≥2，k∈N^*，a_k是a_k-1与b_k-1的等差中项，b_k是a_k-1与b_k-1的等比中项．2a_n=a_n-1+b_n-1，b_n²=a_n-1b_n-1，利用基本不等式的性质可得a_n=$\frac{{a}_{n-1}+{b}_{n-1}}{2}$$≥\sqrt{{a}_{n-1}{b}_{n-1}}$=$\sqrt{{b}_{n}^{2}}$=b_n，c_n=|a_n-b_n|=a_n-b_n．可得a_n+1-b_n+1=$\frac{{a}_{n}+{b}_{n}}{2}$-$\sqrt{{a}_{n}{b}_{n}}$=$\frac{1}{2}（{a}_{n}+{b}_{n}-2\sqrt{{a}_{n}{b}_{n}}）$≤$\frac{1}{2}$（a_n+b_n-2b_n）=$\frac{1}{2}（{a}_{n}-{b}_{n}）$，即${c}_{n+1}≤\frac{1}{2}{c}_{n}$．利用等比数列的求和公式即可得出．

解答 解：（1）正整数列{a_n}，{b_n}满足：a₁≥b₁，且对一切k≥2，k∈N^*，
a_k是a_k-1与b_k-1的等差中项，b_k是a_k-1与b_k-1的等比中项．
∴2a_k=a_k-1+b_k-1，b_k²=a_k-1b_k-1，
a₂=2，b₂=1，可得4=a₁+b₁，1=a₁b₁，
解得a₁=2+$\sqrt{3}$，b₁=2-$\sqrt{3}$．
（2）证明：{a_n}是等差数列，2a_k=a_k-1+b_k-1，2a_k=a_k-1+a_k+1，可得b_k-1=a_k+1，
则b_k=a_k+2，∵b_k²=a_k-1b_k-1，
∴a_k+2²=a_k-1a_k+1，k=2时，a₄²=a₁a₃，（a₁+3d）²=a₁（a₁+2d），
6a₁d+9d²=2a₁d，即d（4a₁+9d）=0，正整数列{a_n}，可知d≥0，4a₁+9d＞0，∴d=0．
∴数列{a_n}为常数数列．
{a_n}是等差数列的充要条件是{a_n}为常数数列．
（3）对一切k≥2，k∈N^*，a_k是a_k-1与b_k-1的等差中项，b_k是a_k-1与b_k-1的等比中项．
2a_n=a_n-1+b_n-1，b_n²=a_n-1b_n-1，
∴a_n=$\frac{{a}_{n-1}+{b}_{n-1}}{2}$$≥\sqrt{{a}_{n-1}{b}_{n-1}}$=$\sqrt{{b}_{n}^{2}}$=b_n，
又已知a₁≥b₁，
∴c_n=|a_n-b_n|=a_n-b_n．
∴a_n+1-b_n+1=$\frac{{a}_{n}+{b}_{n}}{2}$-$\sqrt{{a}_{n}{b}_{n}}$=$\frac{1}{2}（{a}_{n}+{b}_{n}-2\sqrt{{a}_{n}{b}_{n}}）$≤$\frac{1}{2}$（a_n+b_n-2b_n）=$\frac{1}{2}（{a}_{n}-{b}_{n}）$，
即${c}_{n+1}≤\frac{1}{2}{c}_{n}$．
∴${c}_{n}≤\frac{1}{2}{c}_{n-1}$$≤\frac{1}{{2}^{2}}{c}_{n-2}$≤…≤$\frac{1}{{2}^{n-1}}{c}_{1}$，
∴c₂+…+c_n≤$\frac{1}{2}{c}_{1}+\frac{1}{{2}^{2}}{c}_{1}$+…+$\frac{1}{{2}^{n-1}}{c}_{1}$=$（1-\frac{1}{{2}^{n-1}}）{c}_{1}$≤c₁．
∴当n≥2（n∈N^*）时，c₂+…+c_n≤c₁．

点评 本题考查了等差数列与等比数列的通项公式、基本不等式的性质、数列的单调性，考查了推理能力与计算能力，属于难题．