展开 证明两条线段垂直的条件