过(0,2)的直线与圆x^+y^=1交于AB两点,求AB中点轨迹方程