$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)

「数論」の関連問題

問題は、$x$ と $y$ が整数のとき、$x^2 + y^2$ が3の倍数であること、および $x^5 + y^5$ が3の倍数であることが、$x$ と $y$ がともに3の倍数であるためのどのよう...

合同算術整数の性質必要十分条件
2025/7/30

$n$ は5で割ると3余る正の整数、$m$ は5で割ると2余る正の整数である。このとき、$n^{11} + m^{11}$ を5で割ったときの余りを求める。

合同算術剰余整数の性質
2025/7/30

整数 $n$ が与えられたとき、合同式を用いて次の値を求めます。 (1) $n$ を 9 で割った余りが 2 であるとき、$n^2 + 2n + 7$ を 9 で割った余り (2) $n$ を 13 ...

合同式剰余整数の性質
2025/7/29

問題は、合同式を用いて次のものを求める問題です。 (1) $123^{120}$ の一の位 (2) $7^{251}$ の下2桁

合同式剰余一の位下2桁
2025/7/29

問題は、7の50乗について、以下の2つを求める問題です。 (1) 12で割った余り (2) 一の位の数

合同算術剰余累乗周期性整数の性質
2025/7/29

自然数 $n$ に対して、$n$ 以下の自然数で、$n$ と互いに素であるような自然数の個数を $f(n)$ とする。 (1) $f(63)$ の値を求めよ。 (2) $f(300)$ の値を求めよ。...

オイラー関数互いに素素数約数
2025/7/29

$m, n$ は整数であるとき、以下の3つの式が6の倍数であることを証明する。 (1) $n(n-1)(2n-1)$ (2) $2n^3 + 4n$ (3) $m^3n - mn^3$

整数の性質倍数合同式証明
2025/7/29

整数 $n$ に関する以下の3つの命題を証明する問題です。 (1) $n^2 + 7n + 4$ は偶数である。 (2) $n^2 + 1$ は3の倍数ではない。 (3) $n^2$ を6で割ったとき...

整数の性質合同式剰余偶数倍数
2025/7/29

問題は以下の2つです。 (1) 連続する2つの奇数の2乗の差は、8の倍数であることを証明する。 (2) 連続する2つの偶数の2乗の和は、4の倍数であるが、8の倍数ではないことを証明する。

整数の性質倍数証明代数
2025/7/29

整数 $a$ は8で割ると3余り、整数 $b$ は8で割ると6余る。このとき、以下の数を8で割ったときの余りを求める。 (1) $a+b$ (2) $7a - 4b$ (3) $ab$ (4) $3a...

整数の性質合同算術剰余
2025/7/29