椭圆焦点弦长问题焦点弦公式推导