（質問者）ローレンツ変換は 4 次元的距離を変化させないということだけから導くことができますか？
ここで言う 4 次元的距離というのはミンコフスキー的な 4 次元距離
のことですね？その距離（の 2 乗）は次のような式で表されます.
この
が変換の前後で変化しないという条件と少々の物理的な仮定だけを使ってローレンツ変換を導くことができます.
（質問者）この式を使った場合,ミンコフスキー時空の中にある任意の 2 点間の 4 次元距離ではなくて,原点
から
までの 4 次元距離を表していることにならないでしょうか？
確かに,その通りです.
（質問者）私が本当に知りたいのは「我々の住む世界がミンコフスキー時空であるという仮定だけからローレンツ変換が成り立つことが言えてしまうのか」ということです.ローレンツ変換が「ミンコフスキー時空中の任意の 2 点間の 4 次元距離を変えないような変換」という厳しい条件を課しても得られるのかどうか,また,それがローレンツ変換だけなのかどうかについても知りたいと思っています.
なるほど,分かりました.しかしその点は問題ないと思います.「任意の 2 点間の 4 次元的距離が変換によって変わらない」のであれば「原点から任意の点までの 4 次元的距離」も変換によって変わらないと言えることになります.このように条件を限定してしまっても問題なくローレンツ変換を導くことができるわけです.
導かれてきたローレンツ変換を使えば「任意の 2 点間の 4 次元的距離が変換によって変わらない」ことを確かめることもできますし（それは後ほど本編で解説する予定です）,どこにも矛盾がないことから,目的が正しく果たせたことになると思います.
（質問者）緩くした条件からでもローレンツ変換を導くことができて,その結果が元々の厳しい条件をも満たしているということですね.納得できました.
そういうことです.では具体的にやっていきましょう.計算を楽にするために空間を
軸だけに限定して話を進めます.そして
と置き換えます.
そして,次のような座標変換を仮定します.
この係数
を決めていくことになります.（ 
は光速と紛らわしいので避けました.）なぜ 1 次式を仮定したかと言えば,慣性系から慣性系への変換を考えているからです.ある慣性系にいるときに見た 4 次元中の 1 点の位置を表す座標成分が,別の慣性系から同一の点を見たときにはそれがどんな座標成分で表されるべきかを知りたいわけです.もし変換式に 2 次以上の項があれば,ある慣性系で見たときに等速運動している物体の軌跡が,別の慣性系で見たときに加速運動をしていることになってしまったりします.そのようなことは理屈に合わないので除外しています.
この変換によって原点はへと変換されますから原点がずれる心配はありません.変換後の座標成分を使った原点からの距離は次のように表されます.
この右辺を (3) (4) 式で変換すると次のようになります.
この (6) 式の
と (2) 式のとが同じ値を保っていなければならないので,次のような条件を満たす必要があります.
未知変数が 4 つに対して条件式は 3 つですから明らかに条件が足りていません.そんな状況で式変形を続けても行き詰まるのが目に見えていますから,ここでもう一つの物理的な条件を入れてしまうことにします.変換後の慣性系
は変換前の慣性系に対して座標の正の向きに速度
で移動しているという条件です.系の原点は
秒後には
の位置にいるはずなので,(3) 式の右辺に
を代入したときに
となるはずです.
式を簡単にするために,
という相対論でよく使う略記号を導入しました.こうして係数
は係数
さえ決まれば一緒に決まることになりました.「4次元的距離を変えない」という条件を成り立たせる変換は他にもあるかもしれないけれども,物理的に意味を見いだせないので使わないことにしたということです.
（質問者）もっと数学的にストレートに導かれるのかと想像していました.確かにそのような仮定を導入しないと,何のための変換なのかという点で意味を成しませんね.
そうですね.数学的にはミンコフスキー時空とローレンツ変換との関係をどういう形で定義しているのか気になりますが,今は考えないことにしましょう.とにかくこれで未知数が多すぎる問題も片付きましたので安心して式変形を進めることができます.(8) 式を変形して次のようになります.
これを (9) 式に代入して次のようになります.
この (12) 式を (7) 式の
のところに代入すれば次のようになります.
この (13) 式を (12) 式に代入すれば次のようになります.
この (14) 式に (10) 式を代入すれば次のようになります.
この時点で,ローレンツ変換の式のうちの一方の (3) 式が次のように定まります.
無事にローレンツ変換らしき形が出てきました.この式は相対速度が 0 のとき,つまり
の場合に,
という式になりますが,とは同じになっていないといけないはずですから,の符号は正でなければならないことが分かります.負の方は捨てます.
（質問者）物理学的な要請が次々と入ってきますね.しかし文句はありません.
(13) 式の右辺に (10) 式を使って,さらにこの (17) 式を使えば
も次のように求まります.
(11) 式に対して (10) (16) (18) 式を使えば
も次のように求まります.
の符号が正ならの符号は負で,の符号が負ならの符号は正です.得られたとを (4) 式に当てはめると,もう一つの変換式は次のようになります.
先ほどと同じようにの場合のことを考えると,
が成り立っていないといけないので,複号の部分は下側のものだけが採用されることになります.こうして無事によく知っている通りのローレンツ変換が導かれました.最終結果を並べて書いておくことにしましょう.
（質問者）確かにこれはよく知っているローレンツ変換と同じものです.どれくらいの物理的な仮定が使われているのかも良く知ることができました.ありがとうございました.しかし光速度一定の原理を使っていないのに同じ式が出てくるのは一体どういうわけでしょうか？
実はこれは「光速度一定の原理」からローレンツ変換を求めるのとほとんど同じ内容です.光速度はどの慣性系で観察しても同じ値なので,球面を描きながら進むことになります.
左辺にまとめてやると次のようになります.
これらの式の左辺が 4 次元的距離を表しており,光の軌跡の 4 次元的距離は 0 だということになります.どの慣性系で見てもそのことは変わらないというので,この二つの式を一つにつないでしまって,次のように書くことができます.
今回は空間の次元を減らして計算したのですが,意味としてはこの形の条件式を使って導いたことになるわけです.
光の軌跡の 4 次元的距離は 0 であるというせっかくの情報を捨ててしまって,「光に限らず 4 次元的距離は変換によって変化しない」という条件にすり替えてしまっても,同じローレンツ変換が導かれてくるということになります.
ローレンツ変換は「光の速度が変化しないような変換」という条件だけから導くことができましたが,実は自動的にそれ以上の意味,つまりこの世界はミンコフスキー時空であるという内容を含む変換にもなっていたということでしょう.
（質問者）言われてみれば,計算内容は全く同じだという気がします.今回の計算では光を特別視していないのに結果に光速度が出てくるのが不思議です.
今回の計算では光速度は時間と空間の尺度を合わせるための定数という感じで使われていますね.
