くだらねぇ問題スレ ver.3.1415926535897

>168
んーとねえ、、
図示すべき範囲を示したグラフをＳとおくと、

Ｓ＝｛(X,Y)｜lxl+lyl≦1 x+y=X xy=Y となるp(x,y)が存在する｝

というのが、問題で与えられた条件である。
で、Ｓを図示するには、その前にＳを　p(x,y)を使わない形で
表現しないといけないよね。
すなわち、Ｓの要素(X,Y)のみを用いた条件式として
Ｓの条件が表記されなければならない。

その条件式を　φ(X,Y)　とおくと。
X^2-4Y≧0　はφ(X,Y)となるための必要条件である、すなわち
　φ(X,Y) ⇒ X^2-4Y≧0
となることはいいよね。

ワレワレが知りたいことは、φ(X,Y)の条件式そのものであるが
いきなりわかるものでもないから、
まずは必要条件の一つをあげることで　φ(X,Y)　の構造を徐々に
明らかにしていこう、という意図をもって　X^2-4Y≧0　を考えているのだ。
必要条件　X^2-4Y≧0　と(X,Y)のみを用いた条件式ψ(X,Y)によって、
　φ(X,Y)　⇔　X^2-4Y≧0　かつ　ψ(X,Y)
となることが言えれば、φ(X,Y)がわかったことになる。
そのためのワンステップとして、X^2-4Y≧0を考えているにすぎない。