■等面単体の体積(その281)
n=4の場合は
P0(1/2,(√5)/2,0,(√10)/2)
P1(0,0,0,0)
P2(2,0,0,0)
P3(3/2,(√5)/2,(√10)/2,0)
P4(1,√5,0,0)
非対称で鏡像体もあることから,外すのはP1でなければならないのだと思われる.もう一度検算しておかなければならない.
===================================
ここでP2を外す.
P2=P1+sP2P0=(0,0,0,0)+s(3/2,−(√5)/2,0,−(√10)/2),
P2=P3+tP2P0=(3/2,(√5)/2,(√10)/2,0)+t(3/2,−(√5)/2,0,−(√10)/2),
P1=P4+uP2P0=(1,√5,0,0)+u(3/2,−(√5)/2,0,−(√10)/2)
となる,新たなP2を選んで
P0P1=P1P2=P2P3=P3P4=2
P0P2=P1P3=P2P4=√6
P0P3=P1P4=√6
P0P4=2
を満たすようにできればよい.
===================================
P0(1/2,(√5)/2,0,(√10)/2)
P1(0,0,0,0)
P2(x,y,z,w)
P3(3/2,(√5)/2,(√10)/2,0)
P4(1,√5,0,0)
x^2+y^2+z^2+w^2=4
(x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2+w^2=4
(x−1/2)^2+(y−(√5)/2)^2+z^2+(w−(√10)/2)^2=6
(x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2+w^2=6
(x−1)^2+(y−√5)^2+z^2+w^2=6
[1]x=3s/2,y=−s(√5)/2,z=0,w=−s(√10)/2
x=3/2,y=−(√5)/2,z=0,w=−(√10)/2 (NG)
x=−3/2,y=(√5)/2,z=0,w=(√10)/2 (NG)
[2]x=3/2+3t/2,y=(√5)/2−t(√5)/2,z=(√10)/2,w=−t(√10)/2
x=3,y=0,z=(√10)/2,w=−(√10)/2 (NG)
x=0,y=(√5),z=(√10)/2,w=−(√10)/2 (NG)
[3]x=1+3u/2,y=√5−u(√5)/2,z=0,w=−u(√10)/2
x=5/2,y=(√5)/2,z=0,w=−(√10)/2 (NG)
x=−1/2,y=3(√5)/2,z=0,w=(√10)/2 (NG)
やはり,この場合はP1でなければならないようである.
===================================