(1) $\frac{1}{x} + \frac{1}{y} = \frac{1}{3}$ を満たす自然数 $x, y$ ($x \le y$) の組を求めます。 (2) $\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = \frac{4}{3}$ を満たす自然数 $x, y, z$ ($x \le y \le z$) の組の個数と、$x+y+z$ の最大値を求めます。

数論不定方程式分数方程式自然数解
2025/6/11

1. 問題の内容

(1) 1x+1y=13\frac{1}{x} + \frac{1}{y} = \frac{1}{3} を満たす自然数 x,yx, y (xyx \le y) の組を求めます。
(2) 1x+1y+1z=43\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = \frac{4}{3} を満たす自然数 x,y,zx, y, z (xyzx \le y \le z) の組の個数と、x+y+zx+y+z の最大値を求めます。

2. 解き方の手順

(1)
1x+1y=13\frac{1}{x} + \frac{1}{y} = \frac{1}{3} より、3x+3y=xy3x+3y = xy
変形して、xy3x3y=0xy - 3x - 3y = 0
両辺に9を加えて、xy3x3y+9=9xy - 3x - 3y + 9 = 9
(x3)(y3)=9(x-3)(y-3) = 9
x,yx, y は自然数なので、x3,y3x-3, y-3 は整数であり、xyx \le y より x3y3x-3 \le y-3
9の約数の組は (1,9),(3,3),(9,1),(3,3),(1,9)(1,9), (3,3), (-9, -1), (-3, -3), (-1, -9) である。
このうち、x3y3x-3 \le y-3 を満たすものは、(1,9),(3,3),(9,1),(3,3)(1,9), (3,3), (-9, -1), (-3, -3)
それぞれに対応する x,yx, y の組は、(4,12),(6,6),(6,2),(0,0)(4,12), (6,6), (-6, 2), (0,0) となる。
ただし、x,yx,yは自然数なので、(4,12),(6,6)(4,12), (6,6) のみである。
よって、(x,y)=(4,12),(6,6)(x, y) = (4, 12), (6, 6)
(2)
1x+1y+1z=43\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = \frac{4}{3} を満たす自然数 x,y,zx, y, z (xyzx \le y \le z) の組の個数と、x+y+zx+y+z の最大値を求めます。
まず、x,y,zx, y, z は自然数なので、x,y,z1x,y,z \ge 1 であるから、1x,1y,1z1\frac{1}{x}, \frac{1}{y}, \frac{1}{z} \le 1
xyzx \le y \le z より、1x1y1z\frac{1}{x} \ge \frac{1}{y} \ge \frac{1}{z} なので、3x43\frac{3}{x} \ge \frac{4}{3}
よって、94x9 \ge 4x
x94=2.25x \le \frac{9}{4} = 2.25 となるため、x=1x=1 または x=2x=2 である。
x=1x=1 のとき、1y+1z=431=13\frac{1}{y} + \frac{1}{z} = \frac{4}{3} - 1 = \frac{1}{3}
これは (1) と同じなので、(y,z)=(4,12),(6,6)(y,z) = (4, 12), (6, 6)
x=2x=2 のとき、1y+1z=4312=56\frac{1}{y} + \frac{1}{z} = \frac{4}{3} - \frac{1}{2} = \frac{5}{6}
2y56\frac{2}{y} \ge \frac{5}{6} より、125y12 \ge 5y
y125=2.4y \le \frac{12}{5} = 2.4 となるため、y=2y=2 である。
1z=5612=26=13\frac{1}{z} = \frac{5}{6} - \frac{1}{2} = \frac{2}{6} = \frac{1}{3}
よって、z=3z=3
以上より、(x,y,z)=(1,4,12),(1,6,6),(2,2,3)(x, y, z) = (1, 4, 12), (1, 6, 6), (2, 2, 3) の3組。
ただし、xyzx\le y \le zであるから、これらの並び替えを考慮する必要がある。
(1, 4, 12) の並び替えは6通り。
(1, 6, 6) の並び替えは3通り。
(2, 2, 3) の並び替えは3通り。
よって、合計12通り。
1x+1y+1z=43\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = \frac{4}{3} を満たす自然数 x,y,zx, y, z (xyzx \le y \le z) の組は、
(1, 4, 12) から (1, 4, 12), (1, 12, 4), (4, 1, 12), (4, 12, 1), (12, 1, 4), (12, 4, 1)。
(1, 6, 6) から (1, 6, 6), (6, 1, 6), (6, 6, 1)。
(2, 2, 3) から (2, 2, 3), (2, 3, 2), (3, 2, 2)。
xyzx\le y\le zを満たす組は、(1,4,12), (1,6,6), (2,2,3)の3組である。
組の個数は3個。
x+y+zx+y+z の最大値を考える。
(1, 4, 12) のとき、x+y+z=1+4+12=17x+y+z = 1+4+12 = 17
(1, 6, 6) のとき、x+y+z=1+6+6=13x+y+z = 1+6+6 = 13
(2, 2, 3) のとき、x+y+z=2+2+3=7x+y+z = 2+2+3 = 7
したがって、x+y+zx+y+z の最大値は17である。

3. 最終的な答え

55:4
56:12
57:6
58:6
59:3
60:3
61:17
62:

「数論」の関連問題

5で割ると2余り、7で割ると4余る自然数の中で、100に最も近い自然数を求めます。

合同式剰余平方数整数の性質
2025/6/13

この問題は、割り算の表現、余りの計算、一次合同式の計算に関する問題です。具体的には、以下の8つの問題を解く必要があります。 1. 216 ÷ 11 を a = bq + r の形で表す(ただし、0 ≤...

合同式剰余割り算合同算術
2025/6/13

自然数 $N$ が与えられており、$3N$ を 5 で割ると 4 余り、$N+1$ を 7 で割ると割り切れるという条件のもとで、$N$ を 35 で割ったときの余りを、選択肢の中から選ぶ問題です。

合同式剰余整数の性質方程式
2025/6/13

4桁の自然数 $n$ の千の位、百の位、十の位、一の位の数字をそれぞれ $a, b, c, d$ とします。条件 $a \ge b > c > d$ を満たす $n$ は全部で何個あるかを求める問題で...

組み合わせ整数不等式桁数
2025/6/13

整数 $n$ について、命題「$3n$ が偶数ならば、$n$ は偶数である」を、対偶を考えることによって証明する。

整数の性質証明対偶
2025/6/12

自然数 $n$ について、「$n$ が素数ならば、$n$ は奇数である」という命題が偽であることを示す問題です。

素数命題反例真偽
2025/6/12

(1) $n$ は整数とする。対偶を利用して、次の命題を証明せよ。 $n^2$ が 3 の倍数ならば、$n$ は 3 の倍数である。 (2) (1)を利用して、$\sqrt{3}$ が無理数であること...

対偶背理法整数の性質無理数平方根
2025/6/12

$\sqrt{6}$ が無理数であることを用いて、$\frac{1+2\sqrt{6}}{3}$ が無理数であることを証明する問題です。

無理数背理法有理数平方根
2025/6/12

$\sqrt{6}$ が無理数であることを用いて、$\frac{1+2\sqrt{6}}{3}$ が無理数であることを証明する。

無理数背理法有理数平方根
2025/6/12

(1) $n^2 + 2n + 1$ が偶数ならば、$n$ は奇数である。この命題を対偶を利用して証明する。 (2) $m^2 + n^2$ が奇数ならば、$m, n$ の少なくとも一方は奇数である。...

命題対偶整数偶数奇数証明
2025/6/12