展开 两条直线垂直能得出什么结论