A＝（aij）:　ｎ次行列
でAがLU分解可能なら
　　⊿ｋ　＝a11 ･･･ a1k
　　　　 　　： 　　　：
　　　　　　ak1 ･･･ akk　
　　　　　　　　　　は０ではない、の条件を使って、
　　　　　　　　　　狭義優対角はLU分解可能であることを示せ。
　　　　　　　　　　　　を解いてください。
　　　　　　　　　ちなみに＝の右の式には絶対値が付いています。