ThmDex – An index of mathematical definitions, results, and conjectures.
P2609
Result R3988: Expression for quadratic form of real square matrix in terms of symmetric part shows that \begin{equation} x^T A x = x^T \left( \frac{A + A^T}{2} \right) x \end{equation} for all $x \in \mathbb{R}^{N \times 1}$. The claim follows. $\square$