两点之间线段最短.如何变成如果……那么……的形式?