■ピックの公式の一般化(その1)

ピックの公式(1899年)とは,任意の格子多角形の面積が以下の式で表されるというものである.

  A=I+B/2−1

   A:格子多角形の面積

   I:内部の点の個数

   B:境界線上の点の個数

 すなわち,格子点平面の折れ線で囲まれた面積は(凸であれ凹であれ)格子点の数で表せるという「格子の幾何学」の美しい公式である.

 ピックの定理を一般化して,3次元格子上に頂点をもつ多面体の体積公式を作ることができるだろうか? 実は,3次元の任意の格子多面体に対しては内部や境界面上の点の個数から体積を求める式はないことが証明されている(リーブ,1957).

 凸格子点多面体に限ると,すべての凸格子点多面体に対して成り立つ公式は存在するのだが,それでも非常に複雑なものになるという.

===================================