线性代数,设A,B,验证aA(a为常数),A+B,AB仍为同阶同结构的上三角形矩阵