判別式でおk
但しx^2+y^2=1から範囲制限も要る