暨南大学2024年数学分析硕士研究生入学考试真题
证明
由已知条件,得
\[K_n=b_n\frac{a_n}{a_{n+1}}-b_{n+1}=\frac{a_nb_n-a_{n+1}b_{n+1}}{a_{n+1}}> c> 0,\]
\[\Rightarrow a_nb_n-a_{n+1}b_{n+1}> a_{n+1}c> 0.\]
于是有
\[\{a_nb_n\} \downarrow ,a_nb_n\geq 0.\]
数列\[\{a_nb_n\}\]收敛。由此得\[\displaystyle \lim_{n \to 0}a_nb_n\rightarrow 0.\] 再由上式,可得
\[a_1b_1-a_{2}b_{2}> a_{2}c,\]
\[a_2b_2 -a_3b_3> a_3c,\]
\[ \cdots .\]
\[a_nb_n-a_{n+1}b_{n+1}> a_{n+1}c,\]
将不等式两边分别相加,就有
\[a_1b_1-a_{n+1}b_{n+1}> c(a_2+\cdots +a_{n+1}),\]
也即
\[ca_1+a_1b_1-a_{n+1}b_{n+1}> c\sum_{1}^{n+1}a_i> 0,\]
如此,由不等式左右边的有界性,可知\[\sum_{1}^{\infty}a_n\]收敛。