>>606
ローレンツ変換の導出は以前にも確か貴方に書いたと思いますよ。

http://eman-physics.net/relativity/lorentz.html