■等面単体の体積(その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でなければならないようである.

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