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

 (その251)の続き.(n=4)

P1=P2+sP3P0=(2,0,0,0)+s(3/2,(√5)/2,(√10)/2,0),

P1=P4+tP3P0=(1,√5,0,0)+t(3/2,(√5)/2,(√10)/2,0),

となる,新たなP1を選ぶ.

 s,t=±1になるはずである.

[1]x=3s/2+2,y=(√5)s/2,z=(√10)s/2

 

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

  (x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2=6

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

  9s^2/4+5s^2/4+10s^2/4=4

  s=±1はNG

[2]x=3t/2+1,y=(√5)t/2+√5,z=(√10)t/2

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

  (x−3/2)^2+(y−(√5)/2)^2+(z−(√10)/2)^2=6

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

  9t^2/4+5t^2/4+10t^2/4=6

  t=±1はこれを満たす.

  (x,y,z)=(5/2,3√5/2,(√10)/2)

  1/4+45/4+10/4≠4

  (x,y,z)=(−1/2,√5/2,−(√10)/2)

  1/4+5/4+10/4=4

  4+10≠6

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

[まとめ]P1(x,y,z,0)とおけないのだろうか?

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