ｋ面数公式を

　　ｎ次元正軸体：ｇk＝（ｎ，ｋ＋１）２^(k+1)

　　ｎ次元正単体：ｈk＝（ｎ＋１，ｋ＋１）

とおく．ｋ＝［０，ｎ−１］

　　縮退情報　　　　：　　Ｂ＝（ｂ0，・・・，ｂn-1）

とすると，

　　ｆn-1^(n)＝Σ(j=0~n-1)ｇj^(n)ｂj

というものである．ここで，各ｂjは０か１の値をとるから，ゼータ関数ににおける「指標」のようなものと考えることができる．

　　ｆ＝Σχｇ

とした方がその雰囲気が味わえるかもしれない．

　別のアイディアとして，２項係数の整除性を使って，ｆn-1公式を調べてみたい．

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

［１］ｎ＝ｐのとき，nＣmはｐの倍数である

　両端nＣ0＝nＣn＝１ですから，両端以外のnＣm（１≦ｍ≦ｎ−１）について考えます．ｎ＝ｐのとき

　　pＣm＝ｐ！／ｍ！（ｐ−ｍ）！

１≦ｍ≦ｐ−１，１≦ｐ−ｍ≦ｐ−１より，分母は素因数ｐを含んでいない．よって，pＣmはｐの倍数である．

［２］ｎ＝２^kのとき，nＣmは偶数である

　　（ａ＋ｂ）^2＝ａ^2＋｛係数が偶数の項｝＋ｂ^2

　　｛（ａ＋ｂ）^2｝^2＝ａ^4＋｛係数が偶数の項｝＋ｂ^4

　　｛（ａ＋ｂ）^4｝^2＝ａ^8＋｛係数が偶数の項｝＋ｂ^8，・・・

数学的帰納法より，nＣmは偶数である

［３］ｎ＝２^k−１のとき，nＣmは奇数である

　［２］より，n+1Ｃmは偶数である．

　　n+1Ｃm＝nＣm-1＋nＣm

　　１＋nＣ1＝偶数→nＣ1は奇数

　　nＣ1＋nＣ2＝偶数→nＣ2は奇数，・・・

よって，nＣmは奇数である．さらに，nＣmがすべては奇数になるのは，ｎ＝２^k−１のときに限る．

　実際，他の行には偶数があるのですが，

［４］ｎ＝２^kのとき，両端以外のnＣm，２^k−１個はすべて偶数である

［５］ｎ＝２^k＋１のとき，真ん中のnＣm，２^k−２個はすべて偶数である

［６］ｎ＝２^k＋２のとき，真ん中のnＣm，２^k−３個はすべて偶数である

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

［７］ｎ＝２^k+1−２＝２^k＋２^k−２のとき，真ん中のnＣm，２^k−（２^k−１）＝１個はすべて偶数である

［８］nＣmがすべては奇数になるのは，ｎ＝２^k−１のときだけ

ということになります．

　ついでにいうと，nＣm（ｍ＝０〜ｎ）がすべては奇数になるのは，ｎ＝２^k−１のときに限る．さらに，ｋ＞１に対してnＣm（ｍ＝１〜ｎ−１）がｋで割り切れるための必要十分条件は，ｋが素数であって，ｎ＝ｋ^mの形に書けるときに限る．

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

［４］ｎ＝２^kのとき，両端以外のnＣm，ｎ−１個はすべて偶数である

［５］ｎ＝２^k＋１のとき，真ん中のnＣm，ｎ−３個はすべて偶数である

［６］ｎ＝２^k＋２のとき，真ん中のnＣm，ｎ−５個はすべて偶数である

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

［７］ｎ＝２^k+1−２＝２^k＋２^k−２のとき，真ん中のnＣm，１個はすべて偶数である

　これを

　　ｎ次元正単体：ｈk＝（ｎ＋１，ｋ＋１）　　（ｋ＝０〜ｎ−１）

に対しては適用するにしても，情報量が少なすぎて使えそうにない．

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