把垂线段最短改为"如果.那么"的形式是_____条件是______结论是______