■DE群多面体の面数公式(その198)
【1】Dnの局所幾何学
  f1=n(n−1)/4・f0
  f2=n(n−1)(n−2)/6・f0,n>3
  f3=n(n−1)(n−2)^2/24・f0,n>3
 n−k=1,2,3が公式通り
  fn-k={k(n,k)/(n−k+1)+(n,k)/2^n-k-1}f0
が使えるのは,n−k≧3ということになる.これは予想通りであった.
=================================
 正しくは
  f2=n(n−1)(n−2)/6・f0,n>3
したがって,
  f3={(n−2)(n,n−2)/3+0}f0
すればよい.
 正しくは
  f1=n(n−1)/4・f0
したがって,
  f3={(n−1)(n,n−1)/4+0}f0
すればよい.
=================================