>>450
yが0以下のときxは虚数、つまり複素数に拡張して考えたときに
共有点を2つ以上もつが、実数平面には現れないので解として適当ということ