あまりに可哀想だから補足するけど、
vが決まれば決まる、a00〜a11というすべての座標に共通の定数があって、(ct,x)は変換されるんですよ（これが>>345のルールね）
だから、例えば(ct,ct)だったり、(ct,vt)だったりを考えてa00〜a11の満たす条件を導いてくわけ

なんかa00〜a11が定数であることに不満があるのかな？
よくわからないけど、そういう新しいことやりたければ勝手にやったらいいよ

>>350
君本当に賢いんだよね？
まず>>345を理解してよ
理解できないなら諦めてね