■等面単体の体積(その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である.

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