(a) Find the explicit formula for the characteristic polynomial $\operatorname{det}(A-\lambda \mathrm{I})=-\lambda^3+a \lambda^2-b \lambda+c$ of a general $3 \times 3$ matrix. Verify that $a=\operatorname{tr} A$, $c=\operatorname{det} A$. What is the formula for $b$ ? (b) Prove that if $A$ has eigenvalues $\lambda_1, \lambda_2, \lambda_3$, then $a=\operatorname{tr} A=\lambda_1+\lambda_2+\lambda_3, b=\lambda_1 \lambda_2+\lambda_1 \lambda_3+\lambda_2 \lambda_3, c=\operatorname{det} A=\lambda_1 \lambda_2 \lambda_3$.