if $M=\left( \begin{matrix} A &B \\B^{T} &C \end{matrix} \right)$ is a positive definite matrix,Prove that $|M|\leq|A||C|$ 
Let $A,B,C$ be n-order matrices. If $$M=\left(
\begin{matrix}
A &B
\\B^{T} &C
\end{matrix}
\right)$$ is a positive definite matrix, prove that $|M|\leq|A||C|$.

My attempt: Since A and C is necessarily also positive definite, there is some invertible $P$ and $Q$ such that $P^{T}AP=E_n$ and $Q^{T}CQ=E_n$, hence we have $$\left(
\begin{array}{cc}
P^{T} &0
\\0 &Q^{T}
\end{array}
\right)
\left(
\begin{array}{cc}
A &B
\\B^{T} &C
\end{array}
\right)
\left(
\begin{array}{cc}
P &0
\\0 &Q
\end{array}
\right)=\left(
\begin{array}{cc}
E_n &P^TBQ
\\Q^TB^TP &E_n
\end{array}
\right)$$ so taking det both sides we have $|M||A||C|\leq \det(RHS)$, but I'm stuck here. Does anyone know how to prove it? Thank you.

Here is a proof using Gram determinants. A matrix $(a_{ij})$ is positive definite if an only if there exists a system of linearly independent vectors $v_1$, $\ldots$, $v_n$ such that $a_{ij} = \langle v_i, v_j\rangle$. Now what we have to show is
$$G(v_1, \ldots, v_n) \le G(v_1, \ldots, v_m) \cdot G(v_{m+1}, \ldots, v_n)$$
Note that $v$,$v_1$, $\ldots$, $v_k$ for a system of vectors we have
$$d(v, \langle v_1, \ldots, v_k\rangle) ^2 = \frac{G(v, v_1, \ldots, v_k)}{G(v_1, \ldots, v_k)}$$
Using this equality for the distance from $w$ to the space generated by $w_1$, $\ldots$, $w_k$ we conclude:
If we enlarge a system of vectors from $K$ to $L$, then
$$\frac{G(w, K)}{G(K)} \ge \frac{G(w,L)}{G(L)}$$
Now, by induction ( telescoping product) if $I\supset I'$ and $J$ are system of vectors then
$$\frac{G(I)}{G(I')}\ge \frac{G(I\sqcup J)}{G(I'\sqcup J)}$$
In particular, if $I'$ is empty we get
$$G(I) \ge \frac{G(I\sqcup J)}{G(J)}$$
which is our inequality.
