$A$ が正則な行列であるとき、$^tA$ も正則であり、$(^tA)^{-1} = ^t(A^{-1})$ であることを証明する問題です。
2025/7/17
1. 問題の内容
が正則な行列であるとき、 も正則であり、 であることを証明する問題です。
2. 解き方の手順
まず、 が正則であるという仮定から、 が存在します。
次に、 が正則であることを示すためには、 の逆行列が存在することを示せばよいです。
逆行列の定義から、 にある行列をかけた結果が単位行列 になれば、その行列が の逆行列となります。
示すべき式は ですので、これが実際に の逆行列となっていることを確認します。
つまり、以下の2つの式が成り立つことを示します。
転置の性質として、 があります。
これを利用すると、
となります。
したがって、 は の逆行列であり、 は正則であることが示されました。
3. 最終的な答え
が正則な行列のとき、 も正則であり、 である。