【２】リーブの四面体

　平面上の格子三角形で，その内部および境界に頂点以外の格子点を含まないとき，その格子三角形（基本三角形）の面積は１／２である．これは平面上の項三角形の顕著な特質であり，これを用いてピックの定理を証明することができる．しかし，空間の四面体ではまったく状況が異なる．

　　体積＝内部の格子点数＋面上の格子点数／２−辺上の格子点数／４−１

が任意の格子多面体に対して成り立つならば話は簡単なのだが，そうは問屋が卸さないのである．３次元の任意の格子多面体に対しては内部や境界面上の点の個数から体積を求める式はないという例をあげよう．

　　体積＝内部の格子点数＋面上の格子点数／２−辺上の格子点数／４−１

が成立しない反例をあげると，４点（０，０，０），（１，０，０），（０，１，０），（１，１，ｚ）を頂点とする三角錐（体積ｚ／６）では，

　　内部の格子点数＝０

　　面上の格子点数＝４

　　辺上の格子点数＝４

より

　　内部の格子点数＋面上の格子点数／２−辺上の格子点数／４−１＝０

　この四面体では，

　　内部の格子点数＝０

　　面上の格子点数＝４

　　辺上の格子点数＝４

を変化させることなしに，ｚとともに体積をいくらでも大きくすることができる．

　リーブの四面体はリーブがＲ^3において，ピックの定理が成り立たないことを示すために用いた物であるが，リーブの四面体の離散体積は

　　Ｌ（ｔ）＝（ｚ／６）ｔ^3＋ｔ^2＋（２−ｚ／６）ｔ＋１

で与えられる．

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

［参］ベック，ロビンズ「離散体積計算による組合せ数学入門」シュプリンガー・ジャパン

［補］４点（０，０，０），（１，０，０），（０，１，０），（０，０，１）を頂点とする基本三角錐の体積は１／６，４点（０，０，０），（１，１，０），（１，０，１），（０，１，１）を頂点とする基本三角錐の体積は１／３，４点（０，０，０），（１，１，０），（１，０，１），（０，１，ｎ）を頂点とする基本三角錐の体積は（ｎ＋１）／６．体積がいくらでも大きいような基本四面体が存在するのである．

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