東京大学 文系 2006年度 第3問 解説

解答編

【問題】
 nを正の整数とする。実数$x,y,z$に対する方程式\[ x^n+y^n+z^n = xyz \quad \cdots ① \]を考える。

(1) $n=1$のとき、①を満たす正の整数の組$(x,y,z)$で、$x\leqq y \leqq z$となるものをすべて求めよ。

【解答】
(1)
$x+y+z=xyz$ と $x\leqq y \leqq z$から、
\begin{eqnarray}
xyz = x+y+z \leqq z+z+z=3z
\end{eqnarray}なので、$xy\leqq 3$となる。$x\leqq y$より、$(x,y)=(1,1)$, $(1,2)$, $(1,3)$の3通りしかない。

$(x,y)=(1,1)$のとき、$2+z=z$ なのでこれを満たすzはない。
$(x,y)=(1,2)$のとき、$3+z=2z$ なので、$z=3$となる。
$(x,y)=(1,3)$のとき、$4+z=3z$ なので、$y \leqq z$を満たすzはない。

以上から、$(x,y,z)=(1,2,3)$のみ。

【解答終】

【解説】
$x+y+z$に比べ、$xyz$は大きくなりやすいため、これを利用した制約を考えています。上の解答では、$xyz\leqq 3z$の部分ですね。ここのおかげで、候補がかなり絞られます。

一旦候補を絞れば、あとはしらみつぶしに考えていけばOKです。

【問題】
(2) $n=3$のとき、①を満たす正の実数の組$(x,y,z)$は存在しないことを示せ。

【解答】
対称性から、zが一番大きいとしてよい。

$x+y+z=xyz$ と $x\leqq z$ と $y \leqq z$から、
\begin{eqnarray}
x^3+y^3+z^3 = xyz \leqq z\cdot z\cdot z = z^3
\end{eqnarray}なので、$x^3+y^3 \leqq 0$となる。しかし、これを満たす正の実数$x,y$は存在しない。

よって、条件を満たす$(x,y,z)$は存在しない。

【解答終】

【解説】
$xyz$に比べ、$x^3+y^3+z^3$は大きくなりやすいため、これを利用した制約を考えています。上の解答では、$x^3+y^3+z^3 \leqq z^3$の部分ですね。左辺が大きすぎるので、これを満たすものがないことが示せます。