首先上(下)三角矩阵乘以上(下)三角矩阵结果还是上(下)三角矩阵,
另外我们考虑相乘后的对角元素可发现,对角原始是原来2矩阵对应对角元素的乘积。
另外对角线都是1的上(下)三角矩阵必定可以只是用行运算III化为单位矩阵。
行运算III 对应左乘第3类初等矩阵,因此U1^-1(L2^-1) 可以看成是一系列 第三类(并且是上(下)三角初等矩阵的乘积)
由于这些初等矩阵对角元素都是1,所以相乘后的U1^-1(L2^2-1)其对角元素也是1.
上面根据方程 左是下三角,右是上三角,两边如果要相等,必须是同时是对角的。
U2U1^-1 必定是上三角,其对角元素是1,如果是对角的那么必定是单位矩阵。
L2^-1 L1的判断思路一样。