Proof for determinant of a block matrix

Solution 1:

Both formulaes are true. I will prove second formula only.

First, let us suppose that $A$ is invertible. Since

$$1\cdot\det\begin{pmatrix} A & B \\ C & D \end{pmatrix}=\det \begin{pmatrix} I & 0 \\ -CA^{-1} & I \end{pmatrix}\cdot\det\begin{pmatrix} A & B \\ C & D \end{pmatrix}=\det\begin{pmatrix} A & B \\ 0 & D-CA^{-1}B \end{pmatrix}$$ then $$\det\begin{pmatrix} A & B \\ C & D \end{pmatrix} =\det(A)\cdot\det(D-CA^{-1}B)$$

Now $$\det\begin{pmatrix} A & -B \\ B & A \end{pmatrix}=^{1)}\det\begin{pmatrix} A+iB & iA-B \\ B & A \end{pmatrix}=^{2)}\det(A+iB)\det(A-B(A+iB)^{-1}(iA-B))=^{3)}$$ $$=^{3)}\det(A+iB)\det(A-iB(iA-B)^{-1}(iA-B))=\det(A+iB)\det(A-iB)$$

1) Add to row $1$ row $n+1$ multiplied by $i$, to row $2$ row $n+2$ multiplied by $i$, etc up to row $n$

2) use formula derived in the first part

3) $(kA)^{-1}=\frac1kA^{-1}$ for $k=i$

We have proved the formula for case when $A$ is invertible. Now we should get rid from this assumption. For any $t \in \mathbb{R}$ let $A_t=A-tI$. If $A_t$ is not invertible, then $t$ is an eigenvalue of $A$. Contrapositive give us the following statement: If $t$ is not an eigenvalue of $A$, then $A_t$ is invertible(and thus the formula is true). Let us fix arbitrary $A$ and $B$ and consider $$F(t)=\det\begin{pmatrix} A_t & -B \\ B & A_t \end{pmatrix}-\det(A_t+iB)\det(A_t-iB)$$ $F(t)$ is a polynomial in $t$. $F(t)=0$ for all $t$ except the finite amount of eigenvalues of $A$ - so $F(t)$ vanishes in infinitely many points. But nonzero polynomial can have only finite number of roots. So F(t) is zero polynomial, and $F(t)=0$ for any $t$, and we have to take $t=0$ to establish the formula.

First formula derivation should be very easy now, so I will skip it.