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