两线段垂直,则这两线段相交