数学垂线段最短改成题设和结论