推论 5.1 若矩阵 A 为 n 阶可逆矩阵, 那么存在 n 阶初等矩阵 P1,P2,⋯, Pm, 使得 PmPm−1⋯P2P1A=E 从而有 A−1=PmPm−1⋯P2P1. \begin{proof} 由上面定理知存在初等矩阵 P1,P2,⋯,Ps 和 Q1,Q2,⋯,Qt, 使得 PsPs−1⋯P2P1AQ1Q2⋯Qt=E 那么等式两边同时左乘 Q1Q2⋯Qt ,右乘 Qt−1Qt−1−1⋯Q1−1 得到 Q1Q2⋯QtPs⋯P2P1A=E 故结论成立. \end{proof}