■等面単体の体積(その283)
 の5次元版は長さは3種類であるが,三角形面は何通りできるのだろうか?
  P1P2=P2P3=P3P4=P4P5=√5
  P1P3=P2P4=P3P5=√8
  P1P4=P2P5=3
  P1P5=√8
で調べると,
123→(√5,√5,√8)**
124→(√5,√8,3)*
125→(√5,3,√8)*
134→(√8,√5,3)*
135→(√8,√8,√8)
145→(3,√5,√8)*
234→(√5,√5,√8)**
235→(√5,√8,3)*
245→(√8,√5,3)*
345→(√5,√5,√8)**
で,3種類になる.
===================================
P1(0,0,0,0)
P2(√2,√3,0,0)
P3(√8,0,0,0)
P4(x,y,z,0)とおくと
  x^2+y^2+z^2=9
  (x−√2)^2+(y−√3)^2+z^2=8
  (x−√8)^2+y^2+z^2=5
  (x−√8)^2+9−x^2=5
  −2x√8+17=5→x=6/2√2=√(9/2)
  y^2+z^2=9−9/2=9/2
  1/2+(y−√3)^2+z^2=8
  1/2+(y−√3)^2+9/2−y^2=8
  −2y√3+8=8→y=0→z=√(9/2)
===================================
 
