■オイラーの多面体定理とデーン・サマーヴィル関係式(その14)

 n次単体的多面体に対しては,デーン・サマービル関係式

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

が成り立つ.

 また,このデーン・サマービル関係式の書き方はいくつかあるが

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

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

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

  Σ(0,k)(−1)^k-i(d−i,d−k)fi-1

=Σ(0,d-k)(−1)^d-kk-i(d−i,k)fi-1

  hk=hd-k

の両辺をfiで記述しただけであるが,最もエレガントで単純なバージョンは

  fk-1=Σ(k,d)(−1)^d-j(j,k)fj-1

である.

 それでもhk=hd-kの単純さには比べるべくもない.

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