■整数であるか? (その115)
√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
===================================