数学の「存在範囲」の問題では、自分で導いた条件が「結局使われていない」ように見えて混乱することがあります。特に、文字変換を使う問題では、「これは必要条件では？」と思った不等式が、最終的な図示では登場しないケースがあります。この記事では、実数 x,y が x^2+y^2≦1 を満たすとき、s=x+y,t=xy とおいた場合の存在範囲を例に、「必要条件」と「最終的な存在範囲」の違いを整理しながら解説します。
まずは式を s,t で整理する
問題では、
x^2+y^2≦1
s=x+y,t=xy
と置かれています。
ここでよく使う公式が、
x^2+y^2=(x+y)^2-2xy
です。
したがって、
s^2-2t≦1
が得られます。
これは、(s,t) が満たすべき条件の1つです。
さらに、
x^2+y^2≧0
より、
s^2-2t≧0
も確かに成立します。
つまり、
0≦s^2-2t≦1
という条件が出てきます。
ではなぜ s^2-2t≧0 をわざわざ図示しないのか
ここで混乱しやすいのが、「ちゃんと必要条件なのに、なぜ最終図形で強調されないのか」という点です。
実は、存在範囲の問題では、『本当に実現できる点だけ』が最終的な答えになります。
つまり、「式として可能そうに見える」だけでは不十分です。
今回、s,t は x,y から作られているので、x,y が実数として存在しなければなりません。
そこで重要になるのが、x,y を解にもつ2次方程式です。
x,y が実数である条件が本質になる
x+y=s,xy=t より、x,y は
X^2-sX+t=0
の解になります。
ここで、x,y が実数であるためには、判別式 D が 0 以上でなければいけません。
D=s^2-4t≧0
つまり、
t≦s^2/4
という条件が必要になります。
この条件は、「x,y が実数として存在する」という、かなり本質的な条件です。
存在範囲の問題では、こちらの条件のほうが中心になります。
s^2-2t<0 の点はそもそも像にならない
質問で特に混乱しやすいのが、
「s^2-2t<0 の領域が st 平面には存在しているのに、なぜ考えないのか」
という部分です。
ここで重要なのは、「st 平面上に存在すること」と、「実際に x,y から作れること」は別だという点です。
例えば、st 平面には当然いくらでも点があります。
しかし、そのすべてが
s=x+y,t=xy
を満たす実数 x,y から作れるわけではありません。
つまり、s^2-2t<0 の点は、st 平面上には存在していても、『像として存在しない』のです。
だから最終的な存在範囲には含まれません。
「必要条件」と「像」の違いを整理する
存在範囲では、「条件を満たす」だけでは足りません。
本当に必要なのは、
- 実際に x,y が存在すること
- その x,y から s,t が作れること
です。
つまり、単なる不等式ではなく、「対応する実数が存在するか」が重要になります。
今回の問題では、
s^2-2t≧0
は確かに必要条件です。
ただし、最終的な存在範囲を決める段階では、より本質的な「実数解条件」や、他の条件と合わせた領域によって自然に含まれるため、独立して強調されないことがあります。
実際の図形イメージ
今回の条件を整理すると、主に次の2つが出てきます。
| 条件 | 意味 |
|---|---|
| s^2-2t≦1 | x^2+y^2≦1 から来る条件 |
| s^2-4t≧0 | x,y が実数である条件 |
存在範囲は、これらを同時に満たす領域になります。
つまり、「式変形だけ」で終わりではなく、「実際に x,y が存在するか」を最後に確認する必要があるのです。
まとめ
存在範囲の問題では、「st 平面上に点があること」と、「その点が実際に x,y から作れること」は別です。
今回、
s^2-2t≧0
は確かに必要条件ですが、それだけでは「像」であることを保証できません。
最終的には、x,y が実数として存在するための判別式条件
s^2-4t≧0
などを含めて考える必要があります。
存在範囲では、「式として可能か」ではなく、「本当に対応する実数が存在するか」を意識すると、考え方がかなり整理しやすくなります。
コメント