x^2+y^2=1よりx^2=-y^2+1
x^2≧0 ⇔ -y^2+1≧0 ⇔ -1≦y≦1
-y^2-4y+1=-(y+2)^2+5