ThmDex – An index of mathematical definitions, results, and conjectures.
P3787
We have \begin{equation} \lambda z^T w = (\lambda z)^T w = (A z)^T w = z^T A^T w = z^T (A w) = z^T (\mu w) = \mu z^T w \end{equation}