分からない問題はここに書いてね453

>>582
もし det(A)=0 ならば
非自明な従属関係: Σ{j=1..n} cj a[ij] = 0
が存在します.
max{|c1|,...,|cn|} = |ck| ≠ 0 とすると,
1= | ck/ck a[kk] | = | Σ{j≠k} cj/ck a[kj] | ≦ Σ{j≠k} | a[kj] | < 1 (∵ | cj/ck | ≦ 1 )
矛盾(1 < 1)が引き出されたので det(A)≠0 が証明できました.