If $A \in \mathbb C^{n \times n}$, $b, c$ are scalars such that $c \ne \frac 14 b^2$ and $$A^2 + b A + c I = 0$$ why does $A$ have to be diagonalizable?
I am getting to a point where I think $A$ has to be a $2 \times 2$ matrix, but I don't know how to justify it. How can I prove it?
Here's another answer, with a direct proof.
Consider the polynomial $x^2+bx+c$. We are given that $b^2-4c\ne 0$, so $x^2+bx+c$ has distinct roots, $\lambda$ and $\mu$.
Any $n\times n$ complex matrix $A$ that satisfies this polynomial will be diagonalizable.
Proof.
There are two cases, either both $\lambda$ and $\mu$ are eigenvalues or one of them is not an eigenvalue. (Technically these cases aren't needed, but I think it makes it a bit clearer.)
First suppose one of them is not an eigenvalue. Without loss of generality, assume $\lambda$ is not an eigenvalue. Then $A^2+bA+c=(A-\lambda)(A-\mu)=0$. Since $\lambda$ is not an eigenvalue, $A-\lambda$ is invertible. Thus $A-\mu=0$, or $A=\mu$. Since $\mu=\mu I$ is diagonal, $A$ is diagonal already.
Now suppose that both $\lambda$ and $\mu$ are eigenvalues. Let $E_\lambda = \ker (A-\lambda)$ and $E_\mu =\ker(A-\mu)$ be the eigenspaces associated to each of them. I claim $\Bbb{C}^n=E_\lambda \oplus E_\mu$, which will show that $A$ is diagonalizable (since its eigenvectors span $\Bbb{C}^n$, so there is a basis of eigenvectors).
First, $E_\lambda \cap E_\mu =0$, since if $v\in E_\lambda \cap E_\mu$, then $$Av=\mu v =\lambda v,$$ so $(\mu-\lambda)v=0$, and since $\mu\ne \lambda$, $\mu-\lambda \ne 0$. Thus $v=0$.
Next, if $v\in \Bbb{C}^n$, we must show that it can be written as a sum of some elements $v_\lambda \in E_\lambda$ and $v_\mu\in E_\mu$.
Let $w=(A-\lambda)v$. Then $w\in E_\mu$, since $(A-\mu)w = (A-\mu)(A-\lambda)v=0v=0$. Then let $v_\mu = \frac{1}{\mu-\lambda} w$, so that $(A-\lambda)v_\mu =(\mu-\lambda)v_\mu=w$.
Then let $v_\lambda = v-v_\mu$, so that $v=v_\lambda+ v_\mu$. We just need to check that $v_\lambda \in E_\lambda$. Then $$(A-\lambda)v_\lambda = (A-\lambda)(v-v_\mu)=(A-\lambda)v-(A-\lambda)v_\mu = w-w=0,$$ as desired.