题目内容

已知等差数列{a_n}的公差大于0，且a₃＞a₅是方程x²-14x+45=0的两根，数列{b_n}的前n项的和为S_n，且 $数学公式$ （n∈N^*）．
（1）求数列{a_n}，{b_n}的通项公式；
（2）记c_n=a_nb_n，求证：c_n+1≤c_n．

（1）解：由x²-14x+45=0得：x₁=5，x₂=9．
∵a₃，a₅是方程x²-14x+45=0的两根，且等差数列{a_n}的公差大于0，
∴a₃=5，a₅=9，则公差d= $\text{[math]}$ ．
∴a_n=a₃+（n-3）d=5+2（n-3）=2n-1，
由 $\text{[math]}$ ，当n=1时，有 $\text{[math]}$ ，∴ $\text{[math]}$ ．
当n≥2时，有 $\text{[math]}$ ，
∴3b_n=b_n-1，∵ $\text{[math]}$ ≠0，∴ $\text{[math]}$ （n≥2）．
∴数列{b_n}是以 $\text{[math]}$ 为首项，以 $\text{[math]}$ 为公比的等比数列．
∴ $\text{[math]}$ ．
（2）证明：由a_n=2n-1， $\text{[math]}$ ，∴ $\text{[math]}$ ， $\text{[math]}$ ．
则 $\text{[math]}$ = $\text{[math]}$ ．
∴c_n+1≤c_n．
分析：（1）通过求解一元二次方程求得a₃，a₅，则等差数列{a_n}的公差可求，直接由a_n=a_m+（n-m）d写出通项公式；根据给出的数列{b_n}的递推式，先取n=1求出b₁，取n=n-1得另一递推式，两式作差整理后可说明数列{b_n}是等比数列，且求出公比，则{b_n}的通项公式可求；
（2）把（1）中求出的数列{a_n}，{b_n}的通项公式代入c_n=a_nb_n，再求出c_n+1，利用作差法即可求证不等式．
点评：本题考查了等差数列的通项公式的求法，考查了利用递推式确定等比关系，训练了利用作差法证明不等式，作差法证明不等式的关键是判断差式的符号，此题是中档题．