■等面単体の体積(その337)

 n=5の本体は,もうひとつある.P5を外した場合,

P5=P4+sP5P0=(√(9/2),0,√(9/2),0,0)+s(√(1/2),0,√(1/2),1,−√3)

ベクトル

 s(√(1/2),0,√(1/2),1,−√3)

と直交し,P1を通る平面

  a/√2+c/√2+d−√3e=0

  a+c+√2d−√6e=0

を考える.

P0(√(1/2),0,√(1/2),1,√3)

P1(0,0,0,0,0)

P2(√2,√3,0,0,0)

P3(√8,0,0,0,0)

P4(√(9/2),0,√(9/2),0,0)

P5(√2,0,√2,2,0)

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

Q0は,b=0

  (a−1/√2)=(c−1/√2)=(d−1)/√2=−(e−√3)/√6=k

a=1/√2+k,c=1/√2+k,d=1+√2k,e=√3−√6k

  a+c+√2d−√6e=0に代入

  √2+2k+√2+2k−3√2+6k=0,k=√2/10

Q0(6√2/10,0,6√2/10,12/10,8√3/10)

Q1は,b=0

  (a)=(c)=(d)/√2=−(e)/√6=k

a=k,c=k,d=√2k,e=−√6k

  a+c+√2d−√6e=0に代入

  2k+2k+6k=0,k=0

Q1(0,0,0,0,0)

Q2は,b=√3

  (a−√2)=c=d/√2=−e/√6=k

  a=√2+k,c=k,d=√2k,e=−√6k

  a+c+√2d−√6e=0に代入

  √2+k+k+2k+6k=0,k=−√2/10

Q2(9√2/10,√3,−√2/10,−2/10,√12/10)

Q3は,b=0

  (a−√8)=c=d/√2=−e/√6=k

  a=√8+k,c=k,d=√2k,e=−√6k

  a+c+√2d−√6e=0に代入

  √8+k+k+2k+6k=0,k=−√2/5

Q3(9√2/5,0,−√2/5,−2/5,√12/5)

Q4は,b=0

  (a−3/√2)=(c−3/√2)=d/√2=−e/√6=k

  a=3/√2+k,c=3/√2+k,d=√2k,e=−√6k

  a+c+√2d+−√6e=0に代入

  6/√2+2k+2k+6k=0,k=−3√2/10

Q4(6√2/5,0,6√2/5,−3/5,3√3/5)=Q5

Q0(6√2/10,0,6√2/10,12/10,8√3/10)

Q1(0,0,0,0,0)

Q2(9√2/10,√3,−√2/10,−2/10,2√3/10)

Q3(18√2/10,0,−2√2/10,−4/10,4√3/10)

Q4(12√2/10,0,12√2/10,−6/10,6√3/10)

Q0Q1^2=480/10^2

Q0Q2^2=720/10^2

Q0Q3^2=720/10^2

Q0Q4^2=480/10^2

Q1Q2^2=480/10^2

Q1Q3^2=720/10^2

Q1Q4^2=720/10^2

Q2Q3^2=480/10^2

Q2Q4^2=720/10^2

Q3Q4^2=480/10^2

(その336)と同じく,断面は4次元等面単体である.

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