D.A.ハーヴィル(伊理正夫訳)『統計のための行列代数 上』第9章 練習問題

3. でない行列,を最大列階数の行列,を満たす最大行階数の行列,の左逆行列,の右逆行列とする.

(a) 行列が行列の一般逆行列であり,行列が行列の一般逆行列であることを示せ.

 題意より,である.


 また,

である.よって成り立つ.