|
kuing
Posted 2021-10-18 15:36
求通项知 `a_n` 以极快的速度趋向 1,所以 `\ln a_{2021}` 极其接近 0,因此可以预见选 C,要证明它,只需随便给 `a_1` 找个下界应该就 OK。
解:显然 `a_n<1` 且 `a_2<2a_1`,所以
\[2020=a_1+a_2+\cdots+a_{2021}<a_1+2a_1+2019\riff a_1>\frac13,\]然后常规地球球通项
\begin{align*}
\edr
1+a_{n+1}&=\frac{(1+a_n)^2}{a_n^2+1},\\
1-a_{n+1}&=\frac{(1-a_n)^2}{a_n^2+1}
\endedr
&\riff\frac{1+a_{n+1}}{1-a_{n+1}}=\left( \frac{1+a_n}{1-a_n} \right)^2\\
&\riff\frac{1+a_n}{1-a_n}=\left( \frac{1+a_1}{1-a_1} \right)^{2^{n-1}},
\end{align*}由 `a_1>1/3` 得 `1+a_1>2(1-a_1)`,故
\[\frac{1+a_n}{1-a_n}>2^{2^{n-1}}\geqslant2^n,\](将 `2^{n-1}` 放为 `n` 纯粹为了代码好打)解得
\[a_n>\frac{2^n-1}{2^n+1}=1-\frac2{2^n+1}>1-2^{1-n},\]易证 `\ln(1-x)>1-\frac1{1-x}=\frac{-1}{x^{-1}-1}`,所以
\[0>\ln a_n>\ln(1-2^{1-n})>\frac{-1}{2^{n-1}-1},\]再乘上 `0>\ln a_1>-\ln3`,得到
\[\ln a_1\ln a_{2021}<\frac{\ln3}{2^{2020}-1},\]右边与 1/2020 相比简直不是一个数量级。 |
|