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

 (その251)(その252)でうまくいかなかったので,P2を外してみる.

  P1(0,0,0,0)

  P2(2,0,0,0)

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

  P4(1,√5,0,0)

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

  P1(0,0,0,0)

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

  P4(1,√5,0,0)

  P2(x,y,z,0)

とおいで,

  P1P2=P2P3=P3P4=2

  P1P3=P2P4=√6

  P1P4=√6

を満たすものを探す.

  x^2+y^2+z^2=4

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

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

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

P2=P1+sP2P3=(0,0,0,0)+s(−1/2,(√5)/2,(√10)/2,0),

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

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

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

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

 

  x^2+y^2+z^2=4

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

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

  s^2/4+5s^2/4+10s^2/4=4,s=±1はOK

  (s+3)^2/4+5(s−1)^2/4+10(s−1)^2/4=4,OK

  (s+2)^2/4+5(s−2)^2/4+10(s−1)^2/4=6,NG

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

  x^2+y^2+z^2=4,t=1を満たさないのでNG.

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