問題は、$\frac{1}{x} - \frac{1}{y} = \frac{1}{4}$ を満たす自然数の組 $(x, y)$ をすべて求めることです。

数論不定方程式整数の組約数
2025/3/12

1. 問題の内容

問題は、1x1y=14\frac{1}{x} - \frac{1}{y} = \frac{1}{4} を満たす自然数の組 (x,y)(x, y) をすべて求めることです。

2. 解き方の手順

与えられた方程式を変形していきます。
まず、式全体に 4xy4xy を掛けて分母を払います。
4y4x=xy4y - 4x = xy
これを変形して、
xy+4x4y=0xy + 4x - 4y = 0
ここで、(x4)(y+4)(x - 4)(y + 4) の形を作りたいので、両辺に 16-16 を足します。
xy+4x4y16=16xy + 4x - 4y - 16 = -16
これで、
(x4)(y+4)=16(x - 4)(y + 4) = -16
という形になりました。
さらに、符号を調整するために、
(4x)(y+4)=16(4 - x)(y + 4) = 16
xxyy は自然数なので、x1x \ge 1 かつ y1y \ge 1 です。したがって、y+45y + 4 \ge 5 です。
また、4x4 - x は整数です。
1616 の約数は 1,2,4,8,161, 2, 4, 8, 16 です。
y+4y+4 は5以上なので,y+4y+4 の候補は、8,168, 16です。
* y+4=8y + 4 = 8 のとき、y=4y = 4 であり、4x=24 - x = 2 より x=2x = 2
* y+4=16y + 4 = 16 のとき、y=12y = 12 であり、4x=14 - x = 1 より x=3x = 3
したがって、(x,y)=(2,4),(3,12)(x, y) = (2, 4), (3, 12)

3. 最終的な答え

求める自然数の組 (x,y)(x, y)(2,4),(3,12)(2, 4), (3, 12) です。

「数論」の関連問題

与えられた問題は以下の4つです。 (1) ユークリッドの互除法を用いて、$m = 663$ と $n = 2371$ の最大公約数 $\gcd(m, n)$ を求める。 (2) (1) で求めた $\...

ユークリッドの互除法拡張ユークリッドの互除法合同式連立合同方程式最大公約数
2025/7/23

問題は以下の4つの部分から構成されています。 1. ユークリッドの互除法を用いて $m = 663$ と $n = 2371$ の最大公約数 $\gcd(m, n)$ を求める。

ユークリッドの互除法最大公約数合同式中国剰余定理拡張ユークリッド互除法
2025/7/23

$n = \frac{abc+abd+acd+bcd-1}{abcd}$ が整数となるような自然数 $a \ge b \ge c \ge d > 1$ の組 $(a, b, c, d)$ をすべて求め...

整数の性質不等式約数
2025/7/23

自然数 $n$ について、命題「$3n$ は偶数ならば、$n$ は偶数である」が真であることを証明します。

命題証明対偶背理法無理数有理数整数の性質
2025/7/23

問題24は、与えられた命題「nが自然数のとき、n^2+1は偶数ならばnは奇数」が真であることを証明する問題です。また、√3が無理数であることを用いて、√3 - 1が無理数であることを証明する問題です。

命題証明対偶背理法無理数整数の性質
2025/7/23

自然数 $n$ に対して、$a_n = \sum_{k=1}^{n} k2^{k-1}$ と定義する。 (1) $a_n$ が3の倍数となる条件を求める。 (2) $a_n$ が15の倍数となるような...

数列合同式倍数
2025/7/23

$m$ と $n$ は正の整数で $m < n$ であるとき、$m$ 以上 $n$ 以下の分数で、分母が5で分子が5の倍数でない整数の和を求めよ。

整数の性質分数不等式
2025/7/22

$m, n$ は正の整数で $m < n$ とする。このとき、$m$ 以上 $n$ 以下の分数で、5を分母とし、5の倍数でない整数を分子とするもの全体の和を求めよ。

分数整数数列
2025/7/22

9で割ると4余り、13で割ると8余るような整数のうち、最小の正の整数を求める。

合同式中国剰余定理剰余
2025/7/22

与えられた数(16, 144, 300)について、正の約数の個数をそれぞれ求める。

約数素因数分解整数の性質
2025/7/22