So I was reading up on the Wikipedia page on eigenvalues and eigenvectors (which I fondly call eigencrap ;) ) and I was confused by one paragraph in particular.
Let $A$ be an arbitrary $n$ by $n$ matrix of complex numbers with eigenvalues $\lambda_1,\lambda_2, \ldots, \lambda_n$. Each eigenvalue appears $\mu_A(\lambda_i)$ times in this list, where $\mu_A(\lambda_i)$ is the eigenvalue's algebraic multiplicity. The following are the properties of this matrix and its eigenvalues:
- The trace of $A$, defined as the sum of its diagonal elements, is also the sum of all eigenvalues, $$ \text{tr}(A)=\sum_{i=1}^{n}A_{i,i}=\sum_{i=1}^{n}\lambda_i=\lambda_1+\lambda_2+\ldots+\lambda_n. $$
- The determinant of $A$ is the product of all its eigenvalues, $$ \det(A)=\prod_{i=1}^{n}\lambda_i=\lambda_1\lambda_2\cdots\lambda_n. $$ First off, $\mathbb{R}\subset\mathbb{C}$, correct? Therefore the properties listed should hold for any $n\times n$ square matrix -- namely that $\operatorname{tr}(A)$, the sum of the diagonal elements, is equal to the sum of all eigenvalues, and that $\operatorname{det}(A)$ is equal to the product of such.
This does not strike me as intuitively true, why should this be the case? Is there a condition missing from the theorem -- perhaps that the matrix must be orthogonally diagonalized, or symmetric?
Just a thought, but is there a relation to Vieta's theorems? The sum/product identities seem indicative of such.
Any thoughts, intuitions, and explanations are appreciated, thank you!