■置換多面体の空間充填性(その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
となって,解は存在する.
===================================