ローレンツ変換
パラメータ での 方向へのブーストを考えると、ローレンツ変換により