Properties of $\det$ and $\operatorname{trace}$ given a $4\times 4$ real valued matrix Let $A$, be a real $4 \times 4$ matrix such that $-1,1,2,-2$ are its eigenvalues. If $B=A^4-5A^2+5I$, then which of the following are true?  


*

*$\det(A+B)=0$     

*$\det (B)=1$  

*$\operatorname{trace}(A-B)=0 $   

*$\operatorname{trace}(A+B)=4$  


Using Cayley-Hamilton I get $B=I$, and I know that $\operatorname{trace}(A+B)=\operatorname{trace}(A)+\operatorname{trace}(B)$. From these facts we can obtain easily about 2,3,4 but I am confused in 1. How can I verify (1)? Thanks for your help.
 A: $$A+B=A+I$$
$$\det(A+I)=0 \Leftrightarrow \lambda=-1 \mbox{is an eigenvalue}$$
A: The characteristic equation of $A$ is given by $(t-1)(t+1)(t+2)(t-2)=0 $ which implies $t^{4}-5t^{2}+4=0$. Now $A$ must satisfy its characteristic equation which gives that $A^{4}-5A^{2}+4I=0$ and so we see that $B=A^{4}-5A^{2}+4I+I=0+I=I$. Hence, the eigenvalues of $(A+B)$ is given by  $(-1+1),(1+1),(2+1),(-2+1)$  that is $0,2,3,-1.$[Without the loss of generality, one can take $A$  to be diagonal matrix which would not change trace or determinant of the matrix. ]So we see that $det(A+B)$ is the product of its eigenvalues which is $0$. . Also we see that trace of $(A+B)$ is the sum of its eigenvalues which is $(0+2+3-1)=4.$ Also, B being the identity matrix, $det(B)=1.$ So the options $(1),(2) and (4)$ are true .
A: Well, perhaps we can pass on to the Jordan Canonical form of $\,A\,$:
$$J_A=\begin{pmatrix}1&0&0&0\\0&\!\!\!-1&0&0\\0&0&2&0\\0&0&0&\!\!\!-2\end{pmatrix}\Longrightarrow B=J_A^4-5J_A^2+5I=\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{pmatrix}$$
We can do the above since determinant and trace are invariant under similarity.
A: I had just been answering a question about "without loss of generality". This is a nice example. Since $A$ is diagonalisable (it's characteristic polynomial is $(X+1)(X-1)(X-2)(X+2)$ which is split without multiple roots), we may assume without loss of generality that $A$ is diagonal (do a base change to a basis of eigenvectors, which changes neither determinants nor traces). You can do that case explicitly by computation.
A: Just to note the following points:
Let $A_{n\times n}$ be a matrix with eigenvalues $\lambda_{1},...,\lambda_{n}$ and $f(x)$ a polynomial. Then $$\det(f(A))=f(\lambda_{1})...f(\lambda_{n})$$ and $$\text{trace}(f(A))=f(\lambda_{1})+...+f(\lambda_{n})$$ 
