■正多面体の正多角形断面(その260)
x=sin(mπ/h),m={1,3,5,・・・,2n-1},h=2nを解とする方程式
Π(x-sin(mπ/h))=0
を考える
===================================
Σx=(sinπ/2)^2/2sin(π/2n)
より
Π(x-cos(mπ/h))=x^n-(Σx)xn-1+・・・=0
===================================
θ=(2k-1)π/2nは
Bn(x)=cosnθ=0, x=sinθ
を満足させる
===================================