充要条件 线性分解 寄情山水 上三角矩阵 正对角阵 悲喜 醉梦 非零元素链 滁州 定理 伴随矩阵 严格对角占优矩阵 景色 多项式