|
uchinyan |
|
#26109及びその後の解答に関して：
基本的には同じなのですが、どのように論理的に書くかですね。証明問題なので、実はこれが重要なのですが．．． 自然数ではないので、大小関係が微妙になります。 一応、私の解答です。符号も少し気にしています。 今、|a|, |b|, |c| の最大公約数を g とします。 すると、a = gx, b = gy, c = gz、ただし、x, y, z は、1 又は -1 を除いて約数をもたない整数、と書けます。 a^3 + 2b^3 + 4c^3 = 2abc に代入すると、g^3 * (x^3 + 2y^3 + 4z^3) = g^3 * 2xyz になります。 そこで、もし g が 0 でないならば、x^3 + 2y^3 + 4z^3 = 2xyz が成立します。 ところがこの式から、x = 2x'、x' は整数、となるはずで、4(x')^3 + y^3 + 2z^3 = 2(x')yz になります。 すると、y = 2y'、y' は整数、となるはずで、2(x')^3 + 4(y')^3 + z^3 = 2(x')(y')z になります。 すると、z = 2z'、z' は整数、となるはずで、(x')^3 + 2(y')^3 + 4(z')^3 = 2(x')(y')(z') になります。 つまり、x, y, z は、(x')^3 + 2(y')^3 + 4(z')^3 = 2(x')(y')(z') を満たす整数 x', y', z' を用いて、 x = 2x', y = 2y', z = 2z' とかけることになります。 これは、x, y, z が、1 又は -1 を除いて約数をもたない整数だったことに矛盾します。 したがって、g = 0 で、a = b = c = 0 になります。 なお．．． もし、a, b, c が有理数、a = p1/q1. b = p2/q2, c = p3/q3 だとしても、同じく、a = b = c = 0 ですね。 (p1 * q2 * q3)^3 + 2 * (q1 * p2 * q3)^3 + 4 * (q1 * q2 * p3)^3 = 2 * (p1 * q2 * q3) * (q1 * p2 * q3) * (q1 * q2 * p3) となるので、p1 * q2 * q3 を a、q1 * p2 * q3 を b、q1 * q2 * p3 を c と新たに考え直せば、p1 = p2 = p3 = 0 しか解がないので。 無理数まで許せば、a^3 - (2bc) * a + (2b^3 + 4c^3) = 0 なので、2b^3 + 4c^3 < 0 ならば、a には実数解があります。 例えば、a = 1, b = - 2^(-1/3), c = 0 など、無数にあります。 なお、 一般に実数でも a, b, c > 0 の場合は、相乗相加平均によって、 2abc = a^3 + 2b^3 + 4c^3 >= 3 * (a^3 * 2b^3 * 4c^3) = 6abc より abc <= 0 なので、成立せず、a, b, c のいずれかが 0 でなければなりませんが、 a = 0 ならば b^3 + 2c^3 = 0、b = 0 ならば a^3 + 4c^3 = 0、c = 0 ならば a^3 + 2b^3 = 0 なので、 a, b, c >= 0 では、a = b = c = 0 しか解はありません。 |
|
ネコの住む家
11月7日（月） 17:51:16
MAIL:uchi@sco.bekkoame.ne.jp 26113 |