■ユークリッド原論と多重根号数(その11)

√2

√(2+√2)

√(2+√(2+√2)

√(2+√(2+√(2+√2)))

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

√(2+√(2+√(2+√(2+・・・))))→2に収束する

したがって、

√2/2

√(2+√2)/2

√(2+√(2+√2)/2

√(2+√(2+√(2+√2)))/2

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

√(2+√(2+√(2+√(2+・・・))))/2→1に収束する

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

これらの積

√2/2・√(2+√2)/2

√2/2・√(2+√2)/2・√(2+√(2+√2)/2

√2/2・√(2+√2)/2・√(2+√(2+√2))/2・√(2+√(2+√(2+√2)))/2→ ?

については何がいえるのだろうか?

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

 ヴィエトの無限積は

  2/π=√2/2・√(2+√2)/2・√(2+√(2+√2))/2・√(2+√(2+√(2+√2)))/2・・・

これはオイラーが見つけた無限積の公式

sinx/x=cos(x/2)cos(x/4)cos(x/8)・・・

にx=π/2を代入することで簡単に証明できる。

π>2√2

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