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

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