🏠 Home / 東京大学 / 東大理系

東京大学 理系 2006年度 第4問 解説

問題編

【問題】
 次の条件を満たす組$(x,y,z)$を考える。

 条件(A):$x,y,z$は正の整数で、$x^2+y^2+z^2=xyz$および$x\leqq y \leqq z$を満たす。

以下の問いに答えよ。

(1) 条件(A)を満たす組$(x,y,z)$で、$y\leqq 3$となるものをすべて求めよ。

(2) 組$(a,b,c)$が条件(A)を満たすとする。このとき、組$(b,c,z)$が条件(A)を満たすようなzが存在することを示せ。

(3) 条件(A)を満たす組$(x,y,z)$は、無数に存在することを示せ。

【考え方】
(1)は、$x,y$の組が限定されるので考えやすいですね。まず、$x=y=1$のときを考えてみます。このとき、zがわかればいいのですが、zを出すには条件式をzの二次方程式を見ればいいことがわかります。

条件の式をzの方程式をとしてみると、zは$x,y$を用いて表せるので、zは簡単に求めることができます。

(2)は、2組が条件を満たすとしたときに、zが満たす条件を考えれば求めることができます。zを具体的に$a,b,c$を用いて表現できます。

(3)は、(1)と(2)を用いれば、ほぼ明らかな結果です。


解答編

【問題】
 次の条件を満たす組$(x,y,z)$を考える。

 条件(A):$x,y,z$は正の整数で、$x^2+y^2+z^2=xyz$および$x\leqq y \leqq z$を満たす。

以下の問いに答えよ。

(1) 条件(A)を満たす組$(x,y,z)$で、$y\leqq 3$となるものをすべて求めよ。

【解答】
条件の式は\[ z^2 -xyz +(x^2+y^2)=0 \]と書けるので、\[ z=\frac{xy \pm\sqrt{(xy)^2-4(x^2+y^2)} }{2} \]である。

$x=1$のとき、$(xy)^2-4(x^2+y^2)=-4-3y^2\lt 0$なので、条件を満たすものはない。

$x=2$のとき、$(xy)^2-4(x^2+y^2)=-16\lt 0$なので、条件を満たすものはない。

よって、$y\leqq 3$のときに条件を満たすものがあるとすると、$x=y=3$しかない。このとき、
\begin{eqnarray} z &=& \frac{xy \pm\sqrt{(xy)^2-4(x^2+y^2)} }{2} \\[5pt] &=& \frac{9 \pm\sqrt{9^2-4(9+9)} }{2} \\[5pt] &=& \frac{9 \pm 3}{2} \\[5pt] \end{eqnarray}なので、$z=3,6$となる。

以上から、条件(A)を満たす$(x,y,z)$の組は、$(3,3,3)$と$(3,3,6)$となる。

【解答終】

【解説】
zの二次方程式、と見るのが少し難しいです。しかし、$x=y=1$などとして具体的にzを求めようとすると、自然とこの見方ができるようになるでしょう。

【問題】
(2) 組$(a,b,c)$が条件(A)を満たすとする。このとき、組$(b,c,z)$が条件(A)を満たすようなzが存在することを示せ。

【解答】
$a^2+b^2+c^2=abc$ と $b^2+c^2+z^2=bcz$ が成り立つとする。辺々を引くと
\begin{eqnarray} a^2-z^2 &=& abc-bcz \\ (a+z)(a-z) &=& bc(a-z) \\ \end{eqnarray}となる。$a\ne z$とすると、$a+z=bc$より、$z=bc-a$となる。よって、条件(A)を満たすものがあるとすると、$z=a$または$z=bc-a$となる。

$z=bc-a$とする。このとき、上の式から$b^2+c^2+z^2=bcz$は成り立つ。また、(1)の解答中の前半の議論より、$a=1,2$となることはないので、$b$は3以上だから、
\begin{eqnarray} z-c &=& (bc-a)-c \\ & \geqq & 3c-a-c \\ &=& c+(c-a) \\ & \gt & 0 \quad \cdots (B) \end{eqnarray}となるので、$c\leqq z$である。よって、$z=bc-a$とすれば、$(b,c,z)$は条件(A)を満たす。

【解答終】

【解説】
当たり前ですが、$x\leqq y\leqq z$の確認をする必要があります。

なお、$z=a$となるときは、$a=b=c$のときしかありません。

【問題】
(3) 条件(A)を満たす組$(x,y,z)$は、無数に存在することを示せ。

【解答】
$a_1=3$,$a_2=3$,$a_3=6$とすると、(1)より$(a_1,a_2,a_3)$は条件(A)を満たす。

nを自然数とするとき、$a_{n+3}=a_{n+2}a_{n+1}-a_n$とする。このとき、(2)より、すべての自然数nに対して、$(a_n,a_{n+1},a_{n+2})$は条件(A)を満たす。

また、(2)の解答中の(B)より、$a_{n+2} \lt a_{n+3}$なので、$(a_n,a_{n+1},a_{n+2})$と$(a_{n+1},a_{n+2},a_{n+3})$は異なる。

以上から、条件(A)を満たすものは無数に存在する。

【解答終】

【解説】
(1)で初期値があること、(2)で既にある組から新しい組を作り出せることがわかるので、無数にあることを示すのは難しくありません。

ここで注意しないといけないのは、「新しく作り出した組が、すでにある組と異なる」ということを示さないといけない点です。例えば、$a_1=a_2=a_3=3$、$a_{n+1}=a_n$とすると、条件を満たす新しい組は作れますが、元の組と同じなので「無数に存在する」とは言えません。そのため、新しい組は既存の組とは異なる、と示すことが必要です。

関連するページ

YouTubeもやってます

チャンネル登録はコチラから (以下は、動画のサンプルです)
慶應義塾大学薬学部2024年度数学第1問5 同志社大学文系2024年度数学第1問3 昭和大学医学部I期2024年度数学第2問 兵庫医科大学2024年度数学第3問 共通テスト2B2024年度第3問2のヒントについて 久留米大学医学部推薦2024年度数学第4問