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

  P1(0,0,0,0)

  P2(2,0,0,0)

  P3(3/2,(√5)/2,(√10)/2,0)

  P4(1,√5,0,0)

  P1P2=P2P3=P3P4=2

  P1P3=P2P4=√6

  P1P4=√6

を満たす.

 ここでP3を外す.

P3=P1+sP1P3=(0,0,0)+s(3/2,(√5)/2,(√10)/2),

P3=P2+tP2P3=(2,0,0)+t(−1/2,(√5)/2,(√10)/2)

P4=P4+uP4P3=(1,√5,0)+t(1/2,−(√5)/2,(√10)/2)

となる,新たなP3(x,y,z)を選んで

  P1P2=P2P3=P3P4=2

  P1P3=P2P4=√6

  P1P4=√6

を満たすようにできればよい.

  P1(0,0,0,0)

  P2(2,0,0,0)

  P3(3/2,(√5)/2,(√10)/2,0)

  P4(1,√5,0,0)

  x^2+y^2+z^2=6

  (x−2)^2+y^2+z^2=4

  (x−1)^2+(y−√5)^2+z^2=4

  (x−2)^2+6−x^2=4

  −4x+6=0,x=3/2

  1/4+y^2+z^2=4

  1/4+(y−√5)^2+z^2=4

  1/4+(y−√5)^2+15/4−y^2=4

  −2√5y+9=4→y=√5/2

  1/4+5/4+z^2=4,z=±√10/2

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