discussion_on_elimination_of_matrix_multiplication.md
以前我们曾经指出，即使$A\ne O$，也不能由$AB=AC$得出$B=C$的结果。但是，如果$A$是可逆矩阵，则在$AB=AC$的两端同时左乘$A^{-1}$，便可得到$B=C$。类似地，若$A$可逆，则由$AB=C$可推断出$B=A^{-1}C$
以前我们曾经指出，即使$A\ne O$，也不能由$AB=AC$得出$B=C$的结果。但是，如果$A$是可逆矩阵，则在$AB=AC$的两端同时左乘$A^{-1}$，便可得到$B=C$。类似地，若$A$可逆，则由$AB=C$可推断出$B=A^{-1}C$