Existence and uniqueness of decomposed sum of symmetric and orthogonal parts for a real square matrix

• 实方阵的对称与正交和分裂的存在性与惟一性