在平面直角坐标系中,已知圆O:x2 y2=4与直线l :x =4,AB是圆O 与X 轴的交点,p是l上的动点