漫游猫认证
A 00 B乘A^(-1) 00 B^(-1)等于AA^(-1)+00 A0+0B^(-1)0A^(-1)+0B 00+BB^(-1)等于E 00 E即单位矩阵.故上一个分块矩阵的逆等于下一个分块矩阵.