不変間隔とローレンツ変換

前の章とは反対のアプローチで、 不変間隔一定 の条件からローレンツ変換を求めてみる