適当な値を特定しなければならない問題
「大学への数学 数学を決める論証力」という参考書のP19から、「x+y+z=1,x2+y2+z2=1(x2はxの2乗),xyz≠0を満たす実数x,y,zの組が存在することを証明せよ」という問題について質問です。
その解答は、
「z=1/2とすると、2つの等式⇔x+y=1/2,x2+y2=3/4
⇔x+y=1/2,xy=(x+y)2-(x2+y2)=-1/4
⇔x+yは方程式t2-1/2t-1/4=0の2解
であり、このtの2次方程式の判別式は正で、0を解にもたないから、題意は証明された。」
となっていて、確かに、このときのx,y,zの値を計算すると
x=1+√5/4 , y=1-√5/4 , z=1/2であり(x,yの値は逆でもいい)
これらはx+y+z=1,x2+y2+z2=1,xyz≠0を満たします。
ここからが質問なのですが、z=1/3としても、x=1/4としても、y,zは実数の範疇では出てきません。どうしてz=1/2であるとき、y,zが実数であると分かるのですか?どのようにして、問題文中の条件を満たす実数x,y,zの組を特定するのですか?x2+y2+z2=1より分かる-1<x,y,z<1の範疇の値をがむしゃらに代入していくしかないのでしょうか?
あと、このような引用(全転記)、大丈夫ですか?ご指摘があれば一旦投稿を削除して書き直します。
お礼
大変丁寧なご回答本当にありがとうございました。 そうですね。そのままで解いたら良かったのですね。 私の場合1つの解き方ばかりを考えてしまって、迷路にはまってしまう事が多いように感じます。ここが、得意な人との違いなんでしょうね。でも、こうやって具体的に問題を教えていただいていろいろな解きかたを覚えていきたいと思います。 ありがとうございました。