椭圆焦点弦公式推导