■置換多面体のファセット数
n次元置換多面体Πnのファセット数fnは
Σ(1+1)^k−2=2n+1−2
で与えられるが,漸化式の形に書くと
fn=fn-1+2・2^n-1=fn-1+2^n
f1=2,f2=6,f3=14,f4=30,・・・
===================================
f2−f1=4
f3−f2=8
f4−f3=16
f5−f4=32
・・・・・・・・
fn−fn-1=2^n
Π(fn−fn-1)/(fn-1−fn-2)=2^n-1
としてもfnは求められないので,単純素朴に
Σ(fn−fn-1)=4+8+・・・+2^n
より,fn=2(2^n−1)が従う.
===================================
[雑感]計算は簡単であるが,漸化式:fn=fn-1+2^nのもつ幾何学的意味を理解することはできただろうか?
===================================