tri_mat_prop.md

• 上（下）三角矩阵的转置为下（上）三角矩阵
• 上（下）三角矩阵对线性运算、乘法运算封闭
• 对于上（下）三角矩阵$A$和$B$，$AB$以及$BA$的主对角元是$A$，$B$相应的主对角元的乘积