5次元正単体の6頂点

は超平面：x1+x2+x3+x4+x5+x6=1上にあります。

また、赤道面

は超平面：x1-x4=2(x2-x3),x2-x5=2(x3-x4),x3-x6=2(x4-x5)・・・対角線の長さ2となるための条件

は超平面：x1-x3=√3(x1-x2),x2-x4=√2(x2-x3),x3-x5=√3(x3-x4),x4-x6=√3(x4-x5)・・・対角線の長さ√3となるための条件

両方が必要と考えられる。

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

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

x1-x4=2(x2-x3),x2-x5=2(x3-x4),x3-x6=2(x4-x5)

x1-x3=√3(x1-x2),x2-x4=√2(x2-x3),x3-x5=√3(x3-x4),x4-x6=√3(x4-x5)

との共有点は

x1-x4=2(x2-x3),x2=2(x3-x4),x3=2(x4)

x1-x3=√3(x1-x2),x2-x4=√2(x2-x3),x3=√3(x3-x4),x4=√3(x4)・・・NG

x3=2x4,x2=2x4,x1=x4

x1+x2+x3+x4=1→6x4=1→(1/6,1/3,1/3,1/6,0,0)

この巡回置換によって正六角形の頂点が得られるとすると

Q1:(1/6,1/3,1/3,1/6,0,0)

Q2:(0,1/6,1/3,1/3,1/6,0)

Q3:(0,0,1/6,1/3,1/3,1/6)

Q4:(1/6,0,0,1/6,1/3,1/3)

Q5:(1/3,1/6,0,0,1/6,1/3)

Q6:(1/3,1/3,1/6,0,0,1/6)

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

こうなると重要なのは差ベクトルということになる。

Q1,Q3の差ベクトル

(1/6,1/3,1/6,-1/6,-1/3,-1/6)

これに垂直な平面は

(1/6,1/3,1/6,-1/6,-1/3,-1/6)・(x1,x2,x3,x4,x5,x6)=0

x1=x4=1/2,x2=x3=x5=x6=0と交わる

x1=x6=1/2,x2=x3=x4=x5=0と交わる

x3=x4=1/2,x1=x2=x5=x6=0と交わる

x3=x6=1/2,x1=x2=x4=x5=0と交わる

x2=x5=1/2,x1=x3=x4=x6=0と交わる

中心(1/6,1/6,1/6,1/6,1/6,1/6)も通る

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

x2+x4=1,x1=x3=x5=x6=0との交点は

1/3・x2-1/6・x4=0

2・x2-x4=0

2・x2-(1-x2)=0

3・x2=1,x2=1/3,x4=2/3

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

座標はすべて求めることができる。

変換式を作ってこれらを投影することを考えたのであるが、簡単ではない。

もちろんラベルの付け替えで対応できれば簡単なのであるが、

図を見ているうちに、直交する空間に投影できるようになったので、変換式は作らないことにした。

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

しかし、断面に正多角形の頂点がはいらないことがあったり、断面が非凸になったり、問題が残っている。

断面をさらに投影するのだろうか？

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