■n次元角錐の高さ(その4)

 正120胞体のひとつの頂点を原点に移すと,1辺の長さ2の正120胞体の基本単体の座標は,

  a1=1,a2=√τ(t^2+1)/5,a3=τa2,a4=τ^4

と表すことができる.

 あとはわかればよいのは,正120胞体の高さではなく,角錐の高さHである.

 座標(a1,a2,a3,a4,H)

 (0,0,0,0)との距離が2であるから,

  a1^2+a2^2+a3^2+a4^2+H^2=4

 4次元でも存在できないから,5次元でもNGでことがわかる.

===================================

【補】正120胞体

 4次元正120胞体の構成は4次元正正多胞体のなかでも最も厄介であるが,600個の頂点の座標は,σ=(3√5+1)/2,σ’=(3√5−1)/2とおくと,正600胞体の頂点を含む(±2,±2,±2,±2),(±4,0,0,0),(0,±4,0,0),(0,0,±4,0),(0,0,0,±4),(±2τ,±2,±2/τ,0)216点と(√5,√5,√5,1),(τ^2,τ^2,√5/τ,1/τ),(σ、1/τ,1/τ,1/τ),(τ√5,τ,1/τ^2,1/τ^2)に偶数個の負号をつけた点の置換256点,(σ’,τ,τ,τ),(3,√5,1,1)に奇数個の負号をつけた点の置換128点で与えられる.1辺の長さ√2(3−√5)=2√2/τ^2,外接球の半径4.

  L1=√(28−12√5),N1=4

  L2=√(12−4√5),N2=12

  L3=√(24−8√5),N3=24

  L4=2√2,N4=12

  L5=√(36−12√5),N5=4

  L6=√(20−4√5),N6=24

  L7=√(32−8√5),N7=24

  L8=4,N8=32

  L9=√(28−4√5),N9=24

  L10=√(12+4√5),N10=12

  L11=√(40−8√5),N11=24

  L12=2√6,N12=28

  L13=√(36−4√5),N13=24

  L14=√(20+4√5),N14=24

  L15=4√2,N15=54

  L16=√(44−4√5),N16=24

  L17=√(28+8√5),N17=24

  L18=2√10,N18=28

  L19=√(24+8√5),N19=24

  L20=√(52−4√5),N20=12

  L21=√(36+4√5),N21=24

  L22=4√3,N22=32

  L23=√(32+8√5),N23=24

  L24=√(44+4√5),N24=24

  L25=√(28+12√5),N25=4

  L26=2√14,N26=12

  L27=√(40+8√5),N27=24

  L28=√(52+4√5),N28=12

  L29=√(36+12√5),N29=4

  L30=8,N30=1

  V=600,K=1/16

===================================