两点之间线段最短改成如果.那么...的形式