■サマーヴィルの等面四面体(その170)

 n=5のとき

  P0P1=P1P2=P2P3=P3P4=P4P5=√5

  P0P2=P1P3=P2P4=P3P5=√8

  P0P3=P1P4=P2P5=3

  P0P4=P1P5=√8

  P0P5=√5

の3次元面が,n=4のときの2次元面柱に内接するかどうかを考えてみたい.

ところが・・・

  P2P3=P3P4=P4P5=√5

  P2P4=P3P5=√8

  P2P5=3

に限られるのかは?である.

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

 なぜならば,n=4のとき,

  P0P1=P1P2=P2P3=P3P4=2

  P0P2=P1P3=P2P4=√6

  P0P3=P1P4=√6

  P0P4=2

P0,P1をはずすと

  P2P3=P3P4=2

  P2P4=√6

になり,(2,2,√6)は現れるが(2,√6,√6)が得られないからである.

 P0,P2を外すと  P0,P3を外すと  P0,P4を外すと

  P3P4=2   P1P2=2   P1P2=P2P3=2

  P1P3=√6   P2P4=√6   P1P3=√6

  P1P4=√6   P1P4=√6

 ファセットは等面単体ではないので,それから外すと多様になってしまう.

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