■等面単体の体積(その299)

 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を外した場合に正解が出たが,

  P0P1=P1P2=P2P3=P3P4=2

  P0P2=P1P3=P2P4=√6

  P0P3=P1P4=√6

  P0P4=2

これもP0P1が最短だからだと思われる.しかし,P0P4も同値である.P4を外しても同じ結果が得られるだろうか?

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

 P4を外す.

  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(x,y,z,w)

  P0P1=P1P2=P2P3=P3P4=2

  P0P2=P1P3=P2P4=√6

  P0P3=P1P4=√6

  P0P4=2

を満たす.

P4=P1+sP4P0=(0,0,0,0)+s(1/2,(√5)/2,0,−(√10)/2),

P4=P2+tP4P0=(2,0,0,0)+t(1/2,(√5)/2,0,−(√10)/2),

P4=P3+uP4P0=(3/2,(√5)/2,(√10)/2,0)+u(1/2,(√5)/2,0,−(√10)/2)

となる,新たなP4を選んで

  P0P1=P1P2=P2P3=P3P4=2

  P0P2=P1P3=P2P4=√6

  P0P3=P1P4=√6

  P0P4=2

を満たすようにできればよい.

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