■等面単体の体積(その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
===================================