ピックの公式を拡張したものがリーブの公式である．穴がない場合に図形を切ると２つの部分に分かれるが，穴がひとつの場合は切れ目を２箇所に，穴が二つの場合は切れ目を３箇所に入れなければ図形を２つの部分に分けることはできない．

　リーブの論文：

　　Reeve, JE: On the volume of lattice polyhedra, Proceedings of the London Mathematical Society (3rd series), 7, 378-95, 1957

では，式を３次元に場合に拡張するためには図形に空いた穴の個数を考慮しなければならないことを出発点にして議論されている．

　面積（体積）を求めるのトポロジーの定理が必要とされるというのは奇妙なことと感じられる．今回のコラムではリーブの論文の一部を抜粋して紹介する．

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

【１】ピックからリーブへ

　まず最初に，ピックの公式

　　Ａ＝Ｉ＋Ｂ／２−１

　　　Ａ：格子多角形の面積

　　　Ｉ：内部の点の個数

　　　Ｂ：境界線上の点の個数

をリーブ流にアレンジしたい．

　　Ａ＝（Ｉ＋Ｂ）−Ｂ／２−１

　図形ωの境界を∂ω，すなわち，中身を含まない表面を表し，整数格子点の数をＬ1（・）をすると，ピックの公式は

　　Ａ（ω）＝Ｌ1（ω）−Ｌ1（∂ω）／２−１

と表される．ここで，ωには中身に加えて表面∂ωも繰り込まれていることに注意されたい．

　さらにこの式を一般化する．オイラー・ポアンカレ標数をχ（・）とすると，ピックの公式：

　　Ａ（ω）＝Ｌ1（ω）−Ｌ1（∂ω）／２−１

の一般形は

　　Ａ（ω）＝｛Ｌ1（ω）＋χ（ω）｝−｛Ｌ1（∂ω）＋χ（∂ω）｝／２

で表されるというものである．

　ｍ次元複体ωのｋ次元面の個数をαkと表すとき，オイラー・ポアンカレ標数は，単体の個数の交代和

　　χ（ω）＝Σ(0,k)(-1)^kαk

で定義されるが，リーブの論文中の定義は

　　χ（ω）＝Σ(0,k)(-1)^(k+1)αk

となっているため，

　　χ（ω）＝−ｆ＝−１，χ（∂ω）＝−（ｖ−ｅ）＝０

　したがって，穴のない場合は

　　Ａ（ω）＝Ｌ1（ω）−Ｌ1（∂ω）／２−１

というわけである．

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