(2024年2月29日, 初版2024年2月26日) A proposition on similar unitary/orthogonal matrices Proposition: For similar unitary matrices $A$ and $B$, there exists unitary matrix $X$ such that $B=X^{-1}AX$. ユニタリ行列$A$, $B$が相似ならば, $B=X^{-1}AX$となるユニタリ行列$X$が存在する。 Corollary: For similar real orthogonal matrices $A$ and $B$, there exists real orthogonal matrix $X$ such that $B=X^{-1}AX$. 実直交行列$A$, $B$が相似ならば, $B=X^{-1}AX$となる実直交行列が存在する。 Conjecture: For similar complex orthogonal matrices $A$ and $B$, there exists orthogonal matrix $X$ such that $B=X^{-1}AX$. This conjecture was proved by Dr. T. Miyazaki . 複素直交行列$A$, $B$が相似ならば, $B=X^{-1}AX$となる直交行列$X$が存在する。 宮崎直 氏が証明してくれました。難しいです。エレガントな証明を求む。