■サマーヴィルの等面四面体(その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
===================================