怎么证明垂线段最短