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

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

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

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

が成り立つ.

  −1≦k≦n−1

であるが,k=n−1の場合は自明.k=−1の場合はf-1=fn=1とみなせば,オイラーの関係式になる.

 k=n−1の場合,k≦j≦n−1であるから

  (−1)^(n-1)fn-1=(−1)^n-1fn-1

 k=−1の場合,k≦j≦n−1であるから

  (−1)^(n-1)f-1=−f-1+f0−f1+・・・+(−1)^(n-1)fn-1

k=n−2の場合,k≦j≦n−1であるから

  (−1)^(n-1)fn-2=(−1)^n-2fn-2+(−1)^n-1nfn-1

  fn-2=−fn-2+nfn-1

k=n−3の場合,k≦j≦n−1であるから

  (−1)^(n-1)fn-3=(−1)^n-3fn-3+(−1)^n-2(j+1,k+1)(n−1)fn-2+(−1)^n-1n(n−1)/2fn-1

  fn-3=fn-3−(n−1)fn-2+n(n−1)/2fn-1

k=n−4の場合,k≦j≦n−1であるから

  (−1)^(n-1)fn-4=(−1)^n-4fn-4+(−1)^n-3(n−2)fn-3+(−1)^n-2(n−1)(n−2)/2fn-2+(−1)^n-1n(n−1)n−2)/6fn-2

  fn-4=−fn-4+(n−2)fn-3−(n−1)(n−2)/2fn-2+n(n−1)(n−2)/6fn-2

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