23/03/10 10:14:38.13 7kNRmwE2.net
>>105
>「両辺ともに非負が確定してるから」ということなんでしょうか？
その通り。
>ルートが入って不等号がこの向きの不等式は、2枚目のように同値変形すると同じ本の中で指定があったのですが、
２枚目の同値変形の両辺と y>0 の論理積をとれば、
(y>0)∧(y<√x )⇔(y>0)∧{(y^2<x) ∨ (x≧0,y<0)}
（分配法則から）⇔{(y>0)∧(y^2<x)}∨{(y>0)∧(x≧0,y<0)}
⇔{(y>0)∧(y^2<x)}∨F
⇔(y>0)∧(y^2<x)
つまり、y>0という条件下では２枚目の同値変形はy<√x ⇔ y^2<x
になる。