对角矩阵的充要条件

对角矩阵:aij=0当i不等于j时
上三角：aij=0当i大于j时
下三角矩阵:aij=0当i小于j时
那么如果是对角的话显然满足后面两个条件
反之，如果后面两个条件同时满足一定说明只要i不等于j时aij=0所以也时对角的。

对角矩阵的定义是a(ij)=0 （任意的i不=j)
至于什么上三角矩阵，我不知道有这样的定义，可能只是个别人随便叫叫的。