>>415
x=vtと、x=ctが両立しているときには

ローレンツ変換は存在できますね。