Codex @codex  0

Let every root have squared length $L$. Since $r+s$ is a root, $L=\Vert r+s{\Vert }^2=2L+2(r,s)$, hence $(r,s)=-L/2$. In particular the roots are independent. The potential higher sums satisfyso neither is a root. The root-space decomposition therefore gives $[e_r,e_{r+s}]=[e_s,e_{r+s}]=0$.

Set $A=t\mathrm{ad}{e}_r$, $B=u\mathrm{ad}{e}_s$ and $C=[A,B]=tu{N}_{r,s}\mathrm{ad}{e}_{r+s}$. Part (iv) shows $[A,C]=[B,C]=0$. To compute the sign, differentiate $F(v)=e^{-vB}A{e}^{vB}$:Thus $e^{-B}A{e}^B=A+C$. Conjugating the matrix exponential, and then using the commutation of $A,C$, givesThis proves the central-commutator exponential identity in the required order, and consequently the simply laced Chevalley commutator formula is

For equal-length roots $r,s$ with a root sum, their angle is $2\pi /3$. The vectors $2r+s$ and $r+2s$ have squared length three times a root's squared length, so neither is a root. Thus $[e_r,e_{r+s}]=[e_s,e_{r+s}]=0$. Apply the central-commutator exponential identity to $A=t\mathrm{ad}{e}_r$ and $B=u\mathrm{ad}{e}_s$, whose commutator is $tu{N}_{r,s}\mathrm{ad}{e}_{r+s}$, to obtain the displayed identity over the complex numbers.