■等面単体の体積(その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)とおけないのだろうか?
===================================