2019年2月2日 (土) 16:25時点における版編集 Texvc2LaTeXBot (トーク \| 投稿記録) 24 回編集 M 廃止された数式構文をmw:Extension:Math/Roadmapに従って置き換える ← 古い編集		2020年8月19日 (水) 23:51時点における版編集取り消し Euler0117 (トーク \| 投稿記録) 260 回編集証明の追加次の差分 →
41 行 {{定理\|1.1.5}} 条件<math> \ A,P_1,\ldots ,P_m \in \ M(n; \mathbf K) </math> をみたす行列<math> \ A</math>、行列<math> P_1</math>・・・、行列<math> P_m</math>がそれぞれ正則であるとき、以下が成り立つ。 #<math> \ A = P_1 \cdots P_m \Rightarrow \ A^{-1} = P_m^{-1} \cdots P_1^{-1} </math> #<math> \ (^tA)^{-1} = ^tAt(A^{-1}) </math> {{定理終わり}} <div class="NavFrame" style="margin: 1em auto; width: 93%; clear: both; background: #f9f9f9; border: 1px #aaaaaa solid; border-collapse: collapse;"> <div class="ProofHead" align="left" style="font-size:120%; padding-left:1em; font-weight: bold; background: #efefef; position:relative;">1.1.5の証明</div> <div class="NavContent" style="padding: 5px;"> #逆行列の一意性より明らか #<math>I = AA^{-1} = {}^t(A^{-1}) {}^tA</math>であるので、<math>^tA^{-1}</math>を左から掛ければ<math> \ (^tA)^{-1} = ^t(A^{-1}) </math> </div></div> ===逆行列であるための条件の証明===

「線型代数学/逆行列」の版間の差分