09/05/03 20:57:01
『体Ｋを成分とするn次正方行列 A, B が与えられたとき、
A・B = I ならば B・A = I
（ただし、・は行列の積で、I は単位行列）』
という定理がありますね。
私はこの定理を、行列式の余因子展開を用いた逆行列の成分表示を用いて
証明出来る事を承知しています。
そこで質問なのですが、この定理の、行列式を使わない証明は存在するでしょ
うか？
09/05/03 20:57:01
『体Ｋを成分とするn次正方行列 A, B が与えられたとき、
A・B = I ならば B・A = I
（ただし、・は行列の積で、I は単位行列）』
という定理がありますね。
私はこの定理を、行列式の余因子展開を用いた逆行列の成分表示を用いて
証明出来る事を承知しています。
そこで質問なのですが、この定理の、行列式を使わない証明は存在するでしょ
うか？