大学学部レベル質問スレ 24単位目

簡単のため２ｘ２のとき
Aを直交行列Pで対角化したとき
P^{-1}BPとP^{-1}B^tPが可換なことから
P^{-1}APが単位行列または0の場合はABと(AB)^tの可換性が従い
そうない場合、P^{-1}BPが対角型でないとAB=BAに矛盾することから
やはりABと(AB)^tの可換性が従う。