■数学よもやま話(その4)
ミンコフスキーの定理とピックの定理
ミンコフスキーは数論家として出発しましたが,研究を進めるにしたがって次第に幾何学に興味を惹かれるようになり,幾何学的方法を用いて数論を研究する「数の幾何学」と呼ばれる新しい数学分野を打ち立てました.格子点定理(1896年)が数の幾何学の基礎となっているのですが,格子点定理は次のように述べることができます.
「平面(n次元空間)上の任意の単位格子において,1つの格子点を中心として1辺の長さが2の正方形(面積4の平行四辺形,面積2^nの中心対称な凸体)を任意の向きにおいてみると,内部あるいは境界上にもうひとつの格子点が必ず存在する.」
一方,ピックの公式(1899年)とは,任意の格子多角形の面積が以下の式で表されるというものである.
A=I+B/2−1
A:格子多角形の面積
I:内部の点の個数
B:境界線上の点の個数
すなわち,格子点平面の折れ線で囲まれた面積は(凸であれ凹であれ)格子点の数で表せるという「格子の幾何学」の美しい公式であるが,ミンコフスキーの格子点定理を用いて,ピックは彼の興味深い定理を証明した.
ところで,ピックの定理を一般化して,3次元格子上に頂点をもつ多面体の体積公式を作ることができるだろうか? 実は,3次元の任意の格子多面体に対しては内部や境界面上の点の個数から体積を求める式はないことが証明されている(リーブ,1957).
===================================