![]()
![]()
![]()
![]()
Up: 4 行列式 Previous: 18 行列式と面積   Contents
19 いろいろな行列式
定理 4.98 (ファンデアモントの行列式) 行列式
(767)
をファンデアモントの行列式という.は
(768)
と与えられる.
問 4.99 (ファンデアモントの行列式) これを示せ.
(証明) 行列式を
(769)
とおく. 第行に
をかけて第
行に加える. 第
行に
をかけて第
行に加える. 第
行に
をかけて第
行に加える. 同様に繰り返して, 第
行に
をかけて第
行に加える. すると
(770)
を得る. 第成分で展開すると
(771)
となる. 第列は
を共通因子としてもつ. 第
列は
を共通因子としてもつ. 同様にして 第
列
は
を共通因子としてもつ. 共通因子を行列式の外にくくり出すと
(772)
である. このとき
(773)
が成り立つ. 行列式のサイズがひとつ小さくなった. これを繰り返すと
(774) (775) (776) (777) (778)
を得る.
例 4.100 (ファンデアモントの具体例)
(779) (780) (781) (782)
定義 4.101 (コンパニオン行列式) 行列式
(783)
をコンパニオン行列式(companion determinant)という.
定理 4.102 コンパニオン行列式は
(784)
が成り立つ.
(証明) 行列式を
(785)
とおく.第行目を余因子展開すると
(786)
となる. 前の項の行列式は上三角行列なので対角線分の積で表される. 後の項の行列式はサイズと係数が異なるコンパニオン行列式となる. よって
(787)
と表される. これを繰り返すと
(788) (789) (790) (791) (792)
を得る.
例 4.103 (コンパニオン行列式の具体例)
(793) (794) (795) (796) (797)
問 4.104 (行列式の計算)
(798)
となることを示せ.
(証明)
(799)
![]()
![]()
![]()
![]()
Up: 4 行列式 Previous: 18 行列式と面積   ContentsKondo Koichi
![]()
![]()
Created at 2004/11/26