两条直线互相垂直有什么性质