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

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

  A=I+B/2−1

   A:格子多角形の面積

   I:内部の点の個数

   B:境界線上の点の個数

 整数点を数えれば面積がだいたいわかるというのが離散体積の問題である.ピックの公式は誰でも理解できる.小学生でも理解できるが,ピックが発見するまで誰も気がつかなかった・・・.

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

【1】スコットの定理(公式にある定数1)

 格子点を端点とし,途中に格子点をもたない線分を基本線分と呼ぶ.Eを基本線分の数,Fを格子多角形から境界を取り除いたときに分かれる部分数とすると,

  A=I+E/2−F

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

【2】エルハルト多項式

 スコットの定理はピックの定理の一般化であるが,(その4)に掲げた,1950年代のエルハルトの研究はピックの公式の高次元への一般化といえる.

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

【3】スコットの定理

格子多角形の内部に属する格子点の個数をc(P),境界に属する格子点の個数をb(P)とすると

そのような格子凸多角形が存在するための必要十分条件は

[1]c=0,b>=3

[2]c=1,3<=b<=9

[3]c>=2,3<=b<=2c+6

のいずれかが満たされることである。

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