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