两线垂直什么相等