怎么证明两点之间线段最短