$x, y, z$ は自然数であり、$x \le y \le z$ を満たすとき、$\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = 1$ を満たす $x, y, z$ の組 $(x, y, z)$ を全て求めよ。

数論不定方程式分数整数の性質
2025/5/21

1. 問題の内容

x,y,zx, y, z は自然数であり、xyzx \le y \le z を満たすとき、1x+1y+1z=1\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = 1 を満たす x,y,zx, y, z の組 (x,y,z)(x, y, z) を全て求めよ。

2. 解き方の手順

まず、x,y,zx, y, z は自然数で xyzx \le y \le z なので、1x1y1z\frac{1}{x} \ge \frac{1}{y} \ge \frac{1}{z} が成り立つ。
したがって、
1=1x+1y+1z1x+1x+1x=3x1 = \frac{1}{x} + \frac{1}{y} + \frac{1}{z} \le \frac{1}{x} + \frac{1}{x} + \frac{1}{x} = \frac{3}{x}
より、x3x \le 3 が得られる。
(1) x=1x = 1 のとき、11+1y+1z=1\frac{1}{1} + \frac{1}{y} + \frac{1}{z} = 1 より 1y+1z=0\frac{1}{y} + \frac{1}{z} = 0 となるが、y,zy, z は自然数なのでこれはありえない。
(2) x=2x = 2 のとき、12+1y+1z=1\frac{1}{2} + \frac{1}{y} + \frac{1}{z} = 1 より 1y+1z=12\frac{1}{y} + \frac{1}{z} = \frac{1}{2} となる。
ここで、yzy \le z より 1y1z\frac{1}{y} \ge \frac{1}{z} なので、
12=1y+1z1y+1y=2y\frac{1}{2} = \frac{1}{y} + \frac{1}{z} \le \frac{1}{y} + \frac{1}{y} = \frac{2}{y}
より、y4y \le 4 が得られる。また、xyx \le y より 2y2 \le y
(i) y=2y = 2 のとき、12+1z=12\frac{1}{2} + \frac{1}{z} = \frac{1}{2} より 1z=0\frac{1}{z} = 0 となるが、zz は自然数なのでこれはありえない。
(ii) y=3y = 3 のとき、13+1z=12\frac{1}{3} + \frac{1}{z} = \frac{1}{2} より 1z=1213=16\frac{1}{z} = \frac{1}{2} - \frac{1}{3} = \frac{1}{6} となり、z=6z = 6
(iii) y=4y = 4 のとき、14+1z=12\frac{1}{4} + \frac{1}{z} = \frac{1}{2} より 1z=1214=14\frac{1}{z} = \frac{1}{2} - \frac{1}{4} = \frac{1}{4} となり、z=4z = 4
(3) x=3x = 3 のとき、13+1y+1z=1\frac{1}{3} + \frac{1}{y} + \frac{1}{z} = 1 より 1y+1z=23\frac{1}{y} + \frac{1}{z} = \frac{2}{3} となる。
ここで、yzy \le z より 1y1z\frac{1}{y} \ge \frac{1}{z} なので、
23=1y+1z1y+1y=2y\frac{2}{3} = \frac{1}{y} + \frac{1}{z} \le \frac{1}{y} + \frac{1}{y} = \frac{2}{y}
より、y3y \le 3 が得られる。また、xyx \le y より 3y3 \le y。よって、y=3y = 3
このとき、13+1z=23\frac{1}{3} + \frac{1}{z} = \frac{2}{3} より 1z=13\frac{1}{z} = \frac{1}{3} となり、z=3z = 3

3. 最終的な答え

(x,y,z)=(2,3,6),(2,4,4),(3,3,3)(x, y, z) = (2, 3, 6), (2, 4, 4), (3, 3, 3)

「数論」の関連問題

与えられた3つの数について、それぞれの正の約数の個数と、その約数の総和を求める問題です。 (1) $5 \cdot 2^3$ (2) $108$ (3) $540$

約数素因数分解約数の個数約数の総和
2025/6/7

整数 $n$ について、$n^2$ が 3 の倍数ならば、$n$ も 3 の倍数であることを証明する。

整数の性質倍数背理法証明
2025/6/7

与えられた情報から、群数列の第 $n$ 群の最初の項が $n^2 - n + 1$ であることが導出される過程を確認し、それが $n=1$ の場合にも成り立つことを確認する。

群数列数列数学的帰納法
2025/6/6

整数 $n$ について、$n^2$ が3の倍数ならば、$n$ も3の倍数であることを証明する。

整数の性質倍数証明背理法
2025/6/6

整数 $n$ について、$n^2$ が奇数ならば、$n$ が奇数であることを証明するために、その対偶である「$n$が偶数ならば、$n^2$は偶数である」を証明する穴埋め問題です。

整数対偶証明偶数奇数
2025/6/6

正の整数 $a, b, c$ に対して、$M = 3^a + 3^b + 3^c + 1$ とする。 (1) $a < b = c \le 10$ を満たす $a, b, c$ の組で、$M$ が立方...

整数の性質べき乗立方数方程式
2025/6/6

自然数の列がいくつかの群に分けられている。第 $n$ 群には $2^{n-1}$ 個の数が入る。 (1) $n \ge 2$ のとき、第 $n$ 群の最初の数を $n$ の式で表す。 (2) 第 $n...

数列等比数列等差数列自然数
2025/6/6

$a_1, a_2, a_3, a_4, a_5$は正の整数で、$a_1 < a_2 < a_3 < a_4 < a_5$とする。 2つの集合$A = \{a_1, a_2, a_3, a_4, a_...

集合整数の性質方程式場合分け
2025/6/6

与えられた数について、正の約数の個数と、その約数の総和を求める問題です。 (1) $5 \cdot 2^3$ (2) 108 (3) 540

約数素因数分解約数の個数約数の総和
2025/6/6

与えられた3つの数について、正の約数の個数と、それらの約数の総和をそれぞれ求める問題です。 (1) $5 \cdot 2^3$ (2) $108$ (3) $540$

約数素因数分解約数の個数約数の総和
2025/6/6