Let $A$ be an $n \times n$ matrix with real entries and let $H = \frac{A+A^T}{2}$. Assume that $H$ is positive definite. Prove that $\det(H) \geq \det(A)$.
This question is obtained from Moscow (I don't have the specific source).
My attempt: Note that $H$ is a symmetric matrix with real entries and positive definite. Hence, it is diagonalizable with positive eigenvalues, i.e. $H = P^T D P$ where $P^T \cdot P=1$ and $\det(H) = \prod \lambda$ where $\lambda$ is an eigenvalue of $H$.
I don't know how to relate eigenvalues of $H$ to eigenvalues of $A$. Can anyone give some hints?