■ユークリッド原論と多重根号数(その58)
√(1+√(1+√(1+√(1+・・・))))=φ (黄金比)
√(2+√(2+√(2+√(2+・・・))))=2
は,それぞれ
√(1+x)=x → x^2−x−1=0
√(2+x)=x → x^2−x−2=0
として2次方程式の解より求めることができる.
また,(その1)で示したように
√(1+2√(1+3√(1+4√(1+・・・))))=3
である.それでは,
[Q] √(1+√(2+√(3+√(4+・・・))))=?
===================================
√(1+√(2+√(3+√(4+・・・))))
がひとつの実数を表すことは以下のようにして証明できる.
[証]
an=√(1+√(1+√(1+√(1+・・・+√1)))) (1がn個)
bn=√(1+√(2+√(3+√(4+・・・+√n))))
とおく.
数列{bn}は単調増加.また,
an=√(1+√(1+√(1+√(1+・・+√1))))
の両辺の√2をかけると
√2an=√(2+√(4+√(16+・・+√2^(2^n-1)))))>bn
bnはφとφ√2の間に収束することはわかった。
しかし,その実数値を具体的に求めることができるかどうかはわからない.
===================================