ローレンツ変換の式の半分だけ勝手に連立させて何がしたいわけ?