已知抛物线x^2=2y,过点P(0,1)的直线与抛物线相交于A(x1,y1),B(x2,y2)不同两点