两式相减得(y1+y2)(y1-y2)=4(x1-x2).因为x1x2,所以y1+y20.
设直线AB的斜率是k,弦AB的中点是M(xm, ym),则
k=.从而AB的垂直平分线l的方程为
又点P(x0,0)在直线上,所以