展开 证明两垂直直线乘积为-1