第 13/25 页

∴点 F1的坐标为 , 如图,当点 F2在 y 轴上时,

∵△P2AF2为等边三角形,AO⊥P2O,

∴点 F2的坐标为(0,-4),

∴点 F 运动所形成的图象是一条直线,

∴当 OF⊥F1F2时,线段 OF最短, 设直线 F1F2的解析式为 y=kx+b, 则 , 解得 ,

∴直线 F1F2的解析式为 y= x-4, 在 Rt△OF1F2中,OF⊥F1F2, 设点 O到 F1F2的距离为 h,则 ,