• ベストアンサー

行列式について

|AB| |CD|(行列式) があって小行列Aが正則、小行列Bが0、小行列Cが0 そして小行列Dは単位行列とすると |AB| |CD| この行列式は0でないのはなぜでしょうか? *行列式の縦棒がわかりにくいですがつながってると思ってください |AB| |CD| =|A|X|D|=|A|となり Aが正則だから0でないらしいですが |AB| |CD| =|A|X|D|となることがわかりません わかる人いたらどうかお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • kup3kup3
  • ベストアンサー率68% (33/48)
回答No.4

#2です。Dがm次の単位行列とします。 ANo.2の回答で第(n+1)列で余因子展開し、これを続けるのと殆ど同じですが、 次のように元の行列式の一番右はしの列でまず展開し、 また右端の列で展開して行くことを繰り返すとした方が分かり易かったですね。 まず元の行列式を最右列で余因子展開すると 1×(-1)^{(m+n)+(m+n)}=(-1)^{2(m+n)}=1なので(なぜなら2(m+n)は偶数だから) |AO| |OD'| の形になり D'は(m-1)次の単位行列 ,(Bの零行列は列数が1減り、Cの零行列は」行数が1減るが) これを繰り返せば、 |AO| |0 1| となる。ここに右上のOの零行列は (0.0.・・・・,0)を転置した行列です。 最後に最右列の第(n+1)列で展開して 1×(-1)^{(n+1)+(n+1)}=(-1)^{2(n+1)}=1 (なぜなら2(n+1)は偶数だから)となるので、 結局元の「質問者の行列式」は 1×(-1)^2(n+1)×|A|=|A|となります。 補足に書いてたのを早くみればよかったのですが、 少し分かりにくいやりかたでしたね。申し訳なかったです。

hitorimi_j
質問者

お礼

返信ありがとうございます。何とかできたと思いますb

その他の回答 (3)

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.3

#1 の 2 は気が効いてるんだけど難しいかもしれない. 「固有値の積が行列式と等しい」ということを使うだけだから, 気付けばほぼ一瞬なんだけど.... で 1 の方ですが, 普通は 1行目とか 1列目で展開しないかなぁ>#2. A が 1次とか 2次とかのときに展開すれば, 方針は立つはず... だけど... 展開が大丈夫かなぁ. かなり心配だ.

hitorimi_j
質問者

お礼

返信ありがとうございます。もっと勉強して理解できるようがんばります

  • kup3kup3
  • ベストアンサー率68% (33/48)
回答No.2

こんばんは。行列式の余因子展開て勉強しました? 習っていれば分かると思いますが・・・ Aをn次正方行列とします。質問者の行列式を第(n+1)列で 展開してみれば・・・・

hitorimi_j
質問者

お礼

j=1の時 |AB| |CD| =A(A~)+C(C~) でしょうか?・・・すみません力不足でわからないです・・・

hitorimi_j
質問者

補足

すみませんこうでしょうか? |AB| |CD|を第(n+1)列で展開すると |AB| |CD|=0+0+・・・+(-1)~(n+1+n+1) X(掛け算) |AO | |O(D~(m-1))|+0+・・・+0 = |AO | |O(D~(m-1))| = |AO | |O(D~(m-2))| =・・・= |AO| |OO|=|A| こういうことでしょうか?

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

1. A の次数に関する帰納法で示す 2. A や D の固有値がその行列の固有値であることを示す くらいは思いつく.

hitorimi_j
質問者

お礼

すみません、力不足でわからないです・・・

関連するQ&A