Forgot password?
 Create new account
Search
View: 4358|Reply: 15

[数列] 有没有一些连根号的例子

[Copy link]

413

Threads

1558

Posts

110K

Credits

Credits
11498

Show all posts

abababa Post time 2016-11-16 09:11 |Read mode
如题,不过具体的题一时想不到,只记得以前见过一些,像下面这样的:
$1+\sqrt{2+\sqrt{3+\sqrt{4+\cdots}}}$
只是类似这种形式的,里面的数可以是带平方、立方等等,也可以是函数。开根号可以是开整数次方,但要有规律,比如第一个开$2^0$次方,第二个开$2^1$次方,第$n$个开$2^{n-1}$次方等等,也可以是其它规律。最后收敛到一个数。

0

Threads

154

Posts

1088

Credits

Credits
1088

Show all posts

Infinity Post time 2016-11-16 12:13
这样的例子其实挺多的。
先说楼主的例子,可以看成数列\[x_n=a_0+\sqrt{a_1+\sqrt{a_2+\sqrt{a_3+\cdots+\sqrt{a_n}}}},\\a_k=k+1(k=0,1,2,\cdots).\tag{1}\]的收敛性。
因为(Vijayaraghavan定理)\[\varlimsup_{n\to \infty}\frac{\ln a_n}{2^n}=0<\infty\tag{2}\]从而可知该连根式是收敛的。(证明参见波利亚,舍贵《数学分析中的问题和定理(第一卷)》第38、214页。)
收敛值是$x_{\infty}=3.090327576790577...$

类似的还有\begin{align*}
\frac{1+\sqrt{5}}{2}&=\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\cdots}}}}\\
&=1+\frac{1}{1+\frac{1}{1+\cdots}}\\
2&=\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\cdots}}}}=\sqrt[3]{6+\sqrt[3]{6+\sqrt[3]{6+\sqrt[3]{6+\cdots}}}}\\
3&=\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots}}}}\\
4&=\sqrt{6+2\sqrt{7+3\sqrt{8+4\sqrt{9+\cdots}}}}
\end{align*}像是连分式、嵌套根式以及各种无穷级数,都是印度传奇数学家拉马努金喜欢研究的东西(他一身一生研究成果大部分收录在后人整理的《拉马努金笔记本》系列书籍中),他提出了很多让人匪夷所思的公式(大部分都是正确的),他自己说他的这些灵感是他的女神(指的是印度传说中的)在梦里告诉他的——这一点跟天才科学家尼古拉斯·特斯拉如出一辙,后者做出了许多超时代的发明,透露说是在一种类似精神恍惚之间(睡眠或催眠状态)进入了“宇宙知识图书馆”,得知奥秘,并且只需要靠大脑想象做实验,无需真实去做就能得到实验结果。

如果对拉马努金的故事感兴趣,推荐一本书《知者无涯——拉马努金传》。

413

Threads

1558

Posts

110K

Credits

Credits
11498

Show all posts

 Author| abababa Post time 2016-11-16 16:23
回复 2# Infinity

谢谢,其中有几个见过,后面几个没见过。
这几个例子中开的次方都相等,我还见过一个是开方的次数分别是$1,2,3,\cdots$,具体记不太清楚了,总之是有一定规律的开几次方。不知二楼有没有印象,能不能提供一下。

0

Threads

154

Posts

1088

Credits

Credits
1088

Show all posts

Infinity Post time 2016-11-16 22:08
开方次数有规律的式子比上面的例子更平凡,随随便便就能写出一个收敛的式子。因为开方次数相等满足收敛条件,那么同样情况下,递增的开方次数收敛地更快。只不过收敛的值因为开方次数变动的原因,很难保证是一个简单数值了。
比如
\begin{gather*}
1+\sqrt{1+\sqrt[3]{1+\sqrt[4]{1+\cdots}}}=2.517600167877719\\
1+\sqrt{2+\sqrt[3]{3+\sqrt[4]{4+\sqrt[5]{5+\cdots}}}}=2.911634496774071...\\
1+2 \sqrt{1+3 \sqrt[3]{1+4 \sqrt[4]{1+5 \sqrt[5]{1+\cdots}}}}=6.283146341051553...(\neq 2\pi)\\
1+2 \sqrt{2+3 \sqrt[3]{3+4 \sqrt[4]{4+5 \sqrt[5]{5+\cdots}}}}=6.856666318101679...\\
\sqrt{1+\sqrt[4]{2+\sqrt[8]{3+\sqrt[16]{4+\sqrt[32]{5+\cdots}}}}}=1.528646962710902...\\
\end{gather*}

413

Threads

1558

Posts

110K

Credits

Credits
11498

Show all posts

 Author| abababa Post time 2016-11-16 22:27
回复 4# Infinity

谢谢,我以前看到的好像是4楼正数第三个。得不到好看的结果,也许另外有什么特别的函数来表示它们,或者表示其它一些用根号形式写出的数,但我都不懂了。

830

Threads

4866

Posts

310K

Credits

Credits
36180

Show all posts

isee Post time 2016-11-16 23:02
开方次数有规律的式子比上面的例子更平凡,随随便便就能写出一个收敛的式子。因为开方次数相等满足收敛条件 ...
Infinity 发表于 2016-11-16 22:08



    很好奇,这近似值是怎么算出来的?

0

Threads

154

Posts

1088

Credits

Credits
1088

Show all posts

Infinity Post time 2016-11-17 14:39
回复 6# isee


    Mathematica

108

Threads

2372

Posts

110K

Credits

Credits
13374

Show all posts

其妙 Post time 2017-2-26 00:16
妙不可言,不明其妙,不着一字,各释其妙!

3150

Threads

8387

Posts

610K

Credits

$\style{scale:11;fill:#eff}꩜$

Credits
65408
QQ

Show all posts

hbghlyj Post time 2022-2-22 01:35
回复 2# Infinity
抄一下38页:

159. 试问 $\alpha$ 取哪些正值时, 下列级数收敛:
$$
\sum_{n=1}^{\infty}\left(2-e^{\alpha}\right)\left(2-e^{\frac{\alpha}{2}}\right) \cdots\left(2-e^{\frac{\alpha}{n}}\right) ?
$$
160. 证明
$$
\int_{0}^{1} x^{-x} d x=\sum_{n=1}^{\infty} n^{-n}
$$
161. 若只考虑正的平方根, 则有等式
$$
\sqrt{1+\sqrt{1+\sqrt{1+\cdots}}}=1+\frac{1}{1+\frac{1}{1+\cdots}}
$$
162. 设 $a_{1}, a_{2}, \cdots, a_{n}, \cdots$ 是正数, 令
$$
t_{n}=\sqrt{a_{1}+\sqrt{a_{2}+\cdots+\sqrt{a_{n}}}}
$$
那末序列$$t_{1}, t_{2}, t_{3}, \cdots, t_{n}, \cdots\tag{t}$$
的收敛性与 $\lim \sup \frac{\log \log a_{n}}{n}=\alpha$有如下关系:
若$\alpha<2$,则序列(t)收敛;
若$\alpha>2$,则序列(t)发散
163(续). 如果级数$$
\sum_{n=1}^{\infty} 2^{-n} a_{n}\left(a_{1} a_{2} \cdots a_{n}\right)^{-\frac{1}{2}}
$$
收敛, 则序列(t)必收敛.
164. 当 $0<q<1$ 时, 我们有
$$
\frac{1-q}{1+q}\left(\frac{1-q^{2}}{1+q^{2}}\right)^{\frac{1}{2}}\left(\frac{1-q^{4}}{1+q^{4}}\right)^{\frac{1}{4}}\left(\frac{1-q^{8}}{1+q^{8}}\right)^{\frac{1}{8}} \cdots=(1-q)^{2}
$$



抄一下232页:
159. 158 的特例:
$$
\varphi(x)=2-e^{\frac{\alpha}{\pi}}=1-\frac{a}{x}-\frac{\alpha^{2}}{2 !} \frac{1}{x^{2}}+\cdots
$$
当 $\alpha>1$ 以及 $\alpha=\log 2$ 时收敛; $\log 4, \log 8, \cdots$ 则大于 1 .
160. $\int_{0}^{1} e^{x \log \frac{1}{x}} d x=\sum_{n=0}^{\infty} \frac{1}{n !} \int_{0}^{1} x^{n}\left(\log \frac{1}{x}\right)^{n} d x$.
作代换 $x^{n+1}=e^{-y}$.
161. 令 $\sqrt{1+\sqrt{1+\cdots+\sqrt{1}}}=t_{n}$, 则 $t_{n}^{2}=1+t_{n-1}, t_{1}=1, t_{n-1}<$ $t_{n}, n=2,3,4, \cdots$ 当 $x>0$ 时, $x^{2}<1+x$ 的充要条件是 $x<$ $\frac{1}{2}(1+\sqrt{5})$, 即 $x$ 小于方程 $x^{2}-x-1=0$ 的正根. 因此 $t_{n}^{2}=1+t_{n-1}<$ $1+t_{n}, t_{n-1}<t_{n}<\frac{1}{2}(1+\sqrt{5}), n=2,3,4, \cdots$ 并且 $\lim _{n \rightarrow \infty} t_{n}=t$ 存在, $0<t \leqslant \frac{1}{2}(1+\sqrt{5}), t^{2}=1+t$, 即 $t=\frac{1}{2}(1+\sqrt{5})$. 在递推公式为
$$
u_{n}=1+u_{n-1}^{-1}, u_{1}=1, \quad n=2,3,4, \ldots
$$
的连分数情形, 可类似地进行.
162. [G. Pólya, 问题:Arch. Math. Phys. Ser. 3, Vol. 24, p. 84(1916). 解由 G. Szegö 给出: Arch. Math. Phys. Ser. 3, Vol. 25, pp .88 ~ 89(1917).] 若 (为简单起见, 考虑 $\nu \geqslant 1$ ) $\log \log a_{v}<v \log 2, a_{v}<e^{2^{\nu}}, \quad$ 则 $t_{n}<\sqrt{e^{2}+\sqrt{e^{4}+\cdots+\sqrt{e^{2 n}}}}<$ $e \frac{1+\sqrt{5}}{2}$[161] . 但若 $a_{n}>e^{\beta^{n}}, \beta>2$, 则 $t_{n}>e^{\left(\frac{\beta}{2}\right)^{n}}$. 若 $a_{n} \leqslant 1$, 当然必须把 $\frac{\log \log a_{n}}{n}$ 理解成 $-\infty$ 。
168. 用完全归纳法可证$$
t_{n+1}-t_{n}<\frac{a_{n+1}}{2^{n} \sqrt{a_{1} a_{2}⋯a_{n} a_{n+1}}}
$$
假定对于 $n$ 个量 $a_{2}, a_{3}, \cdots, a_{n+1}$ 已证得相应的关系式, 即
$\sqrt{a_{2}+\sqrt{a_{3}+\cdots+\sqrt{a_{n}+\sqrt{a_{n+1}}}}}<t+s$,
其中 $\sqrt{a_{2}+\sqrt{a_{3}+\cdots+\sqrt{a_{n}}}}=t, \frac{a_{n+1}}{2^{n-1} \sqrt{a_{2} a_{3} \cdots a_{n+1}}}=8$.
因此
$$
t_{n+1}^{2}<a_{1}+t+s<\left(\sqrt{a_{1}+t}+\frac{s}{2 \sqrt{a_{1}+t}}\right)^{2}<\left(t_{n}+\frac{s}{2 \sqrt{a_{1}}}\right)^{2} .
$$
164. [Jacobi, 58 的引文, § 52, Corollarium: Werke, Vol. 1, pp. 200 ~ 201. ] 记 $1-q=a_{0}, 1+q^{m}=a_{m}, m=1,2,4,8,16, \cdots$, 则第 $n+1$ 个部分积是
$$
\begin{array}{l}
\frac{a_{0}}{a_{1}}\left(\frac{a_{0} a_{1}}{a_{2}}\right)^{\frac{1}{2}}\left(\frac{a_{0} a_{1} a_{2}}{a_{4}}\right)^{\frac{1}{4}}\left(\frac{a_{0} a_{1} a_{2} a_{4}}{a_{8}}\right)^{\frac{1}{8}} \cdots\left(\frac{a_{0} a_{1} a_{2} \cdots a_{2^n-1}}{a_{2^n}}\right)^{\frac{1}{2^n}} \\
\quad=\frac{a_{0}^{2-2^{-n}}}{\left(a_{1} a_{2} a_{4} a_{8} \cdots a_{2 n}\right)^{2^{-n}}}
\end{array}
$$
乘积 $a_{1} a_{2} a_{4} a_{8} \cdots$ 收敛. 参照 Ⅷ78.
165. 题中的和记为 $F(x)$, 则有 $F^{\prime}(x)=F(x), \quad F(x)=c \cdot e^{x}$, 其中 $c$ 为常数.

3150

Threads

8387

Posts

610K

Credits

$\style{scale:11;fill:#eff}꩜$

Credits
65408
QQ

Show all posts

hbghlyj Post time 2022-2-22 08:26
本帖最后由 hbghlyj 于 2022-8-2 04:05 编辑 又见于这帖的2b

维基百科:Tirukkannapuram Vijayaraghavan
Vijayaraghavan proved a special case of Herschfeld's theorem on nested radicals: For $a_n>0$
$$\sqrt{a_1 + \sqrt{a_2 + \sqrt{a_3 + \sqrt{a_4 + \cdots}}}}$$
converges if and only if
$$\overline{\lim} (\log a_n)/2^n < +\infty,$$
where $\overline{\lim}$ denotes the limit superior.

维基百科Nested radical 章节: Herschfeld's Convergence Theorem
Herschfeld's Convergence Theorem
An infinitely nested radical $\sqrt{a_1 + \sqrt{a_2 + \dotsb}}$ (where all $a_i$ are nonnegative) converges if and only if there is some $M \in \mathbb R$  such that $M \geq a_n^{2^{-n}}$ for all $n$.

Proof of "if"
We observe that $$\sqrt{a_1 + \sqrt{a_2 + \dotsb}} \leq \sqrt{M^{2^1} + \sqrt{M^{2^2} + \dotsb}} = M\sqrt{1 + \sqrt{1 + \dotsb}}<2M$$
Moreover, the sequence $\left(\sqrt{a_1 + \sqrt{a_2 + \dotsc \sqrt{a_n}}}\right)$ is monotonically increasing. Therefore it converges, by the monotone convergence theorem.

Proof of "only if"
If the sequence $\left(\sqrt{a_1 + \sqrt{a_2 + \dotsc \sqrt{a_n}}}\right)$ converges, then it is bounded.

However, $a_n^{2^{-n}}\le\sqrt{a_1 + \sqrt{a_2 + \dotsc \sqrt{a_n}}}$, hence $\left(a_n^{2^{-n}}\right)$ is also bounded.

3150

Threads

8387

Posts

610K

Credits

$\style{scale:11;fill:#eff}꩜$

Credits
65408
QQ

Show all posts

hbghlyj Post time 2022-2-22 08:31
回复 10# hbghlyj
为什么加了#以后,就无法识别为链接了呢
en.wikipedia.org/wiki/Nested_radical#Herschfeld
↑这样可以识别
维基百科
↑这样不会识别

3150

Threads

8387

Posts

610K

Credits

$\style{scale:11;fill:#eff}꩜$

Credits
65408
QQ

Show all posts

hbghlyj Post time 2022-8-2 10:56
hbghlyj 发表于 2022-2-22 01:31
回复 10# hbghlyj
为什么加了#以后,就无法识别为链接了呢 ...


说错了, 并不是#的问题, 是因为链接含有引号
比如下面的链接同样含有#但不含引号,就可以被识别:

维基百科

3150

Threads

8387

Posts

610K

Credits

$\style{scale:11;fill:#eff}꩜$

Credits
65408
QQ

Show all posts

hbghlyj Post time 2022-8-2 11:13
Infinity 发表于 2016-11-16 15:08
开方次数有规律的式子比上面的例子更平凡,随随便便就能写出一个收敛的式子。因为开方次数相等满足收敛条件 ...


MathJax v3不支持$$的双斜杠换行了, 得把帖子改一下

Comments

已改为 gather* 环境  Post time 2022-8-2 14:31

108

Threads

2372

Posts

110K

Credits

Credits
13374

Show all posts

其妙 Post time 2022-8-6 22:11
可以参看《一道连根式不等式的证明(关联拉马努金恒等式)》:mp.weixin.qq.com/s?__biz=MzIxMDYxMDMxOQ==&mid=2247484142& ... 96ef01c2c4dbfd8b4#rd
妙不可言,不明其妙,不着一字,各释其妙!

108

Threads

2372

Posts

110K

Credits

Credits
13374

Show all posts

其妙 Post time 2022-8-16 12:11
这里有《关于连根式性质的一些研究笔录(拉马努金恒等式等)》:mp.weixin.qq.com/s?__biz=MzIxMDYxMDMxOQ==&mid=2247484311& ... 96ef01c2c4dbfd8b4#rd
妙不可言,不明其妙,不着一字,各释其妙!

手机版|悠闲数学娱乐论坛(第3版)

2025-3-6 02:14 GMT+8

Powered by Discuz!

× Quick Reply To Top Return to the list