diag_mat_prop.md

• 对角矩阵的和、差、积以及数乘仍为对角矩阵，且结果的各个元素为对应元素的和、差、积以及数乘
• 两个同阶对角矩阵可换