展开 一条线垂直于一条线可以推出什么