■等面単体の体積(その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
を満たすようにできればよい.
===================================