これでやっと満足のいく高次元正多面体のｆ0公式ができた．次はｆ1公式の番である．ｆ0公式は正軸体・正単体の面数公式を元にして構成できたが，ｆ1公式も同様と思われる．

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

【１】ｆ1公式

　基本単体（Ｐ0・・・Ｐn）はｎ＋１個の超平面で囲まれるが，ひとつの超平面上に点Ｑをとる．点Ｑを通り，ＰkＰn（ｋ＝０〜ｎ−２）に垂直な超平面で基本単体を切断する．

　切断することによって各超平面に垂線を下ろすことになるが，点Ｑからでる同じ基本単体内の辺数は，点Ｑが基本単体のどこにあるかによって

　　点Ｑがｎ−１次元面上にあるとき，ｎ

　　点Ｑがｎ−２次元面上にあるとき，ｎ−１

　　点Ｑが０次元面上にあるとき，１

と考えられる．

　点Ｑからでる辺数をｍとすると

　　ｆ1＝ｍ／２・ｆ0

である．ｍは

［１］点Ｑからでる同じ基本単体内の辺数

［２］点Ｑに会合する基本単体数

で定まるが，

［３］点Ｑが基本単体のどこにあるか

によってかなり事情が異なってくる．

　しかし，このままではこれまでの考察と同じレベルである．最終的には，そこに会合する基本単体数によってかなり事情が異なってくるが，その数を組み合わせ論的に定めることはできないだろうか？　いまのところ，いいアイデアが浮かばない．

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