方針
格子点同士を結ぶ線分上の格子点数は,座標差の2成分の最大公約数で決まる。具体的には,差が なら両端を除く格子点数は 個である。(1)ではこの個数が奇数であることを,最大公約数が偶数であること,したがって座標差の2成分がともに偶数であることに言い換える。(2)では内部格子点がちょうど3個なので,, の各成分がともに4の倍数になる。最後に座標による三角形の面積公式へ代入し、面積が8の倍数であることを示す。
解答
(1)
2つの格子点 , を結ぶ線分を考える。座標差を とし, とおく。線分 上の格子点は で表され,両端を除く格子点は 個である。
辺 上の両端を除く格子点が奇数個であるから,対応する が奇数である。したがって は偶数である。よって から への座標差の2成分はともに偶数である。同様に, から への座標差の2成分もともに偶数である。
すると の2成分もともに偶数である。したがって辺 に対応する最大公約数も偶数であり,辺 上の両端を除く格子点数は だから奇数個である。
(2)
平行移動しても格子点であることや面積は変わらないので, を原点としてよい。辺 上に両端を除いてちょうど3個の格子点があるから, に対応する最大公約数は4である。したがって と書ける。同様に と書ける。ただし は整数である。
点 , と原点がつくる三角形の面積は、底辺と高さから得られる座標の面積公式によりである。ここで を代入すると、三角形 の面積はとなる。 は整数なので,三角形 の面積は8で割り切れる整数である。
総評
格子点の個数を最大公約数で読む整数幾何の問題である。目安時間は16分。(1)は「内部格子点が奇数個」から最大公約数が偶数であると読み替えるのが要点である。(2)は内部格子点3個を「座標差が4の倍数」と言い換え,面積公式へ入れるだけでよい。最大公約数と内部格子点数の関係を最初に明示しないと,偶奇の議論が根拠不足に見えやすい。