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

  P0(1,0,√2)

  P1(0,0,0)

  P2(1,√2,0)

  P3(2,0,0)

  P0P1=P1P2=P2P3=√3

  P0P2=P1P3=2

  P0P3=√3

のベクトルP1P0=s(1,0,√2)と直交するP1を通る平面

  x+√2z=0

である.

 P0との距離は3/√3

 P1との距離は0

 P2との距離は1/√3

 P3との距離は2/√3

より,等間隔になっていることがわかる.

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

 n=3の本体の場合は

  P0(0,0,0)

  P1(0,0,3h)

  P2(m/√2,m√3/√2,h)

  P3(2m/√2,0,2h)

とおくと,

  P0P1^2=9h^2

  P0P2^2=2m^2+h^2

  P0P3^2=2m^2+4h^2

  P1P2^2=2m^2+4h^2

  P1P3^2=2m^2+h^2

  P2P3^2=2m^2+h^2

ここで,

  9h^2=2m^2+h^2=3,h^2=1/3,m^2=4h^2=4/3

  2m^2+4h^2=4

を満足する.

 P2とP3を交換すれば

  P0P1=P1P2=P2P3=√3

  P0P2=P1P3=2

  P0P3=√3

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