用”如果...那么”改写命题“两点之间线段最短”