与x轴垂直的焦点弦长公式