対角

Ｇ：「この間の続きは？」
Ａ：「Ｘ＝ｘ0Ｉ＋ｘ1σ1
　　 Ｔ＝ｘ0Ｉ−ｘ1σ1とおくと、真空中での光速一定の法則は
　　　Ｘ’Ｔ’＝ＸＴとなる。例によってこう（＊１）おいて、ローレンツ変換式が出るはず。」
Ｇ：「また性懲りもなく、ローレンツ変換？」
Ａ：「あぁ。計算してみたんだけど、うまくいかない。」
Ｇ：「ｃoshθは行列の対角成分に出てくるけど、
　　　sinhθは違う位置にでるからね。」
Ａ：「どうして知ってるの？」
Ｇ：「そもそもローレンツ変換式をちゃんと導いたのは、ローレンツじゃないからね。」
Ａ：「え！そうなの？　じゃ誰？」
Ｇ：「ポアンカレよ。」

（＊１）
　Ｘ'＝Ｅ（θ）　・Ｘ
　Ｔ'＝Ｅ（−θ）・Ｔ

　 Ｅ（±θ）＝（（exp（±θ）,０）,（０,exp（±θ））)