直線恒過M (0,1),
且M在圓上,
不妨設M為A
設AB中點為N
則ON⊥AB,即ON⊥MN
設N（x,y） (y≠1)
向量ON=(x,y)
向量MN=(x,y-1)
∴ x*x+y(y-1)=0
即 x²+y²-y=0
即 x²+(y-1/2)²=1/4 (y≠1)為什么向量MN=(x,y-1)？M（0,1)N（x,y)∴ 向量MN=(x,y-1)