数学正交矩阵:属性,证明,示例 - 数学 - 2025