ローレンツ変換がおかしいのはわかりました。
代替の変換を議論しましょう。