■高次元の準正多面体(その19)
単純多面体に対して
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
k=5のとき,f5=n(n−1)(n−2)(n−3)(n−4)/120f0−(n−1)(n−2)(n−3)(n−4)/24f1+(n−2)(n−3)(n−4)/6f2−(n−3)(n−4)/2f3+(n−4)f4−f5
k=6のとき,f6=n(n−1)(n−2)(n−3)(n−4)(n−5)/720f0−(n−1)(n−2)(n−3)(n−4)(n−5)/120f1+(n−2)(n−3)(n−4)(n−5)/24f2−(n−3)(n−4)(n−5)/6f3+(n−4)(n−5)/2f4−(n−5)f5+f6
単純多面体に対して
f0=f0
2f1=nf0
2f3=n(n−1)(n−2)/6f0−(n−1)(n−2)/2f1+(n−2)f2
2f5=n(n−1)(n−2)(n−3)(n−4)/120f0−(n−1)(n−2)(n−3)(n−4)/24f1+(n−2)(n−3)(n−4)/6f2−(n−3)(n−4)/2f3+(n−4)f4
2f2k+1=Σ(0,2k)(−1)^j(n−j,2k+1−j)fj
であることが確認された.
===================================