$AB + BA = A \implies A$ and $B$ have a common eigenvector Let $A$ and $B$ in $M_n(\mathbb C)$ with $n$ being odd.
Suppose $AB + BA = A$. Prove that $A$ and $B$ have a common eigenvector.
(It is from an oral exam.)
I ask for a hint for this, not a complete solution. Thank you.
 A: Observe that $$AB -\frac{1}{2}A +BA-\frac{1}{2}A=0$$
$$A(B -\frac{1}{2} I) =-(B -\frac{1}{2} I)A$$
Therefore matrices $A$ and $C=B -\frac{1}{2} I$ satisfies the identity $$AC=-CA.$$ Suposse that $\lambda$ is an eigenvalue of $A$ and  $x_{\lambda}$ is a corresponding eigenvector. Then $$CAx_{\lambda} =\lambda Cx_{\lambda}=-ACx_{\lambda}$$  hence $-Cx_{\lambda}$ is an eigenvector of $A$ corresponding to the eingenvalue $\lambda.$
If we assume that one of eigenspaces of $A$ is one dimensional then $-Cx_{\lambda}$ must be a multiple of $x_{\lambda}$ hence $$-Cx_{\lambda}=\mu x_{\lambda}$$ $$(\frac{1}{2}I -B)x_{\lambda}=\mu x_{\lambda}$$
$$Bx_{\lambda}=\left(\frac{1}{2} -\mu \right) x_{\lambda}$$
Thus $A$ and $B$ have a common eigenvector $x_{\lambda}.$
A: If $Bv=cv$, then $BAv=(1-c)Av$. If $Av=0$, then we are done. If not, then $Av$ is eigenvector of $B$.
Note that $A^{2i}v$ is eigenvector wrt $c$ and $A^{2i+1}v$ is
eigenvector wrt $1-c$.
i) $c=\frac{1}{2}$ : So assume that by subsequence, $\frac{A^{i}
v}{|A^{i} v|}\rightarrow X$. And $BX=cX$. And
$$ AX = \lim\ \frac{A^{i+1}v}{|A^{i+1}v|}
\frac{|A^{i+1}v|}{|A^{i} v|} =\lambda X$$
ii) $c\neq \frac{1}{2}$ : By subsequence, $\frac{A^{2i} v}{|A^{2i}
v|}\rightarrow X$. And $BX=cX$. And
$$ A^2X = \lim\ \frac{A^{2i+2}v}{|A^{2i+2}v|}
\frac{|A^{2i+2}v|}{|A^{2i} v|} =\lambda X$$
And $Y=AX,\ BY=(1-c)Y$. Further, $AY=A^2X=\lambda X$.
Hence we do the same on subspace orthogonal to ${\rm span}(X,Y)$.
A: The key observation, as pointed out in another answer, is that the equation can be rewritten as $AC=-CA$, where $C=B-\frac12 I$ have the same eigenvectors as $B$.
Since $AC=-CA$ and $n$ is odd, if you take determinants on both sides, you see that one of $A,C$ must be singular.
Suppose $C$ be singular and $0\ne v\in\ker C$. Then $v,Av,A^2v,\ldots\in\ker C$. You may continue from here.
