把“垂线段最短”改写成“如果…那么…”的形式是______.