展开 垂直于一条直线的两条直线也互相垂直