Let $X\in \mathcal {M}_n (\mathbb {C}) $ with $\mathrm{Tr}(X)=0$. Then there exists $A, B\in \mathcal {M}_n (\mathbb {C}) $ s.t $X=A\cdot B-B\cdot A $.
It's there a solution that uses Normal Jordan Form?
Let $X\in \mathcal {M}_n (\mathbb {C}) $ with $\mathrm{Tr}(X)=0$. Then there exists $A, B\in \mathcal {M}_n (\mathbb {C}) $ s.t $X=A\cdot B-B\cdot A $.
It's there a solution that uses Normal Jordan Form?
Rajendra Bhatia gives a sketch of such a proof in his book "Matrix Analysis" (pp 190).
Note that in his notation, $Z(A)$ is the set of all commuting matrices, $Z(A) = \{X\ |\ [A,X] = 0\}$, and $T_AO_A$ is the tangent orbit, $T_AO_A =\{[A,X]\ \forall \ X\in M_n \}$.
Screenshot from Google Books: