ｆk^(n)／ｆ0^(n)＝｛ｘ／ａ＋ｙ／ｂ＋ｚ／ｃ＋・・・｝

とおく．現状では｛ａ，ｂ，ｃ，・・・｝がわかったとしても｛ｘ，ｙ，ｚ，・・・｝を求めることはできない．さて，どうするか？

　とりあえず，正単体切頂切稜型ペトリー多面体の計算を続行してみる．なぜかとおいうと，正単体切頂切稜型ペトリー多面体は面数公式を陽に表すことができる奇跡的な多面体であるからである．

　　ｆk＝２（２^k+1−１）（ｎ＋１，ｋ＋２）　　（ｋ＝０〜ｎ−１）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　ｆn-1^(n)／ｆ0^(n)＝｛ｇ0^(n)ｆ(n-1)^(n-1)＋ｇ1^(n)ｆ(n-2)^(n-2)＋・・・＋ｇn-1^(n)ｆ(0)^(0)｝／｛ｇ0^(n)ｆ0^(n-1)｝

＝｛(n+1,1)ｆ(n-1)^(n-1)＋(n+1,2)ｆ(n-2)^(n-2)＋・・・＋(n+1,n)ｆ(0)^(0)・１｝／｛(n+1,1)ｆ0^(n-1)｝

ｆ(n-1)^(n-1)＝２（２^n−１）（ｎ，ｎ＋１）

ｆ(n-2)^(n-2)＝２（２^n-1−１）（ｎ−１，ｎ）

ｆ0^(n-1)＝２（２−１）（ｎ，２）＝ｎ（ｎ−１）

どうも計算が怪しい．

　　切頂面・・・頂点数ｆ0^(n-1)＝１・ｎ＝ａ

　　切稜面・・・頂点数ｆ0^(n-2)・２＝２（ｎ−１）＝ｂ

　　２次元面・・・頂点数ｆ0^(n-3)・３＝３（ｎ−２）＝ｃ

　　・・・・・・・・・・・・・・・・・・・

　　ｎ−１次元面・・・頂点数ｆ0^(0)・ｎ＝ｎ・１

より，

　　ａｂｃ・・・＝（ｎ！）^2

となるが，ここも計算が怪しい．再考してみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝