设Lk为指标为k的初等下三角阵(除第k列对角元以下元素外 Lk和单位阵I相同) 即 求证当i j>k时 也是一个

设L_k为指标为k的初等下三角阵(除第k列对角元以下元素外，L_k和单位阵I相同)，

   即

   求证当i，j＞k时，也是一个指标为k的初等下三角阵，其中I_ij为初等置换阵．