展开 两条直线垂直有什么结论