■等面単体の体積(その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)
===================================