いま、思考実験は一応Lorentz変換は正しいという仮定から矛盾を導く背理法でLorentz変換を棄却したいんですよね?
逆変換もLorentz変換なので、仮定からこれも正しいんですよ
別に使わなくとも解けますしね

>>340
で、いくつですか?