首先必须是方阵,即行列相等,上三角矩阵就是对角线下面元素全是0的矩阵,当然零矩阵也是上三角阵