若A是三角型矩阵,若主对角线上元素(),则A可逆