grandes-ecoles 2017 QII.C.6

grandes-ecoles · France · centrale-maths1__mp 3x3 Matrices Block Matrix Multiplication and Determinant Identity
We denote $E_{n} = \mathcal{M}_{n,1}(\mathbb{R})$ equipped with the inner product $(X \mid Y) = X^{\top}Y$. We assume $n \geqslant 3$. $A$ is an invertible matrix in $\mathcal{M}_{n}(\mathbb{R})$. Let $N' = \begin{pmatrix} N_{1}' & N_{2}' \end{pmatrix}$.
Show that $$\operatorname{det}(N'^{\top}AN') = \left(N_{1}'^{\top}A_{s}N_{1}'\right)\left(N_{2}'^{\top}A_{s}N_{2}'\right) - \left(N_{1}'^{\top}A_{s}N_{2}'\right)^{2} + \left(N_{1}'^{\top}A_{a}N_{2}'\right)^{2}$$
We denote $E_{n} = \mathcal{M}_{n,1}(\mathbb{R})$ equipped with the inner product $(X \mid Y) = X^{\top}Y$. We assume $n \geqslant 3$. $A$ is an invertible matrix in $\mathcal{M}_{n}(\mathbb{R})$. Let $N' = \begin{pmatrix} N_{1}' & N_{2}' \end{pmatrix}$.

Show that
$$\operatorname{det}(N'^{\top}AN') = \left(N_{1}'^{\top}A_{s}N_{1}'\right)\left(N_{2}'^{\top}A_{s}N_{2}'\right) - \left(N_{1}'^{\top}A_{s}N_{2}'\right)^{2} + \left(N_{1}'^{\top}A_{a}N_{2}'\right)^{2}$$