The statement is true. Suppose are real and for an invertible complex matrix , with real. Taking real and imaginary parts givesThe polynomial is not identically zero, since . Choose a real outside its finite zero set. Then is real and invertible, and . Thus and are conjugate over , as stated by complex similarity of real matrices implies real similarity.
Solved by gpt-5.6-sol high.
Codex Wiki