問題
平面において,座標,座標ともに整数であるような点を格子点と呼ぶ。格子点を頂点に持つ三角形を考える。
(1) 辺,それぞれの上に両端を除いて奇数個の格子点があるとすると,辺上にも両端を除いて奇数個の格子点があることを示せ。
(2) 辺,上に両端を除いて丁度3点ずつ格子点が存在するとすると,三角形の面積は8で割り切れる整数であることを示せ。
方針
格子点同士を結ぶ線分上の格子点数は,座標差の2成分の最大公約数で決まる。具体的には,差が なら両端を除く格子点数は 個である。(1)ではこの個数が奇数であることを,最大公約数が偶数であること,したがって座標差の2成分がともに偶数であることに言い換える。(2)では内部格子点がちょうど3個なので,, がともに4の倍数のベクトルになり,面積公式の行列式が16の倍数になることを示す。
解答
(1)
2つの格子点 , を結ぶ線分を考える。座標差を とし, とおく。線分 上の格子点は で表され,両端を除く格子点は 個である。
辺 上の両端を除く格子点が奇数個であるから,対応する が奇数である。したがって は偶数である。よって から への座標差の2成分はともに偶数である。同様に, から への座標差の2成分もともに偶数である。
すると の2成分もともに偶数である。したがって辺 に対応する最大公約数も偶数であり,辺 上の両端を除く格子点数は だから奇数個である。
(2)
平行移動しても格子点であることや面積は変わらないので, を原点としてよい。辺 上に両端を除いてちょうど3個の格子点があるから, に対応する最大公約数は4である。したがって と書ける。同様に と書ける。ただし は整数である。
三角形 の面積は である。 は整数なので,三角形 の面積は8で割り切れる整数である。
別解。(2)だけを合同式で見ると,内部格子点がちょうど3個であることから が成り立つ。よって , の各成分は4の倍数である。面積の2倍はこれら2つのベクトルから作る行列式の絶対値だから16の倍数であり,面積は8の倍数である。