垂直于同一直线的两条线互相垂直叫什么定义