■ある関数等式について(その6)

  √(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

 しかし,その実数値を具体的に求めることができるかどうかはわからない.

===================================