■高次元の準正多面体(その21)

 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

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

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

  Σ(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

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

において,k=nとすると

  fn-1=fn-1

k=0とすると

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

k=n−1とすると

  fn-2=−fn-2+nfn-1  (一致)

k=n−2とすると

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

k=n−3とすると

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

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