【解答】
(1)
は整数だから,は一つの格子点である. (答)
(2)
図 1: 直線の様子
上 の部分に格子点 があると仮定して,背理法によって題意を示す.
の方程式にを代入して
両辺で割って,
を得る.は整数だから,
が整数でなければならない.
は互いに素だから が を割り切る必要がある.
しかし,だから,
であり, が を割り切ることはない.
よって矛盾した.
従って背理法により,上 には格子点は存在しない.(答)
(3)
図 2: 直線の様子
(2)と同様に,を上の格子点として,とする.
このような点が存在することを示す.
の方程式にを代入して
である.は整数だから,で割った商を,余りをとすると
と表せる.
次に,とは互いに素だから,
を でわったあまりの集合は である.
従って,をで割ったあまりがとなるようながの中に必ず存在し,
を整数として
と書ける.
以上(式8),(式9)を(式7)に代入して
となり,が整数だからも整数である.
また,(式9)のの値域と,から
だから,は正の整数である.
以上から, は 上 をみたす格子点であるから,題意は示された.(答)
【解説】
とが互いに素であることが問題の肝である.
このことを生かしてより直接的に式変形をする方法もあるので紹介しよう.
(2)
の方程式でを代入して
を得る.
は互いに素であるから,これをみたす があると仮定すると,
は の倍数で, なる がある.
この時
ここでが自然数だから,これはとなり,を満たすことはなく,矛盾する.(答)
(3)
の方程式を整理すると
となる.が自然数とすると,
は互いに素だから,はの倍数であり,はの倍数である.
すなわち,
ここでは整数である.
従って,あとはを満たすようなが存在すれば良い.
にこの式を代入して
となるが, のとき,両端の値の差は
となり,確かに(式22)を満たす は存在する.
よって示された.(答)