如何证明长轴端点到焦点距离最短