■等面単体の体積(その89)
C=|0,3,3,3,1|,D=|0,3,3,1|
|3,0,3,3,1| |3,0,3,1|
|3,3,0,3,1| |3,3,0,1|
|3,3,3,0,1| |1,1,1,0|
|1,1,1,1,0|
最下行,最右列に3をかけると
9C=|0,3,3,3,3|,9D=|0,3,3,3|
|3,0,3,3,3| |3,0,3,3|
|3,3,0,3,3| |3,3,0,3|
|3,3,3,0,3| |3,3,3,0|
|3,3,3,3,0|
まず,第1行を他の行から引いて
|0,3,3,3,3| |0,3,3,3,3|
|3,0,3,3,3| |3,−3,0,0,0|
|3,3,0,3,3|=|3,0,−3,0,0|
|3,3,3,0,3| |3,0,0,−3,0|
|3,3,3,3,0| |3,0,0,0,−3|
さらに第2列〜第n列を第1列に加えれば
|12,3,3,3,3|
|0,−3,0,0,0|
|0,0,−3,0,0|
|0,0,0,−3,0|
|0,0,0,0,−3|
のように上三角行列式となる.
三角行列の行列式の値は対角要素の積になるから,
C=3^2・12,D=−3・9
となることが証明されたことになる.
===================================