ピックの公式(2022.04.23)
2022.03.14記
格子平行四辺形の面積に関する問題.ピックの公式の証明の1つにつながる.
を使えば良いが、どのみち成分が整数となることを確かめなければならないので、真面目に成分計算をしておく.
(1) 平行四辺形の面積は であるから,
条件(D)は行列の成分が全て整数であり,その行列式の絶対値が1となることである.
であるから,
,
の成分は全て整数である.
,
により, も も条件(D)をみたす.
(2) のとき, から だから (複号任意)となる.
このとき
,
(または)
(i) のとき であるから
となり (複号任意)であるから題意は成立する.
(ii) のとき であるから
となり (複号任意)であるから題意は成立する.
(3) (i) と が同符号のとき
が正なら, が負なら だから,
が成立するので,
について
が成立する.
(ii) と が異符号のとき
が正なら, が負なら だから,
が成立するので,
について
が成立する.
本問の背景ついて述べる.
本問では問われていないが行列の1行目と2行目を入れ替える操作を行なっても条件(D)をみたすという性質は変わらないことがわかる.このとき,(3)において となった場合,行列の1行目と2行目を入れ替えれば(3)の条件をみたすことがわかる.
つまり,(3) を適用した後,
(i) ならもう一度 (3) を適用
(ii) なら1行目と2行目を入れ替えても条件(D)をみたすので
について (3) を適用
をくり返すと, は自然数の範囲で単調減少となるので、いずれ または のどちらかが成立する.
そして
(a) なら(2) から4個の行列に帰着でき,
(b) なら1行目と2行目を入れ替えても条件(D)をみたすので
について(2) から4個の行列に帰着できる.
つまり, は ,,, の4つの行列のいずれかを左から乗ずることを有限回くり返すと,(2) の4つの行列に移ることがわかる.
この行列が(2) の4つの行列に移ることを図形的に考えてみよう.
,,, でできる格子平行四辺形について考える
,とおく.
が表す格子平行四辺形は であるが,ここで,格子平行四辺形 を, と に分割し, を だけ平行移動した と をつなげると格子平行四辺形 になることに注意すると,面積が変わらないことがわかる.
が表す格子平行四辺形は であるが,ここで,格子平行四辺形 を, と に分割し, を だけ平行移動した と をつなげると格子平行四辺形 になることに注意すると,面積が変わらないことがわかる.
これら切り貼りにおいて,切り貼り前の格子平行四辺形の周または内部の格子点は新しい格子点の周または内部の格子点に1対1に対応することがわかる.但し頂点の格子点は4つで1つと考え,頂点以外の周の格子点は向いあっている2つで1つと考えることにする.
この対応において「格子平行四辺形の面積が切り貼りにおいて不変である」以外に,「格子平行四辺形の周または内部に含まれる格子点の数は切り貼りにおいて不変である」ことがわかる.
(しつこいようだが、平行四辺形の頂点は4つで1つ,頂点以外の周は2個で1つと数える数え方において不変であるということ.良く考えれば,この数え方とピックの公式の類似性に気付く.但し頂点の数え方は四角形特有である)
(2) は, が 軸上にあるとき,この切り貼りをくり返すと原点を1つの頂点とする辺が軸に平行な単位格子正方形(4つのうちのいずれか)になるという問題で,2つの切り貼りをより正方形に近づくようにくり返すとうまくいくことを示す問題になっている.
(格子平行四辺形の面積が1でないときは,原点を1つの頂点とする辺が軸に平行な面積の等しい格子長方形になる)
(3) は、このままだとわかりにくいが,切り貼りの方法として , を用いた が表す格子平行四辺形 , が表す格子平行四辺形 を考えると,
これら4つの切り貼りのうちどれかによって平行四辺形の1つの頂点を 軸または 軸により近づけることができることを表しているので,やがて (2) の状況になるということである.
よってこれの4つの切り貼りのどれかを選んで行うことを繰り返すことにより,
格子平行四辺形の面積を変えずに,かつ周または内部に含まれる格子点の数も(上記の数え方によって)不変のまま原点を1つの頂点とする辺が軸に平行な面積の等しい格子長方形に変形することができる
ことが示された.ここで格子長方形は単位格子正方形をつなげてできたものであるから,
「格子平行四辺形の周または内部にある格子点が4頂点のみ」
と
「切り貼りで得られた原点を1つの頂点とする辺が軸に平行な面積の等しい格子長方形の周または内部にある格子点が4頂点のみ」
が同値となり,よってそれは
「その格子長方形は(2)の4つの行列に対応するの正方形のいずれか」
であることと同値になる.
ここで,格子長方形の面積が1となることと,それが単位格子正方形であることは同値であるから,
「格子平行四辺形の周または内部にある格子点が4頂点のみ」
と
「格子平行四辺形の面積が1」
は同値となる.
格子平行四辺形の対角線で分けることにより,
「格子三角形の周または内部にある格子点が3頂点のみ」
と
「格子三角形の面積が」
は同値となる.このような「周または内部にある格子点が3頂点のみ」の格子三角形を基本三角形と呼ぶ.つまり,基本三角形の面積は である.
格子多角形を基本三角形に分割するとき,分割した三角形の数の半分がその格子多角形の面積になる.格子多角形がいくつの基本三角形に分割できるかは,周上にある格子点と内部にある格子点の数から,オイラー多面体の公式(の平面版)によって決まり,それがピックの公式になっていることがわかる.
2022.04.23記
ピックの公式の証明方法はいくつか知られているが,基本三角形の性質
「格子三角形の面積が」
であることと
「格子三角形が基本三角形(周または内部に3頂点以外の格子点を含まない)」
であることは同値あることを利用する方法について述べる.
格子多角形の周(頂点または辺上)にある格子点の数を ,内部にある格子点の数を とする.この格子多角形の周または内部を基本三角形に分割したときに 個の基本三角形に分割できたとするとき,格子多角形の周(本の(グラフ理論での)辺)以外は2つの基本三角形の境界として辺の数が2重にカウントされているので
が成立する., であるから,オイラー多面体の定理により
つまり
が成立する.ここで基本三角形の面積は であるから,格子多角形の面積を とすると
となる.これがピックの公式である.
ピックの公式の「」はオイラー多面体の定理の平面版の「」の部分から来ており,それはもともと3次元版の の 「」の部分に由来する.そしてこの 「」はデカルトの定理に由来し,そしてそれは多面体が球と同相あるから全曲率が であること,つまりガウス・ボネの定理に由来する.
なお,ピックの公式の直感的な証明として,水を使った証明があるが,これは良く知られている面積の加法性と格子点の見込む角度の加法性を対応させた証明を具体的に見える形にしたもので、この視点からすると, 角形の内角の和が となるこの「 」の部分から の「 」が得られることになるので,実は、 角形の内角の和が となること,つまり多角形のまわりを1周したら1回転することは、ガウス・ボネの定理に由来していることになる.
ピックの公式関連の話題として
1998年(平成10年)東京大学前期-数学(理科)[2] - [別館]球面倶楽部零八式markIISR
のテーマであるエルハート多項式についても読まれたし