ラマヌジャンの無限根

ラマヌジャンの無限根
\[ 1\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots}}}}=3 \]

(0)

\[ f_{n}=n\sqrt{1+f_{n+1}} \] とおくと、
\begin{align*} f_{1} & =1\sqrt{1+f_{2}}\\ & =1\sqrt{1+2\sqrt{1+f_{3}}}\\ & =1\sqrt{1+2\sqrt{1+3\sqrt{1+f_{4}}}}\\ & =1\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots}}}} \end{align*} となるので\(f_{1}\)が求める値となる。
両辺を2乗すると、
\[ f_{n}^{\;2}=n^{2}\left(1+f_{n+1}\right) \] \(f_{n}\)を\(n\)の級数と仮定し、\(m\)次までで終わるとすると、
\[ f_{n}=\sum_{k=0}^{m}a_{k}n^{k} \] \(m\)の値は最高次数より、
\[ m^{2}=2+m \] より、
\begin{align*} 0 & =m^{2}-m-2\\ & =\left(m+1\right)\left(m-2\right)\\ m & =-1,2 \end{align*} これより、\(m\)は2となるので、
\[ f_{n}=\sum_{k=0}^{2}a_{k}n^{k} \] \[ a_{2}\ne0 \] となる。
\begin{align*} 0 & =f_{n}^{\;2}-n^{2}\left(1+f_{n+1}\right)\\ & =\left(\sum_{k=0}^{2}a_{k}n^{k}\right)^{2}-n^{2}\left(1+\sum_{k=0}^{2}a_{k}\left(n+1\right)^{k}\right)\\ & =\sum_{k=0}^{4}\sum_{j=0}^{k}a_{k-j}a_{j}n^{k}-n^{2}\left(1+\sum_{k=0}^{2}\sum_{j=0}^{k}a_{k}C\left(k,j\right)n^{j}\right)\\ & =\sum_{k=0}^{4}\sum_{j=0}^{k}a_{k-j}a_{j}n^{k}-n^{2}\left(1+\sum_{j=0}^{2}\sum_{k=j}^{2}a_{k}C\left(k,j\right)n^{j}\right)\\ & =\sum_{k=0}^{4}\sum_{j=0}^{k}a_{k-j}a_{j}n^{k}-n^{2}\left(1+\sum_{k=0}^{2}\sum_{j=k}^{2}a_{j}C\left(j,k\right)n^{k}\right)\\ & =\sum_{k=0}^{4}\sum_{j=0}^{k}a_{k-j}a_{j}n^{k}-\left(n^{2}+\sum_{k=0}^{2}\sum_{j=k}^{2}a_{j}C\left(j,k\right)n^{k+2}\right)\\ & =\sum_{k=0}^{4}\sum_{j=0}^{k}a_{k-j}a_{j}n^{k}-\left(n^{2}+\sum_{k=2}^{4}\sum_{j=k-2}^{2}a_{j}C\left(j,k-2\right)n^{k}\right)\\ & =a_{0}^{2}+n\sum_{j=0}^{1}a_{1-j}a_{j}+n^{2}\left(-1+\sum_{j=0}^{2}\left(a_{2-j}a_{j}-a_{j}\right)\right)+\sum_{k=3}^{4}n^{k}\left(\sum_{j=0}^{k}a_{k-j}a_{j}-\sum_{j=k-2}^{2}a_{j}C\left(j,k-2\right)\right) \end{align*} \(n\)の0次の項より、
\[ a_{0}=0 \] \(n\)の1次の項より、
\begin{align*} 0 & =\sum_{j=0}^{1}a_{1-j}a_{j}\\ & =0 \end{align*} \(n\)の2次の項より、
\begin{align*} 0 & =-1+\sum_{j=0}^{2}\left(a_{2-j}a_{j}-a_{j}\right)\\ & =-1+a_{1}^{\;2}-\sum_{j=1}^{2}a_{j} \end{align*} なので、
\[ a_{2}=a_{1}^{\;2}-a_{1}-1 \] \(n\)の3次の項より、
\begin{align*} 0 & =\sum_{j=0}^{3}a_{k-j}a_{j}-\sum_{j=1}^{2}a_{j}C\left(j,1\right)\\ & =\sum_{j=1}^{2}a_{3-j}a_{j}-\sum_{j=1}^{2}a_{j}j\\ & =2a_{1}a_{2}-\sum_{j=1}^{2}a_{j}j\\ & =2a_{1}a_{2}-a_{1}-2a_{2} \end{align*} \(n\)の4次の項より、
\begin{align*} 0 & =\sum_{j=0}^{4}a_{4-j}a_{j}-\sum_{j=2}^{2}a_{j}C\left(j,2\right)\\ & =\sum_{j=1}^{3}a_{4-j}a_{j}-a_{2}\\ & =a_{1}a_{3}+a_{2}^{\;2}-a_{2}\\ & =a_{2}^{\;2}-a_{2}\\ & =a_{2}\left(a_{2}-1\right) \end{align*} \[ a_{2}=0,1 \] まとめると、
\[ \begin{cases} a_{0}=0\\ a_{2}=a_{1}^{\;2}-a_{1}-1\\ 2a_{1}a_{2}-a_{1}-2a_{2}=0\\ a_{2}=0,1 \end{cases} \] \(a_{2}\ne0\)なので\(a_{2}=0\)は不適。
\(a_{0}=0\;,\;a_{1}=2\;,\;a_{2}=1\)となり、
\begin{align*} f_{n} & =2n+n^{2}\\ & =n\left(n+2\right) \end{align*} となるので
\begin{align*} f_{1} & =1\left(1+2\right)\\ & =3 \end{align*}

(0)-2

天下り的証明
\begin{align*} 3 & =\sqrt{1+8}\\ & =\sqrt{1+2\sqrt{1+15}}\\ & =1\sqrt{1+2\sqrt{1+3\sqrt{1+24}}}\\ & =1\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+35}}}} \end{align*}

ページ情報
タイトル
ラマヌジャンの無限根
URL
https://www.nomuramath.com/ryzdyy5t/
SNSボタン