对角矩阵 {{ a, 0 }, {0, b }} 何时可逆?(答: ab != 0 。)