|A|不等于0,故A是可逆矩阵
[A^(-1) On] *[A B] =[ In A^(-1)B]
[-CA^(-1) In] [C D] [ 0n D-CA^(-1)B]
两边同取行列式
左边=|A^(-1)|*|A B|=|D-CA^(-1)B|
|C D|
|A|*|A^(-1)|=1
|A B|=|A|*|D-CA^(-1)B|=|A(D-CA^(-1)B|=
|C D|
=|AD-ACA^(-1)B|=|AD-CAA^(-1)B|=|AD-CB|
注：开始2行是矩阵,其中In是n阶单位矩阵