■置換多面体の空間充填性(その71)

 (その70)は(その53)−(その56)を単純化した形になっている.制約条件を付けなければ解は存在する.もう少し粘ってみよう.

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

[1]n=3のとき,{3,4}(110),f0=24

 切頂点の周囲には

  切頂面{4}(10)1個・・・頂点数4

  2次元面{3}(11)2個・・・頂点数6

  f2=(1/4+2/6)・f0=14

 さらに切頂点の周囲の1次元面に関しては

  切頂面{}(0)と{}(1)の直積

  1次元面{}(1)と{}(0)の直積

の2種類である(はずである).

  {}(1)・・・頂点数2

  {}(1)・・・頂点数2

であるから,

  f1=(x/2+y/2)f0

  f0=24,f1=36

  x/2+y/2=36/24

  x+y=36/24・2=3

  (x,y)=(1,2),(2,1)

となって,頂点次数は3である.

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

[2]n=4のとき,{3,3,4}(0100),f0=24

 切頂点の周囲には

  切頂面{3,4}(100)2個・・・頂点数6

  3次元面{3,3}(010)4個・・・頂点数6

  f3=(2/6+4/6)・f0=24

 さらに切頂点の周囲の2次元面に関しては

  {4}(00)と{}(0)の直積

  {3}(01)と{}{0)の直積・・・頂点数3

 正三角形面のみであるから

  f2=(x/3)・f0=8x=96,x=12

となって,解は存在する.

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