|

楼主 |
发表于 2024-5-3 14:22
|
显示全部楼层
令\(a_1=2,\;a_{n+1}={\large\frac{a_n^2+2}{2a_n}},\;n=\small 1,2,3,\ldots\), 则\(\{a_n\}\)是有理数序列.
易证明 \( a_{n+1}-a_n=-{\large\frac{a_n^2-2}{2a_n}},\; a_{n+1}^2-2={\large\frac{(x^2-2)^2}{4x(x^2+2)}}>0\)
故\(\{a_n\}\}\)单调减有下界\(>1\) 因而收敛. 其极限是\(x=\large\frac{x^2+2}{2x}\)的正数解\(\sqrt{2}\).
\(\therefore\quad\{a_n\}\) 是康托有理数基本列,无理数\(\displaystyle\lim_{n\to\infty}a_n=\sqrt{2}\not\in\{a_n\}\)
上例说明所谓春氏可达\(\displaystyle\lim_{n\to\infty}a_n\in\{a_1,a_2,a_3\ldots\}\) 是胡扯。 |
|