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

 (4,6,6)や(4,6,8)は簡単であったが,(3,3,3,3,4)(3,3,3,3,5)のようなねじれ立体もあるので,もう一度,f0,f1,f2の求め方を整理しておきたい.

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

 (p1,p2,・・・,pk)が与えられたとき,それぞれの面数をx,y,x,・・・としてもよいが,実際は不要となる.

[1]大域条件

  f2=x+y+z・・・+w

  p1x+p2y+p3z+・・・+pkw=2f1

  kf0=2f1

  f0−f1+f2=2

[2]局所条件

  f2=(1/p1+1/p2+・・・+1/pk)f0

  f1=(1/2+1/2+1/2)f0  (kf0=2f1)

 局所条件

  f2=(1/p1+1/p2+・・・+1/pk)f0

  kf0=2f1

をオイラーの多面体公式に代入すると

  f0−k/2・f0+(1/p1+1/p2+・・・+1/pk)f0=2

  f0=2/(1−k/2+1/p1+1/p2+・・・+1/pk)

  f1=k/2・f0

  f2=(1/p1+1/p2+・・・+1/pk)f0

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