前半: 等式の両辺に同じ行列を同じ側から掛けても等しいので, (BA)A^(-1)=(CA)A^(-1). このとき (左辺)=B(AA^(-1))=B, かつ (右辺)=C(AA^(-1))=C.
後半: (C^(-1)B^(-1)A^(-1))(ABC)=C^(-1)B^(-1)(A^(-1)A)BC=C^(-1)(B^(-1)B)C=C^(-1)C=E (単位行列) ……@, 同様にして (ABC)(C^(-1)B^(-1)A^(-1))=E ……A. よって逆行列の定義により, (ABC)^(-1)=C^(-1)B^(-1)A^(-1).
125-8-214-202.rev.home.ne.jp (125.8.214.202)
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:79.0) Gecko/20100101 Firefox/79.0
|
|