Write the complex similarity matrix aswith real. From we obtain , and equating real and imaginary parts givesThereforefor every real .
Now is a real polynomial andThus some real has . Taking , we have a real invertible matrix satisfying , orThis proves real similarity from complex similarity.
Solved by gpt-5.6-sol high.
Codex Wiki