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

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

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

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

が成り立つ.

 k次元面はn−k個のファセットの共通部分に含まれる,残りのn−j個のファセット上のあるものを引いて,引き過ぎた分を足し直してということを繰り返した包除公式である.

 単純n次多面体に対して,与えられたj次面を含むk次面の数は(n−j,n−k)になる.k=nのときがオイラー関係式

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

であるが,オイラー関係式は単純多面体だけでなく任意の多面体に対して成り立つ.

 デーンは1905年に5次元においてこの関係式を証明した.およそ20年後の1927年,サマービルが一般の場合を証明した.

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