5点の巡回置換の2つある不変平面は

x1-x4=τ(x2-x3),x2-x5=τ(x3-x4),x3-x1=τ(x4-x5)と

それに直交する超平面： x2-x3=X(x4-x1), x3-x4=X(x5-x2),x4-x5=X(x1-x3)

例えば、面P2P3P4はx2+x3+x4=1,x1=0,x5=0上にあり、

x1-x4=τ(x2-x3),x2-x5=τ(x3-x4),x3-x1=τ(x4-x5)との共有点は(0,τ^-1/√5,1/√5,τ^-1/√5)

この巡回置換によって正五角形の頂点が得られます。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

(τ^-1/√5,1/√5,τ^-1/√5,0,0)

(0,τ^-1/√5,1/√5,τ^-1/√5,0)

(0,0,τ^-1/√5,1/√5,τ^-1/√5)

(τ^-1/√5,0,0,τ^-1/√5,1/√5)

(1/√5,τ^-1/√5,0,0,τ^-1/√5)

この5点は超平面：x1+x2+x3+x4+x5=1上にあるが、2次元平面上に載る形には表さないだろうか？

もしこの平面の方程式が分かれば辺との交点を求めて中心断面の形を知ることができる。

x1(1,0,0,0,0)

x2(0,1,0,0,0)を結ぶ直線の方程式は

{x1-(1,0,0,0,0)]/{(0,1,0,0,0)-(1,0,0,0,0)}={x2-(1,0,0,0,0)]/{(0,1,0,0,0)-(1,0,0,0,0)}

(x1-1)/(-1)=x2/(1)

x1+x2=1,x3=0,x4=0,x5=0

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

(τ^-1/√5,1/√5,τ^-1/√5,0,0)

x1+x3+x5=2τ-1/√5

x2+x4=1/√5

(0,τ^-1/√5,1/√5,τ^-1/√5,0)

x1+x3+x5=1/√5

x2+x4=2τ^-1/√5

(0,0,τ^-1/√5,1/√5,τ^-1/√5)

x1+x3+x5=2τ-1/√5

x2+x4=1/√5

(τ^-1/√5,0,0,τ^-1/√5,1/√5)

x1+x3+x5=τ^-1/√5+1/√5

x2+x4=τ^-1/√5

(1/√5,τ^-1/√5,0,0,τ^-1/√5)

x1+x3+x5=τ^-1/√5+1/√5

x2+x4=τ^-1/√5

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

これらの赤道面の記述法は5種類ではなく、3種類に限られる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x1+x2=1,x3=0,x4=0,x5=0との交点x1[0,1],x2[0,1]→OK,x1=2τ-1/√5,x2=1/√5

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x1+x3=1,x2=0,x4=0,x5=0との交点x1[0,1],x3[0,1]→NG

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x1+x4=1,x2=0,x3=0,x5=0との交点x1[0,1],x4[0,1]→OK,x1=2τ-1/√5,x4=1/√5

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x1+x5=1,x2=0,x3=0,x4=0との交点x1[0,1],x5[0,1]→NG

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x2+x3=1,x1=0,x4=0,x5=0との交点x2[0,1],x3[0,1]→OK,x3=2τ-1/√5,x2=1/√5

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x2+x4=1,x1=0,x3=0,x5=0との交点x2[0,1],x4[0,1]→NG

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x2+x5=1,x1=0,x3=0,x4=0との交点x2[0,1],x5[0,1]→OK,x5=2τ-1/√5,x2=1/√5

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x3+x4=1,x1=0,x2=0,x5=0との交点x3[0,1],x4[0,1]→OK,x3=2τ-1/√5,x4=1/√5

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x3+x5=1,x1=0,x2=0,x4=0との交点x3[0,1],x5[0,1]→NG

x1+x3+x5=2τ-1/√5

x2+x4=1/√5と

辺x4+x5=1,x1=0,x2=0,x3=0との交点x4[0,1],x5[0,1]→OK,x5=2τ-1/√5,x4=1/√5

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

P1(2τ-1/√5,1/√5,0,0,0)

P2(2τ-1/√5,0,0,1/√5,0)

P3(0,1/√5,2τ-1/√5,0,0)

P4(0,1/√5,0,0,2τ-1/√5)

P5(0,0,2τ-1/√5,1/√5,0)

P6(0,0,0,1/√5,2τ-1/√5)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝