x^2+y^2-2y=x^2+(y-1)^2-1=0
y=√（1-x^2）+1
y'=-x/√（1-x^2)
把根号3代入导函数得