仅这些条件肯定是不够的,还需要A和B都是方阵,长方的就没招.
因为K是分块下三角阵,K的逆必定也是分块下三角阵,直接设
K^{-1}=
X 0
Y Z
然后相乘一下与I比较即得
X=A^{-1}
Z=B^{-1}
Y=B^{-1}CA^{-1}