椭圆的焦点弦长公式推导