■等面単体の体積(その290)
(その287)は
[1]a=s/√2+√2,b=√3,c=s/√2,d=s,e=s√3
a=3/√2,b=√3,c=1/√2,d=1,e=√3のとき,OK
a=1/√2,b=√3,c=−1/√2,d=−1,e=−√3のとき,NG
であった.予想が当たったことになる.(その288)は・・・
===================================
P1(0,0,0,0)
P2(√2,√3,0,0)
P3(a,b,c,d)
P4(√(9/2),0,√(9/2),0)
P5(√2,0,√2,2)
とおいて,
P1P2=P2P3=P3P4=P4P5=√5
P1P3=P2P4=P3P5=√8
P1P4=P2P5=3
P1P5=√8
を満たすものを探す.
(a−√2)^2+(b−√3)^2+c^2+d^2=5
(a−√(9/2))^2+b^2+(c−√(9/2))^2+d^2=5
a^2+b^2+c^2+d^2=8
(a−√2)^2+b^2+(c−√2)^2+(d−2)^2=8
===================================
P3=P1+sP3P5=(0,0,0,0)+s(√2,0,−√2,−2)
P3=P2+sP3P5=(√2,√3,0,0)+s(√2,0,−√2,−2)
P3=P4+sP3P5=(√(9/2),0,√(9/2),0) +s(√2,0,−√2,−2)
となる新たなP3を選ぶ.
===================================