>>556
(x,y)=(√3 + (m-√3)/(2+2m^2), (1+m√3)/(2+2m^2))
で問題がありそうなのは２つ、分母が0の場合とm=±∞の場合

分母が0の場合はmが虚数になるので検討を打ち切って構わない
m=±∞のとき…lim_[m→±∞](x,y)=(√3,0)

m≠±∞で(x,y)=(√3,0)に当たるmが存在するかというと、これが無い
いっぽう、x^2+y^2-2y-3=0は(x,y)=(√3,0)も満たしてしまう
だから(x,y)=(√3,0)を除外する一文が必要