■等面単体の体積(その280)
予測できるかどうか検討する前に,n=3の場合は
P0(1,0,√2)
P1(0,0,0)
P2(1,√2,0)
P3(2,0,0)
対称だから,P3を外しても良いと思われる.そのことを確認しておきたい.
===================================
ここでP3を外す.
P3=P1+sP3P0=(0,0,0)+s(−1,0,√2),
P3=P2+tP3P0=(1,√2,0)+t(−1,0,√2)
となる,新たなP3を選んで
P0P1=P1P2=P2P3=√3
P0P2=P1P3=2
P0P3=√3
を満たすようにできればよい.
P0(1,0,√2)
P1(0,0,0)
P2(1,√2,0)
P3(x,y,z)
(x−1)^2+(y−√2)^2+z^2=3
x^2+y^2+z^2=4
(x−1)^2+y^2+(z−√2)^2=3
[1]x=−s,y=0,z=s√2
x=−1,y=0,z=√2 (NG)
x=1,y=0,z=−√2 (NG)
[2]x=−t+1,y=√2,z=t√2
x=0,y=√2,z=√2 (OK)
x=2,y=√2,z=−√2 (NG)
===================================