求证:连结直线外一点和直线上所有点的线段中垂线最短