■正多面体の正多角形断面(その287)
交点は辺の中点になる必要があり、
x1+x3+x5=1/2
x2+x4=1/2
===================================
その場合、辺の中点を結んだ線より内接正五角形の頂点(1/τ,0)tau が飛び出すことはないのだろうか?
cos36cos36=τ^2/4>1/τ
が成り立つかどうかを調べればよい
τ^3>4
2τ+1>4は成り立つ。
===================================
一般に
cos(π//n)cos(π//n)>1/2は成り立つだろうか?
=(cos(2π/n)+1)/2>1/2・・・OK
===================================
このことから、内接正n+角形と中点を結んだ正n+1角形の関係が求められたことになる。
===================================