ThmDex – An index of mathematical definitions, results, and conjectures.
F9090
Formulation 0
Let $A \in \mathbb{R}^{N \times N}$ and $x \in \mathbb{R}^{N \times 1}$ each be a D4571: Real matrix such that
(i) $N \in 1, 2, 3, \ldots$ is a D5094: Positive integer
Then \begin{equation} x^T A x = x^T \left( \frac{A + A^T}{2} \right) x \end{equation}