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

[1]n=8

 中心から頂点までの距離は2xであるから,このなかで(x,x,x,x,0,0,0,0)までの距離が2xであるのは,

(x,x,x,x,x,x,x,x),(x,x,x,x,x,x,x,−x),(x,x,x,x,x,x,−x,x),(x,x,x,x,x,−x,x,x),(x,x,x,x,−x,x,x,x),(x,x,x,x,x,x,−x,−x),(x,x,x,x,x,−x,x,−x),(x,x,x,x,−x,x,x,−x),(x,x,x,x,x,−x,−x,x),(x,x,x,x,−x,x,−x,x),(x,x,x,x,−x,−x,x,x),(x,x,x,x,x,−x,−x,−x),(x,x,x,x,−x,x,−x,−x),(x,x,x,x,−x,−x,x,−x),(x,x,x,x,−x,−x,−x,x),(x,x,x,x,−x,−x,−x,−x)

の16である.→n=2kとして(k,k)^22^k通り

 さらに,(2x,2x,2x,2x,0,0,0,0)も(x,x,x,x,0,0,0,0)の周囲に集まることができる.→(0,0,0,0,0,0,0)も含め,2通り=(k,0)^2通り

(2x,2x,2x,x,±x,0,0,0),(2x,2x,2x,x,0,±x,0,0),(2x,2x,2x,x,0,0,±x,0),(2x,2x,2x,x,0,0,0,±x)

(2x,2x,x,2x,±x,0,0,0),(2x,2x,x,2x,0,±x,0,0),(2x,2x,x,2x,0,0,±x,0),(2x,2x,x,2x,0,0,0,±x)

(2x,x,2x,2x,±x,0,0,0),(2x,x,2x,2x,0,±x,0,0),(2x,x,2x,2x,0,0,±x,0),(2x,x,2x,2x,0,0,0,±x)

(x,2x,2x,2x,±x,0,0,0),(x,2x,2x,2x,0,±x,0,0),(x,2x,2x,2x,0,0,±x,0),(x,2x,2x,2x,0,0,0,±x)→n=2kとして(k,1)^22通り

(2x,2x,x,x,±x,±x,0,0),(2x,2x,x,x,±x,0,±x,0),(2x,2x,x,x,±x,0,0,0,±x),(2x,2x,x,x,0,±x,±x,0),(2x,2x,x,x,0,±x,0,±x),(2x,2x,x,x,0,0,±x,±x),

(2x,x,2x,x,±x,±x,0,0),(2x,x,2x,x,±x,0,±x,0),(2x,x,2x,x,±x,0,0,0,±x),(2x,x,2x,x,0,±x,±x,0),(2x,x,2x,x,0,±x,0,±x),(2x,x,2x,x,0,0,±x,±x),

(2x,x,x,2x,±x,±x,0,0),(2x,x,x,2x,±x,0,±x,0),(2x,x,x,2x,±x,0,0,0,±x),(2x,x,x,2x,0,±x,±x,0),(2x,x,x,2x,0,±x,0,±x),(2x,x,x,2x,0,0,±x,±x),

(x,2x,2x,x,±x,±x,0,0),(x,2x,2x,2x,±x,0,±x,0),(x,2x,2x,x,±x,0,0,0,±x),(x,2x,2x,x,0,±x,±x,0),(x,2x,2x,x,0,±x,0,±x),(x,2x,2x,x,0,0,±x,±x),

(x,2x,x,2x,±x,±x,0,0),(x,2x,x,2x,±x,0,±x,0),(x,2x,x,2x,±x,0,0,0,±x),(x,2x,x,2x,0,±x,±x,0),(x,2x,x,2x,0,±x,0,±x),(x,2x,x,2x,0,0,±x,±x),

(x,x,2x,2x,±x,±x,0,0),(x,x,2x,2x,±x,0,±x,0),(x,x,2x,2x,±x,0,0,0,±x),(x,x,2x,2x,0,±x,±x,0),(x,x,2x,2x,0,±x,0,±x),(x,x,2x,2x,0,0,±x,±x)→n=2kとして(k,2)^22^2通り

(2x,x,x,x,±x,±x,±x,0),(2x,x,x,x,±x,0,±x),(2x,x,x,x,±x,0,±x,±x),(2x,x,x,x,0,±x,±x,±x)

(x,2x,x,x,±x,±x,±x,0),(x,2x,x,x,±x,0,±x),(x,2x,x,x,±x,0,±x,±x),(x,2x,x,x,0,±x,±x,±x)

(x,x,3x,x,±x,±x,±x,0),(x,x,3x,x,±x,0,±x),(x,x,3x,x,±x,0,±x,±x),(x,x,3x,x,0,±x,±x,±x)

(x,x,x,2x,±x,±x,±x,0),(x,x,x,2x,±x,0,±x),(x,x,x,2x,±x,0,±x,±x),(x,x,x,2x,0,±x,±x,±x)→n=2kとして(k,3)^22^3通り

(3x,x,x,x,0,0,0,0),(x,3x,x,x,0,0,0,0),(x,x,3x,x,0,0,0,0),(x,x,x,3x,0,0,0,0),(−x,x,x,x,0,0,0,0),(x,−x,x,x,0,0,0,0)(x,x,−x,x,0,0,0,0),(x,x,x,−x,0,0,0,0)も(x,x,x,x,0,0,0,0)からの距離が2xである.→8通り

→n=8のときはこの図形の頂点のまわりには408個の図形が集まることになる.

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[2]n=9

 中心から頂点までの距離はx・√17/2であるから,このなかで(x,x,x,x,x/2,0,0,0,0)までの距離がx・√17/2であるのは,

(x,x,x,x,x,x,x,x,x),(x,x,x,x,x,x,x,x,−x),(x,x,x,x,x,x,x,−x,x),(x,x,x,x,x,x,−x,x,x),(x,x,x,x,x,−x,x,x,x),(x,x,x,x,x,x,x,−x,−x),(x,x,x,x,x,x,−x,x,−x),(x,x,x,x,x,−x,x,x,−x),(x,x,x,x,x,x,−x,−x,x),(x,x,x,x,x,−x,x,−x,x),(x,x,x,x,x,−x,−x,x,x),(x,x,x,x,x,x,−x,−x,−x),(x,x,x,x,x,−x,x,−x,−x),(x,x,x,x,x,−x,−x,x,−x),(x,x,x,x,x,−x,−x,−x,x),(x,x,x,x,x,−x,−x,−x,−x)

の16である.→n=2k+1として(k,k)^22^k通り

 さらに,(2x,2x,2x,2x,x,0,0,0,0)も(x,x,x,x,x/2,0,0,0,0)の周囲に集まることができる.→(0,0,0,0,0,0,0,0)も含め,2通り=(k,0)^2通り

→(k,1)^22+(k,2)^22^2+(k,3)^22^3通り

(2x,2x,x,x,−x,0,0,0,0),(2x,x,2x,x,−x,0,0,0,0),(2x,x,x,2x,−x,0,0,0,0),(x,2x,2x,x,−x,0,0,0,0),(x,2x,x,2x,−x,0,0,0,0),(x,x,2x,2x,−x,0,0,0,0)も(x,x,x,x,x/2,0,0,0,0)からの距離がx・√17/2である.→8通り

→n=9のときはこの図形の頂点のまわりには429個の図形が集まることになる.

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