■DE群多面体の面数公式(その676)

 大域幾何は求められるが,局所幾何が求められるかどうかは不確定である.以下のABC群も,それ同様,大域幾何であるから求められたものだと思う.

 αn,βn,γnの頂点図形はそれぞれαn-1,βn-1,αn-1である.また,位数は(n+1)!,2^nn!,2^nn!である.

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

[1]αn-1の全切頂切稜の頂点数xは

  |αn|=x・(αnの頂点数)=(n+1)x

で与えられる.

  x=n!  (OK)

[2]βn-1の全切頂切稜の頂点数xは

  |βn|=x・(βnの頂点数)=2nx

で与えられる.

  x=2^n-1(n−1)!  (OK)

[3]αn-1の全切頂切稜の頂点数xは

  |γn|=x・(γnの頂点数)=2^nx

で与えられる.

  x=n!  (OK)

[4]γn-1の全切頂切稜の頂点数xは

  x=2^n-1(n−1)!

で与えられる.

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