■等面単体の体積(その263)
P1を外す.新たなP1を
P1=P2+sP1P4=((√6)/2,(√10)/2,0)+s(2√6/3,√10/20,√(397/120))
あるいは
P1=P3+sP1P4=(√6,0,0)+t(2√6/3,√10/20,√(397/120))
とおく.
===================================
P1(x,y,z)
P2((√6)/2,(√10)/2,0)
P3(√6,0,0)
P4(2√6/3,√10/20,√(397/120))
P1P2=P2P3=P3P4=2
P1P3=P2P4=√6
P1P4=√6
(x−(√6)/2)^2+(y−(√10)/2)^2+z^2=4
(x−√6)^2+y^2+z^2=6
(x−2√6/3)^2+(y−√10/20)^2+(z−√(397/120))^2=6
===================================
[1]x=2s√6/3+√6/2,y=s√10/20+(√10)/2,z=s√(397/120)
24s^2/9+s^2/40+397s^2/120=8s^2/3+10s^2/3=6,s=1
x=7√6/6,y=11√10/20,z=√(397/120)
1/6+121/40+397/120=1/6+6≠6
[2]x=2t√6/3+√6,y=t√10/20,z=t√(397/120)
24t^2/9+t/40+397t^2/120≠4
またNGである.
===================================