定理4.6.11を証明する．

定理4.6.11

　を次正方行列，を次正方行列，を行列とする．

ここで，はすべての成分がからなる行列を表す．

証明

と分解できることと，であることと，

から，

演習問題

章末問題9(1)

章末問題9(2)