トップ 九州大学 2024年 理系 第4問

九州大学 2024年 理系 第4問 解説

数学A/場合の数数学A/整数問題テーマ/整数の証明テーマ/場合分け
九州大学 2024年 理系 第4問 解説

方針・初手

与えられた領域内の格子点を $S_n = \{ (x,y) \mid x, y は整数, 1 \le x \le n, 1 \le y \le n \}$ とおく。 直線が $S_n$ 内の点を複数通るとき、その直線上の隣接する格子点の間の $x$ 座標の差を $p$、$y$ 座標の差を $q$ とすると、$(p, q)$ は互いに素な整数の組となる(直線の傾きは $q/p$ であり、$p=0$ のときは $y$ 軸に平行)。 方向を区別するため、$p \ge 0$ として一般性を失わない。$p=0$ のときは $q=1$ とする。

ある直線が $S_n$ 内の点を 3 個以上通るためには、その直線上の最も離れた 2 点の $x$ 座標の差は少なくとも $2p$、$y$ 座標の差は少なくとも $2|q|$ となる。 $S_n$ の $x$ 座標および $y$ 座標の最大の差はそれぞれ $n-1$ であるため、3 点以上を通るための必要条件は

$$ 2p \le n-1 \quad \text{かつ} \quad 2|q| \le n-1 $$

となる。各 $n$ において、この不等式を満たす互いに素な整数の組 $(p, q)$ を絞り込み、それぞれに対応する直線の本数を数え上げる。

解法1

(1) $n=3$ のとき、必要条件は $2p \le 2$ かつ $2|q| \le 2$、すなわち $0 \le p \le 1$ かつ $|q| \le 1$ である。 これを満たす互いに素な組 $(p, q)$ は、$(1,0), (0,1), (1,1), (1,-1)$ の 4 方向である。

それぞれの方向について、3 点を通る直線の本数を数える。

以上より、$L(3) = 3 + 3 + 1 + 1 = 8$ となる。

(2) $n=4$ のとき、必要条件は $2p \le 3$ かつ $2|q| \le 3$、すなわち $0 \le p \le \frac{3}{2}$ かつ $|q| \le \frac{3}{2}$ である。 $p, q$ は整数であるから、$0 \le p \le 1$ かつ $|q| \le 1$ となり、方向 $(p, q)$ は $n=3$ のときと同じく $(1,0), (0,1), (1,1), (1,-1)$ に限られる。

以上より、$L(4) = 4 + 4 + 3 + 3 = 14$ となる。

(3) $n=5$ のとき、必要条件は $2p \le 4$ かつ $2|q| \le 4$、すなわち $0 \le p \le 2$ かつ $|q| \le 2$ である。 これを満たす互いに素な組 $(p, q)$ は以下の 8 方向である。

$$ (1,0), (0,1), (1,1), (1,-1), (2,1), (2,-1), (1,2), (1,-2) $$

それぞれの方向について数え上げる。

以上より、$L(5) = 10 + 10 + 3 + 9 = 32$ となる。

解説

格子点を通る直線の本数を数え上げる典型的な問題である。やみくもに直線を引いて数えるのではなく、「3 点以上を通るための条件」を数式(隣接する格子点の座標の差)に落とし込むことで、見落としなく確実にカウントできる。

直線上の隣接格子点の座標の差を互いに素な整数 $(p, q)$ とおいたとき、一直線上に $k$ 個の格子点が並ぶためには、領域の $x$ 方向の幅が $(k-1)p$ 以上、$y$ 方向の幅が $(k-1)|q|$ 以上必要であるという事実が本問の核心である。これにより、傾きの候補を論理的に絞り込むことができる。

答え

(1) $L(3) = 8$ (2) $L(4) = 14$ (3) $L(5) = 32$

自分の記録

ログインすると保存できます。

誤りを報告

解説の誤り、誤字、表示崩れに気づいた場合は送信してください。ログイン不要です。