展开 两条直线互相垂直属于什么