椭圆通径最短证明