方針
平行四辺形の面積は、 と から と表せる。 が整数なのでこの値は整数であり、3点が同一直線上にない条件から0ではない。 と が互いに素であるため は実現でき、これが最小値になる。(2)では を出し、(3)ではそれぞれの1次不定方程式を合同式で解く。
解答
(1) である。 と を2辺とする平行四辺形の面積は である。
ここで は整数なので、 は整数である。また3点 は同一直線上にないから、平行四辺形の面積は0ではない。したがって面積は正の整数である。
さらに と は互いに素であり、例えば とすれば となる。よって正の整数としての最小値 は実際に達成される。したがって最小値は である。
(2)
最小値を与える条件は である。点 の座標を と書けば、これは または を意味する。したがって求める2直線は である。
(3)
まず を解く。これを3で割った余りで見ると であり、 だから である。よって と書ける。ただし は整数である。このとき より である。したがって一方の直線上の点は である。
次に を解く。3で割った余りを見ると であり、 だから である。よって と書ける。このとき より である。
以上より、最小値を与えるすべての点 は である。ただし は任意の整数である。これらはいずれも を満たすので、3点が同一直線上にない条件も自動的に満たしている。
別解
解法2:1つの整数解から平行移動する
方針
最小面積1を与える方程式 について、まず1つの整数解を見つける。同じ直線上の整数解同士の差が の整数倍になることを示して全解を得る。
解答
(1)
平行四辺形の面積は である。これは0でない整数であり、 なら だから、最小値は1である。
(2)
最小値を与える点はを満たす整数点であり、2直線は である。
(3)
まず の1つの解は である。別の整数解を とすると3と5は互いに素だから、 は3の倍数、 は5の倍数である。よって整数 を用いてと表される。
同様に の1つの解 からを得る。したがって、これら2種類が最小面積を与える全ての整数点である。
総評
難度6、計算量5、目安時間20分。面積を整数 に直し、具体例で最小値1の実現を示す。合同式による全解と、1つの整数解から差を取る方法で、2本の直線と全整数点を照合した。面積0は3点が同一直線上にない条件で除かれる。