证明可逆的上(下)三角形矩阵的逆矩阵也是上(下)三角形矩阵