>>401
それとcos^2θ+sin^2θ=1からθ消去すればいい。x^2+(y+1)^2=4だ
lが(0,-1)を通る全ての直線の式だということを説明する必要あるけどな