, 则 正交当且仅当 .