AとＣを正則なn*n、m*m行列としBとＣをn*m,m*n行列とする
DA^(-1)B+C^(-1)が正則ならばA+BCDの逆行列が
(A+BCD)^(-1)=A^(-1)-A^(-1)B(DA^(-1)B+C^(-1)^(-1)DA^(-1)
になることを証明することができないので。
教えてください。