泛对角矩阵 同解变换 《九章算术》 综合评判 逆问题 增广矩阵 最优化解 最优化方法