充要条件 线性分解 寄情山水 上三角矩阵 正对角阵 悲喜 醉梦 非零元素链