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

を満たすようにシャッフルできるだろうか?

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