2024.01.04記
[5]
平面上,
座標,
座標がともに整数であるような点
を格子点とよぶ.
各格子点を中心として半径
の円がえがかれており,傾き
の任意の直線はこれらの円のどれかと共有点をもつという.このような性質をもつ実数
の最小値を求めよ.
各格子点を中心として半径
本問のテーマ
2024.01.06記
[解答]
直線の方程式を
とおくとき,格子点
と直線の距離は

であり,
は互いに素であるから
は任意の整数値をとりうることに注意すると,
に一番近い整数を
としたときに
を満たす格子点
が直線との距離を最小にする格子点となる.
直線の方程式を
であり,
このとき, と
に一番近い整数
との差は
以下,つまり
であることから,直線
と格子点との距離の最小値
が最大となるのは
(
が奇数のとき) の
であり,これが
の最小値となる.