如何证明垂线段最短