>>791
でも図形的に考えてX軸より下では交わりませんよね?
ならばy>0というのは十分条件なのではないでしょうか?