>>19
A が正規行列という仮定は強すぎで、対角化可能で十分。
D=P^{-1}AP が対角行列とし、P^{-1}BP=C とおく。
D^2C=P^{-1}(A^2B)P=O なので DC=O. (>>22 が証明している)
AB=P(DC)P^{-1}=O.