09/05/23 20:10:28 IRZg4xxyO
転置を t^A とは書かない．これだと t の右上に A が来る．
転置を tA と書くことにして，普通に計算すると
(A B^{-1}) t(A B^{-1})
= A B^{-1} tB^{-1} tA
= A B^{-1} B^{-1} tA (∵ B 対称 <=> tB = B)
= A (B^2)^{-1} tA
= A (tA A)^{-1} tA (∵ B^2 = tA A)
= A A^{-1} tA^{-1} tA
= I