椭圆焦点在下方焦半径的推导过程