■等面単体の体積(その384)
[1]nの本体の断面は,n−1次元等面単体
[2]nの展開図の断面は,n−1次元等面単体のファセット
のものがあることが確かめられたが,実際にそれを構成してみたい.
(その383)は,n=4のとき
P0P1=P1P2=P2P3=P3P4=2
P0P2=P1P3=P2P4=√6
P0P3=P1P4=√6
P0P4=2
とならなければならない.
===================================
3m^2+h^2(4)<3m^2+9h^2(2)
4m^2+4h^2(3),16h^2(1)
3m^2+h^2=4
4m^2+4h^2=6
3m^2+9h^2=6
16h^2=4
が解をもてばよい.h^2=1/4,m^2=5/4
3m^2+9h^2=15/4+9/4=6 (OK)
P0P1^2=3m^2+h^2=4*
P0Px^2=3m^2+9h^2=6
P0P2^2=4m^2+4h^2=6
P0P3^2=3m^2+h^2=4*
P1Px^2=16h^2=4*
P1P2^2=3m^2+9h^2=6
P1P3^2=4m^2+4h^2=6
PxP2^2=3m^2+h^2=4*
PxP3^2=4m^2+4h^2=6
P2P3^2=3m^2+h^2=4*
であるから
P0P1=P1P2=P2P3=P3P4=2
P0P4=2
P0P1^2=3m^2+h^2=4*
P0P3^2=3m^2+h^2=4**
P1Px^2=16h^2=4*
PxP2^2=3m^2+h^2=4*
P2P3^2=3m^2+h^2=4*
を満たすようにシャッフルできるだろうか?
===================================