充分必要条件 行列式方程 对应元素 特解 上三角矩阵 行元素 原方程 相似矩阵