■等面単体の体積(その268)
P1(0,0,0)
P2((√6)/2,(√10)/2,0)
P3(√6,0,0)
P4(2√6/3,0,√30/3)
P3を外す.新たなP3を
P3=P1+sP3P4=(0,0,0)+s(−√6/3,0,√30/3)
あるいは
P3=P2+sP3P4=(√6/2,√10/2,0)+t(−√6/3,0,√30/3)
とおく.
===================================
P1(0,0,0)
P2((√6)/2,(√10)/2,0)
P3(x,y,z)
P4(2√6/3,0,√30/3)
P1P2=P2P3=P3P4=2
P1P3=P2P4=√6
P1P4=√6
x^2+y^2+z^2=6
(x−√6/2)^2+(y−√10/2)^2+z^2=4
(x−2√6/3)^2+y^2+(z−√30/3)^2=4
===================================
[1]x=−s√6/3,y=0,z=s√30/3
2s^2/3+10s^2/3=4s^2=6,s=(3/2)^1/2
x=−1,y=0,z=√5
[2]x=−t√6/3+√6/2,y=√10/2,z=t√30/3
2t^2/3+10t^2/3=4,t=1
x=√6/6,y=√10/2,z=√30/3
1/6+10/4+10/3=(2+30+40)/12=6
6/4+10/4=4
===================================
[まとめ]やっと,等面五胞体の展開図は斜(等面四面体)柱を充填することが数値的に確認されたことになる.やれやれ.
===================================