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

【1】デーン・サマービル関係式

 各頂点がn本の辺上にあるn価のn次多面体(単純多面体)に対しては,デーン・サマービル関係式

  fk=Σ(0,k)(−1)^j(n−j,n−k)fj

が成り立つ.0≦j≦k

 k=nのときがオイラー関係式

  fn=Σ(0,n)(−1)^jfj

である.

 k=0のとき,f0=f0

k=1のとき,f1=nf0−f1

k=2のとき,f2=n(n−1)/2f0−(n−1)f1+f2

k=3のとき,f3=n(n−1)(n−2)/6f0−(n−1)(n−2)/2f1+(n−2)f2−f3

k=4のとき,f4=n(n−1)(n−2)(n−3)/24f0−(n−1)(n−2)(n−3)/6f1+(n−2)(n−3)/2f2−(n−3)f3+f4

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