互相垂直的两条线是不是一组垂直线