$p$ と $q$ を $p < q$ を満たす素数、$n$ を自然数とする。 (1) $pq$ と $p+q$ は互いに素であることを示す。 (2) $\frac{1}{p} + \frac{1}{q} = \frac{1}{n}$ を満たす $p, q, n$ の値の組をすべて求める。 (3) $\frac{1}{p} - \frac{1}{q} = \frac{1}{n}$ を満たす $p, q, n$ の値の組をすべて求める。
2025/3/28
1. 問題の内容
と を を満たす素数、 を自然数とする。
(1) と は互いに素であることを示す。
(2) を満たす の値の組をすべて求める。
(3) を満たす の値の組をすべて求める。
2. 解き方の手順
(1)
と が互いに素でないと仮定すると、ある素数 が存在し、 と をともに割り切る。
は を割り切るので、 または である。
もし ならば、 は を割り切るので、 は を割り切る。しかし、 は素数なので、 となるが、 に矛盾する。
もし ならば、 は を割り切るので、 は を割り切る。しかし、 は素数なので、 となるが、 に矛盾する。
したがって、 と は互いに素である。
(2)
より、
より、 である。
の約数の組を とすると、 かつ であり、 を満たす。
,
のとき、 より、。 となるが、 に矛盾。
のとき、 より、。
のとき、 となるが、 は素数でないので不適。
のとき、 となるが、 は素数で、 に矛盾。
のとき、 より、。
のとき、 となるが、 は素数でないので不適。
のとき、 となるが、 は素数で、 に矛盾。
のとき、 より、。
のとき、 となるが、 は素数でないので不適。
のとき、 となるが、 は素数でないので不適。
のとき、 となるが、 は素数で、 に矛盾。
のとき、 より、 なので、
のとき、 となるが、 に矛盾。
のとき、 より、 なので、
のとき、 となるので不適。
のとき、 となるので不適。
のとき、 より、 なので、
のとき、 となるので不適。
のとき、 となるので不適。
のとき、 となるので不適。
のとき、 となるので不適。
より、
となる。 より、 のとき、。しかし、 より、 となるので矛盾。
従って、
(3)
より、
.
ここで、 より、 なので、 であり、.
より、. よって、
,
,
より なので、.
のとき、
のとき、. よって、.
のとき、. これは整数ではないので不適。
のとき、. これは整数ではないので不適。
のとき、
のとき、. これは整数ではないので不適。
のとき、. これは整数ではないので不適。
のとき、
のとき、. これは整数ではないので不適。
最終的にのみが条件を満たす。
3. 最終的な答え
(1) と は互いに素である。(証明済み)
(2) 解なし
(3)