ｆベクトルとｈベクトルは，母関数を使えば大変見通しよく説明することができる．

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

　多面体Ｐの母関数を

　　Ｆ（ｔ）＝Σ(0,n)ｆj-1・ｔ^j

で定義する．ｆ-1＝１

　このとき，

　　Ｈ（ｔ）＝（１－ｔ）^nＦ（ｔ／（１－ｔ））＝Σ(0,n)ｆj-1・ｔ^j（１－ｔ）^(n-j)

はｎ次の多項式であり，

　　Ｈ（ｔ）＝Σ(0,n)ｈp・ｔ^p

と書くことができる．

　逆に，

　　Ｆ（ｔ）＝（１＋ｔ）^nＨ（ｔ／（１＋ｔ））＝＝Σ(0,n)ｆj-1・ｔ^j

であり，

　　ｈp＝Σ(0,p)（－１）^(p-j)（ｎ－ｊ，ｎ－ｐ）ｆjｰ1，０≦ｐ≦ｎ

　　ｆj-1＝Σ(0,j)（ｎ－ｐ，ｎ－ｊ）ｈp，０≦ｊ≦ｎ

となる．

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

　したがって，ｆｊを与えることとｈpを与えることは同値である．

　ｎ次単体的多面体に対しては，デーン・サマービル関係式

　　（－１）^(n-1)ｆk＝Σ(k,n-1)（－１）^j（ｊ＋１，ｋ＋１）ｆj

が成り立つことは，

　　Ｆ（ｔ－１）＝（－１）^nＦ（－ｔ）

　　Ｈ（ｔ）＝ｔ^nＨ（１／ｔ）

が成立すること，あるいは，

　　ｈp＝ｈn-p

が成り立つことと同値である．

　　Ｆ（ｔ／（１－ｔ））＝Ｈ（ｔ）／（１－ｔ）^n＝Σ(0,n)ｆj-1・ｔ^j／（１－ｔ）^j

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

h0=1,h1=f1-d,・・・h0+h1+・・・+hd=fd-1

hi=Σ(d-j,d-i)(-1)^(i-j)fj-1

fi=Σ(d-j,d-i-1)hj

hd=(-1)^(d-1)Σ(-1)^(i-1)fi-1

単体的凸多面体に対する

[1]デーン・サマーヴィル関係式はhi=hd-1, i=0-d

[2]上限予想の不等式はhi＜=(v-d+i-1,i), i=0-[d/2]

[3]下限予想の不等式はh1＜=hi, i=2-(d-1)

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